Evidence Grounding
Every reported fact must trace back to the given RTL or input text.
In this repo, rules hold reusable engineering discipline. They reduce guessing, keep output shapes stable, and make it easier to trust what a skill or flow returns.
Every reported fact must trace back to the given RTL or input text.
Each skill must emit one clean YAML document with the exact expected shape.
This rule defines when a crossing is really proven safe and how to grade severity.
This rule defines what counts as a real register and when timing structure must stay unresolved.
Every test, assertion, and coverage item must link back to objective IDs.
Add only the agents, scoreboards, and models that the objectives really justify.
Put each assertion candidate into one clear class such as reset, protocol, state, or error.
Cover reset, nominal, corner, config, and error behavior when the inputs actually show them.
Use `must`, `should`, and `could` with real meaning, not vague emphasis.
These rules help the repo create plans that are easier to review because every item has a reason to exist.
The repo keeps shared policy in `rules/` so the same anti-hallucination and planning discipline does not get copied into every skill file.