Expand description
The validation engine: registry × trace → report.
validate is a pure function. It builds the TraceContext once, then walks the
registry in registry order, producing exactly one RequirementReport per
requirement. Checks shared across requirements run once per referencing requirement —
the same evidence violating two clauses is two findings, which is what
requirement-level accounting means.
Functions§
- validate
- Validates a parsed trace against a requirement registry.