Expand description
mdbook preprocessor for tracey requirement annotations.
Tracey defines requirements in spec markdown with r[req.id] markers.
mdbook renders those as raw text. This preprocessor turns each marker into
a styled anchor block (so you can link to #r-req.id), and — when pointed
at a .config/tracey/config.styx — scans the source tree at preprocess
time to decorate each anchor with impl/verify badges. Hover a badge to see
where the refs live; click through to GitHub.
Modules§
- coverage
- In-process coverage scan via
tracey-core. - marker
- Requirement-marker detection in chapter markdown.
- render
- HTML generation for a single marker and the injected stylesheet.