Distillation

Date: Sep 15, 2026

• 🟡 (08:15) /home/byk/Code/opencode/packages/schema/src/session-event.ts:185-219 defines Step.Failed, Step.Interrupted, and Step.Recovered: Failed uses type "session.next.step.failed", ...stepSettlementOptions, ...Base, assistantMessageID: SessionMessage.ID, and error: UnknownError; Interrupted uses type "session.next.step.interrupted", ...options, ...Base, assistantMessageID: SessionMessage.ID, and error: UnknownError; Recovered uses type "session.next.step.recovered", ...options, ...Base, executionID: Schema.String, recoveryMessageID: SessionMessage.ID, optional assistantMessageID: SessionMessage.ID, continuationMessageID: SessionMessage.ID, and phase: Schema.Literals(["ready", "unknown"]).
• 🟡 (08:15) /home/byk/Code/opencode/packages/schema/src/session-event.ts:222-249 defines Text.Started, Text.Delta, and the beginning of Text.Ended. Text.Started uses type "session.next.text.started", ...options, ...Base, assistantMessageID: SessionMessage.ID, and textID: Schema.String; live-only Text.Delta uses type "session.next.text.delta" with ...Base, assistantMessageID, textID, and delta: Schema.String, while Text.Ended is documented as the replayable full-value boundary.
• 🔴 (08:18) User requires SessionExecutionLocal to “never start a second owner while the lease is live.”
• 🟡 (08:18) /home/byk/Code/opencode/packages/core/test/session-execution-local.test.ts:81-102 tests the live-lease ownership requirement by starting a first execution that never completes, calling second.resume(sessionID), and asserting secondRuns === 0 and exactly 1 execution claim remains before closing firstScope.
• 🟡 (08:18) /home/byk/Code/opencode/packages/core/test/session-execution-local.test.ts:104-133 tests expired-lease takeover and stale-owner fencing: after the first owner starts, the test sets its SessionExecutionTable.expires_at to 0, calls second.resume(sessionID), and asserts secondRuns === 1 and claims equals [].
• 🔴 (08:18) User requires SessionExecutionLocal to “never re-enter its own uncertain live lease.”
• 🟡 (08:18) /home/byk/Code/opencode/packages/core/test/session-execution-local.test.ts:135-160 tests uncertain-live-lease non-reentry: the execution increments runs, updates its own SessionExecutionTable.phase to "unknown", and dies with "simulated failure"; after one defect-caught resume(sessionID) and a second resume(sessionID), the assertions require runs === 1 and exactly 1 claim to remain.