Distillation

Date: Sep 16, 2026

• 🔴 (15:38) User specified the lease invariant "never starts a second owner while the lease is live", represented by an it.effect(...) test that expects exactly 1 persisted claim.
• 🔴 (15:38) User specified the expired-lease invariant "never overwrites an expired lease", represented by an it.effect(...) test that expects secondRuns to remain 0.
• 🔴 (15:38) User specified the uncertain-ownership invariant "never re-enters its own uncertain live lease", represented by an it.effect(...) test that simulates failure and expects runs to equal 1.
• 🔴 (15:38) User specified the heartbeat invariant "never revives an expired claim on heartbeat", represented by an it.effect(...) test that explicitly sets SessionExecutionTable.expires_at to 0.
• 🔴 (15:38) User-provided execution tests also specify that claims are cleared after a successful drain and after explicit interruption, while cancellation fails if cleanup loses execution ownership.
• 🟡 (15:39) User-provided packages/core/test/session-run-coordinator.test.ts includes coordinator behavior tests for running a wake registered during interruption cleanup, starting exactly one follow-up when a wake races with failure, preserving execution when an interrupted waiter had merely joined it, and running different keys concurrently.
• 🟡 (15:39) In packages/core/test/session-run-coordinator.test.ts, the wake/failure race test uses failure = new Error("failed"); the first drain waits on gate and fails, the wake schedules a second drain, Fiber.join(resumed).pipe(Effect.flip) must return the same failure, and runs must equal 2.
• 🟡 (15:39) In packages/core/test/session-run-coordinator.test.ts, interrupting a second joined waiter must not cancel the first execution; after releasing gate, the first fiber joins successfully and runs must equal 1.
• 🟡 (15:39) In packages/core/test/session-run-coordinator.test.ts, separate keys "first" and "second" are expected to execute concurrently, demonstrated by active reaching 2 before the shared gate is released.
• 🔴 (15:39) User specified that synchronous self-waking execution must trampoline rather than recurse unsafely: the test in packages/core/test/session-run-coordinator.test.ts uses limit = 20_000, repeatedly invokes wake(key), and expects runs to equal 20_000.
• 🟡 (15:39) The provided packages/core/test/session-run-coordinator.test.ts is 463 lines long.