remove-justification-enforces-minimum-count
IN premise
`Network.remove_justification` refuses to remove the last justification from a derived node — a derived node must retain at least one justification, enforced with `ValueError("only one justification")`
Summary
When you try to remove a justification from a derived node that only has one left, the system throws an error instead of allowing it. This prevents derived nodes from ending up in an invalid state where they exist but have no justification for why they should exist — if you truly want to eliminate a derived node, you need to retract it rather than strip away its reasoning.
Details
| Source | entries/2026/05/11/tests-test_remove_justification.md |