compact-priority-order-is-nogoods-out-in

Summary

When the system needs to compress its memory to fit within limits, it prioritizes preserving information about contradictions and retracted beliefs over active beliefs. This means if space runs out, the system might lose track of what it currently holds true, but it will always remember what went wrong and what was rejected — ensuring it doesn't repeat past mistakes even at the cost of having to re-derive conclusions.