migrated-retraction-every-mutation-reports-its-effects-j0

IN premise

Created 2026-07-08T21:29:57+00:00

review-beliefs: Three mutation-reporting mechanisms are demonstrated but the universal claim "All mutating operations" is not established — add_node, propagate, dedup, and import mutations are not shown to report their effects. (defeats every-mutation-reports-its-effects justification 0)

Dependents

These beliefs depend on this one:

• OUT 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.