any-mode-expansion-is-evaluation-invisible

OUT derived (depth 7)

Any-mode expansion from conjunctive to disjunctive justifications is invisible to truth evaluation: the expanded justifications propagate completely through the same BFS mechanisms, and truth evaluation produces identical results regardless of whether justifications arrived via original specification or any-mode expansion — a consequence of transformation invariance.

Summary

When the system expands a single "all of these must hold" justification into several "any one of these suffices" justifications, the truth values that come out are exactly the same as if those individual justifications had been written that way from the start. The expansion is purely a structural rewriting that the evaluation engine cannot distinguish from the original form, so it introduces no semantic surprises or edge cases.

Justifications

SL — OR-expansion is indistinguishable from manual justification under transformation-invariant evaluation

Antecedents (all must be IN):

  • 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.
  • truth-evaluation-is-transformation-invariant — Truth evaluation produces identical results regardless of both temporal context (when a justification was attached — at node creation vs. later addition) and structural transformation (premise → justified node via challenge) — all forms of node history and identity change are invisible to the evaluation function, making truth a pure function of current network state.

Dependents

These beliefs depend on this one:

Details