Distillation

Date: Sep 17, 2026

• 🔴 (08:42) User asserted the Session runner must “never mark a failed Step safe while a sibling tool finalizer is active”; the invariant is covered by it.live("never marks a failed Step safe while a sibling tool finalizer is active", ...) in packages/core/test/session-runner.test.ts line 3788.
• 🟡 (08:42) The sibling-tool-finalizer race test in packages/core/test/session-runner.test.ts coordinates executionStarted and releaseFinalizer, uses tool call ID call-blocked-finalizer with tool name blocked_with_finalizer, and expects the result to match { _tag: "Failure" }.
• 🟡 (08:42) Session-runner interruption coverage uses the prompt texts "Interrupt blocked tool", "Interrupt publication failure", "Cancel committed Step start", and "Interrupt with finalizer"; relevant persisted event types include session.next.step.failed.2 and session.next.step.interrupted.1.
• 🟡 (08:42) The interruption-publication failure test creates and later drops the SQLite trigger fail_interrupted_tool_publication in packages/core/test/session-runner.test.ts; cleanup uses Effect.ensuring(db.run(sql\DROP TRIGGER fail_interrupted_tool_publication`).pipe(Effect.orDie))`.
• 🟡 (08:42) Cancellation tests inspect and clean up SessionExecutionTable and SessionRecoveryTable; a cancellation recovery row uses phase: "cancelling" and an expires_at value of exactly 60_000.
• 🔴 (08:43) User asserted cancellation recovery must “never recover an expired cancellation claim”; this invariant is covered by it.effect("never recovers an expired cancellation claim", ...) in packages/core/test/session-projector.test.ts line 2018.
• 🔴 (08:43) User asserted cancellation recovery must “never quarantine cancellation after recovery ownership expires”; this invariant is covered by it.effect("never quarantines cancellation after recovery ownership expires", ...) in packages/core/test/session-projector.test.ts line 2117.
• 🔴 (08:43) User asserted cancellation recovery must “never quarantine cancellation after recovery ownership transfers”; this invariant is covered by it.effect("never quarantines cancellation after recovery ownership transfers", ...) in packages/core/test/session-projector.test.ts line 2169.
• 🔴 (08:43) User asserted projection recovery must “never quarantine projection failure after recovery ownership expires”; this invariant is covered by it.effect("never quarantines projection failure after recovery ownership expires", ...) in packages/core/test/session-projector.test.ts line 2221.
• 🟡 (08:43) packages/core/test/session-projector.test.ts uses the SQLite trigger transfer_cancellation_recovery_owner to simulate cancellation recovery ownership transfer and fail_expired_recovery_projection to simulate projection failure after recovery ownership expires.
• 🟡 (08:43) Cancellation-owner-loss projector fixtures use recovery row ID "expired-cancelled", phase: "cancelled", and exact recovery_error: "Cancellation outcome unknown after owner loss"; the expiry-sensitive projection test expects the first observed row to match { recovery_error: null }.
• 🟡 (08:43) Recovery projection interception distinguishes SessionEvent.Step.Recovered.type, and the tested recovery path invokes SessionRecovery.recover() with a provided SessionExecution.Service implementation named recoveryExecution.