any-mode-outlist-preserved
IN premise
When `any_mode` expands `sl="a,b" unless="enemy"`, each resulting single-premise justification inherits `"enemy"` in its outlist.
Summary
Each branch created by any-mode expansion carries forward the original unless-conditions, so if the parent justification says "unless enemy," every individual justification it spawns will also be defeated when "enemy" becomes true. This ensures that defeaters are not silently dropped during expansion, preserving the intended retraction behavior across all generated support paths.
Dependents
These beliefs depend on this one:
- any-mode-preserves-full-outlist-semantics — 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.
Details
| Source | entries/2026/04/24/tests-test_any_mode.md |