import-beliefs-nogood-id-uses-high-water-mark

Summary

When nogoods are imported from an external file, the system tracks the highest ID it has seen and ensures any new automatically generated nogood IDs start above that number. This prevents a situation where a freshly created nogood accidentally reuses an ID that was already assigned to an imported one, which would corrupt the contradiction records.