restoration-hints-require-surviving-premises
IN premise
A retraction cascade only produces a `restoration_hint` for a node if it has a multi-premise SL justification and at least one of its premises is still IN after the cascade.
Summary
When a belief gets knocked out because one of its supporting reasons was retracted, the system only suggests it could be restored if it had multiple supporting premises and some of them are still valid. This means single-premise beliefs that lose their support are simply retracted with no hint about recovery, while multi-premise beliefs get a path back if part of their foundation remains intact.
Dependents
These beliefs depend on this one:
- defeat-reversal-with-guided-recovery — All defeat mechanisms (challenge, kill-switch, supersession) are reversible through outlist semantics, and the system provides surgical restoration hints for cascade victims with viable recovery paths — enabling guided recovery from retraction cascades where multi-premise justifications have surviving premises.
- restoration-hints-are-surgical — Restoration hints provide surgical recovery guidance after retraction cascades: hints exclude the directly retracted node (targeting only cascade victims) and require at least one surviving premise in a multi-premise justification — narrowing recovery scope to nodes that can actually be independently re-justified.
Details
| Source | entries/2026/04/24/tests-test_any_mode.md |