audit-tools 0.50.21 → 0.51.1

package/dist/audit/systemic/secondOrderAdversaryPrompt.js

@@ -78,6 +78,13 @@ function renderAdjudication(bundle) {
                 : contributor),
             candidate_dispositions: adjudication.candidate_dispositions,
             final_finding_shares: adjudication.final_finding_shares,
+            // The adversary's whole job is to challenge what the round produced, so
+            // it must see the round's own outcome rates. A zero rejection rate over
+            // every candidate is exactly the kind of too-good-to-be-true signal this
+            // pass exists to notice, and it is invisible from the per-candidate
+            // records alone.
+            candidate_disposition_breakdown: adjudication.candidate_disposition_breakdown,
+            candidate_verification_status_breakdown: adjudication.candidate_verification_status_breakdown,
         }, null, 2),
         "```",
     ];
@@ -140,6 +147,12 @@ export function renderSecondOrderAdversaryPrompt(opts) {
         "",
         "Tag each finding with its TRUE lens — for example, test parallelization is `tests` or `performance`, and operational simplification is `operability`. Do not default everything to `architecture`.",
         "",
+        "## Evidence (required, at least one entry per finding)",
+        "",
+        "Write down what your source verification actually found. Every finding needs at least one `evidence` entry, and a finding submitted without one is REFUSED — not quietly downgraded. This is not bureaucracy: a finding with no evidence cannot be remediated later, so an unevidenced improvement is discarded downstream and your round's work is lost.",
+        "",
+        "Cite SYMBOLS, not line numbers — a function, type, or exported name, with the file that holds it. A line number is wrong after the next edit; a symbol name survives. Aggregate counts are not evidence on their own; name the thing you read.",
+        "",
         "## Loop-until-dry",
         "",
         "The review is done only when consecutive rounds yield NOTHING NEW. If genuine source-backed pressure finds no new improvement this round, submit an empty `findings` array. Otherwise submit only new improvements, each anchored to at least one real component.",
@@ -158,6 +171,7 @@ export function renderSecondOrderAdversaryPrompt(opts) {
         '    "confidence": "low|medium|high",',
         '    "lens": "<the TRUE lens: tests|performance|operability|...>",',
         '    "summary": "<what to do, why it is better, and source verification>",',
+        '    "evidence": ["<symbol you read, the file holding it, and what you found there>"],',
         '    "affected_files": [{ "path": "<a real repo path>" }]',
         "  }]",
         "}",

package/dist/audit/systemic/secondOrderAdversaryPrompt.js.map

@@ -1 +1 @@
-{"version":3,"file":"secondOrderAdversaryPrompt.js","sourceRoot":"","sources":["../../../src/audit/systemic/secondOrderAdversaryPrompt.ts"],"names":[],"mappings":"AAAA,6DAA6D;AAC7D,EAAE;AACF,0EAA0E;AAC1E,gFAAgF;AAChF,+EAA+E;AAC/E,yCAAyC;AAMzC,SAAS,aAAa,CAAC,MAAsB;IAC3C,MAAM,UAAU,GAAG;QACjB,GAAG,CAAC,MAAM,CAAC,iBAAiB,EAAE,iBAAiB,IAAI,EAAE,CAAC;QACtD,GAAG,CAAC,MAAM,CAAC,iBAAiB,EAAE,mBAAmB,IAAI,EAAE,CAAC;QACxD,GAAG,CAAC,MAAM,CAAC,gBAAgB,EAAE,QAAQ,IAAI,EAAE,CAAC;QAC5C,GAAG,CAAC,MAAM,CAAC,kBAAkB,EAAE,QAAQ,IAAI,EAAE,CAAC;KAC/C,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE;QACnC,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,IAAI,SAAS,OAAO,CAAC,QAAQ,SAAS,OAAO,CAAC,KAAK,EAAE,CAAC;QAC7E,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAChC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CAAC,QAA4B;IACvD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,gCAAgC,CAAC,CAAC;IACrE,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,OAAO,OAAO,OAAO,CAAC,EAAE,MAAM,OAAO,CAAC,KAAK,OAAO,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,QAAQ,MAAM,OAAO,CAAC,OAAO,KAAK,KAAK,IAAI,UAAU,GAAG,CAAC;IACrI,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAsB;IACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC;IACzC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/C,OAAO,CAAC,gDAAgD,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,UAAU,GAAG;QACjB,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAClD,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBAC7C,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,qBAAqB,EAAE,OAAO,CAAC,qBAAqB;gBACpD,cAAc,EAAE,OAAO,CAAC,cAAc;aACvC,CAAC,CAAC;SACJ,CAAC,CAAC;QACH,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC,CAAC;QACH,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;KAC9C,CAAC;IACF,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAsB;IAChD,MAAM,YAAY,GAAG,MAAM,CAAC,8BAA8B,CAAC;IAC3D,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,CAAC,sDAAsD,CAAC,CAAC;IAClE,CAAC;IACD,OAAO;QACL,YAAY,YAAY,CAAC,QAAQ,IAAI;QACrC,EAAE;QACF,SAAS;QACT,IAAI,CAAC,SAAS,CACZ;YACE,YAAY,EAAE,YAAY,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAC1D,WAAW,CAAC,IAAI,KAAK,OAAO;gBAC1B,CAAC,CAAC,EAAE,GAAG,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE;gBAC5C,CAAC,CAAC,WAAW,CAChB;YACD,sBAAsB,EAAE,YAAY,CAAC,sBAAsB;YAC3D,oBAAoB,EAAE,YAAY,CAAC,oBAAoB;SACxD,EACD,IAAI,EACJ,CAAC,CACF;QACD,KAAK;KACN,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gCAAgC,CAAC,IAMhD;IACC,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAC1C,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,EAAE,CAChE,CAAC;IACF,WAAW,CAAC,IAAI,CAAC,+BAA+B,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAC5E,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAE9D,OAAO;QACL,mFAAmF;QACnF,EAAE;QACF,sEAAsE,IAAI,CAAC,KAAK,GAAG;QACnF,4BAA4B,cAAc,CAAC,MAAM,0FAA0F;QAC3I,EAAE;QACF,4DAA4D;QAC5D,EAAE;QACF,iKAAiK;QACjK,oEAAoE;QACpE,8CAA8C;QAC9C,yEAAyE;QACzE,wDAAwD;QACxD,0CAA0C;QAC1C,uEAAuE;QACvE,EAAE;QACF,4BAA4B;QAC5B,EAAE;QACF,uLAAuL;QACvL,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,IAAI,CAAC;QAC/C,EAAE;QACF,6CAA6C;QAC7C,EAAE;QACF,6MAA6M;QAC7M,GAAG,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC;QACvC,EAAE;QACF,2DAA2D;QAC3D,EAAE;QACF,GAAG,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC;QAClC,EAAE;QACF,2BAA2B;QAC3B,EAAE;QACF,GAAG,mBAAmB,CAAC,cAAc,CAAC;QACtC,EAAE;QACF,8CAA8C;QAC9C,EAAE;QACF,0jBAA0jB;QAC1jB,EAAE;QACF,wEAAwE;QACxE,EAAE;QACF,yDAAyD;QACzD,GAAG,WAAW;QACd,EAAE;QACF,yBAAyB;QACzB,EAAE;QACF,oMAAoM;QACpM,EAAE;QACF,mBAAmB;QACnB,EAAE;QACF,mQAAmQ;QACnQ,EAAE;QACF,WAAW;QACX,EAAE;QACF,mBAAmB,IAAI,CAAC,cAAc,qBAAqB;QAC3D,EAAE;QACF,SAAS;QACT,GAAG;QACH,kBAAkB;QAClB,0BAA0B;QAC1B,mCAAmC;QACnC,yCAAyC;QACzC,oCAAoC;QACpC,sCAAsC;QACtC,mEAAmE;QACnE,2EAA2E;QAC3E,0DAA0D;QAC1D,MAAM;QACN,GAAG;QACH,KAAK;QACL,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}
+{"version":3,"file":"secondOrderAdversaryPrompt.js","sourceRoot":"","sources":["../../../src/audit/systemic/secondOrderAdversaryPrompt.ts"],"names":[],"mappings":"AAAA,6DAA6D;AAC7D,EAAE;AACF,0EAA0E;AAC1E,gFAAgF;AAChF,+EAA+E;AAC/E,yCAAyC;AAMzC,SAAS,aAAa,CAAC,MAAsB;IAC3C,MAAM,UAAU,GAAG;QACjB,GAAG,CAAC,MAAM,CAAC,iBAAiB,EAAE,iBAAiB,IAAI,EAAE,CAAC;QACtD,GAAG,CAAC,MAAM,CAAC,iBAAiB,EAAE,mBAAmB,IAAI,EAAE,CAAC;QACxD,GAAG,CAAC,MAAM,CAAC,gBAAgB,EAAE,QAAQ,IAAI,EAAE,CAAC;QAC5C,GAAG,CAAC,MAAM,CAAC,kBAAkB,EAAE,QAAQ,IAAI,EAAE,CAAC;KAC/C,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE;QACnC,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,IAAI,SAAS,OAAO,CAAC,QAAQ,SAAS,OAAO,CAAC,KAAK,EAAE,CAAC;QAC7E,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAChC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CAAC,QAA4B;IACvD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,gCAAgC,CAAC,CAAC;IACrE,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,OAAO,OAAO,OAAO,CAAC,EAAE,MAAM,OAAO,CAAC,KAAK,OAAO,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,QAAQ,MAAM,OAAO,CAAC,OAAO,KAAK,KAAK,IAAI,UAAU,GAAG,CAAC;IACrI,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAsB;IACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC;IACzC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/C,OAAO,CAAC,gDAAgD,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,UAAU,GAAG;QACjB,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAClD,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBAC7C,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,qBAAqB,EAAE,OAAO,CAAC,qBAAqB;gBACpD,cAAc,EAAE,OAAO,CAAC,cAAc;aACvC,CAAC,CAAC;SACJ,CAAC,CAAC;QACH,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC,CAAC;QACH,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;KAC9C,CAAC;IACF,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAsB;IAChD,MAAM,YAAY,GAAG,MAAM,CAAC,8BAA8B,CAAC;IAC3D,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,CAAC,sDAAsD,CAAC,CAAC;IAClE,CAAC;IACD,OAAO;QACL,YAAY,YAAY,CAAC,QAAQ,IAAI;QACrC,EAAE;QACF,SAAS;QACT,IAAI,CAAC,SAAS,CACZ;YACE,YAAY,EAAE,YAAY,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAC1D,WAAW,CAAC,IAAI,KAAK,OAAO;gBAC1B,CAAC,CAAC,EAAE,GAAG,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE;gBAC5C,CAAC,CAAC,WAAW,CAChB;YACD,sBAAsB,EAAE,YAAY,CAAC,sBAAsB;YAC3D,oBAAoB,EAAE,YAAY,CAAC,oBAAoB;YACvD,wEAAwE;YACxE,wEAAwE;YACxE,yEAAyE;YACzE,oEAAoE;YACpE,iBAAiB;YACjB,+BAA+B,EAC7B,YAAY,CAAC,+BAA+B;YAC9C,uCAAuC,EACrC,YAAY,CAAC,uCAAuC;SACvD,EACD,IAAI,EACJ,CAAC,CACF;QACD,KAAK;KACN,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gCAAgC,CAAC,IAMhD;IACC,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAC1C,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,EAAE,CAChE,CAAC;IACF,WAAW,CAAC,IAAI,CAAC,+BAA+B,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAC5E,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAE9D,OAAO;QACL,mFAAmF;QACnF,EAAE;QACF,sEAAsE,IAAI,CAAC,KAAK,GAAG;QACnF,4BAA4B,cAAc,CAAC,MAAM,0FAA0F;QAC3I,EAAE;QACF,4DAA4D;QAC5D,EAAE;QACF,iKAAiK;QACjK,oEAAoE;QACpE,8CAA8C;QAC9C,yEAAyE;QACzE,wDAAwD;QACxD,0CAA0C;QAC1C,uEAAuE;QACvE,EAAE;QACF,4BAA4B;QAC5B,EAAE;QACF,uLAAuL;QACvL,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,IAAI,CAAC;QAC/C,EAAE;QACF,6CAA6C;QAC7C,EAAE;QACF,6MAA6M;QAC7M,GAAG,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC;QACvC,EAAE;QACF,2DAA2D;QAC3D,EAAE;QACF,GAAG,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC;QAClC,EAAE;QACF,2BAA2B;QAC3B,EAAE;QACF,GAAG,mBAAmB,CAAC,cAAc,CAAC;QACtC,EAAE;QACF,8CAA8C;QAC9C,EAAE;QACF,0jBAA0jB;QAC1jB,EAAE;QACF,wEAAwE;QACxE,EAAE;QACF,yDAAyD;QACzD,GAAG,WAAW;QACd,EAAE;QACF,yBAAyB;QACzB,EAAE;QACF,oMAAoM;QACpM,EAAE;QACF,wDAAwD;QACxD,EAAE;QACF,2VAA2V;QAC3V,EAAE;QACF,gPAAgP;QAChP,EAAE;QACF,mBAAmB;QACnB,EAAE;QACF,mQAAmQ;QACnQ,EAAE;QACF,WAAW;QACX,EAAE;QACF,mBAAmB,IAAI,CAAC,cAAc,qBAAqB;QAC3D,EAAE;QACF,SAAS;QACT,GAAG;QACH,kBAAkB;QAClB,0BAA0B;QAC1B,mCAAmC;QACnC,yCAAyC;QACzC,oCAAoC;QACpC,sCAAsC;QACtC,mEAAmE;QACnE,2EAA2E;QAC3E,uFAAuF;QACvF,0DAA0D;QAC1D,MAAM;QACN,GAAG;QACH,KAAK;QACL,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/audit/types/analyzerCapability.d.ts

@@ -1,5 +1,5 @@
 import { z } from "zod";
-export declare const AnalyzerCapabilityStatusSchema: z.ZodEnum<["applied", "omitted"]>;
+import { type MeasuredOutcome } from "audit-tools/shared";
 export declare const AnalyzerCapabilityEntrySchema: z.ZodObject<{
     id: z.ZodString;
     resolution: z.ZodEnum<["repo", "cache", "installed", "absent", "skip", "not_applicable"]>;
@@ -9,14 +9,14 @@ export declare const AnalyzerCapabilityEntrySchema: z.ZodObject<{
     note: z.ZodOptional<z.ZodString>;
 }, "strict", z.ZodTypeAny, {
     id: string;
-    resolution: "absent" | "repo" | "skip" | "cache" | "installed" | "not_applicable";
+    resolution: "not_applicable" | "absent" | "repo" | "skip" | "cache" | "installed";
     setting: "repo" | "ephemeral" | "permanent" | "skip" | "auto";
     edges_added: number;
     routes_added: number;
     note?: string | undefined;
 }, {
     id: string;
-    resolution: "absent" | "repo" | "skip" | "cache" | "installed" | "not_applicable";
+    resolution: "not_applicable" | "absent" | "repo" | "skip" | "cache" | "installed";
     setting: "repo" | "ephemeral" | "permanent" | "skip" | "auto";
     edges_added: number;
     routes_added: number;
@@ -24,8 +24,18 @@ export declare const AnalyzerCapabilityEntrySchema: z.ZodObject<{
 }>;
 export type AnalyzerCapabilityEntry = z.infer<typeof AnalyzerCapabilityEntrySchema>;
 export declare const AnalyzerCapabilityRecordSchema: z.ZodObject<{
-    /** `applied` when ≥1 analyzer contributed edges/routes; `omitted` otherwise. */
-    status: z.ZodEnum<["applied", "omitted"]>;
+    /**
+     * What the graph-enrichment channel actually PRODUCED, in the shared
+     * measured-outcome vocabulary — derived from the entries below by
+     * {@link analyzerCapabilityCoverage}, never asserted.
+     *
+     * It replaces `status: "applied" | "omitted"`, which was a success-predicate
+     * over a partial set (`analyzersUsed.length > 0`) and therefore read
+     * `applied` while operator-requested analyzers had failed and the weaker
+     * regex floor stood in — a field that answered "did ANY analyzer contribute
+     * edges" while every reader took it for "did enrichment work".
+     */
+    coverage: z.ZodEnum<["clean", "findings", "degraded", "not_run", "not_applicable"]>;
     analyzers: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         resolution: z.ZodEnum<["repo", "cache", "installed", "absent", "skip", "not_applicable"]>;
@@ -35,34 +45,34 @@ export declare const AnalyzerCapabilityRecordSchema: z.ZodObject<{
         note: z.ZodOptional<z.ZodString>;
     }, "strict", z.ZodTypeAny, {
         id: string;
-        resolution: "absent" | "repo" | "skip" | "cache" | "installed" | "not_applicable";
+        resolution: "not_applicable" | "absent" | "repo" | "skip" | "cache" | "installed";
         setting: "repo" | "ephemeral" | "permanent" | "skip" | "auto";
         edges_added: number;
         routes_added: number;
         note?: string | undefined;
     }, {
         id: string;
-        resolution: "absent" | "repo" | "skip" | "cache" | "installed" | "not_applicable";
+        resolution: "not_applicable" | "absent" | "repo" | "skip" | "cache" | "installed";
         setting: "repo" | "ephemeral" | "permanent" | "skip" | "auto";
         edges_added: number;
         routes_added: number;
         note?: string | undefined;
     }>, "many">;
 }, "strict", z.ZodTypeAny, {
-    status: "applied" | "omitted";
+    coverage: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
     analyzers: {
         id: string;
-        resolution: "absent" | "repo" | "skip" | "cache" | "installed" | "not_applicable";
+        resolution: "not_applicable" | "absent" | "repo" | "skip" | "cache" | "installed";
         setting: "repo" | "ephemeral" | "permanent" | "skip" | "auto";
         edges_added: number;
         routes_added: number;
         note?: string | undefined;
     }[];
 }, {
-    status: "applied" | "omitted";
+    coverage: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
     analyzers: {
         id: string;
-        resolution: "absent" | "repo" | "skip" | "cache" | "installed" | "not_applicable";
+        resolution: "not_applicable" | "absent" | "repo" | "skip" | "cache" | "installed";
         setting: "repo" | "ephemeral" | "permanent" | "skip" | "auto";
         edges_added: number;
         routes_added: number;
@@ -70,4 +80,18 @@ export declare const AnalyzerCapabilityRecordSchema: z.ZodObject<{
     }[];
 }>;
 export type AnalyzerCapabilityRecord = z.infer<typeof AnalyzerCapabilityRecordSchema>;
+export declare function analyzerEntryOutcome(entry: AnalyzerCapabilityEntry): MeasuredOutcome;
+/**
+ * Roll the entries up into the one outcome a reader must be told about:
+ * worst-first over everything that was asked for. An empty population — nothing
+ * was asked for — is `not_applicable`, never `clean`.
+ */
+export declare function analyzerCapabilityCoverage(entries: readonly AnalyzerCapabilityEntry[]): MeasuredOutcome;
+/**
+ * The entries a reader must NAME. The scalar roll-up cannot state "1932 edges
+ * added AND two analyzers degraded", so no reader is asked to infer the second
+ * half from it: both readers (the report's limitations section and the shared
+ * structural context every design-review lane renders) list these rows.
+ */
+export declare function degradedAnalyzerEntries(record: AnalyzerCapabilityRecord | undefined): readonly AnalyzerCapabilityEntry[];
 //# sourceMappingURL=analyzerCapability.d.ts.map

package/dist/audit/types/analyzerCapability.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analyzerCapability.d.ts","sourceRoot":"","sources":["../../../src/audit/types/analyzerCapability.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AASxB,eAAO,MAAM,8BAA8B,mCAAiC,CAAC;AAE7E,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;EAS/B,CAAC;AACZ,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAC3C,OAAO,6BAA6B,CACrC,CAAC;AAEF,eAAO,MAAM,8BAA8B;IAEvC,gFAAgF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIzE,CAAC;AACZ,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAC5C,OAAO,8BAA8B,CACtC,CAAC"}
+{"version":3,"file":"analyzerCapability.d.ts","sourceRoot":"","sources":["../../../src/audit/types/analyzerCapability.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAIL,KAAK,eAAe,EACrB,MAAM,oBAAoB,CAAC;AAW5B,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;EAS/B,CAAC;AACZ,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAC3C,OAAO,6BAA6B,CACrC,CAAC;AAEF,eAAO,MAAM,8BAA8B;IAEvC;;;;;;;;;;OAUG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAII,CAAC;AACZ,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAC5C,OAAO,8BAA8B,CACtC,CAAC;AAyCF,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,uBAAuB,GAC7B,eAAe,CAEjB;AAiBD;;;;GAIG;AACH,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,SAAS,uBAAuB,EAAE,GAC1C,eAAe,CAIjB;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,wBAAwB,GAAG,SAAS,GAC3C,SAAS,uBAAuB,EAAE,CAIpC"}

package/dist/audit/types/analyzerCapability.js

@@ -1,11 +1,10 @@
 import { z } from "zod";
-import { AnalyzerSettingSchema } from "audit-tools/shared";
-import { AnalyzerResolutionSchema } from "../extractors/analyzers/types.js";
+import { AnalyzerSettingSchema, MeasuredOutcomeSchema, worstMeasuredOutcome, } from "audit-tools/shared";
+import { AnalyzerResolutionSchema, } from "../extractors/analyzers/types.js";
 // Marker artifact recording the outcome of the optional Phase 5 graph-enrichment
 // pass. Its presence (and freshness against `graph_bundle.json`) satisfies the
 // `graph_enrichment_current` obligation; the merged analyzer edges themselves
 // live in `graph_bundle.json` (with `analyzers_used[]` provenance).
-export const AnalyzerCapabilityStatusSchema = z.enum(["applied", "omitted"]);
 export const AnalyzerCapabilityEntrySchema = z
     .object({
     id: z.string().min(1),
@@ -18,9 +17,88 @@ export const AnalyzerCapabilityEntrySchema = z
     .strict();
 export const AnalyzerCapabilityRecordSchema = z
     .object({
-    /** `applied` when ≥1 analyzer contributed edges/routes; `omitted` otherwise. */
-    status: AnalyzerCapabilityStatusSchema,
+    /**
+     * What the graph-enrichment channel actually PRODUCED, in the shared
+     * measured-outcome vocabulary — derived from the entries below by
+     * {@link analyzerCapabilityCoverage}, never asserted.
+     *
+     * It replaces `status: "applied" | "omitted"`, which was a success-predicate
+     * over a partial set (`analyzersUsed.length > 0`) and therefore read
+     * `applied` while operator-requested analyzers had failed and the weaker
+     * regex floor stood in — a field that answered "did ANY analyzer contribute
+     * edges" while every reader took it for "did enrichment work".
+     */
+    coverage: MeasuredOutcomeSchema,
     analyzers: z.array(AnalyzerCapabilityEntrySchema),
 })
     .strict();
+/**
+ * What ONE analyzer's row says it produced.
+ *
+ * DERIVED AT READ TIME, never persisted: it is a total function of `resolution`
+ * plus `edges_added`/`routes_added`, and a persisted total derivation is a field
+ * that can disagree with its own inputs. `AnalyzerCapabilityEntrySchema` is
+ * therefore deliberately unchanged.
+ *
+ * Dispatched through an exhaustive `Record` over {@link AnalyzerResolution}, so
+ * a new resolution member without a classification is a compile error. The
+ * dispatch holds FUNCTIONS rather than outcomes because three members
+ * (`repo`/`cache`/`installed`) cannot be classified from the resolution alone —
+ * whether a parser that ran produced anything is a property of the ENTRY.
+ */
+const ENTRY_OUTCOME_BY_RESOLUTION = {
+    repo: contributed,
+    cache: contributed,
+    installed: contributed,
+    /** Requested, but the dependency never resolved — the regex floor stood in. */
+    absent: () => "degraded",
+    /** The operator disabled it. No coverage, and none was owed. */
+    skip: () => "not_run",
+    /** No file in scope is supported. There was nothing to measure. */
+    not_applicable: () => "not_applicable",
+};
+function contributed(entry) {
+    // A RESOLVED analyzer carries a note only when its run failed — the executor
+    // writes none on the success path — so a resolved-but-noted entry that added
+    // nothing is a crashed run, never `clean`. Reading the presence of the note
+    // rather than matching its text: the note is a human sentence, and
+    // recognizing a failure by its prose is the drift this record exists to stop.
+    if (entry.note !== undefined)
+        return "degraded";
+    return entry.edges_added + entry.routes_added > 0 ? "findings" : "clean";
+}
+export function analyzerEntryOutcome(entry) {
+    return ENTRY_OUTCOME_BY_RESOLUTION[entry.resolution](entry);
+}
+/**
+ * Whether an entry was OWED coverage at all — the population the roll-up runs
+ * over.
+ *
+ * An operator decline and an analyzer with no supported files were never asked
+ * to produce anything, so neither can be a shortfall of this channel. Rolling
+ * them in would make a run that added 1932 edges and skipped one analyzer report
+ * `not_run` — the same partial-set roll-up defect this record exists to remove,
+ * inverted. Their own rows still say exactly what happened; what they do not do
+ * is speak for the channel.
+ */
+function wasOwedCoverage(entry) {
+    return entry.resolution !== "skip" && entry.resolution !== "not_applicable";
+}
+/**
+ * Roll the entries up into the one outcome a reader must be told about:
+ * worst-first over everything that was asked for. An empty population — nothing
+ * was asked for — is `not_applicable`, never `clean`.
+ */
+export function analyzerCapabilityCoverage(entries) {
+    return worstMeasuredOutcome(entries.filter(wasOwedCoverage).map(analyzerEntryOutcome));
+}
+/**
+ * The entries a reader must NAME. The scalar roll-up cannot state "1932 edges
+ * added AND two analyzers degraded", so no reader is asked to infer the second
+ * half from it: both readers (the report's limitations section and the shared
+ * structural context every design-review lane renders) list these rows.
+ */
+export function degradedAnalyzerEntries(record) {
+    return (record?.analyzers ?? []).filter((entry) => analyzerEntryOutcome(entry) === "degraded");
+}
 //# sourceMappingURL=analyzerCapability.js.map

package/dist/audit/types/analyzerCapability.js.map

@@ -1 +1 @@
-{"version":3,"file":"analyzerCapability.js","sourceRoot":"","sources":["../../../src/audit/types/analyzerCapability.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAE5E,iFAAiF;AACjF,+EAA+E;AAC/E,8EAA8E;AAC9E,oEAAoE;AAEpE,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;AAE7E,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC;KAC3C,MAAM,CAAC;IACN,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,UAAU,EAAE,wBAAwB;IACpC,OAAO,EAAE,qBAAqB;IAC9B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC5B,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC;KAC5C,MAAM,CAAC;IACN,gFAAgF;IAChF,MAAM,EAAE,8BAA8B;IACtC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,6BAA6B,CAAC;CAClD,CAAC;KACD,MAAM,EAAE,CAAC"}
+{"version":3,"file":"analyzerCapability.js","sourceRoot":"","sources":["../../../src/audit/types/analyzerCapability.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,GAErB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,wBAAwB,GAEzB,MAAM,kCAAkC,CAAC;AAE1C,iFAAiF;AACjF,+EAA+E;AAC/E,8EAA8E;AAC9E,oEAAoE;AAEpE,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC;KAC3C,MAAM,CAAC;IACN,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,UAAU,EAAE,wBAAwB;IACpC,OAAO,EAAE,qBAAqB;IAC9B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC5B,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC;KAC5C,MAAM,CAAC;IACN;;;;;;;;;;OAUG;IACH,QAAQ,EAAE,qBAAqB;IAC/B,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,6BAA6B,CAAC;CAClD,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;;;;;;;;;;;GAaG;AACH,MAAM,2BAA2B,GAG7B;IACF,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,WAAW;IAClB,SAAS,EAAE,WAAW;IACtB,+EAA+E;IAC/E,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU;IACxB,gEAAgE;IAChE,IAAI,EAAE,GAAG,EAAE,CAAC,SAAS;IACrB,mEAAmE;IACnE,cAAc,EAAE,GAAG,EAAE,CAAC,gBAAgB;CACvC,CAAC;AAEF,SAAS,WAAW,CAAC,KAA8B;IACjD,6EAA6E;IAC7E,6EAA6E;IAC7E,4EAA4E;IAC5E,mEAAmE;IACnE,8EAA8E;IAC9E,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC;IAChD,OAAO,KAAK,CAAC,WAAW,GAAG,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,KAA8B;IAE9B,OAAO,2BAA2B,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,eAAe,CAAC,KAA8B;IACrD,OAAO,KAAK,CAAC,UAAU,KAAK,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,gBAAgB,CAAC;AAC9E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACxC,OAA2C;IAE3C,OAAO,oBAAoB,CACzB,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAC1D,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAA4C;IAE5C,OAAO,CAAC,MAAM,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CACrC,CAAC,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,KAAK,UAAU,CACtD,CAAC;AACJ,CAAC"}

package/dist/audit/types/auditState.d.ts

@@ -4,15 +4,15 @@ export type AuditTopLevelStatus = z.infer<typeof AuditTopLevelStatusSchema>;
 export type { ObligationState } from "audit-tools/shared";
 export declare const AuditObligationSchema: z.ZodObject<{
     id: z.ZodString;
-    state: z.ZodEnum<["missing", "present", "stale", "blocked", "satisfied"]>;
+    state: z.ZodEnum<["missing", "present", "stale", "blocked", "satisfied", "not_applicable"]>;
     reason: z.ZodOptional<z.ZodString>;
 }, "strict", z.ZodTypeAny, {
     id: string;
-    state: "blocked" | "missing" | "satisfied" | "present" | "stale";
+    state: "blocked" | "not_applicable" | "missing" | "satisfied" | "present" | "stale";
     reason?: string | undefined;
 }, {
     id: string;
-    state: "blocked" | "missing" | "satisfied" | "present" | "stale";
+    state: "blocked" | "not_applicable" | "missing" | "satisfied" | "present" | "stale";
     reason?: string | undefined;
 }>;
 export type AuditObligation = z.infer<typeof AuditObligationSchema>;
@@ -23,22 +23,22 @@ export declare const AuditStateSchema: z.ZodObject<{
     blockers: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     obligations: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
-        state: z.ZodEnum<["missing", "present", "stale", "blocked", "satisfied"]>;
+        state: z.ZodEnum<["missing", "present", "stale", "blocked", "satisfied", "not_applicable"]>;
         reason: z.ZodOptional<z.ZodString>;
     }, "strict", z.ZodTypeAny, {
         id: string;
-        state: "blocked" | "missing" | "satisfied" | "present" | "stale";
+        state: "blocked" | "not_applicable" | "missing" | "satisfied" | "present" | "stale";
         reason?: string | undefined;
     }, {
         id: string;
-        state: "blocked" | "missing" | "satisfied" | "present" | "stale";
+        state: "blocked" | "not_applicable" | "missing" | "satisfied" | "present" | "stale";
         reason?: string | undefined;
     }>, "many">;
 }, "strict", z.ZodTypeAny, {
     status: "blocked" | "complete" | "not_started" | "active";
     obligations: {
         id: string;
-        state: "blocked" | "missing" | "satisfied" | "present" | "stale";
+        state: "blocked" | "not_applicable" | "missing" | "satisfied" | "present" | "stale";
         reason?: string | undefined;
     }[];
     last_executor?: string | undefined;
@@ -48,7 +48,7 @@ export declare const AuditStateSchema: z.ZodObject<{
     status: "blocked" | "complete" | "not_started" | "active";
     obligations: {
         id: string;
-        state: "blocked" | "missing" | "satisfied" | "present" | "stale";
+        state: "blocked" | "not_applicable" | "missing" | "satisfied" | "present" | "stale";
         reason?: string | undefined;
     }[];
     last_executor?: string | undefined;

package/dist/audit/types/charterRegister.d.ts

@@ -1,9 +1,19 @@
 import type { Finding } from "../types.js";
-import type { CharterSubsystem, ChannelDisagreement, GoalGraph, Ceiling, TriangulatedTelos } from "audit-tools/shared";
+import type { CharterPacketCoverage, CharterSubsystem, ChannelDisagreement, CitationValidationSummary, GoalGraph, Ceiling, TriangulatedTelos } from "audit-tools/shared";
 import type { StampedCharterDelta } from "../../shared/types/charter.js";
 /**
  * The stamped register schema version.
  *
+ * v4 = the register no longer self-certifies. `validation_issues: []` printed
+ * identically at 1-of-15 correct citations and at 75-of-75, because its only two
+ * producers were node-file membership and the True-charter gate while the
+ * overshoots lived in `provenance[].ref` — a field nothing read. v4 adds
+ * `citation_validation` (the affirmation that the check RAN, with a recorded
+ * abstention rather than an implicit pass) and `evidence_coverage` (what each
+ * blind lane's packet actually delivered, per evidence class). Both are REQUIRED:
+ * an optional affirmation is one a writer can forget, which is the same
+ * false-green in a new place.
+ *
  * v3 = the deltas carry their own identity: every delta is a
  * {@link StampedCharterDelta} with an explicit `node_id` (and `goal_node_id`
  * when linked), so no consumer recovers a subsystem by parsing `delta_id`. A v2
@@ -24,7 +34,7 @@ import type { StampedCharterDelta } from "../../shared/types/charter.js";
  * deltas. The clarification join's own refusal of an unstamped delta stays as
  * defense-in-depth for anything that reaches it anyway.
  */
-export declare const CHARTER_REGISTER_SCHEMA_VERSION = "charter-register/v3";
+export declare const CHARTER_REGISTER_SCHEMA_VERSION = "charter-register/v4";
 /**
  * The `charter_register.json` artifact — the charter LAYER of the conceptual
  * design-review (Phase C), the teleological counterpart to Phase B's
@@ -94,7 +104,27 @@ export interface CharterRegister {
      * quantitative "which parts of the triangulation need clarification" surface.
      */
     disagreement: ChannelDisagreement[];
-    /** Gate drops (un-falsifiable True, ungrounded scopes, …) — surfaced, not hidden. */
+    /**
+     * Gate drops (un-falsifiable True, ungrounded scopes) AND failed provenance
+     * citations — surfaced, not hidden. Read it beside {@link citation_validation}:
+     * an empty array means "nothing was wrong" only when the affirmation says the
+     * check ran, and how many refs it saw.
+     */
     validation_issues: string[];
+    /**
+     * The affirmation that the citation check RAN. REQUIRED, because an empty
+     * `validation_issues` is unfalsifiable on its own — it printed identically at
+     * 1-of-15 correct citations and at 75-of-75.
+     */
+    citation_validation: CitationValidationSummary;
+    /**
+     * What each blind lane's evidence packet actually DELIVERED, per evidence
+     * class, in canonical kind order. The "stated" channel — whose whole job is
+     * source comments — once delivered 0 of 72 comment blocks and said so only in
+     * prose inside a file that was then deleted, so absent evidence was
+     * indistinguishable from thorough work. Empty when no packet manifest was
+     * available to fold (the omit path, or an ingest with no artifacts dir).
+     */
+    evidence_coverage: CharterPacketCoverage[];
 }
 //# sourceMappingURL=charterRegister.d.ts.map

package/dist/audit/types/charterRegister.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"charterRegister.d.ts","sourceRoot":"","sources":["../../../src/audit/types/charterRegister.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EACV,gBAAgB,EAChB,mBAAmB,EACnB,SAAS,EACT,OAAO,EACP,iBAAiB,EAClB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAEzE;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,+BAA+B,wBAAwB,CAAC;AAErE;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,eAAe;IAC9B,cAAc,EAAE,OAAO,+BAA+B,CAAC;IACvD,YAAY,EAAE,MAAM,CAAC;IACrB,4DAA4D;IAC5D,MAAM,EAAE,SAAS,CAAC;IAClB;;;;;OAKG;IACH,OAAO,EAAE,OAAO,CAAC;IACjB;;;;OAIG;IACH,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;;;OAGG;IACH,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAC/B,iFAAiF;IACjF,UAAU,EAAE,SAAS,CAAC;IACtB;;;;OAIG;IACH,MAAM,EAAE,mBAAmB,EAAE,CAAC;IAC9B,0DAA0D;IAC1D,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB;;;;OAIG;IACH,YAAY,EAAE,iBAAiB,EAAE,CAAC;IAClC;;;OAGG;IACH,YAAY,EAAE,mBAAmB,EAAE,CAAC;IACpC,qFAAqF;IACrF,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B"}
+{"version":3,"file":"charterRegister.d.ts","sourceRoot":"","sources":["../../../src/audit/types/charterRegister.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EACV,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,EACnB,yBAAyB,EACzB,SAAS,EACT,OAAO,EACP,iBAAiB,EAClB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAEzE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,eAAO,MAAM,+BAA+B,wBAAwB,CAAC;AAErE;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,eAAe;IAC9B,cAAc,EAAE,OAAO,+BAA+B,CAAC;IACvD,YAAY,EAAE,MAAM,CAAC;IACrB,4DAA4D;IAC5D,MAAM,EAAE,SAAS,CAAC;IAClB;;;;;OAKG;IACH,OAAO,EAAE,OAAO,CAAC;IACjB;;;;OAIG;IACH,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;;;OAGG;IACH,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAC/B,iFAAiF;IACjF,UAAU,EAAE,SAAS,CAAC;IACtB;;;;OAIG;IACH,MAAM,EAAE,mBAAmB,EAAE,CAAC;IAC9B,0DAA0D;IAC1D,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB;;;;OAIG;IACH,YAAY,EAAE,iBAAiB,EAAE,CAAC;IAClC;;;OAGG;IACH,YAAY,EAAE,mBAAmB,EAAE,CAAC;IACpC;;;;;OAKG;IACH,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B;;;;OAIG;IACH,mBAAmB,EAAE,yBAAyB,CAAC;IAC/C;;;;;;;OAOG;IACH,iBAAiB,EAAE,qBAAqB,EAAE,CAAC;CAC5C"}

package/dist/audit/types/charterRegister.js

@@ -1,6 +1,16 @@
 /**
  * The stamped register schema version.
  *
+ * v4 = the register no longer self-certifies. `validation_issues: []` printed
+ * identically at 1-of-15 correct citations and at 75-of-75, because its only two
+ * producers were node-file membership and the True-charter gate while the
+ * overshoots lived in `provenance[].ref` — a field nothing read. v4 adds
+ * `citation_validation` (the affirmation that the check RAN, with a recorded
+ * abstention rather than an implicit pass) and `evidence_coverage` (what each
+ * blind lane's packet actually delivered, per evidence class). Both are REQUIRED:
+ * an optional affirmation is one a writer can forget, which is the same
+ * false-green in a new place.
+ *
  * v3 = the deltas carry their own identity: every delta is a
  * {@link StampedCharterDelta} with an explicit `node_id` (and `goal_node_id`
  * when linked), so no consumer recovers a subsystem by parsing `delta_id`. A v2
@@ -21,5 +31,5 @@
  * deltas. The clarification join's own refusal of an unstamped delta stays as
  * defense-in-depth for anything that reaches it anyway.
  */
-export const CHARTER_REGISTER_SCHEMA_VERSION = "charter-register/v3";
+export const CHARTER_REGISTER_SCHEMA_VERSION = "charter-register/v4";
 //# sourceMappingURL=charterRegister.js.map

package/dist/audit/types/charterRegister.js.map

@@ -1 +1 @@
-{"version":3,"file":"charterRegister.js","sourceRoot":"","sources":["../../../src/audit/types/charterRegister.ts"],"names":[],"mappings":"AAUA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,qBAAqB,CAAC"}
+{"version":3,"file":"charterRegister.js","sourceRoot":"","sources":["../../../src/audit/types/charterRegister.ts"],"names":[],"mappings":"AAYA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,qBAAqB,CAAC"}