@intentius/tsad-conformance 1.4.0

package/dist/rules.js

@@ -0,0 +1,135 @@
+/**
+ * #34 — the rule index, and the check a downstream document runs against it.
+ *
+ * chant's documentation describes the mechanism this specification owns. A
+ * subset change that lands here can leave that prose describing the old
+ * subset, and chant#2306 was three such claims, one in a shape chant's own
+ * parity gate could not see because it only looked at fenced blocks under
+ * headings. This gate looks at rule identifiers instead: every `S-*` or
+ * `F-*` a document cites must exist at the specification version the
+ * document's implementation declares, and where the document quotes a rule,
+ * the quote must be the rule's own text.
+ *
+ * Two things a document can do, and what each is held to:
+ *
+ * - Mention an identifier in prose, `F-Depth`. It must be defined. Nothing
+ *   about the surrounding claim is checked; the identifier is a link, and a
+ *   link to nothing is the failure.
+ * - Quote a rule, as a blockquote directly under a marker line. The marker
+ *   is a comment on a line of its own whose content is `rule: F-Depth`, in
+ *   MDX's comment form or HTML's, and the blockquote follows it:
+ *
+ *       > The rule's text, or its opening, verbatim.
+ *
+ *   The quoted text must occur verbatim in the rule's normative text. A
+ *   paraphrase is a claim the gate cannot check, so it is not accepted where a
+ *   quote was promised.
+ */
+import { readFileSync } from "node:fs";
+import { join } from "node:path";
+/** The five files that define rules, in reading order. The same list `spec/fixtures.test.ts` gates on. */
+export const RULE_FILES = ["grammar.md", "judgments.md", "values.md", "divergence.md", "hosts.md", "rules.md"];
+const DEFINITION = [
+    /^#{1,6}\s+([SF]-[A-Za-z0-9-]+)\b/,
+    /^\*\*([SF]-[A-Za-z0-9-]+)[.\s(]/,
+    /^\|\s*([SF]-[A-Za-z0-9-]+)\s*\|/,
+    /^\s*([SF]-[A-Za-z0-9-]+)\s*::=/,
+];
+const collapse = (s) => s.replace(/\s+/g, " ").trim();
+/** Every rule the specification defines, with its text. `specDir` holds the rule files and `VERSION`. */
+export function loadRules(specDir) {
+    const version = readFileSync(join(specDir, "VERSION"), "utf8").trim();
+    const rules = new Map();
+    for (const file of RULE_FILES) {
+        const lines = readFileSync(join(specDir, file), "utf8").split("\n");
+        let current;
+        const flush = () => {
+            if (!current)
+                return;
+            const text = collapse(current.body.join("\n"));
+            // A rule may be defined in more than one place (a table row and a
+            // rationale paragraph). The first definition wins; later ones append.
+            const prior = rules.get(current.id);
+            rules.set(current.id, { id: current.id, file, text: prior ? `${prior.text} ${text}` : text });
+            current = undefined;
+        };
+        for (const line of lines) {
+            const id = DEFINITION.map((re) => re.exec(line)?.[1]).find(Boolean);
+            if (id) {
+                flush();
+                current = { id, body: [line] };
+                continue;
+            }
+            if (/^#{1,6}\s/.test(line) || /^---\s*$/.test(line)) {
+                flush();
+                continue;
+            }
+            current?.body.push(line);
+        }
+        flush();
+    }
+    return { version, rules };
+}
+const IDENTIFIER = /\b([SF]-[A-Z][A-Za-z0-9]*(?:-[A-Za-z0-9]+)*)\b/g;
+const MARKER = /^\s*(?:\{\/\*|<!--)\s*rule:\s*([SF]-[A-Za-z0-9-]+)\s*(?:\*\/\}|-->)\s*$/;
+/**
+ * Check one document's citations against the rule index.
+ *
+ * @param declared the specification version the document's implementation
+ *   declares, compared against the index's; `undefined` skips the comparison
+ *   and is reported as nothing, since an undeclared version is #18's concern
+ *   and not this gate's.
+ */
+export function checkCitations(document, index, declared) {
+    const findings = [];
+    // Same major, minor not ahead of the index: the policy says an addition
+    // leaves an older minor's rules unchanged, so a document written against
+    // 1.0 is held to 1.1's index. A different major, or a declaration ahead of
+    // the index, is a mismatch.
+    if (declared !== undefined) {
+        const [dm, dn] = declared.split(".").map(Number);
+        const [im, in_] = index.version.split(".").map(Number);
+        if (!(dm === im && dn <= in_))
+            findings.push({ kind: "version-mismatch", declared, spec: index.version });
+    }
+    const lines = document.split("\n");
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i];
+        const marker = MARKER.exec(line);
+        if (marker) {
+            const id = marker[1];
+            const rule = index.rules.get(id);
+            if (!rule) {
+                findings.push({ kind: "unknown-identifier", id, line: i + 1 });
+                continue;
+            }
+            const quoted = [];
+            let j = i + 1;
+            while (j < lines.length && /^\s*>/.test(lines[j]))
+                quoted.push(lines[j].replace(/^\s*>\s?/, "")), j++;
+            if (quoted.length === 0) {
+                findings.push({ kind: "marker-without-quote", id, line: i + 1 });
+                continue;
+            }
+            const quote = collapse(quoted.join(" "));
+            if (!rule.text.includes(quote))
+                findings.push({ kind: "quote-not-in-rule", id, line: i + 1, quote });
+            continue;
+        }
+        for (const m of line.matchAll(IDENTIFIER)) {
+            if (!index.rules.has(m[1]))
+                findings.push({ kind: "unknown-identifier", id: m[1], line: i + 1 });
+        }
+    }
+    return findings;
+}
+/** One line per finding, for a test's failure message. */
+export function describeFinding(f) {
+    switch (f.kind) {
+        case "unknown-identifier": return `line ${f.line}: ${f.id} is not a rule of this specification`;
+        case "quote-not-in-rule": return `line ${f.line}: the quote under ${f.id} is not the rule's text: "${f.quote}"`;
+        case "marker-without-quote": return `line ${f.line}: rule marker ${f.id} is not followed by a blockquote`;
+        case "version-mismatch": return `the document's implementation declares spec ${f.declared}, the rules are at ${f.spec}`;
+    }
+}
+//# sourceMappingURL=rules.js.map

package/dist/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../src/rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,0GAA0G;AAC1G,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,eAAe,EAAE,UAAU,EAAE,UAAU,CAAU,CAAC;AASxH,MAAM,UAAU,GAAG;IACjB,kCAAkC;IAClC,iCAAiC;IACjC,iCAAiC;IACjC,gCAAgC;CACjC,CAAC;AAEF,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAE9D,yGAAyG;AACzG,MAAM,UAAU,SAAS,CAAC,OAAe;IACvC,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IACtE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgB,CAAC;IACtC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,OAAmD,CAAC;QACxD,MAAM,KAAK,GAAG,GAAG,EAAE;YACjB,IAAI,CAAC,OAAO;gBAAE,OAAO;YACrB,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/C,kEAAkE;YAClE,sEAAsE;YACtE,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACpC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9F,OAAO,GAAG,SAAS,CAAC;QACtB,CAAC,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpE,IAAI,EAAE,EAAE,CAAC;gBAAC,KAAK,EAAE,CAAC;gBAAC,OAAO,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC9D,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAC,KAAK,EAAE,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC3E,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QACD,KAAK,EAAE,CAAC;IACV,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAQD,MAAM,UAAU,GAAG,iDAAiD,CAAC;AACrE,MAAM,MAAM,GAAG,yEAAyE,CAAC;AAEzF;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,QAAgB,EAChB,KAA4D,EAC5D,QAAiB;IAEjB,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,wEAAwE;IACxE,yEAAyE;IACzE,2EAA2E;IAC3E,4BAA4B;IAC5B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjD,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACvD,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5G,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACrB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACjC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YACxF,MAAM,MAAM,GAAa,EAAE,CAAC;YAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YACtG,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YACxG,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACzC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YACrG,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnG,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,eAAe,CAAC,CAAkB;IAChD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,oBAAoB,CAAC,CAAC,OAAO,QAAQ,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,sCAAsC,CAAC;QAChG,KAAK,mBAAmB,CAAC,CAAC,OAAO,QAAQ,CAAC,CAAC,IAAI,qBAAqB,CAAC,CAAC,EAAE,6BAA6B,CAAC,CAAC,KAAK,GAAG,CAAC;QAChH,KAAK,sBAAsB,CAAC,CAAC,OAAO,QAAQ,CAAC,CAAC,IAAI,iBAAiB,CAAC,CAAC,EAAE,kCAAkC,CAAC;QAC1G,KAAK,kBAAkB,CAAC,CAAC,OAAO,+CAA+C,CAAC,CAAC,QAAQ,sBAAsB,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1H,CAAC;AACH,CAAC"}

package/dist/runner.d.ts

@@ -0,0 +1,26 @@
+import type { ConformanceAdapter } from "./adapter.js";
+import type { ExpressionFixture, Fixture, ProjectFixture } from "./fixture.js";
+export interface FixtureReport {
+    fixture: string;
+    adapter: string;
+    pass: boolean;
+    skipped?: string;
+    failures: string[];
+}
+/**
+ * The comparison form of a folded value. `JSON.stringify` drops an
+ * `undefined`-valued key and turns an `undefined` element into `null`, which
+ * is exactly the distinction F-Val-Undefined draws (#82): a fixture that wants
+ * to see it writes the sentinel `"$undefined"` where the fold must yield
+ * `undefined`, and this encoding maps the fold's `undefined` to the same
+ * sentinel before the two are compared. Non-finite numbers, which JSON cannot
+ * write either, encode as ToString would print them.
+ */
+export declare function encodeValue(v: unknown): string;
+export declare function runFixture(adapter: ConformanceAdapter, f: ExpressionFixture): FixtureReport;
+export declare function runFixtures(adapter: ConformanceAdapter, fixtures: Fixture[]): Promise<FixtureReport[]>;
+/** #24 — a whole-build fixture. J3's edges are invisible in any single file, so this is the only shape that can test them. */
+export declare function runProjectFixture(adapter: ConformanceAdapter, f: ProjectFixture): Promise<FixtureReport>;
+/** #11 — two implementations must agree on every fixture, independently of what the fixture expects. */
+export declare function compareAdapters(a: ConformanceAdapter, b: ConformanceAdapter, fixtures: Fixture[]): Promise<string[]>;
+//# sourceMappingURL=runner.d.ts.map

package/dist/runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../src/runner.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAI/E,MAAM,WAAW,aAAa;IAAG,OAAO,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE;AAExH;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM,CAS9C;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,kBAAkB,EAAE,CAAC,EAAE,iBAAiB,GAAG,aAAa,CAe3F;AACD,wBAAsB,WAAW,CAAC,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC,CAK5G;AAED,8HAA8H;AAC9H,wBAAsB,iBAAiB,CAAC,OAAO,EAAE,kBAAkB,EAAE,CAAC,EAAE,cAAc,GAAG,OAAO,CAAC,aAAa,CAAC,CAmC9G;AAED,wGAAwG;AACxG,wBAAsB,eAAe,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,kBAAkB,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CA6B1H"}

package/dist/runner.js

@@ -0,0 +1,152 @@
+import { expressionFixtures, projectFixtures } from "./fixture.js";
+import { requireHost } from "./host.js";
+/**
+ * The comparison form of a folded value. `JSON.stringify` drops an
+ * `undefined`-valued key and turns an `undefined` element into `null`, which
+ * is exactly the distinction F-Val-Undefined draws (#82): a fixture that wants
+ * to see it writes the sentinel `"$undefined"` where the fold must yield
+ * `undefined`, and this encoding maps the fold's `undefined` to the same
+ * sentinel before the two are compared. Non-finite numbers, which JSON cannot
+ * write either, encode as ToString would print them.
+ */
+export function encodeValue(v) {
+    const walk = (x) => {
+        if (x === undefined)
+            return "$undefined";
+        if (typeof x === "number" && !Number.isFinite(x))
+            return String(x);
+        if (x === null || typeof x !== "object")
+            return x;
+        if (Array.isArray(x))
+            return x.map(walk);
+        return Object.fromEntries(Object.entries(x).map(([k, e]) => [k, walk(e)]));
+    };
+    return JSON.stringify(walk(v));
+}
+export function runFixture(adapter, f) {
+    const failures = [];
+    let skipped;
+    const s = adapter.shape(f.input, f.exportName);
+    if (s === "unavailable")
+        skipped = "shape classifier unavailable";
+    else if (s.accepted !== (f.shape === "accept"))
+        failures.push(`shape: expected ${f.shape}, got ${s.accepted ? "accept" : `reject (${s.message})`}`);
+    const r = adapter.foldExport(f.input, f.exportName);
+    if (f.fold === "fold") {
+        if (!r.ok)
+            failures.push(`fold: expected fold, got run (${r.message})`);
+        else if (encodeValue(r.value) !== encodeValue(f.value))
+            failures.push(`fold: value ${encodeValue(r.value)} ≠ expected ${encodeValue(f.value)}`);
+    }
+    else {
+        if (r.ok)
+            failures.push(`fold: expected run, got fold with ${JSON.stringify(r.value)}`);
+        else if (f.rejectAt && (r.line !== f.rejectAt.line || r.column !== f.rejectAt.column))
+            failures.push(`fold: rejection at ${r.line}:${r.column}, expected ${f.rejectAt.line}:${f.rejectAt.column}`);
+    }
+    return { fixture: f.id, adapter: adapter.name, pass: failures.length === 0, skipped, failures };
+}
+export async function runFixtures(adapter, fixtures) {
+    return [
+        ...expressionFixtures(fixtures).map((f) => runFixture(adapter, f)),
+        ...(await Promise.all(projectFixtures(fixtures).map((f) => runProjectFixture(adapter, f)))),
+    ];
+}
+/** #24 — a whole-build fixture. J3's edges are invisible in any single file, so this is the only shape that can test them. */
+export async function runProjectFixture(adapter, f) {
+    const base = { fixture: f.id, adapter: adapter.name };
+    if (!adapter.foldProject)
+        return { ...base, pass: true, skipped: "no project entry", failures: [] };
+    const r = await adapter.foldProject(f.files, f.host ? requireHost(f.host) : undefined);
+    if (r === "unavailable")
+        return { ...base, pass: true, skipped: "project entry unavailable", failures: [] };
+    const failures = [];
+    for (const [path, want] of Object.entries(f.verdicts)) {
+        const got = r.verdicts[path];
+        if (!got) {
+            failures.push(`${path}: no verdict reported`);
+            continue;
+        }
+        if (got.kind !== want)
+            failures.push(`${path}: expected ${want}, got ${got.kind}${got.kind === "run" ? ` (${got.reason})` : ""}`);
+    }
+    for (const path of Object.keys(r.verdicts))
+        if (!(path in f.verdicts))
+            failures.push(`${path}: verdict reported but not expected`);
+    for (const [path, want] of Object.entries(f.tentative ?? {})) {
+        if (!r.tentative) {
+            failures.push(`${path}: fixture expects a tentative verdict, adapter reports none`);
+            continue;
+        }
+        if (r.tentative[path] !== want)
+            failures.push(`${path}: tentative expected ${want}, got ${r.tentative[path] ?? "none"}`);
+    }
+    for (const [path, want] of Object.entries(f.taintedBy ?? {})) {
+        if (!r.taintedBy) {
+            failures.push(`${path}: fixture expects a taint source, adapter reports none`);
+            continue;
+        }
+        if (r.taintedBy[path] !== want)
+            failures.push(`${path}: tainted by ${r.taintedBy[path] ?? "nothing"}, expected ${want}`);
+    }
+    for (const [path, want] of Object.entries(f.rejectRule ?? {})) {
+        const got = r.verdicts[path];
+        if (got?.kind !== "run") {
+            failures.push(`${path}: expected a ${want} rejection, but the file folded`);
+            continue;
+        }
+        if (got.rule !== undefined && got.rule !== want)
+            failures.push(`${path}: rejected under ${got.rule}, expected ${want} (${got.reason})`);
+    }
+    for (const [path, want] of Object.entries(f.exports ?? {})) {
+        const got = r.verdicts[path];
+        if (got?.kind !== "fold") {
+            failures.push(`${path}: expected exports, but the file did not fold`);
+            continue;
+        }
+        for (const [name, value] of Object.entries(want)) {
+            if (encodeValue(got.exports[name]) !== encodeValue(value)) {
+                failures.push(`${path}: export ${name} = ${encodeValue(got.exports[name])} ≠ expected ${encodeValue(value)}`);
+            }
+        }
+    }
+    return { ...base, pass: failures.length === 0, failures };
+}
+/** #11 — two implementations must agree on every fixture, independently of what the fixture expects. */
+export async function compareAdapters(a, b, fixtures) {
+    const dis = [];
+    for (const f of projectFixtures(fixtures)) {
+        if (!a.foldProject || !b.foldProject)
+            continue;
+        const host = f.host ? requireHost(f.host) : undefined;
+        const [ra, rb] = await Promise.all([a.foldProject(f.files, host), b.foldProject(f.files, host)]);
+        if (ra === "unavailable" || rb === "unavailable")
+            continue;
+        for (const path of new Set([...Object.keys(ra.verdicts), ...Object.keys(rb.verdicts)])) {
+            const va = ra.verdicts[path]?.kind ?? "absent", vb = rb.verdicts[path]?.kind ?? "absent";
+            if (va !== vb)
+                dis.push(`${f.id} ${path}: ${a.name} ${va}, ${b.name} ${vb}`);
+            // The verdict alone cannot tell a seed from a taint casualty, and both of
+            // those are "run". Where both implementations report the tentative
+            // verdict and the edge, compare them: that is where J3 actually lives.
+            if (ra.tentative && rb.tentative && ra.tentative[path] !== rb.tentative[path]) {
+                dis.push(`${f.id} ${path}: tentative — ${a.name} ${ra.tentative[path] ?? "none"}, ${b.name} ${rb.tentative[path] ?? "none"}`);
+            }
+            if (ra.taintedBy && rb.taintedBy && ra.taintedBy[path] !== rb.taintedBy[path]) {
+                dis.push(`${f.id} ${path}: tainted by — ${a.name} ${ra.taintedBy[path] ?? "nothing"}, ${b.name} ${rb.taintedBy[path] ?? "nothing"}`);
+            }
+        }
+    }
+    for (const f of expressionFixtures(fixtures)) {
+        const ra = a.foldExport(f.input, f.exportName), rb = b.foldExport(f.input, f.exportName);
+        if (ra.ok !== rb.ok)
+            dis.push(`${f.id}: ${a.name} ${ra.ok ? "folds" : "runs"}, ${b.name} ${rb.ok ? "folds" : "runs"}`);
+        else if (ra.ok && rb.ok && encodeValue(ra.value) !== encodeValue(rb.value))
+            dis.push(`${f.id}: values differ — ${a.name} ${encodeValue(ra.value)} vs ${b.name} ${encodeValue(rb.value)}`);
+        const sa = a.shape(f.input, f.exportName), sb = b.shape(f.input, f.exportName);
+        if (sa !== "unavailable" && sb !== "unavailable" && sa.accepted !== sb.accepted)
+            dis.push(`${f.id}: shape — ${a.name} ${sa.accepted ? "accepts" : "rejects"}, ${b.name} ${sb.accepted ? "accepts" : "rejects"}`);
+    }
+    return dis;
+}
+//# sourceMappingURL=runner.js.map

package/dist/runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../src/runner.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAIxC;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,CAAU;IACpC,MAAM,IAAI,GAAG,CAAC,CAAU,EAAW,EAAE;QACnC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,YAAY,CAAC;QACzC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;QACnE,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC;QAClD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,OAA2B,EAAE,CAAoB;IAC1E,MAAM,QAAQ,GAAa,EAAE,CAAC;IAAC,IAAI,OAA2B,CAAC;IAC/D,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,aAAa;QAAE,OAAO,GAAG,8BAA8B,CAAC;SAC7D,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;IACpJ,MAAM,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;aACnE,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,eAAe,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,eAAe,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAClJ,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,CAAC,qCAAqC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;aACnF,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;YACnF,QAAQ,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,cAAc,CAAC,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAChH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAClG,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,OAA2B,EAAE,QAAmB;IAChF,OAAO;QACL,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAClE,GAAG,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;KAC5F,CAAC;AACJ,CAAC;AAED,8HAA8H;AAC9H,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,OAA2B,EAAE,CAAiB;IACpF,MAAM,IAAI,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;IACtD,IAAI,CAAC,OAAO,CAAC,WAAW;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACpG,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACvF,IAAI,CAAC,KAAK,aAAa;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,2BAA2B,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC5G,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtD,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,GAAG,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,uBAAuB,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACtE,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,cAAc,IAAI,SAAS,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACpI,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;QAAE,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,qCAAqC,CAAC,CAAC;IACnI,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,6DAA6D,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACpH,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,wBAAwB,IAAI,SAAS,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IAC3H,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,wDAAwD,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC/G,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,gBAAgB,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,SAAS,cAAc,IAAI,EAAE,CAAC,CAAC;IAC3H,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;QAC9D,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,GAAG,EAAE,IAAI,KAAK,KAAK,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,gBAAgB,IAAI,iCAAiC,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACnH,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,oBAAoB,GAAG,CAAC,IAAI,cAAc,IAAI,KAAK,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;IAC1I,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;QAC3D,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,GAAG,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,+CAA+C,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC9G,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,IAAI,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1D,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,YAAY,IAAI,MAAM,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,eAAe,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAChH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;AAC5D,CAAC;AAED,wGAAwG;AACxG,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,CAAqB,EAAE,CAAqB,EAAE,QAAmB;IACrG,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC,WAAW;YAAE,SAAS;QAC/C,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtD,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QACjG,IAAI,EAAE,KAAK,aAAa,IAAI,EAAE,KAAK,aAAa;YAAE,SAAS;QAC3D,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACvF,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,QAAQ,CAAC;YACzF,IAAI,EAAE,KAAK,EAAE;gBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC;YAC7E,0EAA0E;YAC1E,mEAAmE;YACnE,uEAAuE;YACvE,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9E,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,iBAAiB,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;YAChI,CAAC;YACD,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9E,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,kBAAkB,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,SAAS,KAAK,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC,CAAC;YACvI,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;QACzF,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;aAClH,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC,IAAI,IAAI,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC1L,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;QAC/E,IAAI,EAAE,KAAK,aAAa,IAAI,EAAE,KAAK,aAAa,IAAI,EAAE,CAAC,QAAQ,KAAK,EAAE,CAAC,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;IACnN,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/fixtures/F-CallLeak/a-call-returns-a-live-object/expect.json

@@ -0,0 +1,8 @@
+{
+  "rules": ["F-CallLeak", "F-Val-Live"],
+  "project": true,
+  "host": "shapes",
+  "verdicts": { "leaky.ts": "fold", "pure.ts": "fold", "caller.ts": "fold" },
+  "exports": { "caller.ts": { "data": { "doubled": 42 } } },
+  "note": "Two project-local calls in one file, one leaking and one not. shared() returns a live object the caller's arguments did not carry in, so caller.ts captures leaky.ts; twice() returns computed plain data, so pure.ts is not captured. Everything folds here, and the difference is only visible in the edges — which is why the taint fixtures are the ones that make it observable."
+}

package/fixtures/F-CallLeak/a-call-returns-a-live-object/project/caller.ts

@@ -0,0 +1,5 @@
+import { shared } from "./leaky";
+import { twice } from "./pure";
+
+export const live = shared();
+export const data = twice(21);

package/fixtures/F-CallLeak/a-call-returns-a-live-object/project/leaky.ts

@@ -0,0 +1,7 @@
+import { registry } from "@tsad/shapes";
+
+export function shared() {
+  return registry;
+}
+
+export const marker = 1;

package/fixtures/F-CallLeak/a-call-returns-a-live-object/project/pure.ts

@@ -0,0 +1,5 @@
+export function twice(n: number) {
+  return { doubled: n * 2 };
+}
+
+export const marker = 2;

package/fixtures/F-Cycle/mutual-imports/expect.json

@@ -0,0 +1,6 @@
+{
+  "rules": ["F-Cycle"],
+  "project": true,
+  "verdicts": { "a.ts": "run", "b.ts": "run" },
+  "note": "Resolution meets itself. The requirement is a located error naming the cycle, not an infinite regress, so the only assertion a conforming implementation must satisfy is that both files get a verdict at all."
+}

package/fixtures/F-Cycle/mutual-imports/project/a.ts

@@ -0,0 +1,3 @@
+import { b } from "./b";
+
+export const a = { b };

package/fixtures/F-Cycle/mutual-imports/project/b.ts

@@ -0,0 +1,3 @@
+import { a } from "./a";
+
+export const b = { a };

package/fixtures/F-Depth/exhaustion-is-a-fallback/expect.json

@@ -0,0 +1,19 @@
+{
+  "rules": [
+    "F-Depth",
+    "F-Eval-CallLocal"
+  ],
+  "project": true,
+  "verdicts": {
+    "rec.ts": "run",
+    "deep.ts": "run"
+  },
+  "tentative": {
+    "rec.ts": "fold",
+    "deep.ts": "run"
+  },
+  "taintedBy": {
+    "rec.ts": "deep.ts"
+  },
+  "note": "A recursion deep enough to exceed any bound an implementation would choose. The value of the bound is the implementation's (#71): the reference stops at 32, chant's expression path at 32 and its cross-file path at the engine's stack, and every one of them reports a fallback rather than a failure or a wrong answer. rec.ts folds alone and the forward edge takes it along."
+}

package/fixtures/F-Depth/exhaustion-is-a-fallback/project/deep.ts

@@ -0,0 +1,3 @@
+import { down } from "./rec";
+
+export const floor = down(50000);

package/fixtures/F-Depth/exhaustion-is-a-fallback/project/rec.ts

@@ -0,0 +1,3 @@
+export function down(n: number) {
+  return n <= 0 ? 0 : down(n - 1);
+}

package/fixtures/F-Div-Depth/new-inside-function-body/expect.json

@@ -0,0 +1,21 @@
+{
+  "rules": [
+    "F-Div-Depth",
+    "F-Eval-New"
+  ],
+  "project": true,
+  "verdicts": {
+    "fn.ts": "run",
+    "app.ts": "run"
+  },
+  "rejectRule": {
+    "app.ts": "F-Eval-New"
+  },
+  "note": "A `new` inside a folded function body is refused before its callee is even looked up: a construction reached through a call would be an entity the file's own declarators never named. fn.ts itself folds; only calling it does not. fn.ts would fold on its own; app.ts imports it and runs, so the forward edge (F-Succ) takes it along.",
+  "tentative": {
+    "fn.ts": "fold"
+  },
+  "taintedBy": {
+    "fn.ts": "app.ts"
+  }
+}

package/fixtures/F-Div-Depth/new-inside-function-body/project/app.ts

@@ -0,0 +1,3 @@
+import { make } from "./fn";
+
+export const t = make();

package/fixtures/F-Div-Depth/new-inside-function-body/project/fn.ts

@@ -0,0 +1,3 @@
+export function make() {
+  return new Thing({ name: "t" });
+}

package/fixtures/F-Div-Eager/referenced-not-called/expect.json

@@ -0,0 +1,8 @@
+{
+  "rules": ["F-Div-Eager", "F-Eval-Ident"],
+  "project": true,
+  "host": "shapes",
+  "verdicts": { "app.ts": "run" },
+  "rejectRule": { "app.ts": "F-Eval-Ident" },
+  "note": "A registered eager name is called, not referenced: as a value it is a function, and F-Eval-Ident step 3 rejects it with \"call it instead\". Shape sees a bare identifier and accepts."
+}

package/fixtures/F-Div-Eager/referenced-not-called/project/app.ts

@@ -0,0 +1,3 @@
+import { count } from "@tsad/shapes";
+
+export const f = { counter: count };

package/fixtures/F-Div-NsNew/namespace-callee/expect.json

@@ -0,0 +1,18 @@
+{
+  "rules": [
+    "F-Div-NsNew",
+    "F-Div",
+    "F-Direction",
+    "F-Eval-New",
+    "S-New",
+    "F-Obs-Messages"
+  ],
+  "export": "b",
+  "shape": "accept",
+  "fold": "run",
+  "note": "S-New leaves the callee's shape unconstrained, so the classifier accepts; the folder requires a plain identifier, because a class is unreachable through a package namespace (F-Namespace). The rejection's location is asserted and its wording is not (F-Obs-Messages).",
+  "rejectAt": {
+    "line": 3,
+    "column": 18
+  }
+}

package/fixtures/F-Div-NsNew/namespace-callee/input.ts

@@ -0,0 +1,3 @@
+import * as ns from "@tsad/shapes";
+
+export const b = new ns.Bucket({ name: "b" });

package/fixtures/F-Div-Provenance/helper-name-from-project-import/expect.json

@@ -0,0 +1,20 @@
+{
+  "rules": [
+    "F-Div-Provenance",
+    "F-Host-NoSubstitution",
+    "F-Host-Closed-vs-Open"
+  ],
+  "project": true,
+  "host": "shapes",
+  "verdicts": {
+    "local.ts": "run",
+    "app.ts": "run"
+  },
+  "note": "The name upper is a registered helper, so the classifier accepts the call and J1 yields a {__helper} envelope; but the binding comes from a project file, not the host, and revival will not substitute the host's upper for the one the file imported. The file falls back. A registered name keeps its meaning (F-Eval-CallLocal is checked after the registered shapes), which is why this is not simply a project-local call. local.ts would fold on its own; app.ts imports it and runs, so the forward edge (F-Succ) takes it along.",
+  "tentative": {
+    "local.ts": "fold"
+  },
+  "taintedBy": {
+    "local.ts": "app.ts"
+  }
+}

package/fixtures/F-Div-Provenance/helper-name-from-project-import/project/app.ts

@@ -0,0 +1,3 @@
+import { upper } from "./local";
+
+export const v = upper("a");

package/fixtures/F-Div-Provenance/helper-name-from-project-import/project/local.ts

@@ -0,0 +1,3 @@
+export function upper(s: string) {
+  return s + "!";
+}

package/fixtures/F-Div-SameFileNew/no-module-graph/expect.json

@@ -0,0 +1,8 @@
+{
+  "rules": ["F-Div-SameFileNew", "F-Eval-Ident"],
+  "export": "wrapper",
+  "shape": "accept",
+  "fold": "run",
+  "rejectAt": { "line": 5, "column": 33 },
+  "note": "The same shape F-Prebuild folds in a build, judged by an expression folder with no module graph. Nothing can construct, so `externals` has no instance for `base`, step 1 rejects at the reference rather than building a duplicate, and the shape classifier accepts what the folder refused (F-Direction)."
+}

package/fixtures/F-Div-SameFileNew/no-module-graph/input.ts

@@ -0,0 +1,5 @@
+class Bucket { constructor(readonly props: { name: string }) {} }
+
+const base = new Bucket({ name: "base" });
+
+export const wrapper = { inner: base };

package/fixtures/F-Div-Tag/unregistered-tag/expect.json

@@ -0,0 +1,15 @@
+{
+  "rules": [
+    "F-Div-Tag",
+    "F-Eval-Tagged",
+    "S-Tagged"
+  ],
+  "export": "t",
+  "shape": "accept",
+  "fold": "run",
+  "note": "S-Tagged treats the interior as opaque and the tag as any identifier; the folder requires the tag to be a registered, tag-foldable intrinsic, and nothing is registered here.",
+  "rejectAt": {
+    "line": 1,
+    "column": 18
+  }
+}

package/fixtures/F-Div-Tag/unregistered-tag/input.ts

@@ -0,0 +1 @@
+export const t = nope`plain`;

package/fixtures/F-Eval-Array/spread-string-rejected/expect.json

@@ -0,0 +1,14 @@
+{
+  "rules": [
+    "F-Eval-Array",
+    "F-Div-SpreadType"
+  ],
+  "export": "x",
+  "shape": "accept",
+  "fold": "run",
+  "note": "The one place array evaluation departs from ECMAScript on purpose (R10.6): spread requires Array.isArray, so a string, iterable in JavaScript, is refused rather than split into characters. Shape accepts any spread operand; the folder rejects at the spread. A port that assumes \"as ECMAScript\" would fold this to [\"a\", \"b\"].",
+  "rejectAt": {
+    "line": 1,
+    "column": 19
+  }
+}

package/fixtures/F-Eval-Array/spread-string-rejected/input.ts

@@ -0,0 +1 @@
+export const x = [..."ab"];

package/fixtures/F-Eval-Binary/division-and-float/expect.json

@@ -0,0 +1,19 @@
+{
+  "rules": [
+    "F-Eval-Binary"
+  ],
+  "export": "x",
+  "shape": "accept",
+  "fold": "fold",
+  "value": [
+    3.5,
+    0.3333333333333333,
+    0.2,
+    2.9,
+    2.5,
+    "Infinity",
+    "-Infinity",
+    0.30000000000000004
+  ],
+  "note": "Division is IEEE double division: no integer division, and division by zero is an infinity, not an error. Infinity has no JSON form, so the expected value writes it as the string ToString would produce; the comparison encodes the fold the same way."
+}

package/fixtures/F-Eval-Binary/division-and-float/input.ts

@@ -0,0 +1 @@
+export const x = [7 / 2, 1 / 3, 2 * 0.1, 3 - 0.1, 10 / 4, 5 / 0, -5 / 0, 0.1 * 3];

package/fixtures/F-Eval-Binary/logical-return-operand/expect.json

@@ -0,0 +1,20 @@
+{
+  "rules": [
+    "F-Eval-Binary",
+    "F-Exc-Lazy"
+  ],
+  "export": "x",
+  "shape": "accept",
+  "fold": "fold",
+  "value": [
+    "x",
+    "",
+    0,
+    0,
+    "",
+    null,
+    "b",
+    null
+  ],
+  "note": "&&, || and ?? return an operand, never a boolean, and ?? tests nullish where || tests falsy: 0 ?? 1 is 0 and \"\" ?? \"y\" is \"\". The untaken side is not folded (F-Exc-Lazy)."
+}