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

Sourceentries/2026/05/05/tests-test_import_agent.md