retract-returns-changed-set
IN premise
`Network.retract()` returns a list of all node IDs whose truth value changed, including the target and all transitively affected dependents; retracting an already-OUT node returns `[]`
Summary
When you retract a node from the network, the method tells you exactly which nodes were affected by giving back their IDs — not just the one you retracted, but every downstream dependent whose status flipped as a result. If the node was already out, nothing changes and you get an empty list back. This makes it easy for callers to know the blast radius of a retraction without having to scan the whole network themselves.
Dependents
These beliefs depend on this one:
- every-mutation-reports-its-effects — All mutating operations report their effects as structured data: retract returns the full changed set, add_justification returns a change dict with old/new truth values, and API mutating operations use before/after truth-value diffing to capture deltas.
Details
| Source | entries/2026/04/29/tests-test_network.md |