13.6 Implementation map
Navigate implementation map in platform-spec and tie reading to crates.
Implementation map
Open the crate-to-spec anchors when a requirement needs implementation evidence. The map connects standard topics to code areas without turning a crate name into a normative claim.
From rule to repository
Section titled “From rule to repository”- Locate the relevant feature in the platform specification.
- Read its requirements and scenarios before opening implementation code.
- Use the anchor map to find the owning crate, tests, or generated artifacts.
- Return to the feature when a code path seems to imply a different rule.
This order keeps an implementation shortcut from accidentally becoming a second specification.