ultra11y 5.43.3 → 5.43.5

package/.claude-plugin/marketplace.json

@@ -10,7 +10,7 @@
       "name": "ultra11y",
       "source": "./",
       "description": "Automatic accessibility review before commit, push and pull request, plus detailed evidenced Markdown, HTML and per-page WCAG 2.2 AA / RGAA reports in Claude Code.",
-      "version": "5.43.3",
+      "version": "5.43.5",
       "author": { "name": "maxgfr" },
       "homepage": "https://github.com/SocialGouv/ultra11y",
       "repository": "https://github.com/SocialGouv/ultra11y",

package/.claude-plugin/plugin.json

@@ -1,7 +1,7 @@
 {
   "name": "ultra11y",
   "description": "Accessibility for WCAG 2.2 AA and country standards (RGAA…): automatic review before commit, push and pull request, plus detailed evidenced Markdown, HTML and per-page conformance reports in interactive agent sessions.",
-  "version": "5.43.3",
+  "version": "5.43.5",
   "author": { "name": "maxgfr" },
   "homepage": "https://github.com/SocialGouv/ultra11y",
   "repository": "https://github.com/SocialGouv/ultra11y",

package/.codex-plugin/plugin.json

@@ -1,7 +1,7 @@
 {
   "name": "ultra11y",
   "description": "Accessibility for WCAG 2.2 AA and country standards (RGAA…): automatic review before commit, push and pull request, plus detailed evidenced Markdown, HTML and per-page conformance reports in interactive agent sessions.",
-  "version": "5.43.3",
+  "version": "5.43.5",
   "author": { "name": "maxgfr", "url": "https://github.com/maxgfr" },
   "homepage": "https://github.com/SocialGouv/ultra11y",
   "repository": "https://github.com/SocialGouv/ultra11y",

package/.opencode/plugins/ultra11y.js

@@ -27,7 +27,7 @@ import { fileURLToPath } from "node:url";
 // Ownership marker: `ultra11y install --opencode` refuses to overwrite a plugin file that
 // does not carry it, so a user's own ultra11y.js is never clobbered.
 const ULTRA11Y_OPENCODE_PLUGIN = "ULTRA11Y_OPENCODE_PLUGIN";
-const ULTRA11Y_PLUGIN_VERSION = "5.43.3";
+const ULTRA11Y_PLUGIN_VERSION = "5.43.5";
 
 const here = dirname(fileURLToPath(import.meta.url));
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ultra11y",
-  "version": "5.43.3",
+  "version": "5.43.5",
   "description": "Audit HTML/CSS/JSX against WCAG 2.2 AA and produce a dated compliance report, or author/review accessible markup (native-HTML-first). A skills.sh agent skill: an install-free static engine (bundled, no npm install) plus the agent's judgment, with check/verify gates against hallucinated non-conformities, and pluggable in-repo standards packs (RGAA France first; Section 508 & EN 301 549 next).",
   "type": "module",
   "packageManager": "pnpm@10.33.0",

package/scripts/ultra11y.mjs

@@ -6,7 +6,7 @@ import { join as join52, relative as relative6, resolve as resolve17, sep as sep
 import { fileURLToPath as fileURLToPath5, pathToFileURL as pathToFileURL3 } from "url";
 
 // src/types.ts
-var VERSION = "5.43.3";
+var VERSION = "5.43.5";
 var SCHEMA_VERSION = 2;
 var INAPPLICABLE_STATUS = "C";
 
@@ -58325,8 +58325,9 @@ function derivePackResults(audit2, packKey, pageId) {
     const measured = measuredRescue(derived, pc, cov, ran, pageId);
     const decided = adjudicated?.get(pc.id);
     if (decided?.status === "manual") {
+      const { inapplicable: _absence, ...open } = measured;
       return {
-        ...measured,
+        ...open,
         status: measured.status === "NC" ? "NC" : "manual",
         ...decided.justification ? { justification: decided.justification } : {},
         decidedBy: "agent"
@@ -59853,8 +59854,9 @@ function pageTally(rows) {
     c: rows.filter((r) => r.status === "C").length,
     nc: rows.filter((r) => r.status === "NC").length,
     // No row carries `NA` any more (INAPPLICABLE_STATUS); this counts the conformities
-    // reached for want of a subject, and it is a SUBSET of `c` rather than a fourth bucket.
-    na: rows.filter((r) => r.inapplicable).length,
+    // reached for want of a subject, and it is a SUBSET of `c` rather than a fourth bucket
+    // (same predicate as src/report.ts tallyRows).
+    na: rows.filter((r) => r.status === "C" && r.inapplicable).length,
     manual: rows.filter((r) => r.status === "manual").length
   };
 }
@@ -60402,7 +60404,9 @@ function tallyRows(rows) {
   return {
     c: rows.filter((x) => x.status === "C").length,
     nc: rows.filter((x) => x.status === "NC").length,
-    na: rows.filter((x) => x.inapplicable).length,
+    // NA within C, structurally: a row that carried `inapplicable` under another status (a
+    // criterion that stayed open, say) must not be counted in both columns.
+    na: rows.filter((x) => x.status === "C" && x.inapplicable).length,
     manual: rows.filter((x) => x.status === "manual").length
   };
 }
@@ -60905,7 +60909,7 @@ function render(r, lang, opts) {
     }
   }
   out2.push(`## ${s.naTitle}`, "");
-  const na = rows.filter((x) => x.inapplicable);
+  const na = rows.filter((x) => x.status === "C" && x.inapplicable);
   if (!na.length) out2.push(s.nothing, "");
   else {
     out2.push(`> ${s.naNote}`, "");
@@ -64510,10 +64514,10 @@ function applyAdjudication(audit2, adj, opts = {}) {
             `criterion ${it.criteriaId}: a C verdict needs evidence to cite, and none was harvested for this criterion \u2014 record "manual" (reason "undecidable"), or "NA" if nothing in scope is concerned`
           );
         }
-      } else if (cites.length === 0 && v === "C") {
+      } else if (cites.length === 0 && (v === "C" || v === "NA")) {
         blame(
           it.criteriaId,
-          `criterion ${it.criteriaId}: a C verdict must cite at least one of the ${it.evidence.length} evidence item(s) it was shown (citations: [{file, line, \u2026}])`
+          v === "C" ? `criterion ${it.criteriaId}: a C verdict must cite at least one of the ${it.evidence.length} evidence item(s) it was shown (citations: [{file, line, \u2026}])` : `criterion ${it.criteriaId}: a NA verdict on a criterion with evidence must cite it`
         );
       } else if (cites.length > 0) {
         const anchors = it.evidence.flatMap((e) => [`${e.file}:${e.line}`, ...e.alsoAt ?? []]);
@@ -68865,7 +68869,7 @@ function packAuditDocument(input, packKey, lang) {
       // worse than either being wrong.
       c: rows.filter((r) => r.status === "C").length,
       nc: rows.filter((r) => r.status === "NC").length,
-      na: rows.filter((r) => r.inapplicable).length,
+      na: rows.filter((r) => r.status === "C" && r.inapplicable).length,
       manual: rows.filter((r) => r.status === "manual").length
     };
   });

package/skills/review-a11y/SKILL.md

@@ -3,7 +3,7 @@ name: review-a11y
 description: "Use to REVIEW changed frontend code for accessibility: staged files, a working diff, branch, or PR; prompts such as 'review a11y', 'is this accessible?', or 'anything to fix before merge?'; and hook or CI findings on a change. Run the bundled install-free engine with cross-file JSX/TSX analysis, then adjudicate candidates and return a severity-ranked WCAG 2.2 AA review with file:line fixes, residual rendering risks, and a verdict. Use `ultra11y` instead for whole-repo audits, dated conformance reports, country standards, PRD backlogs, or authoring accessible markup."
 license: MIT
 metadata:
-  version: 5.43.3
+  version: 5.43.5
 ---
 
 # review-a11y — accessibility review of changed code

package/skills/review-a11y/scripts/ultra11y.mjs

@@ -6,7 +6,7 @@ import { join as join52, relative as relative6, resolve as resolve17, sep as sep
 import { fileURLToPath as fileURLToPath5, pathToFileURL as pathToFileURL3 } from "url";
 
 // src/types.ts
-var VERSION = "5.43.3";
+var VERSION = "5.43.5";
 var SCHEMA_VERSION = 2;
 var INAPPLICABLE_STATUS = "C";
 
@@ -58325,8 +58325,9 @@ function derivePackResults(audit2, packKey, pageId) {
     const measured = measuredRescue(derived, pc, cov, ran, pageId);
     const decided = adjudicated?.get(pc.id);
     if (decided?.status === "manual") {
+      const { inapplicable: _absence, ...open } = measured;
       return {
-        ...measured,
+        ...open,
         status: measured.status === "NC" ? "NC" : "manual",
         ...decided.justification ? { justification: decided.justification } : {},
         decidedBy: "agent"
@@ -59853,8 +59854,9 @@ function pageTally(rows) {
     c: rows.filter((r) => r.status === "C").length,
     nc: rows.filter((r) => r.status === "NC").length,
     // No row carries `NA` any more (INAPPLICABLE_STATUS); this counts the conformities
-    // reached for want of a subject, and it is a SUBSET of `c` rather than a fourth bucket.
-    na: rows.filter((r) => r.inapplicable).length,
+    // reached for want of a subject, and it is a SUBSET of `c` rather than a fourth bucket
+    // (same predicate as src/report.ts tallyRows).
+    na: rows.filter((r) => r.status === "C" && r.inapplicable).length,
     manual: rows.filter((r) => r.status === "manual").length
   };
 }
@@ -60402,7 +60404,9 @@ function tallyRows(rows) {
   return {
     c: rows.filter((x) => x.status === "C").length,
     nc: rows.filter((x) => x.status === "NC").length,
-    na: rows.filter((x) => x.inapplicable).length,
+    // NA within C, structurally: a row that carried `inapplicable` under another status (a
+    // criterion that stayed open, say) must not be counted in both columns.
+    na: rows.filter((x) => x.status === "C" && x.inapplicable).length,
     manual: rows.filter((x) => x.status === "manual").length
   };
 }
@@ -60905,7 +60909,7 @@ function render(r, lang, opts) {
     }
   }
   out2.push(`## ${s.naTitle}`, "");
-  const na = rows.filter((x) => x.inapplicable);
+  const na = rows.filter((x) => x.status === "C" && x.inapplicable);
   if (!na.length) out2.push(s.nothing, "");
   else {
     out2.push(`> ${s.naNote}`, "");
@@ -64510,10 +64514,10 @@ function applyAdjudication(audit2, adj, opts = {}) {
             `criterion ${it.criteriaId}: a C verdict needs evidence to cite, and none was harvested for this criterion \u2014 record "manual" (reason "undecidable"), or "NA" if nothing in scope is concerned`
           );
         }
-      } else if (cites.length === 0 && v === "C") {
+      } else if (cites.length === 0 && (v === "C" || v === "NA")) {
         blame(
           it.criteriaId,
-          `criterion ${it.criteriaId}: a C verdict must cite at least one of the ${it.evidence.length} evidence item(s) it was shown (citations: [{file, line, \u2026}])`
+          v === "C" ? `criterion ${it.criteriaId}: a C verdict must cite at least one of the ${it.evidence.length} evidence item(s) it was shown (citations: [{file, line, \u2026}])` : `criterion ${it.criteriaId}: a NA verdict on a criterion with evidence must cite it`
         );
       } else if (cites.length > 0) {
         const anchors = it.evidence.flatMap((e) => [`${e.file}:${e.line}`, ...e.alsoAt ?? []]);
@@ -68865,7 +68869,7 @@ function packAuditDocument(input, packKey, lang) {
       // worse than either being wrong.
       c: rows.filter((r) => r.status === "C").length,
       nc: rows.filter((r) => r.status === "NC").length,
-      na: rows.filter((r) => r.inapplicable).length,
+      na: rows.filter((r) => r.status === "C" && r.inapplicable).length,
       manual: rows.filter((r) => r.status === "manual").length
     };
   });

package/skills/ultra11y/SKILL.md

@@ -3,7 +3,7 @@ name: ultra11y
 description: "Use to AUDIT a repository, site, or page against WCAG 2.2 AA or a country standard such as RGAA; produce a dated conformance report, criterion grid, PRD backlog, or tickets; AUTHOR accessible markup; fix accessibility; or wire a repo gate and rendered-DOM capture pipeline. The bundled install-free engine runs 93 static checks tied to success criteria, while the agent adjudicates judgment criteria and routes rendering criteria to browser scans; check/verify reject invented non-conformities. Use `review-a11y` instead for a review scoped only to a diff, branch, or PR."
 license: MIT
 metadata:
-  version: 5.43.3
+  version: 5.43.5
 ---
 
 # ultra11y — audit WCAG 2.2 AA and write accessible markup

package/skills/ultra11y/references/verify.md

@@ -93,6 +93,9 @@ name (« not open for adjudication »), never re-applied: re-folding the same fi
 written-back audit answers `ok: false` with that criterion in `rejectedCriteria[]`. Agent `NC`s become
 real `agent:<sc>` findings that re-render in the report's §2 and re-enter the verify worklist;
 `report`/`prd` re-render with the adjudicated statuses; §5 shrinks to only still-`manual` items.
+A `manual` verdict — or a coverage gap — on a criterion the engine had provisionally closed for
+want of a subject stays in §5 only: it is never counted in the NA column, which remains a subset
+of §3's C.
 
 ## Residual risk
 

package/skills/ultra11y/scripts/ultra11y.mjs

@@ -6,7 +6,7 @@ import { join as join52, relative as relative6, resolve as resolve17, sep as sep
 import { fileURLToPath as fileURLToPath5, pathToFileURL as pathToFileURL3 } from "url";
 
 // src/types.ts
-var VERSION = "5.43.3";
+var VERSION = "5.43.5";
 var SCHEMA_VERSION = 2;
 var INAPPLICABLE_STATUS = "C";
 
@@ -58325,8 +58325,9 @@ function derivePackResults(audit2, packKey, pageId) {
     const measured = measuredRescue(derived, pc, cov, ran, pageId);
     const decided = adjudicated?.get(pc.id);
     if (decided?.status === "manual") {
+      const { inapplicable: _absence, ...open } = measured;
       return {
-        ...measured,
+        ...open,
         status: measured.status === "NC" ? "NC" : "manual",
         ...decided.justification ? { justification: decided.justification } : {},
         decidedBy: "agent"
@@ -59853,8 +59854,9 @@ function pageTally(rows) {
     c: rows.filter((r) => r.status === "C").length,
     nc: rows.filter((r) => r.status === "NC").length,
     // No row carries `NA` any more (INAPPLICABLE_STATUS); this counts the conformities
-    // reached for want of a subject, and it is a SUBSET of `c` rather than a fourth bucket.
-    na: rows.filter((r) => r.inapplicable).length,
+    // reached for want of a subject, and it is a SUBSET of `c` rather than a fourth bucket
+    // (same predicate as src/report.ts tallyRows).
+    na: rows.filter((r) => r.status === "C" && r.inapplicable).length,
     manual: rows.filter((r) => r.status === "manual").length
   };
 }
@@ -60402,7 +60404,9 @@ function tallyRows(rows) {
   return {
     c: rows.filter((x) => x.status === "C").length,
     nc: rows.filter((x) => x.status === "NC").length,
-    na: rows.filter((x) => x.inapplicable).length,
+    // NA within C, structurally: a row that carried `inapplicable` under another status (a
+    // criterion that stayed open, say) must not be counted in both columns.
+    na: rows.filter((x) => x.status === "C" && x.inapplicable).length,
     manual: rows.filter((x) => x.status === "manual").length
   };
 }
@@ -60905,7 +60909,7 @@ function render(r, lang, opts) {
     }
   }
   out2.push(`## ${s.naTitle}`, "");
-  const na = rows.filter((x) => x.inapplicable);
+  const na = rows.filter((x) => x.status === "C" && x.inapplicable);
   if (!na.length) out2.push(s.nothing, "");
   else {
     out2.push(`> ${s.naNote}`, "");
@@ -64510,10 +64514,10 @@ function applyAdjudication(audit2, adj, opts = {}) {
             `criterion ${it.criteriaId}: a C verdict needs evidence to cite, and none was harvested for this criterion \u2014 record "manual" (reason "undecidable"), or "NA" if nothing in scope is concerned`
           );
         }
-      } else if (cites.length === 0 && v === "C") {
+      } else if (cites.length === 0 && (v === "C" || v === "NA")) {
         blame(
           it.criteriaId,
-          `criterion ${it.criteriaId}: a C verdict must cite at least one of the ${it.evidence.length} evidence item(s) it was shown (citations: [{file, line, \u2026}])`
+          v === "C" ? `criterion ${it.criteriaId}: a C verdict must cite at least one of the ${it.evidence.length} evidence item(s) it was shown (citations: [{file, line, \u2026}])` : `criterion ${it.criteriaId}: a NA verdict on a criterion with evidence must cite it`
         );
       } else if (cites.length > 0) {
         const anchors = it.evidence.flatMap((e) => [`${e.file}:${e.line}`, ...e.alsoAt ?? []]);
@@ -68865,7 +68869,7 @@ function packAuditDocument(input, packKey, lang) {
       // worse than either being wrong.
       c: rows.filter((r) => r.status === "C").length,
       nc: rows.filter((r) => r.status === "NC").length,
-      na: rows.filter((r) => r.inapplicable).length,
+      na: rows.filter((r) => r.status === "C" && r.inapplicable).length,
       manual: rows.filter((r) => r.status === "manual").length
     };
   });

package/skills/ultra11y/templates/gitlab-ci.yml

@@ -27,7 +27,7 @@ variables:
   ULTRA11Y_LANG: en
   # Exact by default: a CI report must say which engine produced it. The release script keeps
   # this pin aligned with the package version; override only for a deliberate upgrade test.
-  ULTRA11Y_VERSION: '5.43.3'
+  ULTRA11Y_VERSION: '5.43.5'
   # Batches of 8 amortise the prompt; each accepted verdict is checkpointed before the next
   # batch, and later passes receive only the residue.
   ULTRA11Y_GRAIN: batch

package/src/adjudicate.ts

@@ -1103,19 +1103,21 @@ export function applyAdjudication(
             `criterion ${it.criteriaId}: a C verdict needs evidence to cite, and none was harvested for this criterion — record "manual" (reason "undecidable"), or "NA" if nothing in scope is concerned`,
           );
         }
-      } else if (cites.length === 0 && v === "C") {
-        // Only a `C` must cite. A `C` says "everything here conforms", so it has to name what
-        // it cleared; an `NA` says "none of this is what the criterion is about", and there is
-        // nothing to clear — asking it to cite the very elements it just ruled out of scope is
-        // a contradiction, and one the engine does not hold ITSELF to: an engine-proved NA
-        // (src/audit.ts subjectMatterReason) carries a justification naming what was searched
-        // for, and no citations at all. Measured on a real run, six criteria were refused for
-        // this alone, each of them an honest NA.
+      } else if (cites.length === 0 && (v === "C" || v === "NA")) {
+        // Either clearing verdict must cite. A `C` says "everything here conforms" and a `NA`
+        // says "none of this is what the criterion is about" — both rule on the harvested
+        // evidence, and the contract the filler was given (adjudicationContract, echoed by the
+        // judge schema and the brief) already requires citations[] whenever evidence was
+        // presented: "to say which of those items fall outside the criterion's scope". The
+        // fold used to enforce only the `C` half, so a bare NA cleared shown evidence without
+        // naming it — an agent could wave what it had been shown out of scope with a sentence.
         //
         // The justification is what keeps an NA falsifiable, and it is still required above.
         blame(
           it.criteriaId,
-          `criterion ${it.criteriaId}: a C verdict must cite at least one of the ${it.evidence.length} evidence item(s) it was shown (citations: [{file, line, …}])`,
+          v === "C"
+            ? `criterion ${it.criteriaId}: a C verdict must cite at least one of the ${it.evidence.length} evidence item(s) it was shown (citations: [{file, line, …}])`
+            : `criterion ${it.criteriaId}: a NA verdict on a criterion with evidence must cite it`,
         );
       } else if (cites.length > 0) {
         // Each citation must name evidence THIS item carried. Grounding alone would only

package/src/pages-report.ts

@@ -262,8 +262,9 @@ export function pageTally(rows: PageCriterionRow[]): { c: number; nc: number; na
     c: rows.filter((r) => r.status === "C").length,
     nc: rows.filter((r) => r.status === "NC").length,
     // No row carries `NA` any more (INAPPLICABLE_STATUS); this counts the conformities
-    // reached for want of a subject, and it is a SUBSET of `c` rather than a fourth bucket.
-    na: rows.filter((r) => r.inapplicable).length,
+    // reached for want of a subject, and it is a SUBSET of `c` rather than a fourth bucket
+    // (same predicate as src/report.ts tallyRows).
+    na: rows.filter((r) => r.status === "C" && r.inapplicable).length,
     manual: rows.filter((r) => r.status === "manual").length,
   };
 }

package/src/report.ts

@@ -627,7 +627,9 @@ export function tallyRows(rows: ReportRow[]): ReportTally {
   return {
     c: rows.filter((x) => x.status === "C").length,
     nc: rows.filter((x) => x.status === "NC").length,
-    na: rows.filter((x) => x.inapplicable).length,
+    // NA within C, structurally: a row that carried `inapplicable` under another status (a
+    // criterion that stayed open, say) must not be counted in both columns.
+    na: rows.filter((x) => x.status === "C" && x.inapplicable).length,
     manual: rows.filter((x) => x.status === "manual").length,
   };
 }
@@ -1522,9 +1524,10 @@ function render(r: AuditResult, lang: Lang, opts: RenderOpts): ReportDocuments {
   }
 
   // 4. conforming for want of a subject — each with what was looked for, so the claim stays
-  // falsifiable rather than merely asserted.
+  // falsifiable rather than merely asserted. Same predicate as tallyRows: the section lists
+  // exactly the criteria the synthesis counts as NA.
   out.push(`## ${s.naTitle}`, "");
-  const na = rows.filter((x) => x.inapplicable);
+  const na = rows.filter((x) => x.status === "C" && x.inapplicable);
   if (!na.length) out.push(s.nothing, "");
   else {
     out.push(`> ${s.naNote}`, "");

package/src/standards/derive.ts

@@ -469,8 +469,14 @@ export function derivePackResults(audit: AuditResult, packKey: string, pageId?:
     const measured = measuredRescue(derived, pc, cov, ran, pageId);
     const decided = adjudicated?.get(pc.id);
     if (decided?.status === "manual") {
+      // An abstention keeps the criterion OPEN, so the absence-derived `inapplicable` must not
+      // ride along: the report counts NA inside C (src/report.ts tallyRows), and a row that is
+      // both « à évaluer » and « conforme faute de sujet » lands in both columns — NA then
+      // overtakes C in the synthesis and `check --report` refuses the document this engine
+      // itself wrote.
+      const { inapplicable: _absence, ...open } = measured;
       return {
-        ...measured,
+        ...open,
         status: measured.status === "NC" ? "NC" : "manual",
         ...(decided.justification ? { justification: decided.justification } : {}),
         decidedBy: "agent" as const,

package/src/standards/document.ts

@@ -174,7 +174,7 @@ export function packAuditDocument(input: AuditResult | PackAuditResult, packKey:
       // worse than either being wrong.
       c: rows.filter((r) => r.status === "C").length,
       nc: rows.filter((r) => r.status === "NC").length,
-      na: rows.filter((r) => r.inapplicable).length,
+      na: rows.filter((r) => r.status === "C" && r.inapplicable).length,
       manual: rows.filter((r) => r.status === "manual").length,
     };
   });

package/src/types.ts

@@ -1,6 +1,6 @@
 // Single source of truth for shared types + the embedded version. sync-version.mjs
 // rewrites VERSION at release time (kept in lockstep with package.json + SKILL.md).
-export const VERSION = "5.43.3";
+export const VERSION = "5.43.5";
 export const SCHEMA_VERSION = 2;
 
 // Lang = the UI FRAME's language — the `L` localization tables each module (report,