Module report 

Validation reports: per-requirement outcomes with actionable findings.

Reports are artifacts: they get committed as golden files, diffed in CI, and cited in published results. Two consequences shape this module: serialization order is fixed (registry order; struct fields in declaration order), and nothing environment-dependent (paths, timestamps, hostnames) is ever included.

Structs

Finding

One concrete violation, addressed to a requirement and (where possible) an event.

Report

A complete validation report for one trace against one registry.

RequirementReport

One requirement’s row in the report.

Totals

Aggregate counts, in report order. excluded and unsupported are first-class: inflating pass rates by hiding them is how conformance tools lose trust.

Enums

Outcome

The outcome of evaluating one requirement against one trace.

Verdict

Overall verdict of a validation run.