every-network-mutation-maintains-dependents-invariant

IN premise

After any public Network mutation (add_node, retract, assert_node, add_justification, supersede, challenge, defend, convert_to_premise, add_nogood, summarize), the dependents index passes `verify_dependents()` — completeness and minimality are maintained incrementally

Summary

Whenever the belief network is changed through any of its public operations, the internal index that tracks which nodes depend on which other nodes stays correct. This matters because a broken dependents index would cause retraction cascades to miss affected nodes or touch unrelated ones, silently corrupting the entire reasoning system.

Details

Source

entries/2026/04/29/tests-test_dependents_integrity.md