justification-evaluation-is-context-independent
IN derived (depth 3)
Justification evaluation produces identical results regardless of evaluation context: it is pure (no side effects), uniform across types (SL/CP use the same validity rule), and temporally invariant (attaching a justification at creation or later yields the same truth outcome) — making truth computation fully context-free
Summary
When the system decides whether something is true or false, that decision depends only on the current state of its supporting and opposing evidence, nothing else. It doesn't matter what type of justification is used, whether side effects might interfere, or whether the justification was added at creation time or later. This makes the truth computation fully predictable and testable since the same inputs always produce the same outputs regardless of context.
Justifications
SL — Purity and type-uniformity (depth-1) combined with temporal invariance (depth-1) yields complete context-independence — evaluation depends only on antecedent/outlist truth values, never on when, how, or in what order justifications were attached
Antecedents (all must be IN):
- justification-evaluation-is-uniform-and-pure — All justification types (SL and CP) use the same validity rule (antecedents IN, outlist OUT), evaluated as a pure function with no side effects
- justification-timing-is-irrelevant-to-evaluation — Justification evaluation produces identical truth semantics regardless of when a justification is attached: add_node evaluates justifications immediately at insertion, and add_justification triggers identical propagation when attached post-creation — the system has no time-of-attachment sensitivity.
Dependents
These beliefs depend on this one:
- evaluation-is-uniformly-context-and-origin-agnostic — Truth evaluation produces identical results regardless of both attachment history (when/how a justification was added) and structural origin (ordinary belief vs. dialectical construct) — no belief receives special treatment based on provenance, timing, or role in the network.