empty-antecedents-vacuously-valid
IN premise
An SL justification with an empty antecedent list is valid (vacuous truth via `all([])`), allowing outlist-only justifications to function as "IN unless Y" — used by `challenge` and `supersede` for converted premises
Summary
When a justification has no required supporting beliefs but only lists beliefs that would defeat it, the system treats it as valid by default. This is the mechanism that lets converted premises stay active unless specifically challenged or superseded — they hold true until something explicitly knocks them out.
Dependents
These beliefs depend on this one:
- premise-behavior-emerges-from-absence — Premise behavior is not explicitly implemented — it emerges from three defaults: nodes with no justifications default to IN, empty antecedent lists are vacuously valid, and the system preserves a premise's current truth value rather than deriving it.
Details
| Source | entries/2026/04/23/reasons_lib-network-_justification_valid.md |