@starci/skills 1.1.0

package/templates/kinds/conformance.schema.json

@@ -0,0 +1,15 @@
+{
+  "$id": "kind:conformance",
+  "title": "One measured verdict for one declared facet of one operation; the file is named <operationId>.<facet>.json so silence about a facet is a missing file rather than a missing sentence.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["operationId", "facet", "verdict", "evidenceRef", "statement", "contractFingerprint"],
+  "properties": {
+    "operationId": { "type": "string", "pattern": "^[a-z0-9][a-z0-9-]*$" },
+    "facet": { "enum": ["transport", "writer", "store", "transaction", "idempotency", "migration", "exception-identity", "authorization", "concurrency"] },
+    "verdict": { "enum": ["conforms", "widened", "narrowed"] },
+    "evidenceRef": { "type": "string", "minLength": 1, "maxLength": 1024 },
+    "statement": { "type": "string", "minLength": 1, "maxLength": 4096 },
+    "contractFingerprint": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" }
+  }
+}

package/templates/kinds/content-brief.contract.json

@@ -0,0 +1,12 @@
+{
+  "kind": "content-brief",
+  "title": "^# content-brief — [a-z0-9][a-z0-9-]*$",
+  "sections": [
+    { "heading": "^## Binding$", "table": "| Field | Value |", "rows": ["Unit", "Objective", "Audience", "Fingerprint"], "cell": { "Value": "\\S" } },
+    { "heading": "^## Learner inputs$", "table": "| Input | Statement |", "cell": { "Statement": "\\S" } },
+    { "heading": "^## Outcomes$", "table": "| Outcome | Statement |", "minRows": 1, "cell": { "Outcome": "^`[a-z0-9][a-z0-9-]*`$", "Statement": "\\S" } },
+    { "heading": "^## Claims$", "table": "| Claim | Statement |", "minRows": 1, "cell": { "Claim": "^`[a-z0-9][a-z0-9-]*`$", "Statement": "\\S" } },
+    { "heading": "^## Examples$", "table": "| Example | Statement |", "cell": { "Statement": "\\S" } },
+    { "heading": "^## Dispositions$", "table": "| Kind | Target | Statement |", "cell": { "Kind": "^(add|change|remove)$", "Statement": "\\S" } }
+  ]
+}

package/templates/kinds/content-brief.skeleton.md

@@ -0,0 +1,45 @@
+# content-brief — unit-id
+
+One paragraph: what this unit teaches and to whom. Written by `content.generate` as
+`response/brief.md` in one fresh execution before anything else exists, then fingerprinted. Every
+edition, image, and track after it is measured against this page, and nothing downstream may add an
+outcome or a claim it does not publish.
+
+## Binding
+
+| Field | Value |
+| --- | --- |
+| Unit | `unit-id` |
+| Objective | the curriculum objective this unit serves |
+| Audience | the learner the course already guarantees the prerequisites for |
+| Fingerprint | `sha256:0000000000000000000000000000000000000000000000000000000000000000` |
+
+## Learner inputs
+
+| Input | Statement |
+| --- | --- |
+| prerequisite | what the learner already knows when the unit starts |
+
+## Outcomes
+
+| Outcome | Statement |
+| --- | --- |
+| `outcome-id` | what the learner can observably do afterwards |
+
+## Claims
+
+| Claim | Statement |
+| --- | --- |
+| `claim-id` | the statement a visual is allowed to encode |
+
+## Examples
+
+| Example | Statement |
+| --- | --- |
+| worked-example | the example the editions may use |
+
+## Dispositions
+
+| Kind | Target | Statement |
+| --- | --- | --- |
+| add | — | what this unit adds; a change or remove names what it acts on |

package/templates/kinds/content-generation-receipt.contract.json

@@ -0,0 +1,11 @@
+{
+  "kind": "content-generation-receipt",
+  "title": "^# content-generation-receipt — [a-z0-9][a-z0-9-]*$",
+  "sections": [
+    { "heading": "^## Binding$", "table": "| Field | Value |", "rows": ["Unit", "Brief fingerprint", "Verdict", "Round", "Source head"], "cell": { "Value": "\\S" } },
+    { "heading": "^## Editions$", "table": "| Language | Article | Outcomes covered |", "minRows": 1, "cell": { "Language": "^[a-z]{2}(?:-[A-Z]{2})?$", "Article": "\\S", "Outcomes covered": "\\S" } },
+    { "heading": "^## Approved artifacts$", "table": "| Artifact | Stage |", "cell": { "Artifact": "\\S", "Stage": "^(brief|write|image|code|e2e|review)$" } },
+    { "heading": "^## Findings$", "table": "| Code | Stage | Ref | Statement |", "cell": { "Code": "^`(STAGE_DISABLED|DISPOSITION_APPLIED|REVISION_REQUIRED|PRODUCER_RATIONALE_WITHHELD)`$", "Stage": "^(brief|write|image|code|e2e|review)$", "Statement": "\\S" } },
+    { "heading": "^## Fallbacks taken$", "table": "| Code | Action |", "cell": { "Code": "^`[A-Z][A-Z0-9_]*`$", "Action": "\\S" } }
+  ]
+}

package/templates/kinds/content-generation-receipt.skeleton.md

@@ -0,0 +1,40 @@
+# content-generation-receipt — unit-id
+
+One paragraph: which unit was built, against which frozen brief, and what the independent critique
+concluded. Written by `content.generate` as `response/response.md`; the machine record of the
+editions, the image, the tracks, and the executable check lives beside it in
+`response/data/production.json`.
+
+## Binding
+
+| Field | Value |
+| --- | --- |
+| Unit | `unit-id` |
+| Brief fingerprint | `sha256:0000000000000000000000000000000000000000000000000000000000000000` |
+| Verdict | approved |
+| Round | 1 |
+| Source head | `0000000000000000000000000000000000000000` |
+
+## Editions
+
+| Language | Article | Outcomes covered |
+| --- | --- | --- |
+| vi | `response/artifacts/article.vi.md` | `outcome-id` |
+
+## Approved artifacts
+
+| Artifact | Stage |
+| --- | --- |
+| `response/artifacts/article.vi.md` | write |
+
+## Findings
+
+| Code | Stage | Ref | Statement |
+| --- | --- | --- | --- |
+| `STAGE_DISABLED` | image | — | the image stage was disabled for this unit |
+
+## Fallbacks taken
+
+| Code | Action |
+| --- | --- |
+| `REVIEW_REVISION_REQUIRED` | the artifacts the review named were revised and the review exchange was reopened |

package/templates/kinds/content-review.contract.json

@@ -0,0 +1,11 @@
+{
+  "kind": "content-review",
+  "title": "^# content-review — [a-z0-9][a-z0-9-]*$",
+  "sections": [
+    { "heading": "^## Execution$", "table": "| Field | Value |", "rows": ["Reviewer execution", "Inherited turns", "Producer rationale", "Round"], "cell": { "Value": "\\S" } },
+    { "heading": "^## Received$", "table": "| Artifact | Kind |", "minRows": 1, "cell": { "Artifact": "\\S", "Kind": "^(brief|article|image|prompt|track|assertions)$" } },
+    { "heading": "^## Scores$", "table": "| Dimension | Score |", "exactRows": 7, "cell": { "Dimension": "^(correctness|pedagogy|interview-value|language|visual-fidelity|code-quality|e2e-proof)$", "Score": "^([0-9]{1,2}|100|—)$" } },
+    { "heading": "^## Findings$", "table": "| Owning stage | Severity | Statement | Evidence |", "cell": { "Owning stage": "^(brief|write|image|code|e2e|critique)$", "Severity": "^(error|improvement)$", "Evidence": "\\S" } },
+    { "heading": "^## Verdict$", "table": "| Field | Value |", "rows": ["Verdict"], "cell": { "Value": "\\S" } }
+  ]
+}

package/templates/kinds/content-review.skeleton.md

@@ -0,0 +1,45 @@
+# content-review — unit-id
+
+One paragraph: what the reviewer read and what it concluded. Written by the nested `review`
+exchange of `content.generate` as `review/response/review.md`, by a fresh execution that inherits
+no turns, never produced any of the artifacts, and received them without the producer's rationale.
+
+## Execution
+
+| Field | Value |
+| --- | --- |
+| Reviewer execution | `exec://critique-0000` |
+| Inherited turns | none |
+| Producer rationale | withheld |
+| Round | 1 |
+
+## Received
+
+| Artifact | Kind |
+| --- | --- |
+| `response/brief.md` | brief |
+| `response/artifacts/article.vi.md` | article |
+
+## Scores
+
+| Dimension | Score |
+| --- | --- |
+| correctness | 90 |
+| pedagogy | 88 |
+| interview-value | 86 |
+| language | 92 |
+| visual-fidelity | — |
+| code-quality | — |
+| e2e-proof | — |
+
+## Findings
+
+| Owning stage | Severity | Statement | Evidence |
+| --- | --- | --- | --- |
+| write | improvement | what could be better, owned by exactly one stage that ran | `response/artifacts/article.vi.md:40` |
+
+## Verdict
+
+| Field | Value |
+| --- | --- |
+| Verdict | approved |

package/templates/kinds/contract.schema.json

@@ -0,0 +1,28 @@
+{
+  "$id": "kinds:contract",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["kind", "title", "sections"],
+  "properties": {
+    "kind": { "type": "string", "pattern": "^[a-z][a-z0-9-]*$" },
+    "example": { "type": "string", "pattern": "^templates/[A-Za-z0-9_./-]+\\.md$" },
+    "title": { "type": "string", "minLength": 1 },
+    "sections": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["heading"],
+        "properties": {
+          "heading": { "type": "string", "pattern": "^\\^## " },
+          "table": { "type": "string", "pattern": "^\\| .+ \\|$" },
+          "minRows": { "type": "integer", "minimum": 0 },
+          "exactRows": { "type": "integer", "minimum": 0 },
+          "rows": { "type": "array", "items": { "type": "string", "minLength": 1 }, "uniqueItems": true },
+          "cell": { "type": "object", "additionalProperties": { "type": "string", "minLength": 1 } }
+        }
+      }
+    }
+  }
+}

package/templates/kinds/coverage-matrix.schema.json

@@ -0,0 +1,86 @@
+{
+  "$id": "kind:coverage-matrix",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["featureId", "fingerprint", "dimensions", "discoveredConsumers", "discoveredLifecycleBranches", "rows"],
+  "properties": {
+    "featureId": { "$ref": "#/$defs/identifier" },
+    "fingerprint": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
+    "dimensions": {
+      "type": "array",
+      "minItems": 1,
+      "maxItems": 64,
+      "uniqueItems": true,
+      "items": { "$ref": "#/$defs/coverageDimension" }
+    },
+    "discoveredConsumers": {
+      "type": "array",
+      "maxItems": 256,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["consumerId", "dimension", "sourceRef"],
+        "properties": {
+          "consumerId": { "$ref": "#/$defs/identifier" },
+          "dimension": { "$ref": "#/$defs/coverageDimension" },
+          "sourceRef": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+    "discoveredLifecycleBranches": {
+      "type": "array",
+      "maxItems": 32,
+      "uniqueItems": true,
+      "items": { "$ref": "#/$defs/coverageDimension" }
+    },
+    "rows": {
+      "type": "array",
+      "minItems": 1,
+      "maxItems": 64,
+      "items": { "$ref": "#/$defs/coverageRow" }
+    }
+  },
+  "$defs": {
+    "identifier": { "type": "string", "pattern": "^[a-z0-9][a-z0-9-]*$" },
+    "nullableRef": {
+      "oneOf": [{ "type": "string", "minLength": 1, "maxLength": 1024 }, { "type": "null" }]
+    },
+    "identifierArray": {
+      "type": "array",
+      "maxItems": 256,
+      "uniqueItems": true,
+      "items": { "$ref": "#/$defs/identifier" }
+    },
+    "coverageDimension": { "$ref": "#/$defs/identifier" },
+    "coverageRow": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "dimension",
+        "disposition",
+        "statement",
+        "enforcementOwner",
+        "sourceRef",
+        "positiveProofRef",
+        "negativeProofRef",
+        "deferralRef",
+        "consumerIds",
+        "claimIds"
+      ],
+      "properties": {
+        "dimension": { "$ref": "#/$defs/coverageDimension" },
+        "disposition": { "enum": ["preserve", "replace", "retire", "defer", "not-applicable"] },
+        "statement": { "type": "string", "minLength": 1, "maxLength": 4096 },
+        "enforcementOwner": {
+          "oneOf": [{ "type": "string", "minLength": 1, "maxLength": 256 }, { "type": "null" }]
+        },
+        "sourceRef": { "$ref": "#/$defs/nullableRef" },
+        "positiveProofRef": { "$ref": "#/$defs/nullableRef" },
+        "negativeProofRef": { "$ref": "#/$defs/nullableRef" },
+        "deferralRef": { "$ref": "#/$defs/nullableRef" },
+        "consumerIds": { "$ref": "#/$defs/identifierArray" },
+        "claimIds": { "$ref": "#/$defs/identifierArray" }
+      }
+    }
+  }
+}

package/templates/kinds/coverage.schema.json

@@ -0,0 +1,62 @@
+{
+  "$id": "kind:coverage",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "statements",
+    "lines",
+    "functions",
+    "branches",
+    "thresholds",
+    "evidenceRef"
+  ],
+  "properties": {
+    "statements": {
+      "$ref": "#/$defs/percentage"
+    },
+    "lines": {
+      "$ref": "#/$defs/percentage"
+    },
+    "functions": {
+      "$ref": "#/$defs/percentage"
+    },
+    "branches": {
+      "$ref": "#/$defs/percentage"
+    },
+    "thresholds": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "statements",
+        "lines",
+        "functions",
+        "branches"
+      ],
+      "properties": {
+        "statements": {
+          "$ref": "#/$defs/percentage"
+        },
+        "lines": {
+          "$ref": "#/$defs/percentage"
+        },
+        "functions": {
+          "$ref": "#/$defs/percentage"
+        },
+        "branches": {
+          "$ref": "#/$defs/percentage"
+        }
+      }
+    },
+    "evidenceRef": {
+      "type": "string",
+      "minLength": 1
+    }
+  },
+  "$defs": {
+    "percentage": {
+      "type": "number",
+      "minimum": 0,
+      "maximum": 100
+    }
+  }
+}

package/templates/kinds/current-state.schema.json

@@ -0,0 +1,40 @@
+{
+  "$id": "kind:current-state",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["observedHead", "fingerprint", "components", "boundaries"],
+  "properties": {
+    "observedHead": { "type": "string", "pattern": "^[0-9a-f]{40}$" },
+    "fingerprint": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
+    "components": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["componentId", "layer", "name", "version", "evidence"],
+        "properties": {
+          "componentId": { "type": "string", "pattern": "^[a-z0-9][a-z0-9-]*$" },
+          "layer": { "enum": ["runtime", "framework", "persistence", "communication", "build", "deployment", "operations"] },
+          "name": { "type": "string", "minLength": 1 },
+          "version": { "type": "string", "minLength": 1 },
+          "evidence": { "type": "string", "pattern": "^[^\\s]+(?::\\d+(?:-\\d+)?)?@[0-9a-f]{40}$" }
+        }
+      }
+    },
+    "boundaries": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["boundaryId", "responsibility", "stores", "evidence"],
+        "properties": {
+          "boundaryId": { "type": "string", "pattern": "^[a-z0-9][a-z0-9-]*$" },
+          "responsibility": { "type": "string", "minLength": 1 },
+          "stores": { "type": "array", "items": { "type": "string", "pattern": "^[a-z0-9][a-z0-9-]*$" }, "uniqueItems": true },
+          "evidence": { "type": "string", "pattern": "^[^\\s]+(?::\\d+(?:-\\d+)?)?@[0-9a-f]{40}$" }
+        }
+      }
+    }
+  }
+}

package/templates/kinds/delta.schema.json

@@ -0,0 +1,95 @@
+{
+  "$id": "kind:delta",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "serviceRef", "serviceKind", "ownerRef", "approvalRef", "planSha256",
+    "inventoryFingerprint", "generation", "observedAt",
+    "inventoriedResources", "observedPortHolders", "portClaims",
+    "mutableResourceRefs", "observationOnlyResourceRefs",
+    "allowedEffects", "appliedEffects", "capabilities", "convergence", "mutations"
+  ],
+  "properties": {
+    "serviceRef": { "type": "string", "minLength": 1 },
+    "serviceKind": { "$ref": "#/$defs/serviceKind" },
+    "ownerRef": { "type": "string", "minLength": 1 },
+    "approvalRef": { "type": "string", "minLength": 1 },
+    "planSha256": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
+    "inventoryFingerprint": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
+    "generation": { "type": "integer", "minimum": 0 },
+    "observedAt": { "type": "string", "format": "date-time" },
+    "inventoriedResources": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["resourceRef", "kind", "revision", "ownerRef"],
+        "properties": {
+          "resourceRef": { "type": "string", "minLength": 1 },
+          "kind": { "$ref": "#/$defs/serviceKind" },
+          "revision": { "type": "string", "minLength": 1 },
+          "ownerRef": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+    "observedPortHolders": { "type": "array", "items": { "$ref": "#/$defs/portHolder" } },
+    "portClaims": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["port", "resourceRef"],
+        "properties": {
+          "port": { "type": "integer", "minimum": 1, "maximum": 65535 },
+          "resourceRef": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+    "mutableResourceRefs": { "type": "array", "minItems": 1, "items": { "type": "string", "minLength": 1 } },
+    "observationOnlyResourceRefs": { "type": "array", "items": { "type": "string", "minLength": 1 } },
+    "allowedEffects": { "type": "array", "uniqueItems": true, "items": { "$ref": "#/$defs/effect" } },
+    "appliedEffects": { "type": "array", "uniqueItems": true, "items": { "$ref": "#/$defs/effect" } },
+    "capabilities": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["capability", "custodyEvidenceRef"],
+        "properties": {
+          "capability": { "enum": ["metrics:remote-write", "sonar:project-admin", "tunnel:write", "dns:write"] },
+          "custodyEvidenceRef": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+    "convergence": { "enum": ["converged", "already-converged"] },
+    "mutations": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["effect", "resourceRef", "beforeRevision", "afterRevision"],
+        "properties": {
+          "effect": { "$ref": "#/$defs/effect" },
+          "resourceRef": { "type": "string", "minLength": 1 },
+          "beforeRevision": { "oneOf": [{ "type": "string", "minLength": 1 }, { "type": "null" }] },
+          "afterRevision": { "type": "string", "minLength": 1 }
+        }
+      }
+    }
+  },
+  "$defs": {
+    "serviceKind": { "enum": ["observability", "sonar", "tunnel"] },
+    "effect": { "enum": ["update-config", "restart-service", "upsert-dashboard", "update-remote-write", "create-project", "assign-profile", "assign-gate", "enforce-setting", "create-tunnel", "update-tunnel-route", "upsert-proxied-dns"] },
+    "portHolder": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["port", "holderRef", "evidenceRef"],
+      "properties": {
+        "port": { "type": "integer", "minimum": 1, "maximum": 65535 },
+        "holderRef": { "type": "string", "minLength": 1 },
+        "evidenceRef": { "type": "string", "minLength": 1 }
+      }
+    }
+  }
+}

package/templates/kinds/e2e.schema.json

@@ -0,0 +1,63 @@
+{
+  "$id": "kind:e2e",
+  "title": "What the generated code did when it was actually built and run: one build record per track, one run record per executable check, and the contract fingerprint taken before and after the repair loop.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["unitId", "contractFingerprintBefore", "contractFingerprintAfter", "iterations", "maxIterations", "tracks", "runs"],
+  "properties": {
+    "unitId": { "type": "string", "pattern": "^[a-z0-9][a-z0-9-]*$" },
+    "contractFingerprintBefore": { "$ref": "#/$defs/fingerprint" },
+    "contractFingerprintAfter": { "$ref": "#/$defs/fingerprint" },
+    "iterations": { "type": "integer", "minimum": 1, "maximum": 20 },
+    "maxIterations": { "type": "integer", "minimum": 1, "maximum": 20 },
+    "tracks": {
+      "type": "array",
+      "minItems": 1,
+      "maxItems": 4,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["language", "sourceRef", "buildCommand", "exitCode"],
+        "properties": {
+          "language": { "$ref": "#/$defs/implementationLanguage" },
+          "sourceRef": { "type": "string", "minLength": 1, "maxLength": 1024 },
+          "buildCommand": { "type": "string", "minLength": 1, "maxLength": 1024 },
+          "exitCode": { "type": "integer", "minimum": 0, "maximum": 255 }
+        }
+      }
+    },
+    "runs": {
+      "type": "array",
+      "minItems": 1,
+      "maxItems": 4,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["language", "command", "exitCode", "assertions"],
+        "properties": {
+          "language": { "$ref": "#/$defs/implementationLanguage" },
+          "command": { "type": "string", "minLength": 1, "maxLength": 1024 },
+          "exitCode": { "type": "integer", "minimum": 0, "maximum": 255 },
+          "assertions": {
+            "type": "array",
+            "minItems": 1,
+            "maxItems": 64,
+            "items": {
+              "type": "object",
+              "additionalProperties": false,
+              "required": ["name", "held"],
+              "properties": {
+                "name": { "type": "string", "minLength": 1, "maxLength": 256 },
+                "held": { "type": "boolean" }
+              }
+            }
+          }
+        }
+      }
+    }
+  },
+  "$defs": {
+    "fingerprint": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
+    "implementationLanguage": { "type": "string", "pattern": "^[a-z][a-z0-9+#.-]*$" }
+  }
+}

package/templates/kinds/frontend-direction-decision.contract.json

@@ -0,0 +1,93 @@
+{
+  "kind": "frontend-direction-decision",
+  "title": "^# frontend-direction-decision — [a-z0-9][a-z0-9-]*$",
+  "sections": [
+    {
+      "heading": "^## Decision$",
+      "table": "| Field | Value |",
+      "rows": [
+        "Direction id",
+        "Target",
+        "Intent",
+        "Change level",
+        "Owner ceiling",
+        "Classification",
+        "Selection policy",
+        "Selected candidate"
+      ],
+      "cell": {
+        "Value": "\\S"
+      }
+    },
+    {
+      "heading": "^## Observed$",
+      "table": "| Item | Evidence |",
+      "minRows": 1,
+      "cell": {
+        "Evidence": "^`[^`]+@[0-9a-f]{7,40}`$"
+      }
+    },
+    {
+      "heading": "^## UI contract$",
+      "table": "| Element | Kind | Responsibility |",
+      "minRows": 1,
+      "cell": {
+        "Kind": "^(region|action|state|responsive|content|accessibility)$",
+        "Responsibility": "\\S"
+      }
+    },
+    {
+      "heading": "^## Coverage$",
+      "table": "| Concern | Enumerated |",
+      "rows": [
+        "Actions",
+        "Regions",
+        "States",
+        "Responsive"
+      ],
+      "cell": {
+        "Enumerated": "\\S"
+      }
+    },
+    {
+      "heading": "^## References$",
+      "table": "| Source | URL | Limitation |",
+      "cell": {
+        "URL": "^https?://\\S+$",
+        "Limitation": "\\S"
+      }
+    },
+    {
+      "heading": "^## Images$",
+      "table": "| Slot | Why | Claim | File |",
+      "cell": {
+        "File": "^(`response/artifacts/images/[A-Za-z0-9_.-]+`|—)$"
+      }
+    },
+    {
+      "heading": "^## Falsification$",
+      "table": "| Attack | Candidate | Verdict | Evidence |",
+      "minRows": 1,
+      "cell": {
+        "Candidate": "^`[a-z0-9][a-z0-9-]*`$",
+        "Verdict": "^(holds|fails)$",
+        "Evidence": "\\S"
+      }
+    },
+    {
+      "heading": "^## Why not the others$",
+      "table": "| Candidate | Rejected because |",
+      "cell": {
+        "Candidate": "^`[a-z0-9][a-z0-9-]*`$",
+        "Rejected because": "\\S"
+      }
+    },
+    {
+      "heading": "^## Fallbacks taken$",
+      "table": "| Code | Action |",
+      "cell": {
+        "Code": "^`[A-Z][A-Z0-9_]+`$"
+      }
+    }
+  ]
+}