add-justification-propagates-tags-downstream
IN premise
Calling `add_justification` on an existing node recomputes `access_tags` for the target and all its transitive dependents, enabling retroactive tag propagation.
Summary
When you add a new justification to a node that already exists, the system automatically recalculates which access tags apply not just to that node but to everything that depends on it, all the way down the chain. This means you can grant or change access control after the fact and have it ripple through the entire dependency graph without manually updating each downstream 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/29/tests-test_access_tags.md |