add-justification-registers-dependents
IN premise
`add_justification` updates the `dependents` set on both antecedent and outlist nodes so that future retraction/restoration propagation reaches the target node.
Summary
When a new justification is added linking a node to its supporting nodes, the system registers the dependent relationship in both directions — each antecedent and each outlist node learns that the target depends on it. This ensures that if any of those supporting nodes later change status (get retracted or restored), the propagation logic knows to visit and re-evaluate the target node.
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.
Details
| Source | entries/2026/04/24/tests-test_add_justification.md |