Find where your code breaks its written promises.
Identifies which documented requirements the code satisfies, violates, or omits, and which behaviors are undocumented.
When to use it
Use when both documentation of intended behavior and the implementation are available, especially when the documentation is authoritative.
Give it a code path and documentation of intended behavior; it dispatches requirement checks and writes a compliance report with per-requirement analyses.
What you provide
No setup requirements listed.
No additional actions listed.