nogood-id-format-is-zero-padded

IN premise

Nogood IDs follow the format `nogood-NNN` with 3-digit zero-padded integers (e.g., `nogood-001`), and `_next_nogood_id` holds the next integer to assign, not the last used

Summary

Nogood identifiers use a fixed three-digit numbering scheme like nogood-001, nogood-002, and so on, rather than plain integers. The internal counter tracks which number to assign next, so it always points one ahead of the most recently created nogood — meaning you can read it directly to know what the next ID will be without any arithmetic.

Details

Sourceentries/2026/04/29/tests-test_nogood_id.md