ultra11y 5.43.1 → 5.43.2

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.1",
+      "version": "5.43.2",
       "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.1",
+  "version": "5.43.2",
   "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.1",
+  "version": "5.43.2",
   "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.1";
+const ULTRA11Y_PLUGIN_VERSION = "5.43.2";
 
 const here = dirname(fileURLToPath(import.meta.url));
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ultra11y",
-  "version": "5.43.1",
+  "version": "5.43.2",
   "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.1";
+var VERSION = "5.43.2";
 var SCHEMA_VERSION = 2;
 var INAPPLICABLE_STATUS = "C";
 
@@ -62643,9 +62643,12 @@ var resumableItemKey = (it) => {
   return `${it.kind ?? "nc"}|${it.criteriaId}|${canonicalFile(it.file)}|${it.line}|${it.selector}|${it.claim}|${citationSetKey(it)}`;
 };
 var legacyConformityKey = (criteriaId, file, line, selector, claim) => `${criteriaId}|${canonicalFile(file)}|${line}|${selector}|${claim}`;
-function verifyGroundingInputs(items) {
+function verifyGroundingInputs(items, fallbackFor) {
   return items.flatMap(
-    (it) => it.kind === "c" && it.citations?.length ? it.citations.map((cite) => ({ file: cite.file, line: cite.line, selector: cite.selector, snippet: cite.snippet })) : [{ file: it.file, line: it.line, selector: it.selector, snippet: it.snippet }]
+    (it) => it.kind === "c" && it.citations?.length ? it.citations.map((cite) => {
+      const fallback = fallbackFor?.(it, cite);
+      return { file: cite.file, line: cite.line, selector: cite.selector, snippet: cite.snippet, ...fallback ? { fallback } : {} };
+    }) : [{ file: it.file, line: it.line, selector: it.selector, snippet: it.snippet }]
   );
 }
 var PASSING = /* @__PURE__ */ new Set(["supported", "partial"]);
@@ -62783,7 +62786,11 @@ function groundFinding(g, opts = {}) {
 function groundItems(items, opts = {}) {
   const s = { grounded: 0, moved: 0, failed: 0, issues: [] };
   for (const it of items) {
-    const r = groundFinding(it, opts);
+    let r = groundFinding(it, opts);
+    if (!r.ok && it.fallback) {
+      const viaAnchor = groundFinding(it.fallback, opts);
+      if (viaAnchor.ok) r = { ok: true, moved: true };
+    }
     if (r.ok) {
       s.grounded++;
       if (r.moved) s.moved++;
@@ -64210,6 +64217,23 @@ function buildAdjudicationWorklist(audit2, opts = {}) {
     (r) => blankItem(r.criteriaId, r.automatability, scTitle(r.criteriaId) ?? void 0, harvestSubjects(subjectsForSc2(r.criteriaId), docs), limits)
   );
 }
+function evidenceForCriteria(audit2, criteriaIds, opts = {}) {
+  const limits = adjudicationLimits(opts.cwd);
+  const docs = docsForAudit(audit2, opts.cwd);
+  const standard = opts.standard;
+  const pack = standard !== void 0 && !isCore(standard) ? loadPack(standard) : void 0;
+  const candidates2 = new Map(pack && standard ? derivePackResults(audit2, standard).map((pc) => [pc.id, pc.candidateFindings ?? []]) : []);
+  const out2 = /* @__PURE__ */ new Map();
+  for (const id of criteriaIds) {
+    if (out2.has(id)) continue;
+    const crit = pack ? getCriterion(pack, id) : void 0;
+    const subjects = pack && standard ? subjectsForPackCriterion2(standard, id, crit?.wcag ?? []) : subjectsForSc2(id);
+    let evidence = collapse2(harvestSubjects(subjects, docs), limits).evidence;
+    if (!evidence.length) evidence = candidateFindingEvidence(candidates2.get(id) ?? [], limits.maxClasses);
+    out2.set(id, evidence);
+  }
+  return out2;
+}
 function unrenderedResidual(audit2, items) {
   const audited = audit2.scope.pagesAudited;
   const readSomePage = audited === void 0 ? (audit2.scope.pages ?? []).length > 0 : audited.length > 0;
@@ -64336,6 +64360,14 @@ function cites0(anchors, c2, drift) {
   }
   return false;
 }
+function evidenceFallback(evidence, c2, drift) {
+  const anchor = anchorFor(evidence, c2, drift);
+  if (!anchor || !recognisablySame(c2, anchor.at)) return { onAnchor: anchor !== void 0 };
+  return {
+    onAnchor: true,
+    fallback: anchor.representative ? { file: anchor.at.file, line: anchor.at.line, selector: anchor.at.selector ?? c2.selector, snippet: anchor.at.snippet } : { file: c2.file, line: c2.line, selector: anchor.at.selector ?? c2.selector }
+  };
+}
 var NC_SEVERITY_DEFAULT = "majeur";
 var MANUAL_REASONS = /* @__PURE__ */ new Set(["needs-rendered-dom", "undecidable"]);
 var VERDICTS = ["C", "NC", "NA", "manual"];
@@ -64485,16 +64517,12 @@ function applyAdjudication(audit2, adj, opts = {}) {
           if (!cites0(anchors, c2, citationDrift) && !inAuditScope(c2.file)) {
             blame(it.criteriaId, `criterion ${it.criteriaId}: citation ${c2.file}:${c2.line} is not among this criterion's harvested evidence (fabricated?)`);
           }
-          const anchor = anchorFor(it.evidence, c2, citationDrift);
           const cite = { file: c2.file, line: c2.line, selector: c2.selector, snippet: c2.snippet };
-          if (anchor && recognisablySame(c2, anchor.at)) {
-            toGround(
-              it.criteriaId,
-              cite,
-              anchor.representative ? { file: anchor.at.file, line: anchor.at.line, selector: anchor.at.selector ?? c2.selector, snippet: anchor.at.snippet } : { file: c2.file, line: c2.line, selector: anchor.at.selector ?? c2.selector }
-            );
+          const { fallback, onAnchor } = evidenceFallback(it.evidence, c2, citationDrift);
+          if (fallback) {
+            toGround(it.criteriaId, cite, fallback);
           } else {
-            toGround(it.criteriaId, cite, void 0, anchor ? void 0 : offHarvestHint(it.criteriaId, it.evidence));
+            toGround(it.criteriaId, cite, void 0, onAnchor ? void 0 : offHarvestHint(it.criteriaId, it.evidence));
           }
         }
       }
@@ -74398,6 +74426,11 @@ Options:
                      (requires --report \u2014 coverage is re-derived from the report, uncapped)
                      Also accepts an ADJUDICATION (--in <audit.json>), or a VERDICT LEDGER,
                      which it REPLAYS onto the audit with no model in the loop
+                     Retained conformities are grounded the way the fold grounded them:
+                     a citation that is one of its criterion's own harvested anchors
+                     (--in <audit.json>) falls back to that anchor, so a retyping the
+                     fold accepted is not refused again at trial; without the audit the
+                     cited snippet must match the source literally
   --ledger <file>    verify --apply / judge --apply: record the verdicts the fold ACCEPTED,
                      so a later run replays them for free (default:
                      .ultra11y/verdicts/<standard>.json). Replay re-derives the evidence
@@ -76267,7 +76300,7 @@ function cmdVerify(p) {
     const expected = [...expectedNc, ...buildConformityWorklist(conformityClaimsFor(p, standard, lang), expectedNc.length, Number.POSITIVE_INFINITY)];
     const r = applyVerdicts(items, expected);
     const passing = items.filter((it) => typeof it.verdict === "string" && ["supported", "partial"].includes(it.verdict.trim().toLowerCase()));
-    const grounding = groundItems(verifyGroundingInputs(passing));
+    const grounding = groundItems(verifyGroundingInputs(passing, trialAnchorFallbacks(p, standard, passing)));
     const pruned = p.flags.prune === true ? applyPrune(p, standard, items, lang) : void 0;
     const ok = (pruned ? r.unadjudicated + r.invalid + r.missing === 0 : r.ok) && grounding.failed === 0;
     if (p.flags.json) console.log(JSON.stringify({ ...r, ok, grounding, ...pruned ? { pruned } : {} }, null, 2));
@@ -76425,6 +76458,21 @@ function cmdVerifyWorklist(p, langIn) {
     );
   return 0;
 }
+function trialAnchorFallbacks(p, standard, passing) {
+  const ids = [...new Set(passing.filter((it) => it.kind === "c").map((it) => it.criteriaId))];
+  const inFlag = p.flags.in;
+  if (!ids.length || typeof inFlag !== "string" || !inFlag || inFlag === "-") return void 0;
+  let audit2;
+  try {
+    audit2 = unwrapAudit(JSON.parse(readText(inFlag)));
+  } catch {
+    return void 0;
+  }
+  const cwd = typeof p.flags.cwd === "string" ? p.flags.cwd : void 0;
+  const evidence = evidenceForCriteria(audit2, ids, { cwd, standard });
+  const { citationDrift } = adjudicationLimits(cwd);
+  return (it, cite) => evidenceFallback(evidence.get(it.criteriaId) ?? [], cite, citationDrift).fallback;
+}
 function conformityClaimsFor(p, standard, lang) {
   if (p.flags.conformities === false || p.flags["no-conformities"] === true) return [];
   const named3 = typeof p.flags.conformities === "string" && p.flags.conformities ? p.flags.conformities : void 0;

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.1
+  version: 5.43.2
 ---
 
 # 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.1";
+var VERSION = "5.43.2";
 var SCHEMA_VERSION = 2;
 var INAPPLICABLE_STATUS = "C";
 
@@ -62643,9 +62643,12 @@ var resumableItemKey = (it) => {
   return `${it.kind ?? "nc"}|${it.criteriaId}|${canonicalFile(it.file)}|${it.line}|${it.selector}|${it.claim}|${citationSetKey(it)}`;
 };
 var legacyConformityKey = (criteriaId, file, line, selector, claim) => `${criteriaId}|${canonicalFile(file)}|${line}|${selector}|${claim}`;
-function verifyGroundingInputs(items) {
+function verifyGroundingInputs(items, fallbackFor) {
   return items.flatMap(
-    (it) => it.kind === "c" && it.citations?.length ? it.citations.map((cite) => ({ file: cite.file, line: cite.line, selector: cite.selector, snippet: cite.snippet })) : [{ file: it.file, line: it.line, selector: it.selector, snippet: it.snippet }]
+    (it) => it.kind === "c" && it.citations?.length ? it.citations.map((cite) => {
+      const fallback = fallbackFor?.(it, cite);
+      return { file: cite.file, line: cite.line, selector: cite.selector, snippet: cite.snippet, ...fallback ? { fallback } : {} };
+    }) : [{ file: it.file, line: it.line, selector: it.selector, snippet: it.snippet }]
   );
 }
 var PASSING = /* @__PURE__ */ new Set(["supported", "partial"]);
@@ -62783,7 +62786,11 @@ function groundFinding(g, opts = {}) {
 function groundItems(items, opts = {}) {
   const s = { grounded: 0, moved: 0, failed: 0, issues: [] };
   for (const it of items) {
-    const r = groundFinding(it, opts);
+    let r = groundFinding(it, opts);
+    if (!r.ok && it.fallback) {
+      const viaAnchor = groundFinding(it.fallback, opts);
+      if (viaAnchor.ok) r = { ok: true, moved: true };
+    }
     if (r.ok) {
       s.grounded++;
       if (r.moved) s.moved++;
@@ -64210,6 +64217,23 @@ function buildAdjudicationWorklist(audit2, opts = {}) {
     (r) => blankItem(r.criteriaId, r.automatability, scTitle(r.criteriaId) ?? void 0, harvestSubjects(subjectsForSc2(r.criteriaId), docs), limits)
   );
 }
+function evidenceForCriteria(audit2, criteriaIds, opts = {}) {
+  const limits = adjudicationLimits(opts.cwd);
+  const docs = docsForAudit(audit2, opts.cwd);
+  const standard = opts.standard;
+  const pack = standard !== void 0 && !isCore(standard) ? loadPack(standard) : void 0;
+  const candidates2 = new Map(pack && standard ? derivePackResults(audit2, standard).map((pc) => [pc.id, pc.candidateFindings ?? []]) : []);
+  const out2 = /* @__PURE__ */ new Map();
+  for (const id of criteriaIds) {
+    if (out2.has(id)) continue;
+    const crit = pack ? getCriterion(pack, id) : void 0;
+    const subjects = pack && standard ? subjectsForPackCriterion2(standard, id, crit?.wcag ?? []) : subjectsForSc2(id);
+    let evidence = collapse2(harvestSubjects(subjects, docs), limits).evidence;
+    if (!evidence.length) evidence = candidateFindingEvidence(candidates2.get(id) ?? [], limits.maxClasses);
+    out2.set(id, evidence);
+  }
+  return out2;
+}
 function unrenderedResidual(audit2, items) {
   const audited = audit2.scope.pagesAudited;
   const readSomePage = audited === void 0 ? (audit2.scope.pages ?? []).length > 0 : audited.length > 0;
@@ -64336,6 +64360,14 @@ function cites0(anchors, c2, drift) {
   }
   return false;
 }
+function evidenceFallback(evidence, c2, drift) {
+  const anchor = anchorFor(evidence, c2, drift);
+  if (!anchor || !recognisablySame(c2, anchor.at)) return { onAnchor: anchor !== void 0 };
+  return {
+    onAnchor: true,
+    fallback: anchor.representative ? { file: anchor.at.file, line: anchor.at.line, selector: anchor.at.selector ?? c2.selector, snippet: anchor.at.snippet } : { file: c2.file, line: c2.line, selector: anchor.at.selector ?? c2.selector }
+  };
+}
 var NC_SEVERITY_DEFAULT = "majeur";
 var MANUAL_REASONS = /* @__PURE__ */ new Set(["needs-rendered-dom", "undecidable"]);
 var VERDICTS = ["C", "NC", "NA", "manual"];
@@ -64485,16 +64517,12 @@ function applyAdjudication(audit2, adj, opts = {}) {
           if (!cites0(anchors, c2, citationDrift) && !inAuditScope(c2.file)) {
             blame(it.criteriaId, `criterion ${it.criteriaId}: citation ${c2.file}:${c2.line} is not among this criterion's harvested evidence (fabricated?)`);
           }
-          const anchor = anchorFor(it.evidence, c2, citationDrift);
           const cite = { file: c2.file, line: c2.line, selector: c2.selector, snippet: c2.snippet };
-          if (anchor && recognisablySame(c2, anchor.at)) {
-            toGround(
-              it.criteriaId,
-              cite,
-              anchor.representative ? { file: anchor.at.file, line: anchor.at.line, selector: anchor.at.selector ?? c2.selector, snippet: anchor.at.snippet } : { file: c2.file, line: c2.line, selector: anchor.at.selector ?? c2.selector }
-            );
+          const { fallback, onAnchor } = evidenceFallback(it.evidence, c2, citationDrift);
+          if (fallback) {
+            toGround(it.criteriaId, cite, fallback);
           } else {
-            toGround(it.criteriaId, cite, void 0, anchor ? void 0 : offHarvestHint(it.criteriaId, it.evidence));
+            toGround(it.criteriaId, cite, void 0, onAnchor ? void 0 : offHarvestHint(it.criteriaId, it.evidence));
           }
         }
       }
@@ -74398,6 +74426,11 @@ Options:
                      (requires --report \u2014 coverage is re-derived from the report, uncapped)
                      Also accepts an ADJUDICATION (--in <audit.json>), or a VERDICT LEDGER,
                      which it REPLAYS onto the audit with no model in the loop
+                     Retained conformities are grounded the way the fold grounded them:
+                     a citation that is one of its criterion's own harvested anchors
+                     (--in <audit.json>) falls back to that anchor, so a retyping the
+                     fold accepted is not refused again at trial; without the audit the
+                     cited snippet must match the source literally
   --ledger <file>    verify --apply / judge --apply: record the verdicts the fold ACCEPTED,
                      so a later run replays them for free (default:
                      .ultra11y/verdicts/<standard>.json). Replay re-derives the evidence
@@ -76267,7 +76300,7 @@ function cmdVerify(p) {
     const expected = [...expectedNc, ...buildConformityWorklist(conformityClaimsFor(p, standard, lang), expectedNc.length, Number.POSITIVE_INFINITY)];
     const r = applyVerdicts(items, expected);
     const passing = items.filter((it) => typeof it.verdict === "string" && ["supported", "partial"].includes(it.verdict.trim().toLowerCase()));
-    const grounding = groundItems(verifyGroundingInputs(passing));
+    const grounding = groundItems(verifyGroundingInputs(passing, trialAnchorFallbacks(p, standard, passing)));
     const pruned = p.flags.prune === true ? applyPrune(p, standard, items, lang) : void 0;
     const ok = (pruned ? r.unadjudicated + r.invalid + r.missing === 0 : r.ok) && grounding.failed === 0;
     if (p.flags.json) console.log(JSON.stringify({ ...r, ok, grounding, ...pruned ? { pruned } : {} }, null, 2));
@@ -76425,6 +76458,21 @@ function cmdVerifyWorklist(p, langIn) {
     );
   return 0;
 }
+function trialAnchorFallbacks(p, standard, passing) {
+  const ids = [...new Set(passing.filter((it) => it.kind === "c").map((it) => it.criteriaId))];
+  const inFlag = p.flags.in;
+  if (!ids.length || typeof inFlag !== "string" || !inFlag || inFlag === "-") return void 0;
+  let audit2;
+  try {
+    audit2 = unwrapAudit(JSON.parse(readText(inFlag)));
+  } catch {
+    return void 0;
+  }
+  const cwd = typeof p.flags.cwd === "string" ? p.flags.cwd : void 0;
+  const evidence = evidenceForCriteria(audit2, ids, { cwd, standard });
+  const { citationDrift } = adjudicationLimits(cwd);
+  return (it, cite) => evidenceFallback(evidence.get(it.criteriaId) ?? [], cite, citationDrift).fallback;
+}
 function conformityClaimsFor(p, standard, lang) {
   if (p.flags.conformities === false || p.flags["no-conformities"] === true) return [];
   const named3 = typeof p.flags.conformities === "string" && p.flags.conformities ? p.flags.conformities : void 0;

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

package/skills/ultra11y/references/verify.md

@@ -55,10 +55,16 @@ so an agent can fill verdicts in-memory). **Prioritise `preliminary` findings**
 source, see `references/false-positives.md`): refute the ones the rendered DOM disproves.
 Then apply the gate:
 ```
-node scripts/ultra11y.mjs verify --apply VERIFY.todo.json
+node scripts/ultra11y.mjs verify --apply VERIFY.todo.json --report audits/wcag-YYYY-MM-DD.md --in audit.json
 ```
-The gate fails (non-zero) if any entry is `refuted`, `unsupported`, or unadjudicated. Goal: no
-fabricated non-conformity survives into the final report.
+The gate fails (non-zero) if any entry is `refuted`, `unsupported`, or unadjudicated. Every
+retained claim is also re-grounded against the cited source. A conformity is grounded the way
+the fold grounded it: a citation that is one of its criterion's own harvested anchors falls
+back to that anchor (the engine read its snippet out of the file), so a retyping the fold
+accepted at `verify --apply <adjudication>` is not refused again at trial — pass `--in
+<audit.json>` so the harvest can be re-derived; a citation that is NOT one of the criterion's
+anchors must still match the source literally. Goal: no fabricated non-conformity survives
+into the final report, and no accepted conformity is re-refused one gate later.
 
 ## `verify --manual` — adjudicate the residual (judgment / needs-rendering) criteria
 

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.1";
+var VERSION = "5.43.2";
 var SCHEMA_VERSION = 2;
 var INAPPLICABLE_STATUS = "C";
 
@@ -62643,9 +62643,12 @@ var resumableItemKey = (it) => {
   return `${it.kind ?? "nc"}|${it.criteriaId}|${canonicalFile(it.file)}|${it.line}|${it.selector}|${it.claim}|${citationSetKey(it)}`;
 };
 var legacyConformityKey = (criteriaId, file, line, selector, claim) => `${criteriaId}|${canonicalFile(file)}|${line}|${selector}|${claim}`;
-function verifyGroundingInputs(items) {
+function verifyGroundingInputs(items, fallbackFor) {
   return items.flatMap(
-    (it) => it.kind === "c" && it.citations?.length ? it.citations.map((cite) => ({ file: cite.file, line: cite.line, selector: cite.selector, snippet: cite.snippet })) : [{ file: it.file, line: it.line, selector: it.selector, snippet: it.snippet }]
+    (it) => it.kind === "c" && it.citations?.length ? it.citations.map((cite) => {
+      const fallback = fallbackFor?.(it, cite);
+      return { file: cite.file, line: cite.line, selector: cite.selector, snippet: cite.snippet, ...fallback ? { fallback } : {} };
+    }) : [{ file: it.file, line: it.line, selector: it.selector, snippet: it.snippet }]
   );
 }
 var PASSING = /* @__PURE__ */ new Set(["supported", "partial"]);
@@ -62783,7 +62786,11 @@ function groundFinding(g, opts = {}) {
 function groundItems(items, opts = {}) {
   const s = { grounded: 0, moved: 0, failed: 0, issues: [] };
   for (const it of items) {
-    const r = groundFinding(it, opts);
+    let r = groundFinding(it, opts);
+    if (!r.ok && it.fallback) {
+      const viaAnchor = groundFinding(it.fallback, opts);
+      if (viaAnchor.ok) r = { ok: true, moved: true };
+    }
     if (r.ok) {
       s.grounded++;
       if (r.moved) s.moved++;
@@ -64210,6 +64217,23 @@ function buildAdjudicationWorklist(audit2, opts = {}) {
     (r) => blankItem(r.criteriaId, r.automatability, scTitle(r.criteriaId) ?? void 0, harvestSubjects(subjectsForSc2(r.criteriaId), docs), limits)
   );
 }
+function evidenceForCriteria(audit2, criteriaIds, opts = {}) {
+  const limits = adjudicationLimits(opts.cwd);
+  const docs = docsForAudit(audit2, opts.cwd);
+  const standard = opts.standard;
+  const pack = standard !== void 0 && !isCore(standard) ? loadPack(standard) : void 0;
+  const candidates2 = new Map(pack && standard ? derivePackResults(audit2, standard).map((pc) => [pc.id, pc.candidateFindings ?? []]) : []);
+  const out2 = /* @__PURE__ */ new Map();
+  for (const id of criteriaIds) {
+    if (out2.has(id)) continue;
+    const crit = pack ? getCriterion(pack, id) : void 0;
+    const subjects = pack && standard ? subjectsForPackCriterion2(standard, id, crit?.wcag ?? []) : subjectsForSc2(id);
+    let evidence = collapse2(harvestSubjects(subjects, docs), limits).evidence;
+    if (!evidence.length) evidence = candidateFindingEvidence(candidates2.get(id) ?? [], limits.maxClasses);
+    out2.set(id, evidence);
+  }
+  return out2;
+}
 function unrenderedResidual(audit2, items) {
   const audited = audit2.scope.pagesAudited;
   const readSomePage = audited === void 0 ? (audit2.scope.pages ?? []).length > 0 : audited.length > 0;
@@ -64336,6 +64360,14 @@ function cites0(anchors, c2, drift) {
   }
   return false;
 }
+function evidenceFallback(evidence, c2, drift) {
+  const anchor = anchorFor(evidence, c2, drift);
+  if (!anchor || !recognisablySame(c2, anchor.at)) return { onAnchor: anchor !== void 0 };
+  return {
+    onAnchor: true,
+    fallback: anchor.representative ? { file: anchor.at.file, line: anchor.at.line, selector: anchor.at.selector ?? c2.selector, snippet: anchor.at.snippet } : { file: c2.file, line: c2.line, selector: anchor.at.selector ?? c2.selector }
+  };
+}
 var NC_SEVERITY_DEFAULT = "majeur";
 var MANUAL_REASONS = /* @__PURE__ */ new Set(["needs-rendered-dom", "undecidable"]);
 var VERDICTS = ["C", "NC", "NA", "manual"];
@@ -64485,16 +64517,12 @@ function applyAdjudication(audit2, adj, opts = {}) {
           if (!cites0(anchors, c2, citationDrift) && !inAuditScope(c2.file)) {
             blame(it.criteriaId, `criterion ${it.criteriaId}: citation ${c2.file}:${c2.line} is not among this criterion's harvested evidence (fabricated?)`);
           }
-          const anchor = anchorFor(it.evidence, c2, citationDrift);
           const cite = { file: c2.file, line: c2.line, selector: c2.selector, snippet: c2.snippet };
-          if (anchor && recognisablySame(c2, anchor.at)) {
-            toGround(
-              it.criteriaId,
-              cite,
-              anchor.representative ? { file: anchor.at.file, line: anchor.at.line, selector: anchor.at.selector ?? c2.selector, snippet: anchor.at.snippet } : { file: c2.file, line: c2.line, selector: anchor.at.selector ?? c2.selector }
-            );
+          const { fallback, onAnchor } = evidenceFallback(it.evidence, c2, citationDrift);
+          if (fallback) {
+            toGround(it.criteriaId, cite, fallback);
           } else {
-            toGround(it.criteriaId, cite, void 0, anchor ? void 0 : offHarvestHint(it.criteriaId, it.evidence));
+            toGround(it.criteriaId, cite, void 0, onAnchor ? void 0 : offHarvestHint(it.criteriaId, it.evidence));
           }
         }
       }
@@ -74398,6 +74426,11 @@ Options:
                      (requires --report \u2014 coverage is re-derived from the report, uncapped)
                      Also accepts an ADJUDICATION (--in <audit.json>), or a VERDICT LEDGER,
                      which it REPLAYS onto the audit with no model in the loop
+                     Retained conformities are grounded the way the fold grounded them:
+                     a citation that is one of its criterion's own harvested anchors
+                     (--in <audit.json>) falls back to that anchor, so a retyping the
+                     fold accepted is not refused again at trial; without the audit the
+                     cited snippet must match the source literally
   --ledger <file>    verify --apply / judge --apply: record the verdicts the fold ACCEPTED,
                      so a later run replays them for free (default:
                      .ultra11y/verdicts/<standard>.json). Replay re-derives the evidence
@@ -76267,7 +76300,7 @@ function cmdVerify(p) {
     const expected = [...expectedNc, ...buildConformityWorklist(conformityClaimsFor(p, standard, lang), expectedNc.length, Number.POSITIVE_INFINITY)];
     const r = applyVerdicts(items, expected);
     const passing = items.filter((it) => typeof it.verdict === "string" && ["supported", "partial"].includes(it.verdict.trim().toLowerCase()));
-    const grounding = groundItems(verifyGroundingInputs(passing));
+    const grounding = groundItems(verifyGroundingInputs(passing, trialAnchorFallbacks(p, standard, passing)));
     const pruned = p.flags.prune === true ? applyPrune(p, standard, items, lang) : void 0;
     const ok = (pruned ? r.unadjudicated + r.invalid + r.missing === 0 : r.ok) && grounding.failed === 0;
     if (p.flags.json) console.log(JSON.stringify({ ...r, ok, grounding, ...pruned ? { pruned } : {} }, null, 2));
@@ -76425,6 +76458,21 @@ function cmdVerifyWorklist(p, langIn) {
     );
   return 0;
 }
+function trialAnchorFallbacks(p, standard, passing) {
+  const ids = [...new Set(passing.filter((it) => it.kind === "c").map((it) => it.criteriaId))];
+  const inFlag = p.flags.in;
+  if (!ids.length || typeof inFlag !== "string" || !inFlag || inFlag === "-") return void 0;
+  let audit2;
+  try {
+    audit2 = unwrapAudit(JSON.parse(readText(inFlag)));
+  } catch {
+    return void 0;
+  }
+  const cwd = typeof p.flags.cwd === "string" ? p.flags.cwd : void 0;
+  const evidence = evidenceForCriteria(audit2, ids, { cwd, standard });
+  const { citationDrift } = adjudicationLimits(cwd);
+  return (it, cite) => evidenceFallback(evidence.get(it.criteriaId) ?? [], cite, citationDrift).fallback;
+}
 function conformityClaimsFor(p, standard, lang) {
   if (p.flags.conformities === false || p.flags["no-conformities"] === true) return [];
   const named3 = typeof p.flags.conformities === "string" && p.flags.conformities ? p.flags.conformities : void 0;

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.1'
+  ULTRA11Y_VERSION: '5.43.2'
   # 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

@@ -524,6 +524,40 @@ export function buildAdjudicationWorklist(audit: AuditResult, opts: { cwd?: stri
   );
 }
 
+/** The harvested evidence behind ARBITRARY criteria — including ones a prior fold already
+ *  decided, which `buildAdjudicationWorklist` filters out on purpose (a prior agent decision
+ *  is never reopened). The trial (`verify --apply … --report`) needs them anyway: it grounds
+ *  a retained claim the way the fold grounded it, and the fold's evidence-anchor fallback
+ *  vouches only for a citation that is one of the criterion's OWN harvested anchors.
+ *
+ *  Same derivation, item for item, as the worklist the verdict was gated against — the worklist
+ *  is a pure function of the audit, so re-reading the audit's inputs rebuilds the very anchor
+ *  set the citation was checked against. When a criterion's harvest is empty, the candidate
+ *  browser-rule findings stand in, exactly as the worklist's items carry them. */
+export function evidenceForCriteria(
+  audit: AuditResult,
+  criteriaIds: readonly string[],
+  opts: { cwd?: string; standard?: StandardId } = {},
+): Map<string, Evidence[]> {
+  const limits = adjudicationLimits(opts.cwd);
+  const docs = docsForAudit(audit, opts.cwd);
+  const standard = opts.standard;
+  const pack = standard !== undefined && !isCore(standard) ? loadPack(standard) : undefined;
+  // Candidate findings only exist in pack mode, and a criterion's own `wcag` mapping decides
+  // its subjects the same way `buildAdjudicationWorklist` lets it (its OWN subjects first).
+  const candidates = new Map(pack && standard ? derivePackResults(audit, standard).map((pc) => [pc.id, pc.candidateFindings ?? []] as const) : []);
+  const out = new Map<string, Evidence[]>();
+  for (const id of criteriaIds) {
+    if (out.has(id)) continue;
+    const crit = pack ? getCriterion(pack, id) : undefined;
+    const subjects = pack && standard ? subjectsForPackCriterion(standard, id, crit?.wcag ?? []) : subjectsForSc(id);
+    let evidence = collapse(harvestSubjects(subjects, docs), limits).evidence;
+    if (!evidence.length) evidence = candidateFindingEvidence(candidates.get(id) ?? [], limits.maxClasses);
+    out.set(id, evidence);
+  }
+  return out;
+}
+
 /** THE CRITERIA THIS RUN COULD NOT POSSIBLY HAVE DECIDED — because nothing was rendered.
  *
  *  `applyAdjudication` already refuses a `needs-rendered-dom` verdict whose own evidence sits
@@ -768,6 +802,32 @@ function cites0(anchors: string[], c: { file: string; line: number }, drift: num
   return false;
 }
 
+/** The evidence-anchor stand-in the fold grants a citation: the harvested anchor of THIS
+ *  criterion the citation resolves to, grounding the anchor's own snippet — the engine read
+ *  it out of the file, so it is there by construction. A sibling from `alsoAt` carries no
+ *  snippet (it is a bare `file:line`), so its stand-in is the cited place itself. Undefined
+ *  fallback when the citation is off-harvest or claims a different KIND of element than the
+ *  anchor holds — those keep the strict literal check (`onAnchor` says which, because only a
+ *  genuinely off-harvest citation earns the off-harvest explanation).
+ *
+ *  SHARED WITH THE TRIAL on purpose: `verify --apply … --report` grounds a retained claim
+ *  through the very same function, so a conformity the fold accepted is not refused one gate
+ *  later for the retyping the fold already forgave. */
+export function evidenceFallback(
+  evidence: Evidence[],
+  c: { file: string; line: number; selector?: string; snippet?: string },
+  drift: number,
+): { fallback?: { file: string; line: number; selector?: string; snippet?: string }; onAnchor: boolean } {
+  const anchor = anchorFor(evidence, c, drift);
+  if (!anchor || !recognisablySame(c, anchor.at)) return { onAnchor: anchor !== undefined };
+  return {
+    onAnchor: true,
+    fallback: anchor.representative
+      ? { file: anchor.at.file, line: anchor.at.line, selector: anchor.at.selector ?? c.selector, snippet: anchor.at.snippet }
+      : { file: c.file, line: c.line, selector: anchor.at.selector ?? c.selector },
+  };
+}
+
 export interface ApplyAdjudicationResult {
   ok: boolean;
   audit: AuditResult;
@@ -1115,16 +1175,10 @@ export function applyAdjudication(
           // It is authoritative there: the engine read it out of the file itself. And only
           // then does recognisability have anything to say, because only then is the anchor
           // being used to vouch for something the file did not confirm on its own.
-          const anchor = anchorFor(it.evidence, c, citationDrift);
           const cite = { file: c.file, line: c.line, selector: c.selector, snippet: c.snippet };
-          if (anchor && recognisablySame(c, anchor.at)) {
-            toGround(
-              it.criteriaId,
-              cite,
-              anchor.representative
-                ? { file: anchor.at.file, line: anchor.at.line, selector: anchor.at.selector ?? c.selector, snippet: anchor.at.snippet }
-                : { file: c.file, line: c.line, selector: anchor.at.selector ?? c.selector },
-            );
+          const { fallback, onAnchor } = evidenceFallback(it.evidence, c, citationDrift);
+          if (fallback) {
+            toGround(it.criteriaId, cite, fallback);
           } else {
             // WHY THE STRICT PATH APPLIED, said at the point it applies.
             //
@@ -1149,7 +1203,7 @@ export function applyAdjudication(
             // be false: the anchor is right there, it is the element that is wrong. That case
             // keeps the bare refusal, which already says the honest thing — this markup is not
             // in the file.
-            toGround(it.criteriaId, cite, undefined, anchor ? undefined : offHarvestHint(it.criteriaId, it.evidence));
+            toGround(it.criteriaId, cite, undefined, onAnchor ? undefined : offHarvestHint(it.criteriaId, it.evidence));
           }
         }
       }

package/src/cli.ts

@@ -62,6 +62,9 @@ import {
   applyAdjudication,
   hydrateAdjudication,
   unrenderedResidual,
+  adjudicationLimits,
+  evidenceFallback,
+  evidenceForCriteria,
   type AdjudicationFile,
 } from "./adjudicate.js";
 import {
@@ -431,6 +434,11 @@ Options:
                      (requires --report — coverage is re-derived from the report, uncapped)
                      Also accepts an ADJUDICATION (--in <audit.json>), or a VERDICT LEDGER,
                      which it REPLAYS onto the audit with no model in the loop
+                     Retained conformities are grounded the way the fold grounded them:
+                     a citation that is one of its criterion's own harvested anchors
+                     (--in <audit.json>) falls back to that anchor, so a retyping the
+                     fold accepted is not refused again at trial; without the audit the
+                     cited snippet must match the source literally
   --ledger <file>    verify --apply / judge --apply: record the verdicts the fold ACCEPTED,
                      so a later run replays them for free (default:
                      .ultra11y/verdicts/<standard>.json). Replay re-derives the evidence
@@ -2929,9 +2937,13 @@ function cmdVerify(p: ParsedArgs): number {
     const expected = [...expectedNc, ...buildConformityWorklist(conformityClaimsFor(p, standard, lang), expectedNc.length, Number.POSITIVE_INFINITY)];
     const r = applyVerdicts(items, expected);
     // Content-level grounding of every verdict that passed adjudication: the cited
-    // file/line/snippet must still exist and match the source (see src/grounding.ts).
+    // file/line/snippet must still exist and match the source (see src/grounding.ts). A
+    // RETAINED CONFORMITY IS GROUNDED THE WAY THE FOLD GROUNDED IT: a citation that is one of
+    // its criterion's own harvested anchors falls back to the anchor, so a claim `verify
+    // --apply <adjudication>` accepted is not refused again here — on every later trial —
+    // for the retyping the fold already forgave.
     const passing = items.filter((it) => typeof it.verdict === "string" && ["supported", "partial"].includes(it.verdict.trim().toLowerCase()));
-    const grounding = groundItems(verifyGroundingInputs(passing));
+    const grounding = groundItems(verifyGroundingInputs(passing, trialAnchorFallbacks(p, standard, passing)));
     // --prune: APPLY the outcome instead of only reporting it. See src/refute.ts for why a
     // gate that can only go red is the wrong shape for a cheap adjudicator's run, and for the
     // asymmetry between withdrawing a non-conformity and withdrawing a conformity.
@@ -3168,6 +3180,45 @@ function cmdVerifyWorklist(p: ParsedArgs, langIn: Lang): number {
   return 0;
 }
 
+/** The fold's evidence-anchor fallback, rebuilt for the trial (`verify --apply … --report`).
+ *
+ *  The fold grounds a citation that is one of its criterion's own harvested anchors against
+ *  THAT ANCHOR when the literal check fails — an adjudicator's retyping of an element it did
+ *  read. The trial of the same report must not refuse the claim one gate later for the
+ *  retyping the fold already forgave, so it re-derives the harvest from the audit under `--in`
+ *  (the worklist evidence is a pure function of the audit) and grants the same fallback,
+ *  through the very same `evidenceFallback` the fold runs. A citation that is NOT one of the
+ *  criterion's anchors still fails strictly: without the audit there is nothing to re-derive
+ *  and nothing is granted.
+ *
+ *  Returns the per-citation resolver `verifyGroundingInputs` applies; undefined when there is
+ *  nothing to resolve (no conformity on trial, no `--in`, unreadable audit). */
+function trialAnchorFallbacks(
+  p: ParsedArgs,
+  standard: StandardId,
+  passing: VerifyItem[],
+):
+  | ((
+      it: VerifyItem,
+      cite: { file: string; line: number; selector?: string; snippet?: string },
+    ) => { file: string; line: number; selector?: string; snippet?: string } | undefined)
+  | undefined {
+  const ids = [...new Set(passing.filter((it) => it.kind === "c").map((it) => it.criteriaId))];
+  const inFlag = p.flags.in;
+  if (!ids.length || typeof inFlag !== "string" || !inFlag || inFlag === "-") return undefined;
+  let audit: AuditResult;
+  try {
+    audit = unwrapAudit(JSON.parse(readText(inFlag))) as AuditResult;
+  } catch {
+    // The command that owns --in reports malformed input; the trial stays strict.
+    return undefined;
+  }
+  const cwd = typeof p.flags.cwd === "string" ? (p.flags.cwd as string) : undefined;
+  const evidence = evidenceForCriteria(audit, ids, { cwd, standard });
+  const { citationDrift } = adjudicationLimits(cwd);
+  return (it, cite) => evidenceFallback(evidence.get(it.criteriaId) ?? [], cite, citationDrift).fallback;
+}
+
 /**
  * The claimed conformities to put on trial, from the verdict ledger (or an adjudication file).
  *

package/src/grounding.ts

@@ -13,6 +13,11 @@ export interface GroundingInput {
   line: number;
   snippet?: string;
   selector?: string;
+  /** The criterion's harvested anchor standing in for this citation when the literal check
+   *  fails — the evidence-anchor fallback the fold grants a citation that is one of the
+   *  criterion's own harvested anchors (see src/adjudicate.ts). Optional; absent on the
+   *  strict inputs, which must ground literally. */
+  fallback?: GroundingInput;
 }
 
 export interface GroundingVerdict {
@@ -121,7 +126,14 @@ export function groundFinding(g: GroundingInput, opts: { cwd?: string } = {}): G
 export function groundItems(items: GroundingInput[], opts: { cwd?: string } = {}): GroundingSummary {
   const s: GroundingSummary = { grounded: 0, moved: 0, failed: 0, issues: [] };
   for (const it of items) {
-    const r = groundFinding(it, opts);
+    let r = groundFinding(it, opts);
+    // The harvested anchor vouches for a citation the file could not confirm on its own —
+    // an adjudicator's retyping of an element it did read. `moved` either way: what grounded
+    // is not verbatim what was cited (same contract as the fold, src/adjudicate.ts).
+    if (!r.ok && it.fallback) {
+      const viaAnchor = groundFinding(it.fallback, opts);
+      if (viaAnchor.ok) r = { ok: true, moved: true };
+    }
     if (r.ok) {
       s.grounded++;
       if (r.moved) s.moved++;

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

package/src/verify.ts

@@ -465,11 +465,20 @@ const resumableItemKey = (it: VerifyItem): string => {
 const legacyConformityKey = (criteriaId: string, file: string, line: number, selector: string, claim: string): string =>
   `${criteriaId}|${canonicalFile(file)}|${line}|${selector}|${claim}`;
 
-/** Every source anchor a passing claim asks the grounding gate to re-open. */
-export function verifyGroundingInputs(items: VerifyItem[]): Array<{ file: string; line: number; selector?: string; snippet?: string }> {
+/** Every source anchor a passing claim asks the grounding gate to re-open. `fallbackFor`
+ *  optionally attaches, per cited conformity, the harvested anchor that may stand in when the
+ *  literal check fails — the fold's evidence-anchor fallback (src/adjudicate.ts), so a claim
+ *  the fold accepted is grounded the same way here. */
+export function verifyGroundingInputs(
+  items: VerifyItem[],
+  fallbackFor?: (it: VerifyItem, cite: CriterionCitation) => { file: string; line: number; selector?: string; snippet?: string } | undefined,
+): Array<{ file: string; line: number; selector?: string; snippet?: string; fallback?: { file: string; line: number; selector?: string; snippet?: string } }> {
   return items.flatMap((it) =>
     it.kind === "c" && it.citations?.length
-      ? it.citations.map((cite) => ({ file: cite.file, line: cite.line, selector: cite.selector, snippet: cite.snippet }))
+      ? it.citations.map((cite) => {
+          const fallback = fallbackFor?.(it, cite);
+          return { file: cite.file, line: cite.line, selector: cite.selector, snippet: cite.snippet, ...(fallback ? { fallback } : {}) };
+        })
       : [{ file: it.file, line: it.line, selector: it.selector, snippet: (it as { snippet?: string }).snippet }],
   );
 }