any-mode-preserves-full-outlist-semantics
IN derived (depth 1)
When any_mode expands a single multi-antecedent justification into per-premise justifications (OR semantics), each resulting justification preserves the original outlist entries — ensuring non-monotonic defeat works correctly under disjunctive expansion with no semantic loss.
Summary
When any_mode splits a joint justification into separate single-reason justifications, it copies the original defeat conditions onto each one. This means the system can still be overridden by defeating evidence even after the disjunctive expansion, so switching from AND to OR logic does not accidentally make a belief harder to retract.
Justifications
SL — Structural expansion (any_mode) and semantic preservation (outlist inheritance) are co-guaranteed — disjunction never silently drops defeat conditions
Antecedents (all must be IN):
- any-mode-creates-per-premise-justifications — When `any_mode=True` and multiple antecedents are given, each antecedent gets its own SL justification (OR semantics: node is IN if *any* antecedent is IN), rather than the default single multi-antecedent justification (AND semantics).
- any-mode-outlist-preserved — When `any_mode` expands `sl="a,b" unless="enemy"`, each resulting single-premise justification inherits `"enemy"` in its outlist.
Dependents
These beliefs depend on this one:
- any-mode-expansion-propagates-completely — When any_mode expands a conjunctive justification into per-premise disjunctive justifications, each resulting justification inherits the complete outlist specification (conjunction semantics, absence tolerance, persistence across save/load), and all resulting truth-value changes propagate completely to every affected dependent — but only when outlist nodes are tracked in the dependents index, ensuring outlist-mediated effects are not silently dropped.