ultra11y 5.36.3 → 5.37.1

package/.claude-plugin/marketplace.json

@@ -10,7 +10,7 @@
       "name": "ultra11y",
       "source": "./",
       "description": "Automatic accessibility review of the code under change before every commit, push and pull request, plus full WCAG 2.2 AA / RGAA audits and conformance deliverables on demand.",
-      "version": "5.36.3",
+      "version": "5.37.1",
       "author": { "name": "maxgfr" },
       "homepage": "https://github.com/maxgfr/ultra11y",
       "repository": "https://github.com/maxgfr/ultra11y",

package/.claude-plugin/plugin.json

@@ -1,7 +1,7 @@
 {
   "name": "ultra11y",
   "description": "Accessibility for WCAG 2.2 AA and country standards (RGAA…): an automatic review of the code under change before every commit, push and pull request, plus full audits and conformance deliverables on demand.",
-  "version": "5.36.3",
+  "version": "5.37.1",
   "author": { "name": "maxgfr" },
   "homepage": "https://github.com/maxgfr/ultra11y",
   "repository": "https://github.com/maxgfr/ultra11y",

package/.codex-plugin/plugin.json

@@ -1,7 +1,7 @@
 {
   "name": "ultra11y",
   "description": "Accessibility for WCAG 2.2 AA and country standards (RGAA…): an automatic review of the code under change before every commit, push and pull request, plus full audits and conformance deliverables on demand.",
-  "version": "5.36.3",
+  "version": "5.37.1",
   "author": { "name": "maxgfr", "url": "https://github.com/maxgfr" },
   "homepage": "https://github.com/maxgfr/ultra11y",
   "repository": "https://github.com/maxgfr/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.36.3";
+const ULTRA11Y_PLUGIN_VERSION = "5.37.1";
 
 const here = dirname(fileURLToPath(import.meta.url));
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ultra11y",
-  "version": "5.36.3",
+  "version": "5.37.1",
   "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 join53, relative as relative5, resolve as resolve16, sep as sep
 import { fileURLToPath as fileURLToPath5, pathToFileURL as pathToFileURL3 } from "url";
 
 // src/types.ts
-var VERSION = "5.36.3";
+var VERSION = "5.37.1";
 var SCHEMA_VERSION = 2;
 var INAPPLICABLE_STATUS = "C";
 
@@ -56362,6 +56362,10 @@ import { mkdirSync as mkdirSync6, writeFileSync as writeFileSync7 } from "fs";
 import { join as join31 } from "path";
 
 // src/standards/derive.ts
+function isProvisionalJudgmentInapplicable(result, criterion) {
+  if (result.status !== INAPPLICABLE_STATUS || result.inapplicable !== true || result.decidedBy === "agent") return false;
+  return Object.values(criterion?.automation?.tests ?? {}).includes("judgment");
+}
 function aggregate2(results) {
   if (results.some((r) => r.status === "NC")) return "NC";
   if (results.some((r) => r.status === "C" && !r.inapplicable)) return "C";
@@ -57687,7 +57691,12 @@ function pageGridModel(result, derived, standard, lang) {
   }
   const pack = loadPack(standard);
   const rows = pack.criteria.map((pc) => ({ id: pc.id, label: pc.id, group: `${pc.theme}. ${themeName(pack, pc.theme, lang) ?? ""}`.trim() }));
-  for (const p of derived) for (const pc of derivePackResults(pageView(result, p), standard, p.id)) put(pc.id, p.id, pc.status);
+  for (const p of derived) {
+    for (const pc of derivePackResults(pageView(result, p), standard, p.id)) {
+      const criterion = pack.criteria.find((row) => row.id === pc.id);
+      put(pc.id, p.id, isProvisionalJudgmentInapplicable(pc, criterion) ? "manual" : pc.status);
+    }
+  }
   return { rows, status };
 }
 function renderRedirected(redirected, lang = "en") {
@@ -57857,15 +57866,19 @@ function pageCriterionRows(result, page, standard, lang) {
   }
   const pack = loadPack(standard);
   const byId2 = new Map(derivePackResults(pageView(result, page), standard, page.id).map((r) => [r.id, r]));
-  return pack.criteria.map((pc) => ({
-    id: pc.id,
-    label: `${pc.id} \u2014 ${titlePlain(pack, pc, lang)}`,
-    group: `${pc.theme}. ${themeName(pack, pc.theme, lang) ?? ""}`.trim(),
-    status: byId2.get(pc.id)?.status ?? "manual",
-    tests: packTestIds(pack, pc.id),
-    decidedBy: byId2.get(pc.id)?.decidedBy,
-    ...byId2.get(pc.id)?.inapplicable ? { inapplicable: true } : {}
-  }));
+  return pack.criteria.map((pc) => {
+    const result2 = byId2.get(pc.id);
+    const provisionalNa = result2 ? isProvisionalJudgmentInapplicable(result2, pc) : false;
+    return {
+      id: pc.id,
+      label: `${pc.id} \u2014 ${titlePlain(pack, pc, lang)}`,
+      group: `${pc.theme}. ${themeName(pack, pc.theme, lang) ?? ""}`.trim(),
+      status: provisionalNa ? "manual" : result2?.status ?? "manual",
+      tests: packTestIds(pack, pc.id),
+      decidedBy: result2?.decidedBy,
+      ...result2?.inapplicable && !provisionalNa ? { inapplicable: true } : {}
+    };
+  });
 }
 function pagesForStandard(result, pages, standard, lang) {
   if (isCore(standard)) return pages;
@@ -58231,12 +58244,17 @@ function automationOverview(standard) {
   const pack = loadPack(standard);
   const tests = { static: 0, rendered: 0, judgment: 0 };
   const criteria = { static: [], rendered: [], judgment: [] };
+  const signals = { decisive: [], candidate: [], advisory: [] };
   for (const criterion of pack.criteria) {
     const tiers = Object.values(criterion.automation?.tests ?? {});
     for (const tier of tiers) tests[tier]++;
     for (const tier of ["static", "rendered", "judgment"]) if (tiers.includes(tier)) criteria[tier].push(criterion.id);
+    const effects = new Set((criterion.automation?.rules ?? []).map((rule) => rule.effect));
+    if (effects.has("decisive-nc")) signals.decisive.push(criterion.id);
+    if (effects.has("candidate")) signals.candidate.push(criterion.id);
+    if (effects.has("advisory")) signals.advisory.push(criterion.id);
   }
-  return { tests, criteria };
+  return { tests, criteria, signals };
 }
 function automationCell(standard, id) {
   if (isCore(standard)) return "\u2014";
@@ -58441,19 +58459,21 @@ function packReportGroups(r, pack, lang = "en") {
   const derived = derivePackResults(r, pack.key);
   const s = L5[lang];
   const naReason = lang === "fr" ? "Rien de la nature de ce crit\xE8re n'est pr\xE9sent dans le p\xE9rim\xE8tre." : "Nothing of this criterion's kind is present in scope.";
+  const provisionalNaReason = lang === "fr" ? "Aucun sujet d\xE9tect\xE9 par le moteur ; l'IA doit confirmer la non-applicabilit\xE9 de ce crit\xE8re de jugement." : "The engine detected no subject; the AI must confirm that this judgment criterion is not applicable.";
   const byTheme = /* @__PURE__ */ new Map();
   for (const pr of derived) {
     const pc = pack.criteria.find((c2) => c2.id === pr.id);
+    const provisionalNa = isProvisionalJudgmentInapplicable(pr, pc);
     const row = {
       id: pr.id,
       label: `${pack.name} ${pr.id} \u2014 ${title(pack, pc, lang)}`,
-      status: pr.status,
+      status: provisionalNa ? "manual" : pr.status,
       findings: pr.findings,
       ...pr.decidedBy ? { decidedBy: pr.decidedBy } : {},
-      ...pr.inapplicable ? { inapplicable: true } : {},
+      ...pr.inapplicable && !provisionalNa ? { inapplicable: true } : {},
       // outOfScope / scopedOut criteria are "manual" with their own dedicated justification —
       // never mixed with the "nothing of that kind here" reason (see the manual section above).
-      ...pr.outOfScope ? { justification: s.outOfScope } : pr.scopedOut ? { justification: s.scopedOut } : pr.judgment ? { justification: s.judgment } : pr.inapplicable ? { justification: naReason } : {}
+      ...provisionalNa ? { justification: provisionalNaReason } : pr.outOfScope ? { justification: s.outOfScope } : pr.scopedOut ? { justification: s.scopedOut } : pr.judgment ? { justification: s.judgment } : pr.inapplicable ? { justification: naReason } : {}
     };
     (byTheme.get(pr.theme) ?? byTheme.set(pr.theme, []).get(pr.theme)).push(row);
   }
@@ -61330,8 +61350,7 @@ function subjectsForPackCriterion2(standard, id, scs) {
 }
 function packResultNeedsAdjudication(pc, criterion) {
   if (pc.status === "manual") return true;
-  const hasJudgmentTest = Object.values(criterion?.automation?.tests ?? {}).includes("judgment");
-  return pc.status === INAPPLICABLE_STATUS && pc.inapplicable === true && pc.decidedBy !== "agent" && hasJudgmentTest;
+  return isProvisionalJudgmentInapplicable(pc, criterion);
 }
 function buildAdjudicationWorklist(audit2, opts = {}) {
   const docs = docsForAudit(audit2, opts.cwd);
@@ -66404,9 +66423,11 @@ var S = {
     noCriterionForFindings: (n) => `${n} constat(s) sur cette page ne rendent aucun crit\xE8re du r\xE9f\xE9rentiel non conforme : leur r\xE8gle sort du p\xE9rim\xE8tre d'application de chacun. Ils comptent dans les colonnes ci-dessus, et sont d\xE9taill\xE9s dans l'artefact.`,
     runScope: "P\xE9rim\xE8tre de ce run",
     renderedActuallyTested: (n) => `${n} page(s) rendue(s) r\xE9ellement test\xE9e(s)`,
+    testedPages: (pages, more) => `Pages test\xE9es : ${pages}${more ? ` \xB7 \u2026 +${more} dans l'artefact` : ""}`,
     noRenderedExecuted: "0 page rendue : aucun test rendered n'a \xE9t\xE9 ex\xE9cut\xE9",
     staticTested: (tests, ids) => `${tests} test(s) static \u2014 crit\xE8res : ${ids || "\u2014"}`,
     renderedContract: (tests, ids) => `${tests} test(s) rendered pr\xE9vus \u2014 crit\xE8res : ${ids || "\u2014"}`,
+    deterministicSignals: (covered, decisive, candidate, advisory) => `Couverture moteur : ${covered} crit\xE8re(s) re\xE7oivent un signal normatif \u2014 ${decisive} crit\xE8re(s) peuvent produire un NC d\xE9cisif \xB7 ${candidate} re\xE7oivent des preuves candidates (avec chevauchement)${advisory ? ` \xB7 ${advisory} autre re\xE7oit une recommandation advisory` : ""}`,
     judgmentContract: (tests, criteria) => `${tests} test(s) judgment sur ${criteria} crit\xE8re(s), tous transmis \xE0 l'IA tant qu'ils ne sont pas tranch\xE9s`
   },
   en: {
@@ -66480,9 +66501,11 @@ var S = {
     noCriterionForFindings: (n) => `${n} finding(s) on this page make no criterion of the standard non-conforming: their rule falls outside every criterion's applicability. They are counted in the columns above, and detailed in the artifact.`,
     runScope: "Scope of this run",
     renderedActuallyTested: (n) => `${n} rendered page(s) actually tested`,
+    testedPages: (pages, more) => `Pages tested: ${pages}${more ? ` \xB7 \u2026 +${more} in the artifact` : ""}`,
     noRenderedExecuted: "0 rendered pages: no rendered test was executed",
     staticTested: (tests, ids) => `${tests} static test(s) \u2014 criteria: ${ids || "\u2014"}`,
     renderedContract: (tests, ids) => `${tests} planned rendered test(s) \u2014 criteria: ${ids || "\u2014"}`,
+    deterministicSignals: (covered, decisive, candidate, advisory) => `Engine coverage: ${covered} criterion(ia) receive a normative signal \u2014 ${decisive} criterion(ia) can produce a decisive NC \xB7 ${candidate} receive candidate evidence (with overlap)${advisory ? ` \xB7 ${advisory} other receives an advisory recommendation` : ""}`,
     judgmentContract: (tests, criteria) => `${tests} judgment test(s) across ${criteria} criterion(ia), all sent to AI while undecided`
   }
 };
@@ -66561,16 +66584,29 @@ function runCoverage(result, standard, lang) {
     agentRuled
   };
 }
-function runScopeLines(result, standard, lang) {
+function runScopeLines(result, standard, lang, includePageNames = false) {
   const s = S[lang];
   const pages = result.scope.pagesAudited?.length ?? 0;
   const out2 = [`> **${s.runScope}** \u2014 ${pages === 0 ? s.noRenderedExecuted : s.renderedActuallyTested(pages)}`];
+  if (includePageNames && pages > 0) {
+    const scope = pagesOf(result);
+    const byId2 = new Map(scope.map((page) => [page.id, page]));
+    const tested = (result.scope.pagesAudited ?? []).map((id) => byId2.get(id) ?? { id, name: id, url: "" });
+    const shown = tested.slice(0, 12).map((page) => {
+      const name2 = mdText(page.name || page.id);
+      const url = page.url ? ` (\`${page.url.replace(/`/g, "%60")}\`)` : "";
+      return `${name2}${url}`;
+    });
+    out2.push(`> ${s.testedPages(shown.join(" \xB7 "), tested.length - shown.length)}`);
+  }
   const automation = automationOverview(standard);
   if (!automation) return out2;
   const ids = (values) => values.map((id) => `\`${id}\``).join(" \xB7 ");
+  const normativeSignals = (/* @__PURE__ */ new Set([...automation.signals.decisive, ...automation.signals.candidate])).size;
   out2.push(
     `> ${s.staticTested(automation.tests.static, ids(automation.criteria.static))}`,
     `> ${s.renderedContract(automation.tests.rendered, ids(automation.criteria.rendered))}`,
+    `> ${s.deterministicSignals(normativeSignals, automation.signals.decisive.length, automation.signals.candidate.length, automation.signals.advisory.length)}`,
     `> ${s.judgmentContract(automation.tests.judgment, automation.criteria.judgment.length)}`
   );
   return out2;
@@ -66651,7 +66687,7 @@ function prComment(result, opts = {}) {
   head.push(`### ${s.title} \u2014 ${stdLabel}`, "");
   head.push(blocking ? s.verdictFail(blocking) : normative.length ? s.verdictWarn : s.verdictPass, "");
   head.push(`\`${result.date}\` \xB7 ${result.scope.files} ${s.files} \xB7 **${coverage.text}**${coverage.detail ? ` \xB7 ${coverage.detail}` : ""}`, "");
-  head.push(...runScopeLines(result, standard, lang), "");
+  head.push(...runScopeLines(result, standard, lang, true), "");
   if (coverage.agentRuled) head.push(`> ${agentMarkNote(lang)}`, "");
   if (orphans) head.push(`> ${s.unattributed(orphans)}`, "");
   const tail = [];

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.36.3
+  version: 5.37.1
 ---
 
 # review-a11y — accessibility review of changed code

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

@@ -6,7 +6,7 @@ import { join as join53, relative as relative5, resolve as resolve16, sep as sep
 import { fileURLToPath as fileURLToPath5, pathToFileURL as pathToFileURL3 } from "url";
 
 // src/types.ts
-var VERSION = "5.36.3";
+var VERSION = "5.37.1";
 var SCHEMA_VERSION = 2;
 var INAPPLICABLE_STATUS = "C";
 
@@ -56362,6 +56362,10 @@ import { mkdirSync as mkdirSync6, writeFileSync as writeFileSync7 } from "fs";
 import { join as join31 } from "path";
 
 // src/standards/derive.ts
+function isProvisionalJudgmentInapplicable(result, criterion) {
+  if (result.status !== INAPPLICABLE_STATUS || result.inapplicable !== true || result.decidedBy === "agent") return false;
+  return Object.values(criterion?.automation?.tests ?? {}).includes("judgment");
+}
 function aggregate2(results) {
   if (results.some((r) => r.status === "NC")) return "NC";
   if (results.some((r) => r.status === "C" && !r.inapplicable)) return "C";
@@ -57687,7 +57691,12 @@ function pageGridModel(result, derived, standard, lang) {
   }
   const pack = loadPack(standard);
   const rows = pack.criteria.map((pc) => ({ id: pc.id, label: pc.id, group: `${pc.theme}. ${themeName(pack, pc.theme, lang) ?? ""}`.trim() }));
-  for (const p of derived) for (const pc of derivePackResults(pageView(result, p), standard, p.id)) put(pc.id, p.id, pc.status);
+  for (const p of derived) {
+    for (const pc of derivePackResults(pageView(result, p), standard, p.id)) {
+      const criterion = pack.criteria.find((row) => row.id === pc.id);
+      put(pc.id, p.id, isProvisionalJudgmentInapplicable(pc, criterion) ? "manual" : pc.status);
+    }
+  }
   return { rows, status };
 }
 function renderRedirected(redirected, lang = "en") {
@@ -57857,15 +57866,19 @@ function pageCriterionRows(result, page, standard, lang) {
   }
   const pack = loadPack(standard);
   const byId2 = new Map(derivePackResults(pageView(result, page), standard, page.id).map((r) => [r.id, r]));
-  return pack.criteria.map((pc) => ({
-    id: pc.id,
-    label: `${pc.id} \u2014 ${titlePlain(pack, pc, lang)}`,
-    group: `${pc.theme}. ${themeName(pack, pc.theme, lang) ?? ""}`.trim(),
-    status: byId2.get(pc.id)?.status ?? "manual",
-    tests: packTestIds(pack, pc.id),
-    decidedBy: byId2.get(pc.id)?.decidedBy,
-    ...byId2.get(pc.id)?.inapplicable ? { inapplicable: true } : {}
-  }));
+  return pack.criteria.map((pc) => {
+    const result2 = byId2.get(pc.id);
+    const provisionalNa = result2 ? isProvisionalJudgmentInapplicable(result2, pc) : false;
+    return {
+      id: pc.id,
+      label: `${pc.id} \u2014 ${titlePlain(pack, pc, lang)}`,
+      group: `${pc.theme}. ${themeName(pack, pc.theme, lang) ?? ""}`.trim(),
+      status: provisionalNa ? "manual" : result2?.status ?? "manual",
+      tests: packTestIds(pack, pc.id),
+      decidedBy: result2?.decidedBy,
+      ...result2?.inapplicable && !provisionalNa ? { inapplicable: true } : {}
+    };
+  });
 }
 function pagesForStandard(result, pages, standard, lang) {
   if (isCore(standard)) return pages;
@@ -58231,12 +58244,17 @@ function automationOverview(standard) {
   const pack = loadPack(standard);
   const tests = { static: 0, rendered: 0, judgment: 0 };
   const criteria = { static: [], rendered: [], judgment: [] };
+  const signals = { decisive: [], candidate: [], advisory: [] };
   for (const criterion of pack.criteria) {
     const tiers = Object.values(criterion.automation?.tests ?? {});
     for (const tier of tiers) tests[tier]++;
     for (const tier of ["static", "rendered", "judgment"]) if (tiers.includes(tier)) criteria[tier].push(criterion.id);
+    const effects = new Set((criterion.automation?.rules ?? []).map((rule) => rule.effect));
+    if (effects.has("decisive-nc")) signals.decisive.push(criterion.id);
+    if (effects.has("candidate")) signals.candidate.push(criterion.id);
+    if (effects.has("advisory")) signals.advisory.push(criterion.id);
   }
-  return { tests, criteria };
+  return { tests, criteria, signals };
 }
 function automationCell(standard, id) {
   if (isCore(standard)) return "\u2014";
@@ -58441,19 +58459,21 @@ function packReportGroups(r, pack, lang = "en") {
   const derived = derivePackResults(r, pack.key);
   const s = L5[lang];
   const naReason = lang === "fr" ? "Rien de la nature de ce crit\xE8re n'est pr\xE9sent dans le p\xE9rim\xE8tre." : "Nothing of this criterion's kind is present in scope.";
+  const provisionalNaReason = lang === "fr" ? "Aucun sujet d\xE9tect\xE9 par le moteur ; l'IA doit confirmer la non-applicabilit\xE9 de ce crit\xE8re de jugement." : "The engine detected no subject; the AI must confirm that this judgment criterion is not applicable.";
   const byTheme = /* @__PURE__ */ new Map();
   for (const pr of derived) {
     const pc = pack.criteria.find((c2) => c2.id === pr.id);
+    const provisionalNa = isProvisionalJudgmentInapplicable(pr, pc);
     const row = {
       id: pr.id,
       label: `${pack.name} ${pr.id} \u2014 ${title(pack, pc, lang)}`,
-      status: pr.status,
+      status: provisionalNa ? "manual" : pr.status,
       findings: pr.findings,
       ...pr.decidedBy ? { decidedBy: pr.decidedBy } : {},
-      ...pr.inapplicable ? { inapplicable: true } : {},
+      ...pr.inapplicable && !provisionalNa ? { inapplicable: true } : {},
       // outOfScope / scopedOut criteria are "manual" with their own dedicated justification —
       // never mixed with the "nothing of that kind here" reason (see the manual section above).
-      ...pr.outOfScope ? { justification: s.outOfScope } : pr.scopedOut ? { justification: s.scopedOut } : pr.judgment ? { justification: s.judgment } : pr.inapplicable ? { justification: naReason } : {}
+      ...provisionalNa ? { justification: provisionalNaReason } : pr.outOfScope ? { justification: s.outOfScope } : pr.scopedOut ? { justification: s.scopedOut } : pr.judgment ? { justification: s.judgment } : pr.inapplicable ? { justification: naReason } : {}
     };
     (byTheme.get(pr.theme) ?? byTheme.set(pr.theme, []).get(pr.theme)).push(row);
   }
@@ -61330,8 +61350,7 @@ function subjectsForPackCriterion2(standard, id, scs) {
 }
 function packResultNeedsAdjudication(pc, criterion) {
   if (pc.status === "manual") return true;
-  const hasJudgmentTest = Object.values(criterion?.automation?.tests ?? {}).includes("judgment");
-  return pc.status === INAPPLICABLE_STATUS && pc.inapplicable === true && pc.decidedBy !== "agent" && hasJudgmentTest;
+  return isProvisionalJudgmentInapplicable(pc, criterion);
 }
 function buildAdjudicationWorklist(audit2, opts = {}) {
   const docs = docsForAudit(audit2, opts.cwd);
@@ -66404,9 +66423,11 @@ var S = {
     noCriterionForFindings: (n) => `${n} constat(s) sur cette page ne rendent aucun crit\xE8re du r\xE9f\xE9rentiel non conforme : leur r\xE8gle sort du p\xE9rim\xE8tre d'application de chacun. Ils comptent dans les colonnes ci-dessus, et sont d\xE9taill\xE9s dans l'artefact.`,
     runScope: "P\xE9rim\xE8tre de ce run",
     renderedActuallyTested: (n) => `${n} page(s) rendue(s) r\xE9ellement test\xE9e(s)`,
+    testedPages: (pages, more) => `Pages test\xE9es : ${pages}${more ? ` \xB7 \u2026 +${more} dans l'artefact` : ""}`,
     noRenderedExecuted: "0 page rendue : aucun test rendered n'a \xE9t\xE9 ex\xE9cut\xE9",
     staticTested: (tests, ids) => `${tests} test(s) static \u2014 crit\xE8res : ${ids || "\u2014"}`,
     renderedContract: (tests, ids) => `${tests} test(s) rendered pr\xE9vus \u2014 crit\xE8res : ${ids || "\u2014"}`,
+    deterministicSignals: (covered, decisive, candidate, advisory) => `Couverture moteur : ${covered} crit\xE8re(s) re\xE7oivent un signal normatif \u2014 ${decisive} crit\xE8re(s) peuvent produire un NC d\xE9cisif \xB7 ${candidate} re\xE7oivent des preuves candidates (avec chevauchement)${advisory ? ` \xB7 ${advisory} autre re\xE7oit une recommandation advisory` : ""}`,
     judgmentContract: (tests, criteria) => `${tests} test(s) judgment sur ${criteria} crit\xE8re(s), tous transmis \xE0 l'IA tant qu'ils ne sont pas tranch\xE9s`
   },
   en: {
@@ -66480,9 +66501,11 @@ var S = {
     noCriterionForFindings: (n) => `${n} finding(s) on this page make no criterion of the standard non-conforming: their rule falls outside every criterion's applicability. They are counted in the columns above, and detailed in the artifact.`,
     runScope: "Scope of this run",
     renderedActuallyTested: (n) => `${n} rendered page(s) actually tested`,
+    testedPages: (pages, more) => `Pages tested: ${pages}${more ? ` \xB7 \u2026 +${more} in the artifact` : ""}`,
     noRenderedExecuted: "0 rendered pages: no rendered test was executed",
     staticTested: (tests, ids) => `${tests} static test(s) \u2014 criteria: ${ids || "\u2014"}`,
     renderedContract: (tests, ids) => `${tests} planned rendered test(s) \u2014 criteria: ${ids || "\u2014"}`,
+    deterministicSignals: (covered, decisive, candidate, advisory) => `Engine coverage: ${covered} criterion(ia) receive a normative signal \u2014 ${decisive} criterion(ia) can produce a decisive NC \xB7 ${candidate} receive candidate evidence (with overlap)${advisory ? ` \xB7 ${advisory} other receives an advisory recommendation` : ""}`,
     judgmentContract: (tests, criteria) => `${tests} judgment test(s) across ${criteria} criterion(ia), all sent to AI while undecided`
   }
 };
@@ -66561,16 +66584,29 @@ function runCoverage(result, standard, lang) {
     agentRuled
   };
 }
-function runScopeLines(result, standard, lang) {
+function runScopeLines(result, standard, lang, includePageNames = false) {
   const s = S[lang];
   const pages = result.scope.pagesAudited?.length ?? 0;
   const out2 = [`> **${s.runScope}** \u2014 ${pages === 0 ? s.noRenderedExecuted : s.renderedActuallyTested(pages)}`];
+  if (includePageNames && pages > 0) {
+    const scope = pagesOf(result);
+    const byId2 = new Map(scope.map((page) => [page.id, page]));
+    const tested = (result.scope.pagesAudited ?? []).map((id) => byId2.get(id) ?? { id, name: id, url: "" });
+    const shown = tested.slice(0, 12).map((page) => {
+      const name2 = mdText(page.name || page.id);
+      const url = page.url ? ` (\`${page.url.replace(/`/g, "%60")}\`)` : "";
+      return `${name2}${url}`;
+    });
+    out2.push(`> ${s.testedPages(shown.join(" \xB7 "), tested.length - shown.length)}`);
+  }
   const automation = automationOverview(standard);
   if (!automation) return out2;
   const ids = (values) => values.map((id) => `\`${id}\``).join(" \xB7 ");
+  const normativeSignals = (/* @__PURE__ */ new Set([...automation.signals.decisive, ...automation.signals.candidate])).size;
   out2.push(
     `> ${s.staticTested(automation.tests.static, ids(automation.criteria.static))}`,
     `> ${s.renderedContract(automation.tests.rendered, ids(automation.criteria.rendered))}`,
+    `> ${s.deterministicSignals(normativeSignals, automation.signals.decisive.length, automation.signals.candidate.length, automation.signals.advisory.length)}`,
     `> ${s.judgmentContract(automation.tests.judgment, automation.criteria.judgment.length)}`
   );
   return out2;
@@ -66651,7 +66687,7 @@ function prComment(result, opts = {}) {
   head.push(`### ${s.title} \u2014 ${stdLabel}`, "");
   head.push(blocking ? s.verdictFail(blocking) : normative.length ? s.verdictWarn : s.verdictPass, "");
   head.push(`\`${result.date}\` \xB7 ${result.scope.files} ${s.files} \xB7 **${coverage.text}**${coverage.detail ? ` \xB7 ${coverage.detail}` : ""}`, "");
-  head.push(...runScopeLines(result, standard, lang), "");
+  head.push(...runScopeLines(result, standard, lang, true), "");
   if (coverage.agentRuled) head.push(`> ${agentMarkNote(lang)}`, "");
   if (orphans) head.push(`> ${s.unattributed(orphans)}`, "");
   const tail = [];

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 81 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.36.3
+  version: 5.37.1
 ---
 
 # ultra11y — audit WCAG 2.2 AA and write accessible markup

package/skills/ultra11y/scripts/ultra11y.mjs

@@ -6,7 +6,7 @@ import { join as join53, relative as relative5, resolve as resolve16, sep as sep
 import { fileURLToPath as fileURLToPath5, pathToFileURL as pathToFileURL3 } from "url";
 
 // src/types.ts
-var VERSION = "5.36.3";
+var VERSION = "5.37.1";
 var SCHEMA_VERSION = 2;
 var INAPPLICABLE_STATUS = "C";
 
@@ -56362,6 +56362,10 @@ import { mkdirSync as mkdirSync6, writeFileSync as writeFileSync7 } from "fs";
 import { join as join31 } from "path";
 
 // src/standards/derive.ts
+function isProvisionalJudgmentInapplicable(result, criterion) {
+  if (result.status !== INAPPLICABLE_STATUS || result.inapplicable !== true || result.decidedBy === "agent") return false;
+  return Object.values(criterion?.automation?.tests ?? {}).includes("judgment");
+}
 function aggregate2(results) {
   if (results.some((r) => r.status === "NC")) return "NC";
   if (results.some((r) => r.status === "C" && !r.inapplicable)) return "C";
@@ -57687,7 +57691,12 @@ function pageGridModel(result, derived, standard, lang) {
   }
   const pack = loadPack(standard);
   const rows = pack.criteria.map((pc) => ({ id: pc.id, label: pc.id, group: `${pc.theme}. ${themeName(pack, pc.theme, lang) ?? ""}`.trim() }));
-  for (const p of derived) for (const pc of derivePackResults(pageView(result, p), standard, p.id)) put(pc.id, p.id, pc.status);
+  for (const p of derived) {
+    for (const pc of derivePackResults(pageView(result, p), standard, p.id)) {
+      const criterion = pack.criteria.find((row) => row.id === pc.id);
+      put(pc.id, p.id, isProvisionalJudgmentInapplicable(pc, criterion) ? "manual" : pc.status);
+    }
+  }
   return { rows, status };
 }
 function renderRedirected(redirected, lang = "en") {
@@ -57857,15 +57866,19 @@ function pageCriterionRows(result, page, standard, lang) {
   }
   const pack = loadPack(standard);
   const byId2 = new Map(derivePackResults(pageView(result, page), standard, page.id).map((r) => [r.id, r]));
-  return pack.criteria.map((pc) => ({
-    id: pc.id,
-    label: `${pc.id} \u2014 ${titlePlain(pack, pc, lang)}`,
-    group: `${pc.theme}. ${themeName(pack, pc.theme, lang) ?? ""}`.trim(),
-    status: byId2.get(pc.id)?.status ?? "manual",
-    tests: packTestIds(pack, pc.id),
-    decidedBy: byId2.get(pc.id)?.decidedBy,
-    ...byId2.get(pc.id)?.inapplicable ? { inapplicable: true } : {}
-  }));
+  return pack.criteria.map((pc) => {
+    const result2 = byId2.get(pc.id);
+    const provisionalNa = result2 ? isProvisionalJudgmentInapplicable(result2, pc) : false;
+    return {
+      id: pc.id,
+      label: `${pc.id} \u2014 ${titlePlain(pack, pc, lang)}`,
+      group: `${pc.theme}. ${themeName(pack, pc.theme, lang) ?? ""}`.trim(),
+      status: provisionalNa ? "manual" : result2?.status ?? "manual",
+      tests: packTestIds(pack, pc.id),
+      decidedBy: result2?.decidedBy,
+      ...result2?.inapplicable && !provisionalNa ? { inapplicable: true } : {}
+    };
+  });
 }
 function pagesForStandard(result, pages, standard, lang) {
   if (isCore(standard)) return pages;
@@ -58231,12 +58244,17 @@ function automationOverview(standard) {
   const pack = loadPack(standard);
   const tests = { static: 0, rendered: 0, judgment: 0 };
   const criteria = { static: [], rendered: [], judgment: [] };
+  const signals = { decisive: [], candidate: [], advisory: [] };
   for (const criterion of pack.criteria) {
     const tiers = Object.values(criterion.automation?.tests ?? {});
     for (const tier of tiers) tests[tier]++;
     for (const tier of ["static", "rendered", "judgment"]) if (tiers.includes(tier)) criteria[tier].push(criterion.id);
+    const effects = new Set((criterion.automation?.rules ?? []).map((rule) => rule.effect));
+    if (effects.has("decisive-nc")) signals.decisive.push(criterion.id);
+    if (effects.has("candidate")) signals.candidate.push(criterion.id);
+    if (effects.has("advisory")) signals.advisory.push(criterion.id);
   }
-  return { tests, criteria };
+  return { tests, criteria, signals };
 }
 function automationCell(standard, id) {
   if (isCore(standard)) return "\u2014";
@@ -58441,19 +58459,21 @@ function packReportGroups(r, pack, lang = "en") {
   const derived = derivePackResults(r, pack.key);
   const s = L5[lang];
   const naReason = lang === "fr" ? "Rien de la nature de ce crit\xE8re n'est pr\xE9sent dans le p\xE9rim\xE8tre." : "Nothing of this criterion's kind is present in scope.";
+  const provisionalNaReason = lang === "fr" ? "Aucun sujet d\xE9tect\xE9 par le moteur ; l'IA doit confirmer la non-applicabilit\xE9 de ce crit\xE8re de jugement." : "The engine detected no subject; the AI must confirm that this judgment criterion is not applicable.";
   const byTheme = /* @__PURE__ */ new Map();
   for (const pr of derived) {
     const pc = pack.criteria.find((c2) => c2.id === pr.id);
+    const provisionalNa = isProvisionalJudgmentInapplicable(pr, pc);
     const row = {
       id: pr.id,
       label: `${pack.name} ${pr.id} \u2014 ${title(pack, pc, lang)}`,
-      status: pr.status,
+      status: provisionalNa ? "manual" : pr.status,
       findings: pr.findings,
       ...pr.decidedBy ? { decidedBy: pr.decidedBy } : {},
-      ...pr.inapplicable ? { inapplicable: true } : {},
+      ...pr.inapplicable && !provisionalNa ? { inapplicable: true } : {},
       // outOfScope / scopedOut criteria are "manual" with their own dedicated justification —
       // never mixed with the "nothing of that kind here" reason (see the manual section above).
-      ...pr.outOfScope ? { justification: s.outOfScope } : pr.scopedOut ? { justification: s.scopedOut } : pr.judgment ? { justification: s.judgment } : pr.inapplicable ? { justification: naReason } : {}
+      ...provisionalNa ? { justification: provisionalNaReason } : pr.outOfScope ? { justification: s.outOfScope } : pr.scopedOut ? { justification: s.scopedOut } : pr.judgment ? { justification: s.judgment } : pr.inapplicable ? { justification: naReason } : {}
     };
     (byTheme.get(pr.theme) ?? byTheme.set(pr.theme, []).get(pr.theme)).push(row);
   }
@@ -61330,8 +61350,7 @@ function subjectsForPackCriterion2(standard, id, scs) {
 }
 function packResultNeedsAdjudication(pc, criterion) {
   if (pc.status === "manual") return true;
-  const hasJudgmentTest = Object.values(criterion?.automation?.tests ?? {}).includes("judgment");
-  return pc.status === INAPPLICABLE_STATUS && pc.inapplicable === true && pc.decidedBy !== "agent" && hasJudgmentTest;
+  return isProvisionalJudgmentInapplicable(pc, criterion);
 }
 function buildAdjudicationWorklist(audit2, opts = {}) {
   const docs = docsForAudit(audit2, opts.cwd);
@@ -66404,9 +66423,11 @@ var S = {
     noCriterionForFindings: (n) => `${n} constat(s) sur cette page ne rendent aucun crit\xE8re du r\xE9f\xE9rentiel non conforme : leur r\xE8gle sort du p\xE9rim\xE8tre d'application de chacun. Ils comptent dans les colonnes ci-dessus, et sont d\xE9taill\xE9s dans l'artefact.`,
     runScope: "P\xE9rim\xE8tre de ce run",
     renderedActuallyTested: (n) => `${n} page(s) rendue(s) r\xE9ellement test\xE9e(s)`,
+    testedPages: (pages, more) => `Pages test\xE9es : ${pages}${more ? ` \xB7 \u2026 +${more} dans l'artefact` : ""}`,
     noRenderedExecuted: "0 page rendue : aucun test rendered n'a \xE9t\xE9 ex\xE9cut\xE9",
     staticTested: (tests, ids) => `${tests} test(s) static \u2014 crit\xE8res : ${ids || "\u2014"}`,
     renderedContract: (tests, ids) => `${tests} test(s) rendered pr\xE9vus \u2014 crit\xE8res : ${ids || "\u2014"}`,
+    deterministicSignals: (covered, decisive, candidate, advisory) => `Couverture moteur : ${covered} crit\xE8re(s) re\xE7oivent un signal normatif \u2014 ${decisive} crit\xE8re(s) peuvent produire un NC d\xE9cisif \xB7 ${candidate} re\xE7oivent des preuves candidates (avec chevauchement)${advisory ? ` \xB7 ${advisory} autre re\xE7oit une recommandation advisory` : ""}`,
     judgmentContract: (tests, criteria) => `${tests} test(s) judgment sur ${criteria} crit\xE8re(s), tous transmis \xE0 l'IA tant qu'ils ne sont pas tranch\xE9s`
   },
   en: {
@@ -66480,9 +66501,11 @@ var S = {
     noCriterionForFindings: (n) => `${n} finding(s) on this page make no criterion of the standard non-conforming: their rule falls outside every criterion's applicability. They are counted in the columns above, and detailed in the artifact.`,
     runScope: "Scope of this run",
     renderedActuallyTested: (n) => `${n} rendered page(s) actually tested`,
+    testedPages: (pages, more) => `Pages tested: ${pages}${more ? ` \xB7 \u2026 +${more} in the artifact` : ""}`,
     noRenderedExecuted: "0 rendered pages: no rendered test was executed",
     staticTested: (tests, ids) => `${tests} static test(s) \u2014 criteria: ${ids || "\u2014"}`,
     renderedContract: (tests, ids) => `${tests} planned rendered test(s) \u2014 criteria: ${ids || "\u2014"}`,
+    deterministicSignals: (covered, decisive, candidate, advisory) => `Engine coverage: ${covered} criterion(ia) receive a normative signal \u2014 ${decisive} criterion(ia) can produce a decisive NC \xB7 ${candidate} receive candidate evidence (with overlap)${advisory ? ` \xB7 ${advisory} other receives an advisory recommendation` : ""}`,
     judgmentContract: (tests, criteria) => `${tests} judgment test(s) across ${criteria} criterion(ia), all sent to AI while undecided`
   }
 };
@@ -66561,16 +66584,29 @@ function runCoverage(result, standard, lang) {
     agentRuled
   };
 }
-function runScopeLines(result, standard, lang) {
+function runScopeLines(result, standard, lang, includePageNames = false) {
   const s = S[lang];
   const pages = result.scope.pagesAudited?.length ?? 0;
   const out2 = [`> **${s.runScope}** \u2014 ${pages === 0 ? s.noRenderedExecuted : s.renderedActuallyTested(pages)}`];
+  if (includePageNames && pages > 0) {
+    const scope = pagesOf(result);
+    const byId2 = new Map(scope.map((page) => [page.id, page]));
+    const tested = (result.scope.pagesAudited ?? []).map((id) => byId2.get(id) ?? { id, name: id, url: "" });
+    const shown = tested.slice(0, 12).map((page) => {
+      const name2 = mdText(page.name || page.id);
+      const url = page.url ? ` (\`${page.url.replace(/`/g, "%60")}\`)` : "";
+      return `${name2}${url}`;
+    });
+    out2.push(`> ${s.testedPages(shown.join(" \xB7 "), tested.length - shown.length)}`);
+  }
   const automation = automationOverview(standard);
   if (!automation) return out2;
   const ids = (values) => values.map((id) => `\`${id}\``).join(" \xB7 ");
+  const normativeSignals = (/* @__PURE__ */ new Set([...automation.signals.decisive, ...automation.signals.candidate])).size;
   out2.push(
     `> ${s.staticTested(automation.tests.static, ids(automation.criteria.static))}`,
     `> ${s.renderedContract(automation.tests.rendered, ids(automation.criteria.rendered))}`,
+    `> ${s.deterministicSignals(normativeSignals, automation.signals.decisive.length, automation.signals.candidate.length, automation.signals.advisory.length)}`,
     `> ${s.judgmentContract(automation.tests.judgment, automation.criteria.judgment.length)}`
   );
   return out2;
@@ -66651,7 +66687,7 @@ function prComment(result, opts = {}) {
   head.push(`### ${s.title} \u2014 ${stdLabel}`, "");
   head.push(blocking ? s.verdictFail(blocking) : normative.length ? s.verdictWarn : s.verdictPass, "");
   head.push(`\`${result.date}\` \xB7 ${result.scope.files} ${s.files} \xB7 **${coverage.text}**${coverage.detail ? ` \xB7 ${coverage.detail}` : ""}`, "");
-  head.push(...runScopeLines(result, standard, lang), "");
+  head.push(...runScopeLines(result, standard, lang, true), "");
   if (coverage.agentRuled) head.push(`> ${agentMarkNote(lang)}`, "");
   if (orphans) head.push(`> ${s.unattributed(orphans)}`, "");
   const tail = [];

package/src/adjudicate.ts

@@ -31,6 +31,7 @@ import {
   hasId,
   getCriterion,
   derivePackResults,
+  isProvisionalJudgmentInapplicable,
   criterionUrl,
   glossaryAnchorsOf,
   localize,
@@ -408,8 +409,7 @@ function subjectsForPackCriterion(standard: StandardId, id: string, scs: string[
  *  particular cases. A prior agent decision is never reopened. */
 function packResultNeedsAdjudication(pc: ReturnType<typeof derivePackResults>[number], criterion?: PackCriterion): boolean {
   if (pc.status === "manual") return true;
-  const hasJudgmentTest = Object.values(criterion?.automation?.tests ?? {}).includes("judgment");
-  return pc.status === INAPPLICABLE_STATUS && pc.inapplicable === true && pc.decidedBy !== "agent" && hasJudgmentTest;
+  return isProvisionalJudgmentInapplicable(pc, criterion);
 }
 
 /** Build the adjudication worklist.

package/src/annotate.ts

@@ -188,9 +188,12 @@ const S = {
       `${n} constat(s) sur cette page ne rendent aucun critère du référentiel non conforme : leur règle sort du périmètre d'application de chacun. Ils comptent dans les colonnes ci-dessus, et sont détaillés dans l'artefact.`,
     runScope: "Périmètre de ce run",
     renderedActuallyTested: (n: number) => `${n} page(s) rendue(s) réellement testée(s)`,
+    testedPages: (pages: string, more: number) => `Pages testées : ${pages}${more ? ` · … +${more} dans l'artefact` : ""}`,
     noRenderedExecuted: "0 page rendue : aucun test rendered n'a été exécuté",
     staticTested: (tests: number, ids: string) => `${tests} test(s) static — critères : ${ids || "—"}`,
     renderedContract: (tests: number, ids: string) => `${tests} test(s) rendered prévus — critères : ${ids || "—"}`,
+    deterministicSignals: (covered: number, decisive: number, candidate: number, advisory: number) =>
+      `Couverture moteur : ${covered} critère(s) reçoivent un signal normatif — ${decisive} critère(s) peuvent produire un NC décisif · ${candidate} reçoivent des preuves candidates (avec chevauchement)${advisory ? ` · ${advisory} autre reçoit une recommandation advisory` : ""}`,
     judgmentContract: (tests: number, criteria: number) =>
       `${tests} test(s) judgment sur ${criteria} critère(s), tous transmis à l'IA tant qu'ils ne sont pas tranchés`,
   },
@@ -278,9 +281,12 @@ const S = {
       `${n} finding(s) on this page make no criterion of the standard non-conforming: their rule falls outside every criterion's applicability. They are counted in the columns above, and detailed in the artifact.`,
     runScope: "Scope of this run",
     renderedActuallyTested: (n: number) => `${n} rendered page(s) actually tested`,
+    testedPages: (pages: string, more: number) => `Pages tested: ${pages}${more ? ` · … +${more} in the artifact` : ""}`,
     noRenderedExecuted: "0 rendered pages: no rendered test was executed",
     staticTested: (tests: number, ids: string) => `${tests} static test(s) — criteria: ${ids || "—"}`,
     renderedContract: (tests: number, ids: string) => `${tests} planned rendered test(s) — criteria: ${ids || "—"}`,
+    deterministicSignals: (covered: number, decisive: number, candidate: number, advisory: number) =>
+      `Engine coverage: ${covered} criterion(ia) receive a normative signal — ${decisive} criterion(ia) can produce a decisive NC · ${candidate} receive candidate evidence (with overlap)${advisory ? ` · ${advisory} other receives an advisory recommendation` : ""}`,
     judgmentContract: (tests: number, criteria: number) => `${tests} judgment test(s) across ${criteria} criterion(ia), all sent to AI while undecided`,
   },
 } as const;
@@ -440,16 +446,29 @@ export function runCoverage(result: AuditResult, standard: StandardId, lang: Lan
 /** Compact and literal execution scope for GitHub surfaces. In particular, a source-only
  *  action says “0 rendered pages” instead of deriving routes from source and implying that a
  *  browser visited them. */
-function runScopeLines(result: AuditResult, standard: StandardId, lang: Lang): string[] {
+function runScopeLines(result: AuditResult, standard: StandardId, lang: Lang, includePageNames = false): string[] {
   const s = S[lang];
   const pages = result.scope.pagesAudited?.length ?? 0;
   const out = [`> **${s.runScope}** — ${pages === 0 ? s.noRenderedExecuted : s.renderedActuallyTested(pages)}`];
+  if (includePageNames && pages > 0) {
+    const scope = pagesOf(result);
+    const byId = new Map(scope.map((page) => [page.id, page]));
+    const tested = (result.scope.pagesAudited ?? []).map((id) => byId.get(id) ?? { id, name: id, url: "" });
+    const shown = tested.slice(0, 12).map((page) => {
+      const name = mdText(page.name || page.id);
+      const url = page.url ? ` (\`${page.url.replace(/`/g, "%60")}\`)` : "";
+      return `${name}${url}`;
+    });
+    out.push(`> ${s.testedPages(shown.join(" · "), tested.length - shown.length)}`);
+  }
   const automation = automationOverview(standard);
   if (!automation) return out;
   const ids = (values: string[]) => values.map((id) => `\`${id}\``).join(" · ");
+  const normativeSignals = new Set([...automation.signals.decisive, ...automation.signals.candidate]).size;
   out.push(
     `> ${s.staticTested(automation.tests.static, ids(automation.criteria.static))}`,
     `> ${s.renderedContract(automation.tests.rendered, ids(automation.criteria.rendered))}`,
+    `> ${s.deterministicSignals(normativeSignals, automation.signals.decisive.length, automation.signals.candidate.length, automation.signals.advisory.length)}`,
     `> ${s.judgmentContract(automation.tests.judgment, automation.criteria.judgment.length)}`,
   );
   return out;
@@ -567,7 +586,7 @@ export function prComment(result: AuditResult, opts: AnnotateOptions & { runUrl?
   head.push(`### ${s.title} — ${stdLabel}`, "");
   head.push(blocking ? s.verdictFail(blocking) : normative.length ? s.verdictWarn : s.verdictPass, "");
   head.push(`\`${result.date}\` · ${result.scope.files} ${s.files} · **${coverage.text}**${coverage.detail ? ` · ${coverage.detail}` : ""}`, "");
-  head.push(...runScopeLines(result, standard, lang), "");
+  head.push(...runScopeLines(result, standard, lang, true), "");
   if (coverage.agentRuled) head.push(`> ${agentMarkNote(lang)}`, "");
   if (orphans) head.push(`> ${s.unattributed(orphans)}`, "");
 

package/src/pages-report.ts

@@ -26,7 +26,17 @@
 import { prdUnits } from "./prd.js";
 import { renderAuditorUnit, type AuditorCropLookup } from "./auditor.js";
 import { agentMarkNote, basisLabel, formatRate, pageView, unattributedFindings } from "./pages.js";
-import { CORE, type StandardId, derivePackResults, isCore, loadPack, packTestIds, themeName, titlePlain } from "./standards/index.js";
+import {
+  CORE,
+  type StandardId,
+  derivePackResults,
+  isCore,
+  isProvisionalJudgmentInapplicable,
+  loadPack,
+  packTestIds,
+  themeName,
+  titlePlain,
+} from "./standards/index.js";
 import type { AuditResult, Lang, PageResult, Status } from "./types.js";
 import { compareSC, scTitle } from "./wcag.js";
 
@@ -202,15 +212,19 @@ export function pageCriterionRows(result: AuditResult, page: PageResult, standar
   }
   const pack = loadPack(standard);
   const byId = new Map(derivePackResults(pageView(result, page), standard, page.id).map((r) => [r.id, r]));
-  return pack.criteria.map((pc) => ({
-    id: pc.id,
-    label: `${pc.id} — ${titlePlain(pack, pc, lang)}`,
-    group: `${pc.theme}. ${themeName(pack, pc.theme, lang) ?? ""}`.trim(),
-    status: byId.get(pc.id)?.status ?? "manual",
-    tests: packTestIds(pack, pc.id),
-    decidedBy: byId.get(pc.id)?.decidedBy,
-    ...(byId.get(pc.id)?.inapplicable ? { inapplicable: true } : {}),
-  }));
+  return pack.criteria.map((pc) => {
+    const result = byId.get(pc.id);
+    const provisionalNa = result ? isProvisionalJudgmentInapplicable(result, pc) : false;
+    return {
+      id: pc.id,
+      label: `${pc.id} — ${titlePlain(pack, pc, lang)}`,
+      group: `${pc.theme}. ${themeName(pack, pc.theme, lang) ?? ""}`.trim(),
+      status: provisionalNa ? ("manual" as const) : (result?.status ?? "manual"),
+      tests: packTestIds(pack, pc.id),
+      decidedBy: result?.decidedBy,
+      ...(result?.inapplicable && !provisionalNa ? { inapplicable: true } : {}),
+    };
+  });
 }
 
 /** The pages, PROJECTED ONTO THE ACTIVE STANDARD — criteria, coverage and rate.

package/src/pages.ts

@@ -22,7 +22,7 @@
 //      on that criterion. Reading it as `C` on every other page is how a page with no images
 //      scored 100% on "does each image have a relevant alternative?". See `pageStatus`.
 import { snapshotPageId } from "./snapshot.js";
-import { CORE, type StandardId, derivePackResults, isCore, loadPack, themeName } from "./standards/index.js";
+import { CORE, type StandardId, derivePackResults, isCore, isProvisionalJudgmentInapplicable, loadPack, themeName } from "./standards/index.js";
 import type { AuditResult, CriterionResult, Finding, Lang, PageCoverage, PageResult, PageScope, Status, ScanRedirect } from "./types.js";
 import { renderedProvesOn } from "./coverage.js";
 import { renderedRulesFor } from "./rules/rendered.js";
@@ -526,7 +526,12 @@ export function pageGridModel(result: AuditResult, derived: PageResult[], standa
 
   const pack = loadPack(standard);
   const rows = pack.criteria.map((pc) => ({ id: pc.id, label: pc.id, group: `${pc.theme}. ${themeName(pack, pc.theme, lang) ?? ""}`.trim() }));
-  for (const p of derived) for (const pc of derivePackResults(pageView(result, p), standard, p.id)) put(pc.id, p.id, pc.status);
+  for (const p of derived) {
+    for (const pc of derivePackResults(pageView(result, p), standard, p.id)) {
+      const criterion = pack.criteria.find((row) => row.id === pc.id);
+      put(pc.id, p.id, isProvisionalJudgmentInapplicable(pc, criterion) ? "manual" : pc.status);
+    }
+  }
   return { rows, status };
 }
 

package/src/report.ts

@@ -21,6 +21,7 @@ import {
   isCore,
   loadPack,
   derivePackResults,
+  isProvisionalJudgmentInapplicable,
   packCriteriaForFinding,
   packConformancePct,
   packTestIds,
@@ -358,6 +359,7 @@ export function reportCoverage(groups: ReportGroup[]): { decided: number; total:
 export interface AutomationOverview {
   tests: { static: number; rendered: number; judgment: number };
   criteria: { static: string[]; rendered: string[]; judgment: string[] };
+  signals: { decisive: string[]; candidate: string[]; advisory: string[] };
 }
 
 /** The standard's declared test-level contract. This is a plan, not runtime coverage: the
@@ -368,12 +370,17 @@ export function automationOverview(standard: StandardId): AutomationOverview | u
   const pack = loadPack(standard);
   const tests = { static: 0, rendered: 0, judgment: 0 };
   const criteria = { static: [] as string[], rendered: [] as string[], judgment: [] as string[] };
+  const signals = { decisive: [] as string[], candidate: [] as string[], advisory: [] as string[] };
   for (const criterion of pack.criteria) {
     const tiers = Object.values(criterion.automation?.tests ?? {});
     for (const tier of tiers) tests[tier]++;
     for (const tier of ["static", "rendered", "judgment"] as const) if (tiers.includes(tier)) criteria[tier].push(criterion.id);
+    const effects = new Set((criterion.automation?.rules ?? []).map((rule) => rule.effect));
+    if (effects.has("decisive-nc")) signals.decisive.push(criterion.id);
+    if (effects.has("candidate")) signals.candidate.push(criterion.id);
+    if (effects.has("advisory")) signals.advisory.push(criterion.id);
   }
-  return { tests, criteria };
+  return { tests, criteria, signals };
 }
 
 function automationCell(standard: StandardId, id: string): string {
@@ -782,27 +789,34 @@ export function packReportGroups(r: AuditResult, pack: StandardPack, lang: Lang
   const derived = derivePackResults(r, pack.key);
   const s = L[lang];
   const naReason = lang === "fr" ? "Rien de la nature de ce critère n'est présent dans le périmètre." : "Nothing of this criterion's kind is present in scope.";
+  const provisionalNaReason =
+    lang === "fr"
+      ? "Aucun sujet détecté par le moteur ; l'IA doit confirmer la non-applicabilité de ce critère de jugement."
+      : "The engine detected no subject; the AI must confirm that this judgment criterion is not applicable.";
   const byTheme = new Map<number, ReportRow[]>();
   for (const pr of derived) {
     const pc = pack.criteria.find((c) => c.id === pr.id)!;
+    const provisionalNa = isProvisionalJudgmentInapplicable(pr, pc);
     const row: ReportRow = {
       id: pr.id,
       label: `${pack.name} ${pr.id} — ${packTitle(pack, pc, lang)}`,
-      status: pr.status,
+      status: provisionalNa ? "manual" : pr.status,
       findings: pr.findings,
       ...(pr.decidedBy ? { decidedBy: pr.decidedBy } : {}),
-      ...(pr.inapplicable ? { inapplicable: true } : {}),
+      ...(pr.inapplicable && !provisionalNa ? { inapplicable: true } : {}),
       // outOfScope / scopedOut criteria are "manual" with their own dedicated justification —
       // never mixed with the "nothing of that kind here" reason (see the manual section above).
-      ...(pr.outOfScope
-        ? { justification: s.outOfScope }
-        : pr.scopedOut
-          ? { justification: s.scopedOut }
-          : pr.judgment
-            ? { justification: s.judgment }
-            : pr.inapplicable
-              ? { justification: naReason }
-              : {}),
+      ...(provisionalNa
+        ? { justification: provisionalNaReason }
+        : pr.outOfScope
+          ? { justification: s.outOfScope }
+          : pr.scopedOut
+            ? { justification: s.scopedOut }
+            : pr.judgment
+              ? { justification: s.judgment }
+              : pr.inapplicable
+                ? { justification: naReason }
+                : {}),
     };
     (byTheme.get(pr.theme) ?? byTheme.set(pr.theme, []).get(pr.theme)!).push(row);
   }

package/src/standards/derive.ts

@@ -45,6 +45,17 @@ export interface PackCriterionResult {
   inapplicable?: boolean;
 }
 
+/** Whether subject harvesting only PROVISIONALLY closed a judgment criterion.
+ *
+ * The absence is useful evidence for the adjudicator, but it is not a published verdict:
+ * every official `judgment` test still has to pass through the agent. Keep the raw derived
+ * result intact for that worklist, while report/page projections use this predicate to show
+ * the row as open until an agent has confirmed `NA`. */
+export function isProvisionalJudgmentInapplicable(result: PackCriterionResult, criterion?: PackCriterion): boolean {
+  if (result.status !== INAPPLICABLE_STATUS || result.inapplicable !== true || result.decidedBy === "agent") return false;
+  return Object.values(criterion?.automation?.tests ?? {}).includes("judgment");
+}
+
 // NC dominates (a real failure anywhere fails the criterion); then a decided C; then
 // manual (residual); else nothing of that kind exists here. Mirrors the core's aggregation.
 //

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.36.3";
+export const VERSION = "5.37.1";
 export const SCHEMA_VERSION = 2;
 
 // Lang = the UI FRAME's language — the `L` localization tables each module (report,