challenge-converts-premises-to-justified
IN premise
When a premise (node with no justifications) is challenged, it is converted to a justified node with an SL justification containing empty antecedents and the challenge in the outlist.
Summary
Challenging a foundational assumption doesn't just flag it — it restructures how the system tracks that assumption. The premise gets rewired so its continued validity explicitly depends on the challenge being absent, meaning if the challenge is ever accepted, the premise automatically loses its support and retracts.
Dependents
These beliefs depend on this one:
- challenge-destroys-premise-identity — When a premise is challenged, it loses its defining characteristic: premise identity emerges from absence of justifications, but challenge adds a justification (converting the premise to a justified node), meaning the target's truth value becomes conditional on the challenge node being OUT rather than unconditionally held — challenge reclassifies the target in the node type system.
Details
| Source | entries/2026/04/23/reasons_lib-network-challenge.md |