Expand description
Coverage reports and trust classification (SIGNATIF §14).
The pipeline produces an objective CoverageReport — facts,
not judgements. The scheme’s ClassificationPolicy maps the
report to a ClassificationLabel (a pure, deterministic function
published in the deployment manifest). The verifier’s
AcceptancePolicy maps the label to an accept/reject decision for
a given decision context. Three layers, three owners.
Structs§
- Acceptance
Policy - The verifier’s acceptance policy: label → decision, per decision context. This is the verifier’s own risk posture, not the scheme’s.
- Classification
Label - A classification label produced by a scheme’s policy.
- Coverage
Report - The objective verification facts collected by the pipeline.
- Reference
Classification Policy - The reference ladder from Annex E: rejected → unverified → basic → verified → attested → certified.
Enums§
- Acceptance
- The acceptance decision.
- Hard
Check Status - Hard-check outcome.
Traits§
- Classification
Policy - A scheme-defined classification policy: a pure function from the coverage report to a label. The reference policy implements the Annex E ladder; schemes replace it via their deployment manifest.