Distillation

Date: Sep 15, 2026

• 🔴 (22:54) User supplied packages/core/test/session-execution-local.test.ts tests establishing lease/claim invariants: 1. "never starts a second owner while the lease is live", 2. "never overwrites an expired lease", 3. "never re-enters its own uncertain live lease", 4. "renews heartbeat expiry from the current clock", 5. "never revives an expired claim on heartbeat".
• 🔴 (22:54) User supplied a packages/core/test/session-projector.test.ts test establishing the invariant "never recovers a live execution lease".
• 🔴 (22:54) User supplied projector-test setup using const poisonCount = SessionRecovery.BATCH_SIZE + 1.