justification-validity-requires-inlist-in-and-outlist-out
IN premise
A justification is valid iff all antecedents are IN and all outlist nodes are OUT; this single rule drives retraction cascades, kill-switch behavior, challenges, and supersession
Summary
The entire truth maintenance system runs on one core validity check: a conclusion holds only when every supporting reason is active and every blocking condition is inactive. This single rule is what makes retractions ripple through the network, allows one belief to override another, and enables challenges to knock out competing claims — all the complex behaviors emerge from this one test.
Dependents
These beliefs depend on this one:
- justification-evaluation-is-uniform-and-pure — All justification types (SL and CP) use the same validity rule (antecedents IN, outlist OUT), evaluated as a pure function with no side effects
Details
| Source | entries/2026/04/23/topic-multi-agent-federation.md |