add-justification-returns-change-dict
IN premise
`Network.add_justification` returns a dict with keys `node_id`, `old_truth_value`, `new_truth_value`, and `changed` (list of all nodes whose truth value changed).
Summary
When you add a new justification to a node in the network, the method gives back a structured report telling you which node was affected, what its truth value was before and after, and a complete list of every other node whose truth value changed as a ripple effect. This makes it possible to track propagation consequences without having to diff the entire network state before and after the call.
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/24/tests-test_add_justification.md |