defeat-reversal-with-guided-recovery
IN derived (depth 2)
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.
Summary
When something gets defeated or retracted, nothing is permanently destroyed — the system can always undo it. Beyond simple reversal, when a retraction ripples through and knocks out downstream conclusions, the system identifies which of those casualties can be salvaged because some of their supporting evidence still holds, giving operators a roadmap for targeted recovery instead of forcing them to rebuild from scratch.
Justifications
SL — Reversible defeat (depth-1) plus surgical hints (depth-0) provide both mechanism and guidance for recovery — unless missing outlist tracking leaves some cascade effects undetected and therefore unguided
Antecedents (all must be IN):
- all-defeat-mechanisms-are-reversible — Every outlist-based defeat operation (challenge, kill-switch, supersession) is inherently reversible because outlist semantics flip truth values without deleting nodes
- restoration-hints-require-surviving-premises — 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.
Unless (any of these IN defeats this justification):
- outlist-nodes-not-in-dependents-index — Outlist nodes are not tracked in the `dependents` index, so when an outlist node is retracted (goes OUT), dependent GATE beliefs are not enqueued for re-evaluation by `_propagate` — requiring manual `reasons assert` as a workaround.
Dependents
These beliefs depend on this one:
- defeat-reversal-is-automatic-with-guided-recovery — All outlist-based defeat mechanisms (challenge, kill-switch, supersession) not only reverse automatically through BFS propagation cascades — recovering all transitively dependent nodes — but also provide surgical recovery guidance through restoration hints that target cascade victims with surviving premises, enabling both automatic and manual recovery paths.