Distillation

Date: Sep 15, 2026

• 🟡 (15:47) User asked to continue implementation in /home/byk/Code/opencode and fix the parent-audit liveness gap: when an ordinary prompt wake coalesces with a pending recovery wake, SessionRunner promotes only the exact synthetic recovery continuation and can consume the sole advisory wake, stranding the normal prompt; ordinary prompts also need crash-safe redrive without waking resume:false inputs.
• 🔴 [enforced-workflow] (15:47) User required remaining in the current worktree, preserving unrelated files, and making no commits, builds, or service restarts.
• 🟡 (15:47) User requested the smallest coherent durable-intent implementation: add wake_pending boolean to the session_input projected read model/schema, defaulting to false for replay and backward compatibility.
• 🟡 (15:47) User requested extending SessionInput.admit with an execution-request/resume boolean owned at the admission boundary; a new admission requesting resume must atomically set wake_pending=true through the same PromptAdmitted EventV2 transaction commit, without changing the durable event schema solely for this flag.
• 🔴 (15:47) User required exact retries with a true execution request to durably set or retain session_input.wake_pending=true before advisory wake is invoked.
• 🔴 (15:47) User required that a false execution request never clear a prior true request.
• 🔴 (15:47) User required existing cross-session, payload, and delivery conflict behavior to remain unchanged.
• 🟡 (15:47) User requested updating Session.prompt to pass input.resume !== false into SessionInput.admit, then invoke advisory wake only after durable wake intent exists.
• 🟡 (15:47) User requested atomically clearing session_input.wake_pending when the exact row is promoted, while keeping all Prompted paths and replay/projector lifecycle behavior consistent.
• 🟡 (15:47) User requested SessionRecovery.recover first wake exact session_recovery.wake_pending rows, then use a deterministic bounded query over only session_input.wake_pending=true AND promoted_seq IS NULL, waking distinct Sessions.
• 🔴 (15:47) User explicitly required: “Never scan all pending inputs.”
• 🔴 (15:47) User required recovery wakes to be registered before ordinary wakes so coalescing schedules ordinary work as successor work.
• 🔴 (15:47) User required recovery drain itself to continue promoting only its exact synthetic continuation; subsequent ordinary runner behavior may preserve existing queue/steer semantics.
• 🟡 (15:47) User requested updating unpublished squashed migration packages/core/src/database/migration/20260914170650_session-recovery.ts and generated schema artifacts consistently; because session_input predates the feature, the migration must add wake_pending compatibly as NOT NULL DEFAULT false, with no event-replay break, followed by migration check.
• 🔴 [requested-tests] (15:47) User requested deterministic tests proving, in order: 1. resume:false never sets durable wake and startup does not wake it; 2. normal resume sets durable wake before advisory delivery and restart redrives it; 3. exact retry with true can promote a prior false intent without permitting conflicts; 4. promotion clears intent atomically; 5. recovery plus normal wake in the same Session schedules recovery first and then the normal successor, while recovery drain promotes only continue.
• 🟡 (15:47) User requested review of all current changes for direct compile errors caused by the new field.
• 🔴 [enforced-workflow] (15:47) User required affected tests to run with --printConsoleTrace, bun typecheck from packages/core, and migration check; the full Core suite should not run unless needed.
• 🔴 (15:47) User stated package tests must never be run from the repository root; tests must run from package directories such as packages/core.
• 🟡 (15:47) User requested inspection and reporting of any other concrete correctness issue found in the previous redesign, while forbidding speculative scope expansion.
• 🟡 (15:47) User requested the final report include a summary, exact files, commands/results, and risks/blockers.
• 🟡 (15:47) Assistant stated it would trace admission, promotion, prompt wake, recovery ordering, schema generation, and existing recovery tests before adding durable intent and focused regressions.
• 🟡 (15:47) Inspection found SessionInput.admit in packages/core/src/session/input.ts:41; its existing exact-retry path at lines 51-52 returns find(db, input.id) immediately, while a new admission publishes SessionEvent.PromptAdmitted without a commit callback.
• 🟡 (15:47) Inspection found Session.prompt in packages/core/src/session.ts:360-386; it calls SessionInput.admit at line 368 and currently calls execution.wake(admitted.sessionID) at line 382 when input.resume !== false.
• 🟡 (15:47) Inspection found SessionInput.projectAdmitted inserts session_input rows in packages/core/src/session/input.ts:83-116, and SessionInput.projectPrompted currently updates only { promoted_seq: input.promotedSeq } at lines 118-168.
• 🟡 (15:47) Inspection found promotion helpers in packages/core/src/session/input.ts: promoteSteers at lines 250-272, promoteNextQueued at lines 274-295, and promoteExact at lines 297-319; all publish SessionEvent.Prompted through the shared publish helper at lines 216-248.
• 🟡 (15:48) Inspection found SessionInputTable in packages/core/src/session/sql.ts:141-167 currently has id, session_id, prompt, delivery, admitted_seq, promoted_seq, and time_created, but no wake_pending column.
• 🟡 (15:48) Inspection found SessionRecoveryTable.wake_pending already exists in packages/core/src/session/sql.ts:185 as integer({ mode: "boolean" }).notNull().default(true).
• 🟡 (15:48) Inspection found unpublished squashed migration packages/core/src/database/migration/20260914170650_session-recovery.ts currently creates session_execution and session_recovery, with session_recovery.wake_pending integer DEFAULT true NOT NULL, but does not alter session_input.
• 🟡 (15:48) Inspection found projector handlers in packages/core/src/session/projector.ts: SessionEvent.Prompted calls SessionInput.projectPrompted at lines 357-369, and SessionEvent.PromptAdmitted calls SessionInput.projectAdmitted at lines 371-382.
• 🟡 (15:49) Inspection confirmed EventV2.PublishOptions.commit in packages/core/src/event.ts:118-124 is a local operational projection committed atomically with a new durable event and is not replayed or serialized; event publication invokes the commit callback at packages/core/src/event.ts:323.
• 🟡 (15:49) Existing test packages/core/test/session-prompt.test.ts:272-290 verifies an exact retry changing from resume:false to resume:true invokes advisory wake, but does not yet verify durable wake_pending state before that wake.