justification-timing-is-irrelevant-to-evaluation
IN derived (depth 2)
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.
Summary
The order in which justifications are added to a node does not affect its final truth value. Whether a justification is provided at creation time or attached later, the system applies the same evaluation rules and propagation logic, so the end result is always consistent regardless of timing.
Justifications
SL — Both entry points use the same pure evaluation function, eliminating time-of-attachment sensitivity
Antecedents (all must be IN):
- add-node-evaluates-justification-at-insertion — When `add_node` is called with justifications, the node's initial truth value is computed immediately from the current state of its antecedents — a derived node added when its antecedent is OUT starts OUT
- add-justification-triggers-propagation — Adding a justification that changes a node's truth value triggers BFS propagation that cascades to all transitive dependents, including restoring OUT nodes whose justifications become valid.
- 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
Dependents
These beliefs depend on this one:
- justification-evaluation-is-context-independent — 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