Distillation

Date: Sep 17, 2026

• 🔴 (09:11) User directed that the Context Epoch must never advance after ownership changes; encoded by test "never advances the Context Epoch after ownership changes" at packages/core/test/session-projector.test.ts:2706.
• 🔴 (09:11) User directed that continuation must never commit before unresolved hosted tools are reconciled; encoded by test "never commits continuation before unresolved hosted tools are reconciled" at packages/core/test/session-runner.test.ts:1975.
• 🟡 (09:11) The unresolved-hosted-tools race test uses SQLite trigger fail_hosted_tool_reconciliation, which raises ABORT with message 'crash before hosted tool reconciliation'; cleanup removes it with DROP TRIGGER fail_hosted_tool_reconciliation inside Effect.ensuring(...).pipe(Effect.orDie) at packages/core/test/session-runner.test.ts:1996-2006.
• 🔴 (09:11) User directed that a failed Step must never be marked safe while a sibling tool finalizer remains active; encoded by test "never marks a failed Step safe while a sibling tool finalizer is active" at packages/core/test/session-runner.test.ts:3788.
• 🟡 (09:11) The active-sibling-finalizer fixture defines tool blocked_with_finalizer with description "Block until interrupted, then block finalization"; it uses finalizerStarted, waits on releaseFinalizer, and emits tool call ID call-blocked-finalizer in packages/core/test/session-runner.test.ts:3795-3829.
• 🟡 (09:11) Related finalizer ownership tests found in packages/core/test/session-runner.test.ts are "retains the claim after user decline until runner finalizers finish" at line 3591 and "retains the claim after Step interruption until runner finalizers finish" at line 4055; their replacement IDs are respectively replacement-during-decline-finalizer and replacement-during-finalizer.