Distillation

Date: Sep 17, 2026

• 🔴 [requested-review] (09:04) User requested a strict READ-ONLY correctness/adversarial review of frozen v21 in /tmp/opencode/session-recovery-v21-review.
• 🔴 [enforced-workflow] (09:04) User directed: do not edit files, run tests/builds/services, mutate VCS/index/refs, or use recall.
• 🔴 (09:04) User required immutable inputs to be verified first: base commit ab9408c81cc9916177641ae8e9f08624fc27b5b9; patch /tmp/opencode/session-recovery-final-v21.patch with SHA-256 2ae4eea72024cafe8b69c0461063ee25cbf54608856cd258866b7f3b86620b36; SEA /home/byk/Code/opencode/packages/opencode/dist/server/opencode-server with SHA-256 aa98d64abb3bf6ac0ef88a940f9c41c6eb14ffeab3c3a7846921ba01ef46643d; 34 paths.
• 🔴 (09:04) User required inspection of all changed files and relevant context.
• 🔴 (09:04) User specified correctness requirement 1: a completed Step.Failed plus expired unknown claim preserves the original provider failure, idempotently reconciles only unresolved tools, atomically clears with the final tool event, and never creates Step.Recovered/continue.
• 🔴 (09:04) User specified that a continue-phase completed Step must still promote exactly once.
• 🔴 (09:04) User specified correctness requirement 2: concurrent SessionExecutionLocal and SessionRunCoordinator interrupts must join one result, run durable cleanup once, preserve queued wakes, and never start a successor before cleanup.
• 🔴 (09:04) User specified correctness requirement 3: schema.json prevIds must directly reference frozen base snapshot f14a9b18-8207-487e-a3d3-227e629ba9ad, with migration artifacts remaining consistent.
• 🔴 (09:04) User required rechecking cancellation post-finalizer ordering, expired cancelled/cancelling semantics, snapshot fencing, replay, identity, fairness, generated contracts, and dependency direction.
• 🔴 (09:04) User stated that the final check-call, process-local routing, and bounded clock skew are disclosed residuals.
• 🔴 (09:04) User required review output to present findings first, label them MUST-FIX or CONCERN, include exact file:line evidence, and end with exactly MERGE or DO-NOT-MERGE.