← spck.devGuideInstant CheckTool Roadmap GitHub

UCP Spec Coverage (unofficial, live)

Every normative MUST in each pinned UCP spec version is accounted as a kill-rate-validated check, a documented exemption, or an open gap — no silent omissions. Each requirement links to the exact line of the pinned official spec. This page is generated from the same data the CI gate enforces: if it were stale or coverage regressed, the build would be red.

Coverage by spec area

Requirements traceability

ReqStatusRequirement (verbatim-verified against the pinned spec)SpecCovered by

Methodology. Requirements registers are extracted from the pinned official spec and quote-verified verbatim (896/896 rows) by a CI gate on every push. A check only counts when it clean-passes AND kills 100% of its injected defects on a known-good reference (the official Flower Shop sample or our oracle-validated controlled fixture). Exemptions require a written justification and are machine-checked against double-booking. The coverage CI gate fails the build if this page's data goes stale or accounted coverage ever decreases (ratchet). Roadmap →  ·  Unofficial; not affiliated with or endorsed by the UCP project.