multiple-outlist-is-conjunction
IN premise
When a justification has multiple outlist entries, ALL must be OUT for the justification to be valid; any single outlist node going IN defeats the entire justification
Summary
In a TMS justification, the outlist acts like a conjunction of negations — every listed node must be disbelieved for the justification to hold. If even one outlist node becomes believed, that alone is enough to invalidate the justification, regardless of the status of the other outlist entries. This matters because it means outlist entries work together as a group condition, not independently.
Dependents
These beliefs depend on this one:
- outlist-semantics-are-fully-specified — The outlist primitive has complete, well-defined semantics: multiple entries form a conjunction (all must be OUT), absent nodes are treated as OUT (permissive default), and outlist relationships survive persistence through JSON serialization with rebuilt dependent indexes.
Details
| Source | entries/2026/04/23/topic-outlist-semantics.md |