Distillation

Date: Sep 16, 2026

• 🟡 (15:42) /tmp/opencode/session-recovery-v7-check/packages/core/schema.json lines 2534-2539 define check session_execution_phase_check on table session_execution with expression "phase" IN ('ready', 'safe', 'unknown', 'continue').
• 🟡 (15:42) /tmp/opencode/session-recovery-v7-check/packages/core/schema.json lines 2540-2545 define check session_recovery_wake_attempts_check on table session_recovery, requiring "wake_attempts" >= 0 AND "wake_attempts" <= 9007199254740991.
• 🟡 (15:42) /tmp/opencode/session-recovery-v7-check/packages/core/schema.json lines 2546-2550 define check session_wake_attempts_check on table session, requiring "wake_attempts" >= 0 AND "wake_attempts" <= 9007199254740991.
• 🟡 (15:42) /tmp/opencode/session-recovery-v7-check/packages/core/schema.json includes non-unique manual index todo_session_idx on todo.session_id; the 2,554-line schema has an empty renames array.
• 🟡 (15:42) /tmp/opencode/session-recovery-v7-check/packages/core/src/event.ts lines 369-395 implement publishEvent(): a local commit hook on a non-durable event dies with InvalidDurableEventError and message "Local commit hooks require a durable event"; durable events use commitDurableEvent(), attach { aggregateID, seq, version }, and invoke notify(event, true), while uncommitted events invoke notify(event, false).
• 🟡 (15:42) /tmp/opencode/session-recovery-v7-check/packages/core/src/event.ts lines 398-416 implement listener behavior: observe() catches non-interruption causes and logs "Event listener failed" with eventID, eventType, and cause; notify() isolates listeners only when requested, then publishes to the typed PubSub channel and pubsub.all.
• 🟡 (15:42) /tmp/opencode/session-recovery-v7-check/packages/core/src/event.ts lines 419-437 implement publish(): location comes from options.location or Location.Service as { directory, workspaceID }; event IDs use options.id ?? ID.create(); optional metadata and location are included before forwarding options.commit to publishEvent().
• 🟡 (15:42) /tmp/opencode/session-recovery-v7-check/packages/core/src/event.ts lines 441-458 show replay(event, options?) accepts { publish?: boolean; ownerID?: string; strictOwner?: boolean }, resolves the durable definition with Durable.get(event.type), dies with InvalidDurableEventError and message Unknown durable event type ${event.type} for unknown/non-durable types, decodes data through Schema.decodeUnknownSync(definition.data), and calls commitDurableEvent() with the replayed sequence.
• 🟡 (15:43) /tmp/opencode/session-recovery-v7-check/packages/core/src/session/execution.ts defines SessionExecution.Interface with four operations: active: Effect.Effect<ReadonlySet<SessionSchema.ID>>; resume(sessionID): Effect.Effect<void, SessionRunner.RunError> to start idle execution or join active execution; wake(sessionID): Effect.Effect<void> to register newly recorded work with coalescible repeated wakeups; and interrupt(sessionID): Effect.Effect<void> to interrupt process-owned active work while treating idle interruption as a no-op.
• 🟡 (15:43) /tmp/opencode/session-recovery-v7-check/packages/core/src/session/execution.ts defines Service under key "@opencode/v2/SessionExecution" and routes execution from a Session ID to the runner owned by that Session’s Location; node is LayerNode.unbound(Service, Node.tags.values.global).
• 🟡 (15:43) /tmp/opencode/session-recovery-v7-check/packages/core/src/session/execution.ts defines low-level compatibility noopLayer: active returns an empty Set, while resume, wake, and interrupt all return Effect.void.