25 lines
1.2 KiB
Markdown
25 lines
1.2 KiB
Markdown
# RM-02 Governing Claim Index
|
|
|
|
This index binds remediation claims that live in orchestrator-owned `TASKS.md` without modifying that file. The source heading and quoted text are the reviewable anchor; `gate:verify` enforces each marker-to-criterion binding. Marker completeness beyond this approved slice remains RM-54.
|
|
|
|
## Prose is an enforceable claim
|
|
|
|
<!-- GATE-CLAIM:PROSE-IS-A-CLAIM -->
|
|
|
|
- Source: `docs/remediation/TASKS.md`, heading `D-20 — the orchestrator's own documentation overclaimed, and a reviewer disproved it empirically`.
|
|
- Anchored text: “The defect was not in the code — it was in this file.”
|
|
|
|
## Generated-state verification scope
|
|
|
|
<!-- GATE-CLAIM:GENERATED-STATE-SCOPE -->
|
|
|
|
- Source: `docs/remediation/TASKS.md`, heading `D-19 — an integrity property that cannot exist at the layer it was specified`.
|
|
- Anchored text: “a verifier that cannot detect the attack is not a verifier.”
|
|
|
|
## Criterion restatement provenance
|
|
|
|
<!-- GATE-CLAIM:CRITERION-RESTATEMENT -->
|
|
|
|
- Source: `docs/remediation/TASKS.md`, heading `D-18 — two pre-registered criteria were mutually unsatisfiable, discoverable only at implementation`.
|
|
- Anchored text: “Both criteria were pre-registered. They cannot both be satisfied.”
|