import-paths-bump-nogood-counter
IN premise
Both `import_json` and `import_into_network` update `_next_nogood_id` to at least `max_imported_id + 1`, ensuring imported nogoods with explicit IDs don't create future collisions
Summary
When nogood records are imported from external sources, the system adjusts its internal counter so that any new nogoods created afterward will get IDs higher than anything that was imported. This prevents ID collisions that could cause one nogood to silently overwrite another, which would corrupt the contradiction tracking and potentially allow retracted beliefs to remain active.
Details
| Source | entries/2026/04/29/tests-test_nogood_id.md |