1 2 3 4 5 6
// Spec invariant tests — SPEC.md §Behavioral Invariants // Each test directly asserts a MUST/MUST NOT clause. // Failing any test here is a bug or a deliberate spec change. #[path = "spec/inv.rs"] mod inv;