Rendered from docs/verifications/0001-the-section-heading-rule-has-no-case-table-and-a-golden-fixture-report-is-what-proves-it-runs.md in the Headwater corpus. Every document on this half of the site is typed by the taxonomy the descriptor names: corpus.json.

The section-heading rule has no case table, and a golden fixture report is what proves it runs

Approach

engine/crates/check/src/sections.rs carries the rule and no test of its own: it has no #[cfg(test)] module and no per-shape table. What proves it is the golden fixture in engine/crates/check/tests/fixtures.rs, over the tree at engine/crates/check/fixtures/check/. check/spec/08-contract-met.md writes every heading its kind's contract requires, and check/spec/09-contract-missing.md omits one; both are read into the recorded report at engine/crates/check/fixtures/check.report, and the test compares that report byte for byte.

cargo test -p headwater-check --test fixtures --manifest-path engine/Cargo.toml --locked

That command is what makes the method test rather than inspection: the two fixture documents decide the verdict, and a byte comparison against a recorded report is what would fail if the rule stopped telling them apart. headwater check --root . --strict runs the same rule over this corpus and reports what it finds there, which is the second half of HW-AC-0002's own Method section.

What this does not cover

No per-shape case table exists for this rule, and this document does not claim one. An earlier draft of this document and of HW-AC-0002's own Method section named cargo test -p headwater-check --lib sections, a command that runs zero tests against an empty module; that claim was wrong, inherited from a Method section that was already wrong, and this revision corrects both.

This document carries one test_site anchor. Two comments in engine/crates/check/tests/fixtures.rs cite HW-VER-0001, and the comment-scan resolver binds the cited_in edge from either one. If both citations go, that edge becomes a blocking target finding. The test this_repository_binds_hw_ver_0001_under_test_site_and_a_removed_citation_unbinds_it in the same file proves both results (#1097). This document still carries no anchor into engine/crates/check/src/sections.rs, the file that holds the rule. A rename of that file breaks no edge here, because no edge reaches it. The identity this document carries is its own, which is the property HW-DR-0073 asked for. A reader still finds the behavior of the rule in the source and the fixture tree, and not through a link.

This document also carries no observation. #937 adds the snapshot that would name the commit this suite last ran clean against. Today a reader has only the workspace suite's own exit status, taken fresh on every run.