nogood-id-monotonic

Summary

Each recorded contradiction gets a unique numeric identifier that never gets recycled, even if contradictions are later removed or the system is cleared. This prevents stale references from accidentally pointing to a different contradiction than intended, which was a bug that previously caused incorrect behavior.