defeat-reversal-propagates-automatically
IN derived (depth 3)
All outlist-based defeat mechanisms (challenge, kill-switch, supersession) not only reverse in principle but propagate recovery automatically through safe terminating BFS — when a defeating node is retracted, the outlist entry becomes satisfied, and propagation cascades truth-value restoration to all affected nodes without manual re-assertion
Summary
When any node that was suppressing another belief gets retracted, the system does not just allow recovery in theory — it actively restores truth values to every downstream node affected by that suppression, using a breadth-first sweep that is guaranteed to finish without loops or crashes. This means defeat is never a permanent side effect; removing the cause automatically and completely undoes the consequence chain.
Justifications
SL — Defeat reversibility (outlist semantics flip truth without destroying structure) plus safe propagation (BFS with guaranteed termination) should yield automatic recovery — but only if outlist nodes are tracked in the dependents index so that retracting a defeating node triggers propagation to the defeated nodes
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
- propagation-is-safe-and-terminating — Truth propagation is both lifecycle-safe and guaranteed to terminate: retracted nodes are skipped, trigger nodes are never recomputed, BFS prevents stack overflow, and stop-on-unchanged prevents oscillation — propagation respects every node state it encounters.
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:
- all-truth-effects-propagate-through-outlist-paths — All truth effects — both incremental truth changes and outlist-based defeat reversals — propagate completely through outlist-connected paths without requiring full network recomputation, ensuring outlist-based non-monotonic reasoning achieves the same incremental efficiency as antecedent-based reasoning
- 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.