Distillation

Date: Sep 17, 2026

• 🔴 (08:43) User asserted the Context Epoch must “never advance after ownership changes”; the invariant is covered by it.effect("never advances the Context Epoch after ownership changes", ...) at line 2603.
• 🔴 (08:43) User asserted execution must “never wake when retrying an already promoted prompt”; the invariant is covered by it.effect("never wakes execution when retrying an already promoted prompt", ...) at line 330.
• 🔴 (08:43) User asserted the system must “never arm durable wake for a conflicting execution retry”; the invariant is covered by it.effect("never arms durable wake for a conflicting execution retry", ...) at line 514.
• 🟡 (08:43) Additional session-prompt tests shown include it.effect("durably admits one user message before transcript promotion", ...) at line 181, it.effect("streams durable Session events after an aggregate sequence", ...) at line 224, it.effect("rejects reuse of one ID with a different delivery mode", ...) at line 556, it.effect("promotes one message once under concurrent promotion attempts", ...) at line 601, and it.effect("starts execution when resume is explicitly true", ...) at line 775.
• 🟡 (08:43) Prompt/retry fixtures shown include Prompt.make({ text: "Keep this prompt pending" }), promoted_seq: 1, wake_pending: true, wake_pending: false, and Prompt.make({ text: "Historical prompt" }); one replay assertion expects session.messages({ sessionID }) to have length 0.
• 🟡 (08:43) packages/core/test/session-run-coordinator.test.ts imports SessionRunCoordinator from @opencode-ai/core/session/run-coordinator, uses testEffect(Layer.empty), and defines the SessionRunCoordinator test suite.
• 🟡 (08:43) SessionRunCoordinator test ordering shown: 1. "joins concurrent resumes for one key" — two concurrent run("session") calls share one drain and leave runs at 1; 2. "joins a wake-started execution without forcing a successor" — wake("session") followed by run("session") records forces as [false]; 3. "starts execution when woken while idle" — wake("session") triggers the drain; 4. "snapshots only active executions" — active keys progress from [] to ["first"], then ["first", "second"], then ["second"], then [].
• 🟡 (08:43) Further SessionRunCoordinator test ordering shown: 5. "cleans active executions after failure and defect" — both Effect.fail(new Error("failed")) and Effect.die(new Error("defect")) leave coordinator.active empty, with Cause.hasFails and Cause.hasDies respectively; 6. "cleans active executions when its scope closes" — a wake-driven execution active as ["session"] is removed after the enclosing scope closes; 7. "coalesces wakes received during active execution" — three concurrent wakes during the first run produce exactly one follow-up, so runs is 2; 8. "runs again when woken during the follow-up" — wakes during the first and second runs produce exactly 3 runs.
• 🟡 (08:43) Remaining visible SessionRunCoordinator test ordering: 9. "does nothing when interrupted while idle" — interrupt("session") is a no-op with no active run; 10. "interrupts active execution and clears its pending wake" — after a pending wake, interruption yields an interrupts-only failure, empties coordinator.active, and keeps runs at 1; 11. "runs a wake registered during interruption cleanup" begins at line 247 and uses firstStarted, cleanupStarted, cleanupGate, secondStarted, and a runs counter, but its remainder was not shown.