add-justification-triggers-propagation
IN premise
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.
Summary
When a new justification is added to a node and it flips that node's truth value, the system doesn't stop there — it walks forward through every node that depends on the changed one, updating their statuses too. This means previously retracted nodes can automatically come back if the justification chain supporting them becomes valid again, so the network stays consistent without manual intervention.
Dependents
These beliefs depend on this one:
- add-justification-is-fully-propagating — Adding a justification triggers complete multi-dimensional propagation: truth values cascade through dependents via BFS, the dependents reverse index is updated on both antecedent and outlist nodes, and access tags flow downstream transitively through all dependent chains.
- 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/24/tests-test_add_justification.md |