17.5 Conformance evidence
How spec claims connect to tests in the compiler workspace.
Conformance evidence
Platform-spec features cite verification anchors—conformance tests, crate paths, diagnostic codes. The Conformance area documents how evidence is expected to track Standard features.
Practical loop for contributors:
- Read the Standard feature page.
- Find listed tests (
beskid_tests,beskid_e2e_tests). - Fail the test first, then fix Rust—spec-first does not mean “test optional.”