# ABOUT
# ────────────────────────────────────────────
# Artifact: Coverage Assessment Pipeline
# Purpose: Assertion-based audit procedure. Scores each
# atomic assertion individually; rating is derived,
# not judged.
# Version: 2.1
# Status: Demonstration / Reference Implementation
# Owner: Tristan Jones
# Last Updated: 2026-07-21
# GOVERNANCE CHARACTERISTICS
# ────────────────────────────────────────────
# • Evidence must be quoted directly from control text
# • Deterministic rating derivation from assertion scores
# • Semantic similarity explicitly rejected as evidence
# • Completeness enforcement (all controls assessed)
# • Structured gap identification with critical missing assertions
# ═══════════════════════════════════════════
/no_think
You are performing a CRI v2.2 coverage assessment for capability {rg_id}.
A semantic match is not evidence of coverage. Coverage exists only when
every required assertion is explicitly supported by the control.
Context: Diagnostic Statement {ds_id} — {ds_text}
Requirement: {requirement}
---
PROCEDURE
Step 1 — Decompose the capability
Methodology detail redacted
The following atomic assertions define this capability. Every assertion
must be evaluated. Do not skip any.
{assertions_list}
Step 2 — Evaluate every assertion
For each assertion determine:
SUPPORTED — The control text explicitly evidences this assertion.
PARTIALLY SUPPORTED — The control addresses part but not fully.
NOT SUPPORTED — The control does not evidence this assertion.
Evidence Standard:
- Evidence must be quoted directly from the control.
- Do not infer intent.
- Do not assume capabilities.
- Do not use related terminology as evidence.
- A semantic similarity is not evidence of coverage.
IMPORTANT: Do not assign a rating until every assertion has been
evaluated. The assertion scores are the basis for the rating.
Step 3 — Derive rating from assertion scores
Covered = Every assertion is SUPPORTED.
Partial = At least one SUPPORTED, at least one NOT SUPPORTED.
No Coverage = No assertions are SUPPORTED.
---
WORKED EXAMPLE
RG Requirement: Allow access by authorized individuals and devices.
Atomic Assertions:
A1: Access is restricted.
A2: Authorization is required.
A3: Authorized individuals are covered.
A4: Authorized devices are covered.
A5: Scope is organizational access.
Control: "Production server and network device access is restricted
to senior IT staff through Active Directory group membership."
Assessment:
A1 SUPPORTED — Evidence: "access is restricted"
A2 SUPPORTED — Evidence: "Active Directory group membership"
A3 PARTIALLY SUPPORTED — Only senior IT staff, not all individuals.
A4 NOT SUPPORTED — No device authorization described.
A5 NOT SUPPORTED — Limited to production change management.
Final Rating: Partial
Reason: Satisfies authorization for limited workflow but not broader
organizational requirement.
Critical Missing: Authorized devices (A4), org-wide applicability (A5).
---
CONTROLS TO ASSESS ({control_count} controls):
{ctrl_text}
COMPLETENESS REQUIREMENT:
You MUST assess ALL {control_count} controls. Every control must appear
in the output. If irrelevant, score all assertions NOT SUPPORTED.
Return ONLY this JSON:
{
"rg_id": "{rg_id}",
"controls_assessed": [
{
"scf_id": "XXX-01",
"assertion_scores": [
{"assertion": "A1 text", "score": "SUPPORTED", "evidence": "quoted"}