nogood-id-persisted-in-meta
IN premise
The nogood counter is stored in the `network_meta` SQLite table and survives save/load cycles as a high-water mark, not a count of current nogoods
Summary
The system tracks how many contradictions have been discovered by storing a persistent counter in the database rather than recounting them each time. This means nogood IDs are globally unique and never reused, even if earlier contradictions are later resolved or removed, which prevents ID collisions across save and load cycles.
Dependents
These beliefs depend on this one:
- nogood-ids-are-durable-and-collision-free — Nogood IDs form a durable collision-free sequence: the counter only increases (surviving deletions and clears), persists across save/load cycles via the network_meta table, and advances past imported IDs to prevent collisions — no operation can produce a reused or ambiguous contradiction identifier
Details
| Source | entries/2026/04/24/tests-test_nogood_id.md |