@polyxd/verifier 0.1.0

package/dist/cli.d.ts

@@ -0,0 +1,2 @@
+#!/usr/bin/env node
+export {};

package/dist/cli.js

@@ -0,0 +1,74 @@
+#!/usr/bin/env node
+/**
+ * polyxd-verify <ui-document.json ...> [--themes material3,carbon] [--modes light,dark] [--widths 390,1100]
+ *               [--registry capabilities.json] [--tasks tasks.json] [--json report.json]
+ */
+import { readFile, writeFile } from "node:fs/promises";
+import { basename } from "node:path";
+import { parseArgs } from "node:util";
+import { DEFAULTS, launch, verifyDocument } from "./index.js";
+const { values, positionals } = parseArgs({
+    allowPositionals: true,
+    options: {
+        themes: { type: "string" },
+        modes: { type: "string" },
+        widths: { type: "string" },
+        registry: { type: "string" },
+        tasks: { type: "string" },
+        json: { type: "string" },
+        quiet: { type: "boolean", short: "q" },
+    },
+});
+if (!positionals.length) {
+    console.error("Usage: polyxd-verify <ui-document.json ...> [--themes a,b] [--modes light,dark] [--widths 390,1100] [--registry file] [--tasks file] [--json out]");
+    process.exit(2);
+}
+const list = (v) => v?.split(",").map((s) => s.trim()).filter(Boolean);
+const readJson = async (p) => JSON.parse(await readFile(p, "utf8"));
+const registry = values.registry ? await readJson(values.registry) : undefined;
+const allTasks = values.tasks ? (await readJson(values.tasks)).tasks : [];
+const options = {
+    themes: list(values.themes) ?? DEFAULTS.themes,
+    modes: list(values.modes) ?? DEFAULTS.modes,
+    widths: list(values.widths)?.map(Number) ?? DEFAULTS.widths,
+};
+const browser = await launch();
+const reports = [];
+try {
+    for (const file of positionals) {
+        const name = basename(file, ".json");
+        const report = await verifyDocument(await readJson(file), { ...options, browser, registry, tasks: allTasks.filter((t) => t.document === name) });
+        reports.push({ file, ...report });
+        const agent = report.agentRuns ? ` agent ${report.agentSuccess}/${report.agentRuns}` : "";
+        console.log(`${String(report.score).padStart(3)}  ${name}  (${report.errors} errors, ${report.warnings} warnings${agent})`);
+        if (!values.quiet) {
+            const seen = new Set();
+            const lines = [
+                ...report.static.map((f) => ({ f, where: "document" })),
+                ...report.targets.flatMap((t) => [
+                    ...t.findings.map((f) => ({ f, where: `${t.theme}/${t.mode}/${t.width}` })),
+                    ...t.agent.filter((a) => !a.success).map((a) => ({ f: { severity: "error", check: `agent:${a.task}`, message: a.error ?? "failed" }, where: `${t.theme}/${t.mode}/${t.width}` })),
+                ]),
+            ];
+            for (const { f, where } of lines) {
+                const key = `${f.check}|${f.message}`;
+                if (seen.has(key))
+                    continue;
+                seen.add(key);
+                console.log(`       ${f.severity === "error" ? "error" : "warn "} ${f.check}  ${f.message}  [${where}]`);
+            }
+        }
+    }
+}
+finally {
+    await browser.close();
+}
+const mean = reports.reduce((s, r) => s + r.score, 0) / reports.length;
+const runs = reports.reduce((s, r) => s + r.agentRuns, 0);
+const ok = reports.reduce((s, r) => s + r.agentSuccess, 0);
+const renders = reports.reduce((s, r) => s + r.targets.length, 0);
+console.log(`\n${reports.length} documents · ${renders} renders · mean score ${mean.toFixed(1)}${runs ? ` · agent tasks ${ok}/${runs}` : ""}`);
+if (values.json)
+    await writeFile(values.json, JSON.stringify({ options, reports }, null, 2));
+process.exit(reports.some((r) => r.errors > 0 || r.agentSuccess < r.agentRuns) ? 1 : 0);
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA;;;GAGG;AACH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAe,MAAM,YAAY,CAAC;AAE3E,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,SAAS,CAAC;IACxC,gBAAgB,EAAE,IAAI;IACtB,OAAO,EAAE;QACP,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QACzB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1B,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC5B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QACzB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QACxB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE;KACvC;CACF,CAAC,CAAC;AAEH,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;IACxB,OAAO,CAAC,KAAK,CAAC,mJAAmJ,CAAC,CAAC;IACnK,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,CAAqB,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAC3F,MAAM,QAAQ,GAAG,KAAK,EAAE,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;AAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/E,MAAM,QAAQ,GAAU,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AACjF,MAAM,OAAO,GAAG;IACd,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM;IAC9C,KAAK,EAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAA0B,IAAI,QAAQ,CAAC,KAAK;IACrE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM;CAC5D,CAAC;AAEF,MAAM,OAAO,GAAG,MAAM,MAAM,EAAE,CAAC;AAC/B,MAAM,OAAO,GAAkC,EAAE,CAAC;AAClD,IAAI,CAAC;IACH,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;QACjJ,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1F,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,MAAM,MAAM,CAAC,MAAM,YAAY,MAAM,CAAC,QAAQ,YAAY,KAAK,GAAG,CAAC,CAAC;QAC5H,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YAClB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,MAAM,KAAK,GAAG;gBACZ,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;gBACvD,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;oBAC/B,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC3E,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,IAAI,QAAQ,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;iBAClL,CAAC;aACH,CAAC;YACF,KAAK,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,KAAK,EAAE,CAAC;gBACjC,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBACtC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,OAAO,MAAM,KAAK,GAAG,CAAC,CAAC;YAC3G,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;QAAS,CAAC;IACT,MAAM,OAAO,CAAC,KAAK,EAAE,CAAC;AACxB,CAAC;AAED,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;AACvE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;AAC1D,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;AAC3D,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAClE,OAAO,CAAC,GAAG,CAAC,KAAK,OAAO,CAAC,MAAM,gBAAgB,OAAO,yBAAyB,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,kBAAkB,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC/I,IAAI,MAAM,CAAC,IAAI;IAAE,MAAM,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAC7F,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/consistency.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Consistency between two generations of the same intent: does the thing the user saw last time
+ * look and sit the same way now? Components are matched by their semantic `key`, which the
+ * generator keeps stable and interface memory records (see Maru, docs/decisions/0001).
+ */
+export interface Consistency {
+    /** 0 (nothing recognisable) to 1 (same structure, order and labels) */
+    score: number;
+    parts: {
+        pattern: number;
+        coverage: number;
+        components: number;
+        order: number;
+        labels: number;
+    };
+    differences: string[];
+}
+interface Keyed {
+    component: string;
+    label?: string;
+    index: number;
+}
+/** Keyed things in reading order: components with a key, plus keyed items inside them (detail rows, columns, steps…). */
+export declare function signature(doc: any): Map<string, Keyed>;
+export declare function compare(previous: any, current: any): Consistency;
+export {};

package/dist/consistency.js

@@ -0,0 +1,71 @@
+import { readingOrder } from "@polyxd/spec/checks";
+const WEIGHTS = { pattern: 0.15, coverage: 0.15, components: 0.3, order: 0.2, labels: 0.2 };
+/** Keyed things in reading order: components with a key, plus keyed items inside them (detail rows, columns, steps…). */
+export function signature(doc) {
+    const out = new Map();
+    let index = 0;
+    const add = (key, component, label) => {
+        if (!key || out.has(key))
+            return;
+        out.set(key, { component, label: typeof label === "string" ? label : undefined, index: index++ });
+    };
+    for (const c of readingOrder(doc)) {
+        add(c.key, c.component, c.label ?? c.title ?? c.summary);
+        for (const list of [c.items, c.columns, c.attributes, c.steps, c.views, c.series]) {
+            if (Array.isArray(list))
+                for (const item of list)
+                    add(item?.key, `${c.component}.item`, item?.label ?? item?.title);
+        }
+    }
+    return out;
+}
+/** Fraction of ordered pairs that keep their relative order (1 = identical order). */
+function orderAgreement(a, b) {
+    const pos = new Map(b.map((k, i) => [k, i]));
+    let agree = 0;
+    let total = 0;
+    for (let i = 0; i < a.length; i++) {
+        for (let j = i + 1; j < a.length; j++) {
+            total++;
+            if (pos.get(a[i]) < pos.get(a[j]))
+                agree++;
+        }
+    }
+    return total ? agree / total : 1;
+}
+export function compare(previous, current) {
+    const a = signature(previous);
+    const b = signature(current);
+    const shared = [...a.keys()].filter((k) => b.has(k));
+    const union = new Set([...a.keys(), ...b.keys()]);
+    const differences = [];
+    const pattern = previous.surface?.pattern === current.surface?.pattern ? 1 : 0;
+    if (!pattern)
+        differences.push(`pattern changed: ${previous.surface?.pattern ?? "none"} → ${current.surface?.pattern ?? "none"}`);
+    const coverage = union.size ? shared.length / union.size : 1;
+    for (const k of a.keys())
+        if (!b.has(k))
+            differences.push(`"${k}" disappeared`);
+    for (const k of b.keys())
+        if (!a.has(k))
+            differences.push(`"${k}" is new`);
+    const sameComponent = shared.filter((k) => a.get(k).component === b.get(k).component);
+    for (const k of shared)
+        if (a.get(k).component !== b.get(k).component)
+            differences.push(`"${k}" changed from ${a.get(k).component} to ${b.get(k).component}`);
+    const components = shared.length ? sameComponent.length / shared.length : 1;
+    const orderA = shared.sort((x, y) => a.get(x).index - a.get(y).index);
+    const order = orderAgreement(orderA, [...orderA].sort((x, y) => b.get(x).index - b.get(y).index));
+    if (order < 1)
+        differences.push(`order changed (${Math.round(order * 100)}% of pairs kept their order)`);
+    const labelled = shared.filter((k) => a.get(k).label !== undefined || b.get(k).label !== undefined);
+    const sameLabel = labelled.filter((k) => a.get(k).label === b.get(k).label);
+    for (const k of labelled)
+        if (a.get(k).label !== b.get(k).label)
+            differences.push(`"${k}" relabelled: "${a.get(k).label}" → "${b.get(k).label}"`);
+    const labels = labelled.length ? sameLabel.length / labelled.length : 1;
+    const parts = { pattern, coverage, components, order, labels };
+    const score = Object.entries(WEIGHTS).reduce((s, [k, w]) => s + w * parts[k], 0);
+    return { score: Math.round(score * 1000) / 1000, parts, differences };
+}
+//# sourceMappingURL=consistency.js.map

package/dist/consistency.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"consistency.js","sourceRoot":"","sources":["../src/consistency.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAoBnD,MAAM,OAAO,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAE5F,yHAAyH;AACzH,MAAM,UAAU,SAAS,CAAC,GAAQ;IAChC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAiB,CAAC;IACrC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,GAAG,GAAG,CAAC,GAAuB,EAAE,SAAiB,EAAE,KAAc,EAAE,EAAE;QACzE,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QACjC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IACpG,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC;QACzD,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YAClF,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;gBAAE,KAAK,MAAM,IAAI,IAAI,IAAI;oBAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,CAAC,CAAC;QACtH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,sFAAsF;AACtF,SAAS,cAAc,CAAC,CAAW,EAAE,CAAW;IAC9C,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,KAAK,EAAE,CAAC;YACR,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE;gBAAE,KAAK,EAAE,CAAC;QAC/C,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,QAAa,EAAE,OAAY;IACjD,MAAM,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC9B,MAAM,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAClD,MAAM,WAAW,GAAa,EAAE,CAAC;IAEjC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,IAAI,CAAC,OAAO;QAAE,WAAW,CAAC,IAAI,CAAC,oBAAoB,QAAQ,CAAC,OAAO,EAAE,OAAO,IAAI,MAAM,MAAM,OAAO,CAAC,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,CAAC,CAAC;IAElI,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAChF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAE3E,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,SAAS,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC;IACxF,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,SAAS,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,SAAS;YAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,SAAS,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,SAAS,EAAE,CAAC,CAAC;IAClK,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5E,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC;IACxE,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACpG,IAAI,KAAK,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,GAAG,CAAC,8BAA8B,CAAC,CAAC;IAEzG,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IACtG,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC;IAC9E,KAAK,MAAM,CAAC,IAAI,QAAQ;QAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,KAAK;YAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,CAAC,CAAC;IACtJ,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAExE,MAAM,KAAK,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC/D,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAuB,CAAC,EAAE,CAAC,CAAC,CAAC;IACvG,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AACxE,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,7 @@
+export { verifyDocument, score, DEFAULTS, type Report, type TargetReport, type VerifyOptions } from "./verify.ts";
+export { staticAudit, type StaticOptions } from "./static.ts";
+export { axeAudit, layoutAudit, type Finding } from "./rendered.ts";
+export { runTask, type Task, type Step, type AgentResult } from "./agent.ts";
+export { compare, signature, type Consistency } from "./consistency.ts";
+export { launch, renderPage, type RenderTarget } from "./browser.ts";
+export { rewardFor, wiredCapabilities, probeActionable, coverageOf, type Reward, type RequestExpectation } from "./reward.ts";

package/dist/index.js

@@ -0,0 +1,8 @@
+export { verifyDocument, score, DEFAULTS } from "./verify.js";
+export { staticAudit } from "./static.js";
+export { axeAudit, layoutAudit } from "./rendered.js";
+export { runTask } from "./agent.js";
+export { compare, signature } from "./consistency.js";
+export { launch, renderPage } from "./browser.js";
+export { rewardFor, wiredCapabilities, probeActionable, coverageOf } from "./reward.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,EAAsD,MAAM,aAAa,CAAC;AAClH,OAAO,EAAE,WAAW,EAAsB,MAAM,aAAa,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAgB,MAAM,eAAe,CAAC;AACpE,OAAO,EAAE,OAAO,EAA0C,MAAM,YAAY,CAAC;AAC7E,OAAO,EAAE,OAAO,EAAE,SAAS,EAAoB,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAqB,MAAM,cAAc,CAAC;AACrE,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,eAAe,EAAE,UAAU,EAAwC,MAAM,aAAa,CAAC"}

package/dist/rendered.d.ts

@@ -0,0 +1,16 @@
+import type { Page } from "playwright";
+export interface Finding {
+    severity: "error" | "warning";
+    check: string;
+    message: string;
+    /** How many elements are affected */
+    count?: number;
+}
+/** axe-core WCAG 2.2 AA audit of the surface (including dialogs, which portal inside it). */
+export declare function axeAudit(page: Page): Promise<Finding[]>;
+/**
+ * Layout checks axe doesn't cover:
+ * - no horizontal overflow at this width
+ * - interactive targets meet WCAG 2.2 2.5.8 (24px, or 24px of clear spacing) and the pack's own minimum
+ */
+export declare function layoutAudit(page: Page): Promise<Finding[]>;

package/dist/rendered.js

@@ -0,0 +1,85 @@
+const WCAG_TAGS = ["wcag2a", "wcag2aa", "wcag21a", "wcag21aa", "wcag22aa"];
+/** axe-core WCAG 2.2 AA audit of the surface (including dialogs, which portal inside it). */
+export async function axeAudit(page) {
+    const violations = await page.evaluate(async (tags) => {
+        const axe = window.axe;
+        const result = await axe.run(document.querySelector(".pxd-surface"), { runOnly: { type: "tag", values: tags }, resultTypes: ["violations"] });
+        return result.violations.map((v) => ({ id: v.id, impact: v.impact, help: v.help, count: v.nodes.length, sample: v.nodes[0]?.target?.join(" ") }));
+    }, WCAG_TAGS);
+    return violations.map((v) => ({
+        severity: v.impact === "critical" || v.impact === "serious" ? "error" : "warning",
+        check: `axe:${v.id}`,
+        message: `${v.help} (${v.count}× e.g. ${v.sample})`,
+        count: v.count,
+    }));
+}
+/**
+ * Layout checks axe doesn't cover:
+ * - no horizontal overflow at this width
+ * - interactive targets meet WCAG 2.2 2.5.8 (24px, or 24px of clear spacing) and the pack's own minimum
+ */
+export async function layoutAudit(page) {
+    const r = await page.evaluate(() => {
+        const surface = document.querySelector(".pxd-surface");
+        const overflow = surface.scrollWidth - surface.clientWidth;
+        const packMin = parseFloat(getComputedStyle(surface).getPropertyValue("--pxd-size-target-min")) || 24;
+        const selector = "button, input:not([type=hidden]), textarea, select, a[href], [role=radio], [role=checkbox], [role=switch], [role=tab], [role=slider]";
+        const els = [...surface.querySelectorAll(selector)].filter((el) => {
+            const rect = el.getBoundingClientRect();
+            const style = getComputedStyle(el);
+            return rect.width > 0 && rect.height > 0 && style.visibility !== "hidden" && !el.closest("[aria-hidden=true]");
+        });
+        // Radix renders a visually hidden native input next to its radios/checkboxes; skip those.
+        const targets = els.filter((el) => !(el instanceof HTMLInputElement && el.getAttribute("aria-hidden") === "true"));
+        // A stretched link (e.g. an actionable card) is as big as the element it covers.
+        const rects = targets.map((el) => (el.closest(".pxd-card-actionable") && el.classList.contains("pxd-card-link") ? el.closest(".pxd-card-actionable") : el).getBoundingClientRect());
+        const name = (el) => el.getAttribute("aria-label") || el.textContent?.trim().slice(0, 30) || el.id || el.tagName.toLowerCase();
+        const tooSmall = [];
+        const belowPack = [];
+        targets.forEach((el, i) => {
+            const { width, height } = rects[i];
+            if (el.classList.contains("pxd-card-link"))
+                return;
+            const small = Math.min(width, height);
+            // An element whose visible label is also clickable gets the label's area too.
+            const label = el.id ? surface.querySelector(`label[for="${CSS.escape(el.id)}"]`) : null;
+            const labelRect = label?.getBoundingClientRect();
+            const effective = labelRect && labelRect.width > 0 ? Math.max(small, Math.min(labelRect.height, 1000)) : small;
+            if (effective < 24) {
+                // Spacing exception: a 24px circle centred on the target must not intersect another target.
+                const cx = rects[i].x + width / 2;
+                const cy = rects[i].y + height / 2;
+                const crowded = rects.some((o, j) => {
+                    if (j === i)
+                        return false;
+                    const dx = Math.max(o.x - cx, 0, cx - (o.x + o.width));
+                    const dy = Math.max(o.y - cy, 0, cy - (o.y + o.height));
+                    return Math.hypot(dx, dy) < 12;
+                });
+                if (crowded)
+                    tooSmall.push(`${name(el)} (${Math.round(width)}×${Math.round(height)})`);
+            }
+            else if (effective < packMin - 0.5 && el.tagName === "BUTTON" && !el.closest("tr, .pxd-row-item, .pxd-breadcrumbs")) {
+                // Rows and breadcrumb trails are dense by design: inside one, WCAG's 24px minimum applies,
+                // not the pack's comfortable size — a 44px-tall breadcrumb is not what any of these systems draws.
+                belowPack.push(`${name(el)} (${Math.round(width)}×${Math.round(height)})`);
+            }
+        });
+        // What happens must be the last thing read before the button that does it.
+        const consequence = surface.querySelector(".pxd-dialog-consequence");
+        const bar = consequence?.closest(".pxd-dialog")?.querySelector(".pxd-action-bar");
+        const consequenceMisplaced = !!consequence && !!bar && consequence.nextElementSibling !== bar;
+        return { overflow, tooSmall, belowPack, packMin, consequenceMisplaced };
+    });
+    const out = [];
+    if (r.consequenceMisplaced)
+        out.push({ severity: "error", check: "layout:consequence-placement", message: "the consequence must sit directly above the buttons it warns about" });
+    if (r.overflow > 1)
+        out.push({ severity: "error", check: "layout:overflow", message: `content is ${r.overflow}px wider than the surface (horizontal scrolling)` });
+    if (r.tooSmall.length)
+        out.push({ severity: "error", check: "layout:target-size", message: `targets under 24px without spacing (WCAG 2.5.8): ${r.tooSmall.slice(0, 4).join(", ")}`, count: r.tooSmall.length });
+    if (r.belowPack.length)
+        out.push({ severity: "warning", check: "layout:target-size-pack", message: `buttons below the pack's ${r.packMin}px target: ${r.belowPack.slice(0, 4).join(", ")}`, count: r.belowPack.length });
+    return out;
+}
+//# sourceMappingURL=rendered.js.map

package/dist/rendered.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rendered.js","sourceRoot":"","sources":["../src/rendered.ts"],"names":[],"mappings":"AAUA,MAAM,SAAS,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AAE3E,6FAA6F;AAC7F,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAU;IACvC,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QACpD,MAAM,GAAG,GAAI,MAAc,CAAC,GAAG,CAAC;QAChC,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,cAAc,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,WAAW,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAC9I,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACzJ,CAAC,EAAE,SAAS,CAAC,CAAC;IACd,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC;QACjC,QAAQ,EAAE,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QACjF,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,EAAE;QACpB,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,MAAM,GAAG;QACnD,KAAK,EAAE,CAAC,CAAC,KAAK;KACf,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAU;IAC1C,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE;QACjC,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,cAAc,CAAgB,CAAC;QACtE,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;QAC3D,MAAM,OAAO,GAAG,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,gBAAgB,CAAC,uBAAuB,CAAC,CAAC,IAAI,EAAE,CAAC;QACtG,MAAM,QAAQ,GAAG,sIAAsI,CAAC;QACxJ,MAAM,GAAG,GAAG,CAAC,GAAG,OAAO,CAAC,gBAAgB,CAAc,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;YAC7E,MAAM,IAAI,GAAG,EAAE,CAAC,qBAAqB,EAAE,CAAC;YACxC,MAAM,KAAK,GAAG,gBAAgB,CAAC,EAAE,CAAC,CAAC;YACnC,OAAO,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;QACjH,CAAC,CAAC,CAAC;QACH,0FAA0F;QAC1F,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,gBAAgB,IAAI,EAAE,CAAC,YAAY,CAAC,aAAa,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC;QACnH,iFAAiF;QACjF,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,qBAAqB,EAAE,CAAC,CAAC;QACrL,MAAM,IAAI,GAAG,CAAC,EAAe,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;QAC5I,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;YACxB,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACnC,IAAI,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,eAAe,CAAC;gBAAE,OAAO;YACnD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACtC,8EAA8E;YAC9E,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAc,cAAc,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACrG,MAAM,SAAS,GAAG,KAAK,EAAE,qBAAqB,EAAE,CAAC;YACjD,MAAM,SAAS,GAAG,SAAS,IAAI,SAAS,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YAC/G,IAAI,SAAS,GAAG,EAAE,EAAE,CAAC;gBACnB,4FAA4F;gBAC5F,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;gBAClC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;gBACnC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;oBAClC,IAAI,CAAC,KAAK,CAAC;wBAAE,OAAO,KAAK,CAAC;oBAC1B,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;oBACvD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;oBACxD,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC;gBACjC,CAAC,CAAC,CAAC;gBACH,IAAI,OAAO;oBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACzF,CAAC;iBAAM,IAAI,SAAS,GAAG,OAAO,GAAG,GAAG,IAAI,EAAE,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,qCAAqC,CAAC,EAAE,CAAC;gBACtH,2FAA2F;gBAC3F,mGAAmG;gBACnG,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC7E,CAAC;QACH,CAAC,CAAC,CAAC;QACH,2EAA2E;QAC3E,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,yBAAyB,CAAC,CAAC;QACrE,MAAM,GAAG,GAAG,WAAW,EAAE,OAAO,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;QAClF,MAAM,oBAAoB,GAAG,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,GAAG,IAAI,WAAW,CAAC,kBAAkB,KAAK,GAAG,CAAC;QAC9F,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAC1E,CAAC,CAAC,CAAC;IACH,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,IAAI,CAAC,CAAC,oBAAoB;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,8BAA8B,EAAE,OAAO,EAAE,oEAAoE,EAAE,CAAC,CAAC;IAClL,IAAI,CAAC,CAAC,QAAQ,GAAG,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC,QAAQ,kDAAkD,EAAE,CAAC,CAAC;IACnK,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,oBAAoB,EAAE,OAAO,EAAE,oDAAoD,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAChN,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,yBAAyB,EAAE,OAAO,EAAE,4BAA4B,CAAC,CAAC,OAAO,cAAc,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;IACzN,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/reward.d.ts

@@ -0,0 +1,68 @@
+import type { Browser, Page } from "playwright";
+import { type VerifyOptions } from "./verify.ts";
+/**
+ * The training reward for one candidate surface (decision 0003).
+ *
+ * The verifier's score is the floor: valid, safe, accessible, laid out. On its own it rewards
+ * timid interfaces — a summary with nothing to do scores well and does nothing (research log,
+ * Phase 5 run 1). So the reward also asks whether the surface does the job: does it offer what the
+ * request needed (coverage), and can an agent actually set it in motion?
+ *
+ * Coverage replaced a weaker question — "was any offered capability attached to anything" — after a
+ * designer ranked the model's own output and the verifier disagreed with all of it. On "find 30
+ * minutes with Tom and Priya", the candidate that attempted nothing scored highest and was ranked
+ * last: a document that doesn't try can't make mistakes.
+ */
+/**
+ * What the bench says a request needs. Every request in bench/requests*.json already declares it:
+ * the capability the answer has to wire, the controls it has to offer by name, the components it
+ * should be built from, and the pattern it should follow. `mustNot` is prose for a reader, so it
+ * isn't read here.
+ */
+export interface RequestExpectation {
+    pattern?: string;
+    components?: string[];
+    capability?: string;
+    names?: string[];
+}
+export interface Reward {
+    /** 0–100, the verifier's score */
+    score: number;
+    /** Offered capabilities attached to something operable, over offered */
+    wiring: number;
+    /** How much of the job the request asked for the document actually does, 0–1 */
+    coverage: number;
+    /** How closely it matches the components and pattern the bench expected, 0–1. Reported, not scored. */
+    form: number;
+    /** The parts of the request's expectation the document doesn't meet */
+    missing: string[];
+    /** Whether a scripted agent could trigger one of the offered capabilities */
+    actionable: boolean;
+    /** Components in the document, used for the length penalty */
+    size: number;
+    /** The combined reward, 0–100-ish */
+    reward: number;
+    findings: string[];
+}
+/**
+ * How much of what the request asked for the document actually offers.
+ *
+ * The verifier's score says whether a document is correct; it has no term for whether it does the
+ * job. This is that term, and it needs no new annotation: the bench already declares, per request,
+ * the capability the answer has to wire and the control it has to offer by name. A surface that
+ * attempts nothing scores well and covers nothing.
+ */
+export declare function coverageOf(flat: any, expect?: RequestExpectation): {
+    coverage: number;
+    missing: string[];
+};
+/** Capabilities attached to a control a person or an agent can operate. */
+export declare function wiredCapabilities(flat: any): Set<string>;
+/**
+ * Can an agent set the surface's main action in motion? Presses the most prominent action it can
+ * find — the primary button, else the only button — and reports whether the host heard about it.
+ * A surface nobody can act on is decoration, however well it scores.
+ */
+export declare function probeActionable(page: Page, offered: string[]): Promise<boolean>;
+/** Scores one candidate for training: the verifier, plus whether the surface can be used. */
+export declare function rewardFor(doc: any, browser: Browser, offered: string[], opts?: VerifyOptions, medianSize?: number, expect?: RequestExpectation): Promise<Reward>;

package/dist/reward.js

@@ -0,0 +1,188 @@
+import { renderPage, sentActions } from "./browser.js";
+import { verifyDocument } from "./verify.js";
+/** Every label in the document a person could read off a control. */
+function labelsIn(flat) {
+    const out = [];
+    const add = (v) => typeof v === "string" && out.push(v);
+    for (const c of flat.components ?? []) {
+        add(c.label);
+        add(c.title);
+        for (const p of ["submit", "confirm", "cancel", "choose", "clear", "finish", "action"])
+            add(c[p]?.label);
+        for (const a of c.actions ?? [])
+            add(a.label);
+        for (const a of c.rowActions ?? [])
+            add(a.label);
+        for (const a of c.bulkActions ?? [])
+            add(a.label);
+    }
+    return out;
+}
+/**
+ * How much of what the request asked for the document actually offers.
+ *
+ * The verifier's score says whether a document is correct; it has no term for whether it does the
+ * job. This is that term, and it needs no new annotation: the bench already declares, per request,
+ * the capability the answer has to wire and the control it has to offer by name. A surface that
+ * attempts nothing scores well and covers nothing.
+ */
+export function coverageOf(flat, expect) {
+    if (!expect)
+        return { coverage: 1, missing: [] };
+    const parts = [];
+    const missing = [];
+    if (expect.capability) {
+        const wired = wiredCapabilities(flat).has(expect.capability);
+        parts.push(wired ? 1 : 0);
+        if (!wired)
+            missing.push(`capability ${expect.capability}`);
+    }
+    if (expect.names?.length) {
+        const labels = labelsIn(flat).map((l) => l.toLowerCase());
+        const hit = expect.names.filter((n) => labels.some((l) => l.includes(n.toLowerCase())));
+        parts.push(hit.length / expect.names.length);
+        for (const n of expect.names)
+            if (!hit.includes(n))
+                missing.push(`control "${n}"`);
+    }
+    if (expect.components?.length) {
+        const present = new Set((flat.components ?? []).map((c) => c.component));
+        const hit = expect.components.filter((c) => present.has(c));
+        parts.push(hit.length / expect.components.length);
+        for (const c of expect.components)
+            if (!present.has(c))
+                missing.push(`component ${c}`);
+    }
+    if (expect.pattern) {
+        const same = flat.surface?.pattern === expect.pattern;
+        parts.push(same ? 1 : 0);
+        if (!same)
+            missing.push(`pattern ${expect.pattern}`);
+    }
+    return { coverage: parts.length ? parts.reduce((a, b) => a + b, 0) / parts.length : 1, missing };
+}
+/** Capabilities attached to a control a person or an agent can operate. */
+export function wiredCapabilities(flat) {
+    const out = new Set();
+    const add = (a) => typeof a?.event?.name === "string" && out.add(a.event.name);
+    for (const c of flat.components ?? []) {
+        if (c.component === "Action" || c.component === "Card" || c.component === "Toggle")
+            add(c.action);
+        if (c.component === "Table")
+            add(c.rowAction);
+        if (Array.isArray(c.views))
+            for (const v of c.views)
+                add(v.action);
+        for (const p of ["submit", "confirm", "finish", "choose", "clear"])
+            add(c[p]?.action ?? c[p]);
+        for (const b of c.breadcrumbs ?? [])
+            add(b.action);
+    }
+    return out;
+}
+/**
+ * Can an agent set the surface's main action in motion? Presses the most prominent action it can
+ * find — the primary button, else the only button — and reports whether the host heard about it.
+ * A surface nobody can act on is decoration, however well it scores.
+ */
+export async function probeActionable(page, offered) {
+    if (!offered.length)
+        return true;
+    await fillRequired(page);
+    const before = (await sentActions(page)).length;
+    const candidates = [
+        page.locator(".pxd-surface .pxd-button-primary"),
+        page.locator('.pxd-surface button[type="submit"]'),
+        page.locator(".pxd-surface .pxd-card-link"),
+        page.locator(".pxd-surface .pxd-button"),
+    ];
+    for (const locator of candidates) {
+        if ((await locator.count()) === 0)
+            continue;
+        try {
+            await locator.first().click({ timeout: 2000 });
+        }
+        catch {
+            continue;
+        }
+        const sent = await sentActions(page);
+        if (sent.length > before && sent.slice(before).some((a) => offered.includes(a.name)))
+            return true;
+    }
+    return false;
+}
+/**
+ * Fills what the surface insists on before pressing anything: an agent completing a task would,
+ * and a form that can't be submitted empty isn't the same as a surface nobody can act on.
+ */
+async function fillRequired(page) {
+    const fields = page.locator(".pxd-surface input[required], .pxd-surface textarea[required]");
+    for (let i = 0; i < (await fields.count()); i++) {
+        const field = fields.nth(i);
+        try {
+            if (await field.inputValue())
+                continue;
+            const type = await field.getAttribute("type");
+            await field.fill(type === "number" ? "10" : type === "email" ? "someone@example.com" : type === "date" ? "2026-10-01" : "Test");
+        }
+        catch {
+            // A control that can't be typed into (a radio, a checkbox) is handled below.
+        }
+    }
+    for (const group of [".pxd-surface [role=radiogroup]", ".pxd-surface .pxd-people-list", ".pxd-surface .pxd-chips"]) {
+        const first = page.locator(`${group} [role=radio], ${group} [role=checkbox]`).first();
+        if ((await first.count()) && (await first.getAttribute("aria-checked")) !== "true") {
+            await first.click({ timeout: 1500 }).catch(() => { });
+        }
+    }
+}
+/** Scores one candidate for training: the verifier, plus whether the surface can be used. */
+export async function rewardFor(doc, browser, offered, opts = {}, medianSize = 0, expect) {
+    const report = await verifyDocument(doc, { browser, themes: ["material3"], modes: ["light"], widths: [390], ...opts });
+    const wiredSet = wiredCapabilities(doc);
+    const wiring = offered.length ? offered.filter((c) => wiredSet.has(c)).length / offered.length : 1;
+    // What the request asked for, when the bench says; otherwise fall back to wiring, which asks the
+    // weaker question of whether any offered capability was attached to anything.
+    // Two different questions, kept apart. Coverage is *did it do the job* — the capability the
+    // request needs, and a control named the way the task presses it. Form is *did it look the way
+    // the bench expected* — components and pattern — and it is reported but not scored: a designer
+    // ranking the model's own output was happy with surfaces the bench expected a Table from.
+    const { coverage, missing } = expect ? coverageOf(doc, { capability: expect.capability, names: expect.names }) : { coverage: wiring, missing: [] };
+    const form = expect ? coverageOf(doc, { components: expect.components, pattern: expect.pattern }).coverage : 1;
+    let actionable = false;
+    if (report.score > 0) {
+        const { page } = await renderPage(browser, doc, { theme: "material3", mode: "light", width: 390 });
+        try {
+            actionable = await probeActionable(page, offered);
+        }
+        finally {
+            await page.close();
+        }
+    }
+    const size = doc.components?.length ?? 0;
+    // There is no length penalty any more. It was there so padding a document to satisfy checks
+    // wouldn't pay, but it pushed the same way as every other term: on "stop emailing me" the
+    // designer ranked the four-toggle version first and the one-toggle version last, and the reward
+    // was already biased towards the small one. `medianSize` is kept in the signature so callers
+    // don't change; it is no longer read.
+    const padding = 0;
+    void medianSize;
+    // Coverage multiplies rather than adds. A surface that doesn't do what was asked isn't a good
+    // surface with a deduction; it isn't an answer, and adding a bonus for coverage leaves it ahead
+    // of a surface that tried and made two mistakes — which is the ordering a designer ranked last.
+    // The 0.2 floor keeps a partly-covering document from collapsing to nothing, because the bench's
+    // expectations are themselves fallible.
+    const reward = Math.max(0, report.score * (0.2 + 0.8 * coverage) + (actionable ? 20 : 0) - padding);
+    return {
+        score: report.score,
+        wiring,
+        coverage,
+        form,
+        missing,
+        actionable,
+        size,
+        reward,
+        findings: [...report.static, ...report.targets.flatMap((t) => t.findings)].filter((f) => f.severity === "error").map((f) => f.check),
+    };
+}
+//# sourceMappingURL=reward.js.map

package/dist/reward.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reward.js","sourceRoot":"","sources":["../src/reward.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAE,cAAc,EAAsB,MAAM,aAAa,CAAC;AAiDjE,qEAAqE;AACrE,SAAS,QAAQ,CAAC,IAAS;IACzB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;QACtC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACb,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACb,KAAK,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACzG,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,IAAI,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,IAAI,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CAAC,IAAS,EAAE,MAA2B;IAC/D,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC7D,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK;YAAE,OAAO,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;QACxF,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC7C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK;YAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QAC9E,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAClD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,KAAK,MAAM,CAAC,OAAO,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;AACnG,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,iBAAiB,CAAC,IAAS;IACzC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,GAAG,GAAG,CAAC,CAAM,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpF,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,KAAK,MAAM,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ;YAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAClG,IAAI,CAAC,CAAC,SAAS,KAAK,OAAO;YAAE,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;gBAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACnE,KAAK,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9F,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,IAAI,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAU,EAAE,OAAiB;IACjE,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;IACzB,MAAM,MAAM,GAAG,CAAC,MAAM,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;IAChD,MAAM,UAAU,GAAG;QACjB,IAAI,CAAC,OAAO,CAAC,kCAAkC,CAAC;QAChD,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC;QAClD,IAAI,CAAC,OAAO,CAAC,6BAA6B,CAAC;QAC3C,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;KACzC,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,UAAU,EAAE,CAAC;QACjC,IAAI,CAAC,MAAM,OAAO,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC;YAAE,SAAS;QAC5C,IAAI,CAAC;YACH,MAAM,OAAO,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QACjD,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,MAAM,GAAG,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACpG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,KAAK,UAAU,YAAY,CAAC,IAAU;IACpC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,+DAA+D,CAAC,CAAC;IAC7F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC;YACH,IAAI,MAAM,KAAK,CAAC,UAAU,EAAE;gBAAE,SAAS;YACvC,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;YAC9C,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAClI,CAAC;QAAC,MAAM,CAAC;YACP,6EAA6E;QAC/E,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,gCAAgC,EAAE,+BAA+B,EAAE,yBAAyB,CAAC,EAAE,CAAC;QACnH,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,KAAK,kBAAkB,KAAK,kBAAkB,CAAC,CAAC,KAAK,EAAE,CAAC;QACtF,IAAI,CAAC,MAAM,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;YACnF,MAAM,KAAK,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;AACH,CAAC;AAED,6FAA6F;AAC7F,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,GAAQ,EACR,OAAgB,EAChB,OAAiB,EACjB,IAAI,GAAkB,EAAE,EACxB,UAAU,GAAG,CAAC,EACd,MAA2B;IAE3B,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;IACvH,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACnG,iGAAiG;IACjG,8EAA8E;IAC9E,4FAA4F;IAC5F,+FAA+F;IAC/F,+FAA+F;IAC/F,0FAA0F;IAC1F,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACnJ,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAE/G,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACnG,IAAI,CAAC;YACH,UAAU,GAAG,MAAM,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACpD,CAAC;gBAAS,CAAC;YACT,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;QACrB,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC,CAAC;IACzC,4FAA4F;IAC5F,0FAA0F;IAC1F,gGAAgG;IAChG,6FAA6F;IAC7F,sCAAsC;IACtC,MAAM,OAAO,GAAG,CAAC,CAAC;IAClB,KAAK,UAAU,CAAC;IAChB,8FAA8F;IAC9F,gGAAgG;IAChG,gGAAgG;IAChG,iGAAiG;IACjG,wCAAwC;IACxC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC;IACpG,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,MAAM;QACN,QAAQ;QACR,IAAI;QACJ,OAAO;QACP,UAAU;QACV,IAAI;QACJ,MAAM;QACN,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;KACrI,CAAC;AACJ,CAAC"}

package/dist/static.d.ts

@@ -0,0 +1,15 @@
+import { type Rule } from "@polyxd/spec/patterns";
+import { type CapabilityRegistry } from "@polyxd/spec/capabilities";
+import type { Finding } from "./rendered.ts";
+export interface StaticOptions {
+    registry?: CapabilityRegistry;
+    /** Design Direction or acceptance rules to hold the document to */
+    rules?: Rule[];
+    /** Primary actions allowed in one view (Design Direction's profile.emphasisBudget) */
+    emphasisBudget?: number;
+}
+/**
+ * Document-level checks that need no rendering: the spec validator, the declared pattern,
+ * capabilities, direction/acceptance rules, plus agent-readiness heuristics.
+ */
+export declare function staticAudit(doc: any, opts?: StaticOptions): Finding[];