convert-to-premise-removes-dependents
IN premise
When a derived node is converted to a premise via `convert_to_premise`, it is removed from its former antecedents' `dependents` sets because the old justification edges are deleted.
Summary
Converting a derived node into a premise severs the dependency links it previously had — the nodes it used to depend on no longer track it as a dependent. This matters because it means the converted node will no longer be affected by retractions or status changes in its former antecedents, which is the correct behavior since it now stands on its own as a directly asserted fact.
Dependents
These beliefs depend on this one:
- convert-to-premise-preserves-dependents-invariant — Converting a derived node to a premise correctly maintains the dependents index by removing the node from former antecedents' dependents sets — the same invariant maintained by every other network mutation.
Details
| Source | entries/2026/04/24/tests-test_dependents_integrity.md |