import-agent-retraction-survives-recompute
IN premise
After retracting an imported belief, `recompute_all()` must not resurrect it — the justification structure must not provide alternative paths to IN (issue #16 regression invariant).
Summary
When an imported belief is retracted, it must stay retracted even after the system recalculates all justifications. This guards against a specific regression where the recomputation engine could accidentally find another justification path and bring a retracted belief back to life, undermining the user's explicit intent to remove it.
Details
| Source | entries/2026/05/05/tests-test_import_agent.md |