ultra11y 5.33.0 → 5.33.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.33.0",
+      "version": "5.33.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.33.0",
+  "version": "5.33.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.33.0",
+  "version": "5.33.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.33.0";
+const ULTRA11Y_PLUGIN_VERSION = "5.33.1";
 
 const here = dirname(fileURLToPath(import.meta.url));
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ultra11y",
-  "version": "5.33.0",
+  "version": "5.33.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 join52, relative as relative5, resolve as resolve16, sep as sep
 import { fileURLToPath as fileURLToPath5, pathToFileURL as pathToFileURL3 } from "url";
 
 // src/types.ts
-var VERSION = "5.33.0";
+var VERSION = "5.33.1";
 var SCHEMA_VERSION = 2;
 var INAPPLICABLE_STATUS = "C";
 
@@ -50090,16 +50090,28 @@ var MAX_SIBLINGS = 3;
 function siblingCriteria(pack, id, lang = pack.defaultLocale) {
   const c2 = getCriterion(pack, id);
   if (!c2) return [];
-  const mechanical = (x) => !x.judgment && (x.appliesTo?.ruleIds ?? []).length > 0;
+  return neighbourhood(pack, c2).slice(0, MAX_SIBLINGS).map(({ crit }) => sibling(pack, crit, lang));
+}
+var isMechanical = (x) => !x.judgment && (x.appliesTo?.ruleIds ?? []).length > 0;
+var sibling = (pack, x, lang) => ({
+  id: x.id,
+  // The plain title is the whole argument: « a-t-il une étiquette ? » beside « cette
+  // étiquette est-elle pertinente ? » explains the split better than any prose could.
+  title: localize(pack, x.titlePlain ?? x.title, lang),
+  role: isMechanical(x) ? "mechanical" : "judgment"
+});
+function neighbourhood(pack, c2) {
   const mine = new Set(c2.wcag ?? []);
-  const shared = (x) => (x.wcag ?? []).filter((w) => mine.has(w)).length;
-  return pack.criteria.filter((x) => x.id !== c2.id && x.theme === c2.theme && shared(x) > 0 && mechanical(x) !== mechanical(c2)).sort((a, b) => shared(b) - shared(a) || a.id.localeCompare(b.id, void 0, { numeric: true })).slice(0, MAX_SIBLINGS).map((x) => ({
-    id: x.id,
-    // The plain title is the whole argument: « a-t-il une étiquette ? » beside « cette
-    // étiquette est-elle pertinente ? » explains the split better than any prose could.
-    title: localize(pack, x.titlePlain ?? x.title, lang),
-    role: mechanical(x) ? "mechanical" : "judgment"
-  }));
+  const mech = isMechanical(c2);
+  return pack.criteria.map((crit) => ({ crit, shared: (crit.wcag ?? []).filter((w) => mine.has(w)).length })).filter(({ crit, shared }) => crit.id !== c2.id && crit.theme === c2.theme && shared > 0 && isMechanical(crit) !== mech).sort((a, b) => b.shared - a.shared || a.crit.id.localeCompare(b.crit.id, void 0, { numeric: true }));
+}
+function presupposedCriterion(pack, id, lang = pack.defaultLocale) {
+  const c2 = getCriterion(pack, id);
+  if (!c2 || isMechanical(c2)) return void 0;
+  const ranked = neighbourhood(pack, c2).filter(({ crit }) => isMechanical(crit));
+  const first = ranked[0];
+  if (!first || ranked[1]?.shared === first.shared) return void 0;
+  return sibling(pack, first.crit, lang);
 }
 function criterionUrl(pack, id) {
   return pack.criterionUrl ? pack.criterionUrl.replaceAll("{id}", id) : void 0;
@@ -59599,16 +59611,12 @@ function applyAdjudication(audit2, adj, opts = {}) {
           );
         }
         if (!isCore(adj.standard) && f.file?.trim()) {
-          const mechanical = siblingCriteria(loadPack(adj.standard), it.criteriaId).filter((sib) => sib.role === "mechanical");
-          if (mechanical.length) {
-            const owners = engineNcAt(anchorKey(f.file, f.line, f.selector ?? ""));
-            const clash = mechanical.find((sib) => owners.has(sib.id));
-            if (clash)
-              blame(
-                it.criteriaId,
-                `criterion ${it.criteriaId}: this anchor (${f.file}:${f.line}) is already the engine's non-conformity on ${adj.standard} ${clash.id} \u2014 \xAB ${clash.title} \xBB. ${it.criteriaId} asks the NEXT question about the same subject and presupposes it is there, so on this element it is not non-conformant: it has no subject. Report it on ${clash.id} (the engine already did), or rule ${it.criteriaId} on a different element.`
-              );
-          }
+          const presupposed = presupposedCriterion(loadPack(adj.standard), it.criteriaId);
+          if (presupposed && engineNcAt(anchorKey(f.file, f.line, f.selector ?? "")).has(presupposed.id))
+            blame(
+              it.criteriaId,
+              `criterion ${it.criteriaId}: this anchor (${f.file}:${f.line}) is already the engine's non-conformity on ${adj.standard} ${presupposed.id} \u2014 \xAB ${presupposed.title} \xBB. ${it.criteriaId} asks the NEXT question about the same subject and presupposes it is there, so on this element it is not non-conformant: it has no subject. Report it on ${presupposed.id} (the engine already did), or rule ${it.criteriaId} on a different element.`
+            );
         }
         toGround(it.criteriaId, { file: f.file, line: f.line, selector: f.selector, snippet: f.snippet });
       }

package/skills/review-a11y/SKILL.md

@@ -5,7 +5,7 @@ when_to_use: "Invoke WITHOUT being asked whenever changed front-end code should
 allowed-tools: Bash(node ${CLAUDE_SKILL_DIR}/scripts/ultra11y.mjs *), Read, Grep, Glob
 license: MIT
 metadata:
-  version: 5.33.0
+  version: 5.33.1
 ---
 
 # review-a11y — accessibility review of changed code

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

@@ -6,7 +6,7 @@ import { join as join52, relative as relative5, resolve as resolve16, sep as sep
 import { fileURLToPath as fileURLToPath5, pathToFileURL as pathToFileURL3 } from "url";
 
 // src/types.ts
-var VERSION = "5.33.0";
+var VERSION = "5.33.1";
 var SCHEMA_VERSION = 2;
 var INAPPLICABLE_STATUS = "C";
 
@@ -50090,16 +50090,28 @@ var MAX_SIBLINGS = 3;
 function siblingCriteria(pack, id, lang = pack.defaultLocale) {
   const c2 = getCriterion(pack, id);
   if (!c2) return [];
-  const mechanical = (x) => !x.judgment && (x.appliesTo?.ruleIds ?? []).length > 0;
+  return neighbourhood(pack, c2).slice(0, MAX_SIBLINGS).map(({ crit }) => sibling(pack, crit, lang));
+}
+var isMechanical = (x) => !x.judgment && (x.appliesTo?.ruleIds ?? []).length > 0;
+var sibling = (pack, x, lang) => ({
+  id: x.id,
+  // The plain title is the whole argument: « a-t-il une étiquette ? » beside « cette
+  // étiquette est-elle pertinente ? » explains the split better than any prose could.
+  title: localize(pack, x.titlePlain ?? x.title, lang),
+  role: isMechanical(x) ? "mechanical" : "judgment"
+});
+function neighbourhood(pack, c2) {
   const mine = new Set(c2.wcag ?? []);
-  const shared = (x) => (x.wcag ?? []).filter((w) => mine.has(w)).length;
-  return pack.criteria.filter((x) => x.id !== c2.id && x.theme === c2.theme && shared(x) > 0 && mechanical(x) !== mechanical(c2)).sort((a, b) => shared(b) - shared(a) || a.id.localeCompare(b.id, void 0, { numeric: true })).slice(0, MAX_SIBLINGS).map((x) => ({
-    id: x.id,
-    // The plain title is the whole argument: « a-t-il une étiquette ? » beside « cette
-    // étiquette est-elle pertinente ? » explains the split better than any prose could.
-    title: localize(pack, x.titlePlain ?? x.title, lang),
-    role: mechanical(x) ? "mechanical" : "judgment"
-  }));
+  const mech = isMechanical(c2);
+  return pack.criteria.map((crit) => ({ crit, shared: (crit.wcag ?? []).filter((w) => mine.has(w)).length })).filter(({ crit, shared }) => crit.id !== c2.id && crit.theme === c2.theme && shared > 0 && isMechanical(crit) !== mech).sort((a, b) => b.shared - a.shared || a.crit.id.localeCompare(b.crit.id, void 0, { numeric: true }));
+}
+function presupposedCriterion(pack, id, lang = pack.defaultLocale) {
+  const c2 = getCriterion(pack, id);
+  if (!c2 || isMechanical(c2)) return void 0;
+  const ranked = neighbourhood(pack, c2).filter(({ crit }) => isMechanical(crit));
+  const first = ranked[0];
+  if (!first || ranked[1]?.shared === first.shared) return void 0;
+  return sibling(pack, first.crit, lang);
 }
 function criterionUrl(pack, id) {
   return pack.criterionUrl ? pack.criterionUrl.replaceAll("{id}", id) : void 0;
@@ -59599,16 +59611,12 @@ function applyAdjudication(audit2, adj, opts = {}) {
           );
         }
         if (!isCore(adj.standard) && f.file?.trim()) {
-          const mechanical = siblingCriteria(loadPack(adj.standard), it.criteriaId).filter((sib) => sib.role === "mechanical");
-          if (mechanical.length) {
-            const owners = engineNcAt(anchorKey(f.file, f.line, f.selector ?? ""));
-            const clash = mechanical.find((sib) => owners.has(sib.id));
-            if (clash)
-              blame(
-                it.criteriaId,
-                `criterion ${it.criteriaId}: this anchor (${f.file}:${f.line}) is already the engine's non-conformity on ${adj.standard} ${clash.id} \u2014 \xAB ${clash.title} \xBB. ${it.criteriaId} asks the NEXT question about the same subject and presupposes it is there, so on this element it is not non-conformant: it has no subject. Report it on ${clash.id} (the engine already did), or rule ${it.criteriaId} on a different element.`
-              );
-          }
+          const presupposed = presupposedCriterion(loadPack(adj.standard), it.criteriaId);
+          if (presupposed && engineNcAt(anchorKey(f.file, f.line, f.selector ?? "")).has(presupposed.id))
+            blame(
+              it.criteriaId,
+              `criterion ${it.criteriaId}: this anchor (${f.file}:${f.line}) is already the engine's non-conformity on ${adj.standard} ${presupposed.id} \u2014 \xAB ${presupposed.title} \xBB. ${it.criteriaId} asks the NEXT question about the same subject and presupposes it is there, so on this element it is not non-conformant: it has no subject. Report it on ${presupposed.id} (the engine already did), or rule ${it.criteriaId} on a different element.`
+            );
         }
         toGround(it.criteriaId, { file: f.file, line: f.line, selector: f.selector, snippet: f.snippet });
       }

package/skills/ultra11y/SKILL.md

@@ -4,7 +4,7 @@ description: "Use to AUDIT existing HTML/CSS/JSX against WCAG 2.2 AA accessibili
 when_to_use: "Invoke when the user asks for an accessibility AUDIT or a formal deliverable: audit a repo, site or page against WCAG 2.2 AA or a country standard (RGAA, Section 508, EN 301 549); produce a dated conformance report, a criterion grid, a PRD backlog, or tickets (GitHub/GitLab/Jira); author accessible markup from scratch; wire the repo gate (init --hook/--ci) or a rendered-DOM capture pipeline. For a review of the code UNDER CHANGE (diff, branch, PR), use the `review-a11y` skill instead."
 license: MIT
 metadata:
-  version: 5.33.0
+  version: 5.33.1
 ---
 
 # ultra11y — audit WCAG 2.2 AA and write accessible markup

package/skills/ultra11y/scripts/ultra11y.mjs

@@ -6,7 +6,7 @@ import { join as join52, relative as relative5, resolve as resolve16, sep as sep
 import { fileURLToPath as fileURLToPath5, pathToFileURL as pathToFileURL3 } from "url";
 
 // src/types.ts
-var VERSION = "5.33.0";
+var VERSION = "5.33.1";
 var SCHEMA_VERSION = 2;
 var INAPPLICABLE_STATUS = "C";
 
@@ -50090,16 +50090,28 @@ var MAX_SIBLINGS = 3;
 function siblingCriteria(pack, id, lang = pack.defaultLocale) {
   const c2 = getCriterion(pack, id);
   if (!c2) return [];
-  const mechanical = (x) => !x.judgment && (x.appliesTo?.ruleIds ?? []).length > 0;
+  return neighbourhood(pack, c2).slice(0, MAX_SIBLINGS).map(({ crit }) => sibling(pack, crit, lang));
+}
+var isMechanical = (x) => !x.judgment && (x.appliesTo?.ruleIds ?? []).length > 0;
+var sibling = (pack, x, lang) => ({
+  id: x.id,
+  // The plain title is the whole argument: « a-t-il une étiquette ? » beside « cette
+  // étiquette est-elle pertinente ? » explains the split better than any prose could.
+  title: localize(pack, x.titlePlain ?? x.title, lang),
+  role: isMechanical(x) ? "mechanical" : "judgment"
+});
+function neighbourhood(pack, c2) {
   const mine = new Set(c2.wcag ?? []);
-  const shared = (x) => (x.wcag ?? []).filter((w) => mine.has(w)).length;
-  return pack.criteria.filter((x) => x.id !== c2.id && x.theme === c2.theme && shared(x) > 0 && mechanical(x) !== mechanical(c2)).sort((a, b) => shared(b) - shared(a) || a.id.localeCompare(b.id, void 0, { numeric: true })).slice(0, MAX_SIBLINGS).map((x) => ({
-    id: x.id,
-    // The plain title is the whole argument: « a-t-il une étiquette ? » beside « cette
-    // étiquette est-elle pertinente ? » explains the split better than any prose could.
-    title: localize(pack, x.titlePlain ?? x.title, lang),
-    role: mechanical(x) ? "mechanical" : "judgment"
-  }));
+  const mech = isMechanical(c2);
+  return pack.criteria.map((crit) => ({ crit, shared: (crit.wcag ?? []).filter((w) => mine.has(w)).length })).filter(({ crit, shared }) => crit.id !== c2.id && crit.theme === c2.theme && shared > 0 && isMechanical(crit) !== mech).sort((a, b) => b.shared - a.shared || a.crit.id.localeCompare(b.crit.id, void 0, { numeric: true }));
+}
+function presupposedCriterion(pack, id, lang = pack.defaultLocale) {
+  const c2 = getCriterion(pack, id);
+  if (!c2 || isMechanical(c2)) return void 0;
+  const ranked = neighbourhood(pack, c2).filter(({ crit }) => isMechanical(crit));
+  const first = ranked[0];
+  if (!first || ranked[1]?.shared === first.shared) return void 0;
+  return sibling(pack, first.crit, lang);
 }
 function criterionUrl(pack, id) {
   return pack.criterionUrl ? pack.criterionUrl.replaceAll("{id}", id) : void 0;
@@ -59599,16 +59611,12 @@ function applyAdjudication(audit2, adj, opts = {}) {
           );
         }
         if (!isCore(adj.standard) && f.file?.trim()) {
-          const mechanical = siblingCriteria(loadPack(adj.standard), it.criteriaId).filter((sib) => sib.role === "mechanical");
-          if (mechanical.length) {
-            const owners = engineNcAt(anchorKey(f.file, f.line, f.selector ?? ""));
-            const clash = mechanical.find((sib) => owners.has(sib.id));
-            if (clash)
-              blame(
-                it.criteriaId,
-                `criterion ${it.criteriaId}: this anchor (${f.file}:${f.line}) is already the engine's non-conformity on ${adj.standard} ${clash.id} \u2014 \xAB ${clash.title} \xBB. ${it.criteriaId} asks the NEXT question about the same subject and presupposes it is there, so on this element it is not non-conformant: it has no subject. Report it on ${clash.id} (the engine already did), or rule ${it.criteriaId} on a different element.`
-              );
-          }
+          const presupposed = presupposedCriterion(loadPack(adj.standard), it.criteriaId);
+          if (presupposed && engineNcAt(anchorKey(f.file, f.line, f.selector ?? "")).has(presupposed.id))
+            blame(
+              it.criteriaId,
+              `criterion ${it.criteriaId}: this anchor (${f.file}:${f.line}) is already the engine's non-conformity on ${adj.standard} ${presupposed.id} \u2014 \xAB ${presupposed.title} \xBB. ${it.criteriaId} asks the NEXT question about the same subject and presupposes it is there, so on this element it is not non-conformant: it has no subject. Report it on ${presupposed.id} (the engine already did), or rule ${it.criteriaId} on a different element.`
+            );
         }
         toGround(it.criteriaId, { file: f.file, line: f.line, selector: f.selector, snippet: f.snippet });
       }

package/src/adjudicate.ts

@@ -36,6 +36,7 @@ import {
   localize,
   resolveGlossary,
   siblingCriteria,
+  presupposedCriterion,
   type StandardPack,
   type PackCriterion,
 } from "./standards/index.js";
@@ -992,27 +993,29 @@ export function applyAdjudication(
         // really does ground.
         //
         // Narrow on purpose, and this is the one check here that could refuse a true finding.
-        // It fires only when all three hold: the criterion under verdict has a MECHANICAL
-        // neighbour (`siblingCriteria` — same theme, shared success criterion, opposite side of
-        // the line, which by construction means this criterion carries no engine rule of its
-        // own), the engine has already ruled that neighbour non-conformant, and the anchor is
-        // literally the same file, line and selector. Two criteria failing the same element for
-        // genuinely different reasons keep different anchors, or the neighbour is not
-        // mechanical, and neither reaches here.
+        // It fires only when all three hold: the criterion under verdict PRESUPPOSES a
+        // mechanical neighbour's subject (`presupposedCriterion`), the engine has already ruled
+        // that neighbour non-conformant, and the anchor is literally the same file, line and
+        // selector.
+        //
+        // It read `siblingCriteria` before, and that was too wide by exactly the margin that
+        // matters. The neighbourhood is a reading aid — up to three criteria, no claim that any
+        // of them comes first — so 11.4 (« l'étiquette est-elle accolée à son champ ? ») counted
+        // 11.5 (« les champs de même nature sont-ils regroupés ? ») as a question it
+        // presupposes, and a radio group the engine ruled ungrouped became immune to 11.4 on
+        // the same control. Two defects on one element are not one defect charged twice.
+        // `presupposedCriterion` answers only where the pack singles ONE neighbour out and
+        // stands down on a tie, which keeps 11.2/11.1 and 8.6/8.5 and drops the guesses.
         //
         // Refused per verdict like everything else: the criterion returns to « to assess »
         // carrying the reason, naming the neighbour, so the next pass can file it correctly.
         if (!isCore(adj.standard) && f.file?.trim()) {
-          const mechanical = siblingCriteria(loadPack(adj.standard), it.criteriaId).filter((sib) => sib.role === "mechanical");
-          if (mechanical.length) {
-            const owners = engineNcAt(anchorKey(f.file, f.line, f.selector ?? ""));
-            const clash = mechanical.find((sib) => owners.has(sib.id));
-            if (clash)
-              blame(
-                it.criteriaId,
-                `criterion ${it.criteriaId}: this anchor (${f.file}:${f.line}) is already the engine's non-conformity on ${adj.standard} ${clash.id} — « ${clash.title} ». ${it.criteriaId} asks the NEXT question about the same subject and presupposes it is there, so on this element it is not non-conformant: it has no subject. Report it on ${clash.id} (the engine already did), or rule ${it.criteriaId} on a different element.`,
-              );
-          }
+          const presupposed = presupposedCriterion(loadPack(adj.standard), it.criteriaId);
+          if (presupposed && engineNcAt(anchorKey(f.file, f.line, f.selector ?? "")).has(presupposed.id))
+            blame(
+              it.criteriaId,
+              `criterion ${it.criteriaId}: this anchor (${f.file}:${f.line}) is already the engine's non-conformity on ${adj.standard} ${presupposed.id} — « ${presupposed.title} ». ${it.criteriaId} asks the NEXT question about the same subject and presupposes it is there, so on this element it is not non-conformant: it has no subject. Report it on ${presupposed.id} (the engine already did), or rule ${it.criteriaId} on a different element.`,
+            );
         }
         toGround(it.criteriaId, { file: f.file, line: f.line, selector: f.selector, snippet: f.snippet });
       }

package/src/standards/pack.ts

@@ -134,20 +134,61 @@ export interface SiblingCriterion {
 export function siblingCriteria(pack: StandardPack, id: string, lang: string = pack.defaultLocale): SiblingCriterion[] {
   const c = getCriterion(pack, id);
   if (!c) return [];
-  const mechanical = (x: PackCriterion) => !x.judgment && (x.appliesTo?.ruleIds ?? []).length > 0;
+  return neighbourhood(pack, c)
+    .slice(0, MAX_SIBLINGS)
+    .map(({ crit }) => sibling(pack, crit, lang));
+}
+
+/** Mechanical: an engine rule can fail it. A criterion the pack declares `judgment`, and one
+ *  that simply carries no rule, are both on the other side of the line. */
+const isMechanical = (x: PackCriterion) => !x.judgment && (x.appliesTo?.ruleIds ?? []).length > 0;
+
+const sibling = (pack: StandardPack, x: PackCriterion, lang: string): SiblingCriterion => ({
+  id: x.id,
+  // The plain title is the whole argument: « a-t-il une étiquette ? » beside « cette
+  // étiquette est-elle pertinente ? » explains the split better than any prose could.
+  title: localize(pack, x.titlePlain ?? x.title, lang),
+  role: isMechanical(x) ? "mechanical" : "judgment",
+});
+
+/** The full ranked neighbourhood, BEFORE the reading-aid cap — closest first, ties in
+ *  criterion order. `siblingCriteria` shows the top of it; `presupposedCriterion` needs the
+ *  whole thing, because a cap can hide the very tie that disqualifies a refusal. */
+function neighbourhood(pack: StandardPack, c: PackCriterion): { crit: PackCriterion; shared: number }[] {
   const mine = new Set(c.wcag ?? []);
-  const shared = (x: PackCriterion) => (x.wcag ?? []).filter((w) => mine.has(w)).length;
+  const mech = isMechanical(c);
   return pack.criteria
-    .filter((x) => x.id !== c.id && x.theme === c.theme && shared(x) > 0 && mechanical(x) !== mechanical(c))
-    .sort((a, b) => shared(b) - shared(a) || a.id.localeCompare(b.id, undefined, { numeric: true }))
-    .slice(0, MAX_SIBLINGS)
-    .map((x) => ({
-      id: x.id,
-      // The plain title is the whole argument: « a-t-il une étiquette ? » beside « cette
-      // étiquette est-elle pertinente ? » explains the split better than any prose could.
-      title: localize(pack, x.titlePlain ?? x.title, lang),
-      role: mechanical(x) ? ("mechanical" as const) : ("judgment" as const),
-    }));
+    .map((crit) => ({ crit, shared: (crit.wcag ?? []).filter((w) => mine.has(w)).length }))
+    .filter(({ crit, shared }) => crit.id !== c.id && crit.theme === c.theme && shared > 0 && isMechanical(crit) !== mech)
+    .sort((a, b) => b.shared - a.shared || a.crit.id.localeCompare(b.crit.id, undefined, { numeric: true }));
+}
+
+/** THE NEIGHBOUR WHOSE SUBJECT THIS CRITERION PRESUPPOSES — or none, and none is the honest
+ *  answer far more often than the neighbourhood is empty.
+ *
+ *  `siblingCriteria` is a READING AID: « this observation may belong next door », three
+ *  candidates, no claim that any one of them comes first. That breadth is right for a brief
+ *  and wrong for a refusal, and the difference cost a true finding. RGAA 11.4 (« l'étiquette
+ *  est-elle accolée à son champ ? ») neighbours 11.1, 11.5 and 11.6, each exactly one success
+ *  criterion away. Only 11.1 owns 11.4's subject: with no label there is nothing to place.
+ *  11.5 (« les champs de même nature sont-ils regroupés ? ») owns none of it — a radio group
+ *  that was never grouped still has labels, and they are still placed well or badly. Reading
+ *  the neighbourhood as a presupposition made an ungrouped radio immune to 11.4.
+ *
+ *  So: ONE neighbour, strictly closer than every other, mechanical (the side that can be
+ *  failed without a model, which is what makes « the engine already owns this anchor » sayable
+ *  at all). A tie is the pack declining to say which question comes first, and a refusal on a
+ *  tie is a guess made against a finding that may well be true. On RGAA the rule keeps both
+ *  pairs the split was drawn for — 11.2 → 11.1 (two shared success criteria against one) and
+ *  8.6 → 8.5 (sole neighbour) — and stands down on the thirteen criteria whose neighbours are
+ *  equidistant. */
+export function presupposedCriterion(pack: StandardPack, id: string, lang: string = pack.defaultLocale): SiblingCriterion | undefined {
+  const c = getCriterion(pack, id);
+  if (!c || isMechanical(c)) return undefined;
+  const ranked = neighbourhood(pack, c).filter(({ crit }) => isMechanical(crit));
+  const first = ranked[0];
+  if (!first || ranked[1]?.shared === first.shared) return undefined;
+  return sibling(pack, first.crit, lang);
 }
 
 /** Where the standard publishes this criterion, from the pack's `criterionUrl` template.

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