Distillation

Date: Sep 17, 2026

• 🔴 (09:11) User directed that recovery must never recover a pre-promotion claim when input commits at the recovery boundary; encoded by test "never recovers a pre-promotion claim when input commits at the recovery boundary" at packages/core/test/session-projector.test.ts:1472.
• 🔴 (09:11) User directed that recovery must never promote a recovery superseded before scanner validation; encoded by test "never promotes a recovery superseded before scanner validation" at packages/core/test/session-projector.test.ts:1802.
• 🔴 (09:11) User directed that recovery must never quarantine an exact recovery conflict after ownership transfer; encoded by test "never quarantines an exact recovery conflict after ownership transfer" at packages/core/test/session-projector.test.ts:1866.
• 🔴 (09:11) User directed that recovery must never promote a quarantined recovery continuation as an ordinary steer; encoded by test "never promotes a quarantined recovery continuation as an ordinary steer" at packages/core/test/session-projector.test.ts:2013, with the fixture setting delivery: "steer".
• 🔴 (09:11) User directed that recovery must never recover an expired cancellation claim; encoded by test "never recovers an expired cancellation claim" at packages/core/test/session-projector.test.ts:2121.
• 🟡 (09:11) Recovery race-test excerpts use SQLite triggers named transfer_cancellation_recovery_owner and fail_expired_recovery_projection; the latter raises ABORT with message 'poison recovery projection', and both triggers are removed with DROP TRIGGER in Effect.ensuring(...).pipe(Effect.orDie).