Lock checklist emission invariant: add assertion in finalize_checklis…#3

Merged

Dee66 merged 1 commit intomainfrom

phase4/lock-checklist-invariant

Dec 16, 2025

Commits on Dec 16, 2025

Lock checklist emission invariant: add assertion in finalize_checklist; add invariant tests and docs
Dee66
committed