Search results

bug(doeff-secret): env fallback handler yields removed Delegate — RuntimeError on every fallback path

Status: Open.

#470 In proboscis/doeff;

· proboscis opened on Jun 12, 2026

docs(spec): SPEC-EFF-002 known-issue 'snapshot isolation' contradicts the settled shared-state semantics (D9/S6)

Status: Open.

#466 In proboscis/doeff;

· proboscis opened on Jun 11, 2026

chore(vm-core): delete MaskSpec dead scaffolding (defined, never referenced by dispatch)

Status: Open.

#465 In proboscis/doeff;

· proboscis opened on Jun 11, 2026

chore(vm-core): verify and delete PromptBoundary.types (unused runtime type filter)

Status: Open.

#464 In proboscis/doeff;

· proboscis opened on Jun 11, 2026

feat(core-effects): deterministic sim driver for Await — unlock the AW2 multi-task refutation test

Status: Open.

#463 In proboscis/doeff;

· proboscis opened on Jun 11, 2026

test(laws): hypothesis randomization for the generator law suite

Status: Open.

#462 In proboscis/doeff;

· proboscis opened on Jun 11, 2026

chore(vm-core): delete dead VarStore subsystem (Var DoCtrls, VarId, LexicalScope, EvalInScopeReturn)

Status: Open.

#461 In proboscis/doeff;

· proboscis opened on Jun 11, 2026

Design agent host and scheduler backends for doeff-agents/doeff-agentic

enhancementNew feature or requestNew feature or request

Status: Open.

#409 In proboscis/doeff;

· proboscis opened on Apr 28, 2026

doeff-agents: _dismiss_onboarding_dialogs waits full timeout when no dialogs appear

Status: Open.

#392 In proboscis/doeff;

· proboscis opened on Apr 15, 2026

feat(doeff-hy): per-session lazy init clause + effectful threading macro

Status: Open.

#391 In proboscis/doeff;

· proboscis opened on Apr 15, 2026

defk/defp: (import ...) inside body corrupts return value to None

Status: Open.

#388 In proboscis/doeff;

· proboscis opened on Apr 14, 2026

Handler Resume accumulates duplicate frames in error traceback

Status: Open.

#386 In proboscis/doeff;

· proboscis opened on Apr 14, 2026