Distillation

Date: Sep 16, 2026

• 🔴 (15:38) User specified the recovery-boundary invariant "never recovers a pre-promotion claim when input commits at the recovery boundary", represented by an it.effect(...) test.
• 🔴 (15:38) User specified the scanner-validation invariant "never promotes a recovery superseded before scanner validation", represented by an it.effect(...) test.
• 🔴 (15:38) User specified the quarantine invariant "never promotes a quarantined recovery continuation as an ordinary steer", represented by an it.effect(...) test.
• 🔴 (15:38) User specified the ownership invariant "never advances the Context Epoch after ownership changes", represented by an it.effect(...) test.
• 🟡 (15:38) User-provided test code expects malformed execution phase "invalid" to produce { error: "Invalid execution phase: invalid" }.