propagate-cascade-stops-on-unchanged
IN premise
If a dependent's recomputed truth value equals its current value, it is not enqueued — the cascade terminates along that path, making propagation selective rather than exhaustive
Summary
When the system propagates changes through the dependency network, it skips over any node whose status would not actually change. This means a retraction or restoration only ripples outward along paths where values flip, avoiding unnecessary work and keeping updates efficient even in large networks.
Dependents
These beliefs depend on this one:
- propagation-is-crash-free — Truth propagation completes without runtime errors across all reachable nodes
- propagation-terminates-deterministically — Truth propagation is guaranteed to terminate: BFS prevents stack overflow, stop-on-unchanged prevents oscillation, and fixpoint iteration bounds the outer loop
Details
| Source | entries/2026/04/23/reasons_lib-network-_propagate.md |