Distillation

Date: Sep 16, 2026

• 🔴 (16:13) User specified the regression invariant/test "never marks a failed Step safe while a sibling tool finalizer is active" in /tmp/opencode/session-recovery-v7-check/packages/core/test/session-runner.test.ts; the test uses sibling tools including sibling_defect, gates execution with executionStarted and finalization with releaseFinalizer, and prompts with "Run sibling tools".
• 🟡 (16:13) /tmp/opencode/session-recovery-v7-check/packages/core/test/session-runner.test.ts includes test "durably fails blocked local tools when a provider turn is interrupted"; its context includes user text "Interrupt blocked tool", a recovered phase of "unknown", and verifies requests[0]?.messages.map((message) => message.role) equals ["user", "assistant", "tool"].
• 🟡 (16:14) /tmp/opencode/session-recovery-v7-check/packages/schema/test/event-manifest.test.ts verifies public-event inventory counts: EventManifest.ServerDefinitions.length === 61, EventManifest.Definitions.length === 91, EventManifest.Latest.size === 91, and EventManifest.Durable.size === 38.
• 🟡 (16:14) event-manifest.test.ts verifies SessionV1.Event.Definitions order: 1. Created, 2. Updated, 3. Deleted, 4. MessageUpdated, 5. MessageRemoved, 6. PartUpdated, 7. PartRemoved, 8. PartDelta, 9. Diff, 10. Error; it also verifies EventManifest.Definitions.slice(46, 49) is [SessionV1.Event.PartDelta, SessionV1.Event.Diff, SessionV1.Event.Error].
• 🟡 (16:14) event-manifest.test.ts verifies canonical current-event definitions: Session.Event === SessionEvent, Session.Event.Definitions === SessionEvent.Definitions, Workspace.Event === WorkspaceEvent, Workspace.Event.Definitions === WorkspaceEvent.Definitions, "session.next.step.ended" maps to SessionEvent.Step.Ended, "todo.updated" maps to SessionTodo.Event.Updated, and "project.updated" maps to Project.Event.Updated.
• 🟡 (16:14) event-manifest.test.ts verifies inventories: Project.Event.Definitions is [Project.Event.Updated]; FileSystem.Event.Definitions is [FileSystem.Event.Edited]; Integration.Event.Definitions is [Integration.Event.Updated, Integration.Event.ConnectionUpdated]; Permission.Event.Definitions is [Permission.Event.Asked, Permission.Event.Replied]; Reference.Event.Definitions is [Reference.Event.Updated]; IdeEvent.Definitions is [IdeEvent.Installed], while EventManifest.Latest does not contain "ide.installed".
• 🟡 (16:14) Durable manifest versioning assertions in event-manifest.test.ts: "session.next.step.ended.1" is absent; "session.next.step.ended.2" maps to SessionEvent.Step.Ended; "session.next.prompt.execution_requested.1" maps to SessionEvent.PromptExecutionRequested.
• 🟡 (16:14) /tmp/opencode/session-recovery-v7-check/packages/schema/src/session-event.ts includes these durable session events in DurableDefinitions: AgentSwitched, ModelSwitched, Moved, Prompted, PromptAdmitted, PromptExecutionRequested, ContextUpdated, Synthetic, Shell.Started, Shell.Ended, Step.Started, Step.Ended, Step.Failed, Step.Interrupted, Step.Recovered, Text.Started, Text.Ended, Tool.Input.Started, Tool.Input.Ended, Tool.Called, Tool.Progress, Tool.Success, Tool.Failed, Reasoning.Started, Reasoning.Ended, Retried, Compaction.Started, Compaction.Ended, RevertEvent.Staged, RevertEvent.Cleared, and RevertEvent.Committed.
• 🟡 (16:14) session-event.ts defines RevertEvent.Staged as "session.next.revert.staged" with revert: Revert.State, RevertEvent.Cleared as "session.next.revert.cleared", and RevertEvent.Committed as "session.next.revert.committed" with messageID: SessionMessage.ID; Durable is a one-of union tagged by "type" and annotated with identifier "SessionDurableEvent".
• 🟡 (16:14) /tmp/opencode/session-recovery-v7-check/packages/sdk/openapi.json contains both versioned and unversioned generated event enums: "session.next.prompt.execution_requested", "session.next.prompt.execution_requested.1", "session.next.step.recovered", and "session.next.step.recovered.1".
• 🟡 (16:14) In packages/sdk/openapi.json, "session.next.prompt.admitted" properties include optional boolean requestExecution; required properties remain ["timestamp", "sessionID", "messageID", "prompt", "delivery"]. "session.next.prompt.execution_requested" requires ["timestamp", "sessionID", "messageID"].
• 🟡 (16:15) In packages/sdk/openapi.json, "session.next.step.recovered" properties include timestamp, sessionID, executionID, optional assistantMessageID, and phase; phase permits ["ready", "unknown", "continue"], while required fields are ["timestamp", "sessionID", "executionID", "phase"].
• 🟡 (16:15) SessionExecutionTable mutation sites found: /tmp/opencode/session-recovery-v7-check/packages/core/src/session/execution/claim.ts updates at line 45 and deletes at line 57; /tmp/opencode/session-recovery-v7-check/packages/core/src/session/execution/local.ts inserts at line 32; /tmp/opencode/session-recovery-v7-check/packages/core/src/session/recovery.ts updates at lines 83, 103, and 186.