add-node-evaluates-justification-at-insertion
IN premise
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
Summary
When you add a new derived node to the system, it doesn't just sit in limbo waiting to be evaluated later. Its truth value is determined right away based on whatever its supporting nodes currently hold. So if you add a node that depends on something already retracted, the new node immediately starts as OUT rather than optimistically assuming it might be true.
Dependents
These beliefs depend on this one:
- 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.
Details
| Source | entries/2026/04/29/tests-test_network.md |