agent-comms 9.0.2 → 9.0.4

package/dist/test/conformance/corpus-files.js

@@ -0,0 +1,71 @@
+import { readdirSync } from "node:fs";
+import { join } from "node:path";
+/**
+ * Which files under the corpus root are corpus files, by the one rule `conformance/README.md` states. Every loader of the corpus (this one, the native crates' and the wasm runner's) implements the same rule, and each runs it over the fixture tree in `conformance/fixtures/loader-selection` so the three cannot disagree.
+ */
+/** Directories that hold data cases refer to or the runners themselves, never cases, wherever they appear. */
+const NON_CASE_DIRECTORIES = new Set([
+    "fixtures",
+    "schema",
+    "runner",
+]);
+/** The files the corpus root itself holds. */
+const ROOT_FILES = new Set([
+    "README.md",
+    "case.schema.json",
+    "manifest.json",
+    "manifest.schema.json",
+]);
+/** The characters a directory or file name outside the root's own files may use, so every loader orders names the same way. */
+const NAME_PATTERN = /^[a-z0-9][a-z0-9._-]*$/;
+/** The depth at which a directory holds corpus files: `<kind>/<name>.json`. */
+const AREA_DEPTH = 1;
+function byName(left, right) {
+    if (left.name === right.name) {
+        return 0;
+    }
+    return left.name < right.name ? -1 : 1;
+}
+function scan(root, relative, depth, selection) {
+    const entries = readdirSync(join(root, relative), { withFileTypes: true })
+        .filter((entry) => !entry.name.startsWith("."))
+        .sort(byName);
+    for (const entry of entries) {
+        const path = relative === "" ? entry.name : `${relative}/${entry.name}`;
+        if (entry.isDirectory()) {
+            if (NON_CASE_DIRECTORIES.has(entry.name)) {
+                continue;
+            }
+            if (depth < AREA_DEPTH && NAME_PATTERN.test(entry.name)) {
+                scan(root, path, depth + 1, selection);
+            }
+            else {
+                selection.problems.push(path);
+            }
+        }
+        else if (entry.isFile() && depth === 0 && ROOT_FILES.has(entry.name)) {
+            continue;
+        }
+        else if (entry.isFile() &&
+            depth === AREA_DEPTH &&
+            entry.name.endsWith(".json") &&
+            NAME_PATTERN.test(entry.name)) {
+            selection.selected.push(path);
+        }
+        else {
+            selection.problems.push(path);
+        }
+    }
+}
+/**
+ * Applies the selection rule to the tree at `root`. A name starting with a dot is ignored at any depth, a directory named `fixtures`, `schema` or `runner` is skipped at any depth, and everything else must be a `.json` file at `<kind>/<name>.json`, with names of lower-case ASCII letters, digits, dots, hyphens and underscores, or one of the root's own files; anything else is returned in `problems`, for the caller to fail on.
+ */
+export function selectCorpusFiles(root) {
+    const selection = {
+        selected: [],
+        problems: [],
+    };
+    scan(root, "", 0, selection);
+    return selection;
+}
+//# sourceMappingURL=corpus-files.js.map

package/dist/test/conformance/corpus-files.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corpus-files.js","sourceRoot":"","sources":["../../../src/test/conformance/corpus-files.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAe,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC;;GAEG;AAEH,8GAA8G;AAC9G,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CAAC;IACxD,UAAU;IACV,QAAQ;IACR,QAAQ;CACT,CAAC,CAAC;AAEH,8CAA8C;AAC9C,MAAM,UAAU,GAAwB,IAAI,GAAG,CAAC;IAC9C,WAAW;IACX,kBAAkB;IAClB,eAAe;IACf,sBAAsB;CACvB,CAAC,CAAC;AASH,+HAA+H;AAC/H,MAAM,YAAY,GAAG,wBAAwB,CAAC;AAE9C,+EAA+E;AAC/E,MAAM,UAAU,GAAG,CAAC,CAAC;AAErB,SAAS,MAAM,CAAC,IAAY,EAAE,KAAa;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,CAAC,CAAC;IACX,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,IAAI,CACX,IAAY,EACZ,QAAgB,EAChB,KAAa,EACb,SAAqD;IAErD,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;SACvE,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;SAC9C,IAAI,CAAC,MAAM,CAAC,CAAC;IAChB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QACxE,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACxB,IAAI,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzC,SAAS;YACX,CAAC;YACD,IAAI,KAAK,GAAG,UAAU,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxD,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;YACzC,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,KAAK,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACvE,SAAS;QACX,CAAC;aAAM,IACL,KAAK,CAAC,MAAM,EAAE;YACd,KAAK,KAAK,UAAU;YACpB,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YAC5B,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAC7B,CAAC;YACD,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,SAAS,GAA+C;QAC5D,QAAQ,EAAE,EAAE;QACZ,QAAQ,EAAE,EAAE;KACb,CAAC;IACF,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;IAE7B,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/test/conformance/corpus-types.d.ts

@@ -0,0 +1,62 @@
+/**
+ * The shapes of the corpus cases the TypeScript runner executes. `conformance/case.schema.json` is the definition; these types state what a document that passed it holds, so a value is trusted only after the schema has accepted it.
+ */
+/** The case kinds the schema defines, and so the names of the corpus directories. */
+export declare const KINDS: readonly ["function", "validate"];
+/** The values of `skip`: the implementation that skips a case, never the host it runs on. */
+export declare const SKIP_VALUES: readonly ["ts", "rust"];
+/** Any JSON value, in which a string may also be written as `{ "codeUnits": [...] }`. */
+export type CorpusValue = null | boolean | number | string | readonly CorpusValue[] | {
+    readonly [key: string]: CorpusValue;
+};
+/** A string as UTF-16 code units: a JSON string, or the code units themselves for content a JSON string cannot carry. */
+export type Text = string | {
+    readonly codeUnits: readonly number[];
+};
+interface CaseBase {
+    readonly id: string;
+    readonly from: string;
+    readonly skip?: (typeof SKIP_VALUES)[number];
+    readonly reason?: string;
+}
+export interface FunctionCase extends CaseBase {
+    readonly kind: "function";
+    readonly function: string;
+    readonly args: readonly CorpusValue[];
+    readonly expect?: CorpusValue;
+    readonly expectSubset?: CorpusValue;
+    readonly expectUndefined?: true;
+    readonly throws?: {
+        readonly code?: string;
+        readonly message?: readonly Text[];
+    };
+}
+export interface ValidateIssue {
+    readonly path: readonly (string | number)[];
+    readonly code?: string;
+    readonly message?: readonly Text[];
+}
+export interface ValidateCase extends CaseBase {
+    readonly kind: "validate";
+    readonly schema: string;
+    readonly input: CorpusValue;
+    readonly expect: {
+        readonly ok: true;
+        readonly value?: CorpusValue;
+    } | {
+        readonly ok: false;
+        readonly issues: readonly ValidateIssue[];
+    };
+}
+export type CorpusCase = FunctionCase | ValidateCase;
+export interface CorpusFile {
+    readonly cases: readonly CorpusCase[];
+}
+export interface Manifest {
+    readonly files: Readonly<Record<string, {
+        readonly cases: number;
+        readonly skip: readonly string[];
+    }>>;
+}
+export {};
+//# sourceMappingURL=corpus-types.d.ts.map

package/dist/test/conformance/corpus-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"corpus-types.d.ts","sourceRoot":"","sources":["../../../src/test/conformance/corpus-types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,qFAAqF;AACrF,eAAO,MAAM,KAAK,mCAAoC,CAAC;AAEvD,6FAA6F;AAC7F,eAAO,MAAM,WAAW,yBAA0B,CAAC;AAEnD,yFAAyF;AACzF,MAAM,MAAM,WAAW,GACnB,IAAI,GACJ,OAAO,GACP,MAAM,GACN,MAAM,GACN,SAAS,WAAW,EAAE,GACtB;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,WAAW,CAAA;CAAE,CAAC;AAE5C,yHAAyH;AACzH,MAAM,MAAM,IAAI,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAEtE,UAAU,QAAQ;IAChB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;IAC7C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,CAAC;IACtC,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,YAAY,CAAC,EAAE,WAAW,CAAC;IACpC,QAAQ,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE;QAChB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;KACpC,CAAC;CACH;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;IAC5C,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;CACpC;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,MAAM,EACX;QAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;QAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAA;KAAE,GACnD;QAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAA;KAAE,CAAC;CACvE;AAED,MAAM,MAAM,UAAU,GAAG,YAAY,GAAG,YAAY,CAAC;AAErD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CACtB,MAAM,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC,CAC7E,CAAC;CACH"}

package/dist/test/conformance/corpus-types.js

@@ -0,0 +1,8 @@
+/**
+ * The shapes of the corpus cases the TypeScript runner executes. `conformance/case.schema.json` is the definition; these types state what a document that passed it holds, so a value is trusted only after the schema has accepted it.
+ */
+/** The case kinds the schema defines, and so the names of the corpus directories. */
+export const KINDS = ["function", "validate"];
+/** The values of `skip`: the implementation that skips a case, never the host it runs on. */
+export const SKIP_VALUES = ["ts", "rust"];
+//# sourceMappingURL=corpus-types.js.map

package/dist/test/conformance/corpus-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corpus-types.js","sourceRoot":"","sources":["../../../src/test/conformance/corpus-types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,qFAAqF;AACrF,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,UAAU,EAAE,UAAU,CAAU,CAAC;AAEvD,6FAA6F;AAC7F,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAI,EAAE,MAAM,CAAU,CAAC"}

package/dist/test/conformance/corpus.d.ts

@@ -0,0 +1,34 @@
+import type { CorpusFile, Manifest } from "./corpus-types.js";
+/**
+ * Loads and checks a whole corpus root by every rule `conformance/README.md` states: the files selected, each file valid, ids unique across files, and the corpus equal to its manifest. The real corpus and every fixture corpus under `conformance/fixtures/corpora` go through this one function, so a rule has one definition.
+ */
+export interface LoadedFile {
+    readonly name: string;
+    readonly file: CorpusFile;
+}
+export interface CheckedCorpus {
+    readonly files: readonly LoadedFile[];
+    /** Everything wrong with the corpus; empty when it is sound. */
+    readonly problems: readonly string[];
+}
+/** The case ids this implementation registers to run and the ones it skips because they are marked for it alone. A case marked for the other implementation is registered and run here. */
+export declare function collect(files: readonly LoadedFile[]): {
+    readonly registered: readonly string[];
+    readonly skipped: readonly string[];
+};
+/**
+ * The completeness check, per implementation: what this implementation registered and skipped must add up to the manifest's total, and what it skips must be marked in the manifest. Cases marked for the other implementation count as registered here, so they cannot fail it.
+ */
+export declare function completenessProblems(total: number, markedIds: ReadonlySet<string>, registered: readonly string[], skipped: readonly string[]): readonly string[];
+export declare function checkCorpus(root: string): CheckedCorpus;
+/** One case as the runner registered it with the test framework, recorded in the loop that registers it. */
+export interface Registration {
+    readonly file: string;
+    readonly id: string;
+    readonly skip: "ts" | "rust" | undefined;
+}
+/**
+ * What a run did, against what the manifest says the corpus holds: every file has as many registrations as the manifest has cases, the cases this implementation skips are the ones carrying `skip: ts` and are listed in the manifest, and every other registration ran. `registrations` is filled where the runner registers each case and `ran` where each registered case's body starts, so a runner that skips, filters or mis-keys cases reads as a failure here, and the corpus alone cannot make it pass.
+ */
+export declare function runCompletenessProblems(manifest: Manifest, registrations: readonly Registration[], ran: ReadonlySet<string>): readonly string[];
+//# sourceMappingURL=corpus.d.ts.map

package/dist/test/conformance/corpus.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"corpus.d.ts","sourceRoot":"","sources":["../../../src/test/conformance/corpus.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAI9D;;GAEG;AAEH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IACtC,gEAAgE;IAChE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAkBD,2LAA2L;AAC3L,wBAAgB,OAAO,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG;IACrD,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC,CAOA;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,EAC9B,UAAU,EAAE,SAAS,MAAM,EAAE,EAC7B,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,SAAS,MAAM,EAAE,CAoBnB;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CA2EvD;AAED,4GAA4G;AAC5G,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,GAAG,SAAS,CAAC;CAC1C;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,QAAQ,EAClB,aAAa,EAAE,SAAS,YAAY,EAAE,EACtC,GAAG,EAAE,WAAW,CAAC,MAAM,CAAC,GACvB,SAAS,MAAM,EAAE,CAiCnB"}

package/dist/test/conformance/corpus.js

@@ -0,0 +1,134 @@
+import { join } from "node:path";
+import { selectCorpusFiles } from "./corpus-files.js";
+import { readJson } from "./read-json.js";
+import { validateCorpusFile, validateManifest } from "./validate.js";
+/** What the files of a corpus say about themselves, in the manifest's own shape. */
+function describeFiles(files) {
+    return Object.fromEntries(files.map(({ name, file }) => [
+        name,
+        JSON.stringify({
+            cases: file.cases.length,
+            skip: file.cases
+                .filter((testCase) => testCase.skip !== undefined)
+                .map((testCase) => testCase.id)
+                .sort(),
+        }),
+    ]));
+}
+/** The case ids this implementation registers to run and the ones it skips because they are marked for it alone. A case marked for the other implementation is registered and run here. */
+export function collect(files) {
+    const cases = files.flatMap(({ file }) => file.cases);
+    return {
+        registered: cases.filter(({ skip }) => skip !== "ts").map(({ id }) => id),
+        skipped: cases.filter(({ skip }) => skip === "ts").map(({ id }) => id),
+    };
+}
+/**
+ * The completeness check, per implementation: what this implementation registered and skipped must add up to the manifest's total, and what it skips must be marked in the manifest. Cases marked for the other implementation count as registered here, so they cannot fail it.
+ */
+export function completenessProblems(total, markedIds, registered, skipped) {
+    const problems = [];
+    if (registered.length + skipped.length !== total) {
+        problems.push(`registered ${String(registered.length)} plus skipped ${String(skipped.length)} is not the manifest's ${String(total)}`);
+    }
+    for (const id of skipped) {
+        if (!markedIds.has(id)) {
+            problems.push(`${id} is skipped here and not marked in the manifest`);
+        }
+    }
+    if (new Set([...registered, ...skipped]).size !==
+        registered.length + skipped.length) {
+        problems.push("a case is both registered and skipped, or registered twice");
+    }
+    return problems;
+}
+export function checkCorpus(root) {
+    const selection = selectCorpusFiles(root);
+    const problems = selection.problems.map((path) => `${path}: not a corpus file and not a recognised root file`);
+    const files = [];
+    const ids = new Set();
+    for (const name of selection.selected) {
+        const result = validateCorpusFile(readJson(join(root, name)));
+        if (!result.ok) {
+            problems.push(...result.problems.map((problem) => `${name}: ${problem}`));
+            continue;
+        }
+        const directory = name.slice(0, name.indexOf("/"));
+        for (const { id, kind } of result.value.cases) {
+            if (kind !== directory) {
+                problems.push(`${name}: case ${id} is of kind ${kind}, and the directory names kind ${directory}`);
+            }
+            if (ids.has(id)) {
+                problems.push(`${name}: case id ${id} is used by another file`);
+            }
+            ids.add(id);
+        }
+        files.push({ name, file: result.value });
+    }
+    let manifest;
+    try {
+        manifest = validateManifest(readJson(join(root, "manifest.json")));
+    }
+    catch (error) {
+        manifest = {
+            ok: false,
+            problems: [error instanceof Error ? error.message : String(error)],
+        };
+    }
+    if (!manifest.ok) {
+        problems.push(...manifest.problems.map((problem) => `manifest.json: ${problem}`));
+    }
+    else {
+        const recorded = Object.fromEntries(Object.entries(manifest.value.files).map(([name, entry]) => [
+            name,
+            JSON.stringify({ cases: entry.cases, skip: entry.skip }),
+        ]));
+        const actual = describeFiles(files);
+        const counts = collect(files);
+        problems.push(...completenessProblems(Object.values(manifest.value.files).reduce((sum, entry) => sum + entry.cases, 0), new Set(Object.values(manifest.value.files).flatMap((entry) => entry.skip)), counts.registered, counts.skipped));
+        for (const name of new Set([
+            ...Object.keys(recorded),
+            ...Object.keys(actual),
+        ])) {
+            if (recorded[name] !== actual[name]) {
+                problems.push(`manifest.json does not match ${name}: the file holds ${actual[name] ?? "nothing"}, the manifest records ${recorded[name] ?? "nothing"}`);
+            }
+        }
+    }
+    return { files, problems };
+}
+/**
+ * What a run did, against what the manifest says the corpus holds: every file has as many registrations as the manifest has cases, the cases this implementation skips are the ones carrying `skip: ts` and are listed in the manifest, and every other registration ran. `registrations` is filled where the runner registers each case and `ran` where each registered case's body starts, so a runner that skips, filters or mis-keys cases reads as a failure here, and the corpus alone cannot make it pass.
+ */
+export function runCompletenessProblems(manifest, registrations, ran) {
+    const problems = [];
+    const perFile = new Map();
+    const seen = new Set();
+    for (const { file, id, skip } of registrations) {
+        perFile.set(file, (perFile.get(file) ?? 0) + 1);
+        if (seen.has(id)) {
+            problems.push(`${id} was registered twice`);
+        }
+        seen.add(id);
+        const entry = manifest.files[file];
+        if (skip === "ts" && entry?.skip.includes(id) !== true) {
+            problems.push(`${id} is skipped here and not listed in the manifest`);
+        }
+        if (skip !== "ts" && !ran.has(id)) {
+            problems.push(`${id} was registered and did not run`);
+        }
+    }
+    for (const [file, entry] of Object.entries(manifest.files)) {
+        const count = perFile.get(file) ?? 0;
+        if (count !== entry.cases) {
+            problems.push(`${file}: ${String(count)} cases registered, the manifest has ${String(entry.cases)}`);
+        }
+    }
+    for (const file of perFile.keys()) {
+        if (!(file in manifest.files)) {
+            problems.push(`${file} was registered and is not in the manifest`);
+        }
+    }
+    return problems;
+}
+//# sourceMappingURL=corpus.js.map

package/dist/test/conformance/corpus.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corpus.js","sourceRoot":"","sources":["../../../src/test/conformance/corpus.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEtD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAiBrE,oFAAoF;AACpF,SAAS,aAAa,CAAC,KAA4B;IACjD,OAAO,MAAM,CAAC,WAAW,CACvB,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC5B,IAAI;QACJ,IAAI,CAAC,SAAS,CAAC;YACb,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;YACxB,IAAI,EAAE,IAAI,CAAC,KAAK;iBACb,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC;iBACjD,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;iBAC9B,IAAI,EAAE;SACV,CAAC;KACH,CAAC,CACH,CAAC;AACJ,CAAC;AAED,2LAA2L;AAC3L,MAAM,UAAU,OAAO,CAAC,KAA4B;IAIlD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAEtD,OAAO;QACL,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;QACzE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;KACvE,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAa,EACb,SAA8B,EAC9B,UAA6B,EAC7B,OAA0B;IAE1B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,UAAU,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QACjD,QAAQ,CAAC,IAAI,CACX,cAAc,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,iBAAiB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,0BAA0B,MAAM,CAAC,KAAK,CAAC,EAAE,CACxH,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,iDAAiD,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IACD,IACE,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI;QACzC,UAAU,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,EAClC,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;IAC9E,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CACrC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,oDAAoD,CACtE,CAAC;IACF,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9D,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC,CAAC;YAC1E,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,KAAK,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YAC9C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,QAAQ,CAAC,IAAI,CACX,GAAG,IAAI,UAAU,EAAE,eAAe,IAAI,kCAAkC,SAAS,EAAE,CACpF,CAAC;YACJ,CAAC;YACD,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAChB,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,aAAa,EAAE,0BAA0B,CAAC,CAAC;YAClE,CAAC;YACD,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACd,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,QAA6C,CAAC;IAClD,IAAI,CAAC;QACH,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,QAAQ,GAAG;YACT,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;SACnE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,QAAQ,CAAC,IAAI,CACX,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,kBAAkB,OAAO,EAAE,CAAC,CACnE,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CACjC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;YAC1D,IAAI;YACJ,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;SACzD,CAAC,CACH,CAAC;QACF,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,QAAQ,CAAC,IAAI,CACX,GAAG,oBAAoB,CACrB,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CACxC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,KAAK,EACjC,CAAC,CACF,EACD,IAAI,GAAG,CACL,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CACnE,EACD,MAAM,CAAC,UAAU,EACjB,MAAM,CAAC,OAAO,CACf,CACF,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC;YACzB,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;YACxB,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;SACvB,CAAC,EAAE,CAAC;YACH,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CACX,gCAAgC,IAAI,oBAAoB,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,0BAA0B,QAAQ,CAAC,IAAI,CAAC,IAAI,SAAS,EAAE,CACzI,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC;AASD;;GAEG;AACH,MAAM,UAAU,uBAAuB,CACrC,QAAkB,EAClB,aAAsC,EACtC,GAAwB;IAExB,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,aAAa,EAAE,CAAC;QAC/C,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,uBAAuB,CAAC,CAAC;QAC9C,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,iDAAiD,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,iCAAiC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CACX,GAAG,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,uCAAuC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CACtF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,4CAA4C,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/test/conformance/read-json.d.ts

@@ -0,0 +1,2 @@
+export declare function readJson(path: string): unknown;
+//# sourceMappingURL=read-json.d.ts.map

package/dist/test/conformance/read-json.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-json.d.ts","sourceRoot":"","sources":["../../../src/test/conformance/read-json.ts"],"names":[],"mappings":"AAKA,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE9C"}

package/dist/test/conformance/read-json.js

@@ -0,0 +1,7 @@
+import { readFileSync } from "node:fs";
+/** Strict: a file that is not valid UTF-8 is an error, never read with replacement characters, and a leading byte order mark is kept and so refused by the parse, so every loader sees the same text (the Rust loader refuses both too). */
+const decoder = new TextDecoder("utf-8", { fatal: true, ignoreBOM: true });
+export function readJson(path) {
+    return JSON.parse(decoder.decode(readFileSync(path)));
+}
+//# sourceMappingURL=read-json.js.map

package/dist/test/conformance/read-json.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-json.js","sourceRoot":"","sources":["../../../src/test/conformance/read-json.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAEvC,4OAA4O;AAC5O,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAE3E,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC"}

package/dist/test/conformance/text.d.ts

@@ -0,0 +1,10 @@
+import type { Text } from "./corpus-types.js";
+/** The string a corpus text denotes. */
+export declare function textToString(text: Text): string;
+/** The UTF-16 code units a corpus text denotes. */
+export declare function textToCodeUnits(text: Text): readonly number[];
+/** The name of a special number, as a corpus file writes it, or undefined for any other number. */
+export declare function specialNumberName(value: number): string | undefined;
+/** A value with every `{ "codeUnits": [...] }` replaced by the string it denotes and every `{ "$number": name }` by the number it names, at any depth. The schema has already refused an object that holds either key and anything else. */
+export declare function decodeValue(value: unknown): unknown;
+//# sourceMappingURL=text.d.ts.map

package/dist/test/conformance/text.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"text.d.ts","sourceRoot":"","sources":["../../../src/test/conformance/text.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAkB9C,wCAAwC;AACxC,wBAAgB,YAAY,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAI/C;AAED,mDAAmD;AACnD,wBAAgB,eAAe,CAAC,IAAI,EAAE,IAAI,GAAG,SAAS,MAAM,EAAE,CAQ7D;AAUD,mGAAmG;AACnG,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAOnE;AAED,4OAA4O;AAC5O,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAwBnD"}

package/dist/test/conformance/text.js

@@ -0,0 +1,64 @@
+/**
+ * The corpus carries every string as a sequence of UTF-16 code units, either as a JSON string or as `{ "codeUnits": [...] }` (`conformance/README.md`). A JavaScript string is already that sequence, so decoding is the identity for the first form and `String.fromCharCode` for the second.
+ */
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function isCodeUnitsObject(value) {
+    const units = value.codeUnits;
+    return Array.isArray(units) && units.every((u) => typeof u === "number");
+}
+/** The string a corpus text denotes. */
+export function textToString(text) {
+    return typeof text === "string"
+        ? text
+        : String.fromCharCode(...text.codeUnits);
+}
+/** The UTF-16 code units a corpus text denotes. */
+export function textToCodeUnits(text) {
+    if (typeof text !== "string") {
+        return text.codeUnits;
+    }
+    return Array.from({ length: text.length }, (_, index) => text.charCodeAt(index));
+}
+/** The numbers a corpus file names with `{ "$number": name }`, a closed lookup: the canonical JSON form writes a negative zero as 0 and has no infinity or NaN. */
+const NAMED_NUMBERS = {
+    "-0": -0,
+    Infinity: Number.POSITIVE_INFINITY,
+    "-Infinity": Number.NEGATIVE_INFINITY,
+    NaN: Number.NaN,
+};
+/** The name of a special number, as a corpus file writes it, or undefined for any other number. */
+export function specialNumberName(value) {
+    if (Number.isNaN(value))
+        return "NaN";
+    if (Object.is(value, -0))
+        return "-0";
+    if (value === Number.POSITIVE_INFINITY)
+        return "Infinity";
+    if (value === Number.NEGATIVE_INFINITY)
+        return "-Infinity";
+    return undefined;
+}
+/** A value with every `{ "codeUnits": [...] }` replaced by the string it denotes and every `{ "$number": name }` by the number it names, at any depth. The schema has already refused an object that holds either key and anything else. */
+export function decodeValue(value) {
+    if (Array.isArray(value)) {
+        return value.map((item) => decodeValue(item));
+    }
+    if (isRecord(value)) {
+        const named = value.$number;
+        if (typeof named === "string" && Object.keys(value).length === 1) {
+            const decoded = NAMED_NUMBERS[named];
+            if (decoded === undefined) {
+                throw new Error(`$number names ${named}, which no corpus file may`);
+            }
+            return decoded;
+        }
+        if (isCodeUnitsObject(value)) {
+            return String.fromCharCode(...value.codeUnits);
+        }
+        return Object.fromEntries(Object.entries(value).map(([key, item]) => [key, decodeValue(item)]));
+    }
+    return value;
+}
+//# sourceMappingURL=text.js.map

package/dist/test/conformance/text.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"text.js","sourceRoot":"","sources":["../../../src/test/conformance/text.ts"],"names":[],"mappings":"AAEA;;GAEG;AAEH,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,iBAAiB,CACxB,KAA8B;IAE9B,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC;IAE9B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;AAC3E,CAAC;AAED,wCAAwC;AACxC,MAAM,UAAU,YAAY,CAAC,IAAU;IACrC,OAAO,OAAO,IAAI,KAAK,QAAQ;QAC7B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;AAC7C,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,eAAe,CAAC,IAAU;IACxC,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CACtD,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CACvB,CAAC;AACJ,CAAC;AAED,mKAAmK;AACnK,MAAM,aAAa,GAAqC;IACtD,IAAI,EAAE,CAAC,CAAC;IACR,QAAQ,EAAE,MAAM,CAAC,iBAAiB;IAClC,WAAW,EAAE,MAAM,CAAC,iBAAiB;IACrC,GAAG,EAAE,MAAM,CAAC,GAAG;CAChB,CAAC;AAEF,mGAAmG;AACnG,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtC,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,KAAK,KAAK,MAAM,CAAC,iBAAiB;QAAE,OAAO,UAAU,CAAC;IAC1D,IAAI,KAAK,KAAK,MAAM,CAAC,iBAAiB;QAAE,OAAO,WAAW,CAAC;IAE3D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,4OAA4O;AAC5O,MAAM,UAAU,WAAW,CAAC,KAAc;IACxC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAa,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC;QAC5B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjE,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;YACrC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,4BAA4B,CAAC,CAAC;YACtE,CAAC;YAED,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,MAAM,CAAC,YAAY,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;QACjD,CAAC;QAED,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CACrE,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/test/conformance/validate.d.ts

@@ -0,0 +1,14 @@
+import type { CorpusFile, Manifest } from "./corpus-types.js";
+/**
+ * Validates corpus files and the manifest against the schemas in `conformance/`, which is the whole definition of the format. The checks beside the schema are the rules JSON Schema cannot express and `conformance/README.md` lists: a case id is not repeated within a file, a manifest's `skip` lists are in ascending order, and no JSON string holds an unpaired surrogate (content that needs one is written as `{ "codeUnits": [...] }`). Nothing else is validated by hand.
+ */
+export type Validation<T> = {
+    readonly ok: true;
+    readonly value: T;
+} | {
+    readonly ok: false;
+    readonly problems: readonly string[];
+};
+export declare function validateCorpusFile(value: unknown): Validation<CorpusFile>;
+export declare function validateManifest(value: unknown): Validation<Manifest>;
+//# sourceMappingURL=validate.d.ts.map

package/dist/test/conformance/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../../src/test/conformance/validate.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE9D;;GAEG;AAEH,MAAM,MAAM,UAAU,CAAC,CAAC,IACpB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GACxC;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAgFjE,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAAC,UAAU,CAAC,CAWzE;AAWD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,CAWrE"}

package/dist/test/conformance/validate.js

@@ -0,0 +1,85 @@
+import { readFileSync } from "node:fs";
+import { fileURLToPath } from "node:url";
+import Ajv2020Module from "ajv/dist/2020.js";
+function readSchema(name) {
+    const parsed = JSON.parse(readFileSync(fileURLToPath(new URL(`../../../conformance/${name}`, import.meta.url)), "utf8"));
+    if (typeof parsed !== "object" || parsed === null || Array.isArray(parsed)) {
+        throw new Error(`${name} must hold a JSON object`);
+    }
+    return Object.fromEntries(Object.entries(parsed));
+}
+// Strict mode, so a schema keyword Ajv does not know is an error rather than ignored; unions of types are what the schema's open "any JSON value" definitions use.
+// ajv ships CommonJS with a default export, which Node16 resolution types as the module and not the class.
+const Ajv2020 = Ajv2020Module.default;
+const ajv = new Ajv2020({
+    allErrors: true,
+    strict: true,
+    allowUnionTypes: true,
+});
+// The generic states what a document the schema accepted holds; it is the schema, not this code, that makes it true.
+const checkCorpusFile = ajv.compile(readSchema("case.schema.json"));
+const checkManifest = ajv.compile(readSchema("manifest.schema.json"));
+function describeErrors(errors) {
+    if (errors === null || errors === undefined) {
+        return ["the schema rejected the document"];
+    }
+    return errors.map(({ instancePath, message }) => `${instancePath === "" ? "(root)" : instancePath} ${message ?? "is invalid"}`);
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+/** Where a JSON string, or an object key, holds an unpaired surrogate: such a document is read differently by different loaders. */
+function malformedStrings(value, where) {
+    if (typeof value === "string") {
+        return value.isWellFormed() ? [] : [`${where} holds an unpaired surrogate`];
+    }
+    if (Array.isArray(value)) {
+        return value.flatMap((item, index) => malformedStrings(item, `${where}/${String(index)}`));
+    }
+    if (isRecord(value)) {
+        return Object.entries(value).flatMap(([key, item]) => [
+            ...malformedStrings(key, `${where}/(key)`),
+            ...malformedStrings(item, `${where}/${key}`),
+        ]);
+    }
+    return [];
+}
+function ruleProblems(file) {
+    const problems = [];
+    const ids = new Set();
+    for (const testCase of file.cases) {
+        if (ids.has(testCase.id)) {
+            problems.push(`case id ${testCase.id} is used twice in the file`);
+        }
+        ids.add(testCase.id);
+    }
+    return problems;
+}
+export function validateCorpusFile(value) {
+    const malformed = malformedStrings(value, "");
+    if (malformed.length > 0) {
+        return { ok: false, problems: malformed };
+    }
+    if (!checkCorpusFile(value)) {
+        return { ok: false, problems: describeErrors(checkCorpusFile.errors) };
+    }
+    const problems = ruleProblems(value);
+    return problems.length === 0 ? { ok: true, value } : { ok: false, problems };
+}
+/** Whether the ids are distinct and in ascending UTF-16 code unit order, which is the order every loader sorts in for the ASCII ids the schema allows. */
+function isAscending(ids) {
+    return ids.every((id, index) => {
+        const before = ids[index - 1];
+        return before === undefined || before < id;
+    });
+}
+export function validateManifest(value) {
+    if (!checkManifest(value)) {
+        return { ok: false, problems: describeErrors(checkManifest.errors) };
+    }
+    const problems = Object.entries(value.files).flatMap(([name, entry]) => isAscending(entry.skip)
+        ? []
+        : [`${name}: "skip" must list distinct ids in ascending order`]);
+    return problems.length === 0 ? { ok: true, value } : { ok: false, problems };
+}
+//# sourceMappingURL=validate.js.map

package/dist/test/conformance/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../../src/test/conformance/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,aAAa,MAAM,kBAAkB,CAAC;AAW7C,SAAS,UAAU,CAAC,IAAY;IAC9B,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAChC,YAAY,CACV,aAAa,CAAC,IAAI,GAAG,CAAC,wBAAwB,IAAI,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EACvE,MAAM,CACP,CACF,CAAC;IACF,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3E,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,0BAA0B,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,mKAAmK;AACnK,2GAA2G;AAC3G,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC;AACtC,MAAM,GAAG,GAAG,IAAI,OAAO,CAAC;IACtB,SAAS,EAAE,IAAI;IACf,MAAM,EAAE,IAAI;IACZ,eAAe,EAAE,IAAI;CACtB,CAAC,CAAC;AAEH,qHAAqH;AACrH,MAAM,eAAe,GAAG,GAAG,CAAC,OAAO,CAAa,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC;AAChF,MAAM,aAAa,GAAG,GAAG,CAAC,OAAO,CAAW,UAAU,CAAC,sBAAsB,CAAC,CAAC,CAAC;AAEhF,SAAS,cAAc,CACrB,MAC0E;IAE1E,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC5C,OAAO,CAAC,kCAAkC,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO,MAAM,CAAC,GAAG,CACf,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,EAAE,CAC5B,GAAG,YAAY,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,IAAI,OAAO,IAAI,YAAY,EAAE,CAChF,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,oIAAoI;AACpI,SAAS,gBAAgB,CAAC,KAAc,EAAE,KAAa;IACrD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,8BAA8B,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,IAAa,EAAE,KAAK,EAAE,EAAE,CAC5C,gBAAgB,CAAC,IAAI,EAAE,GAAG,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CACpD,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;YACpD,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,KAAK,QAAQ,CAAC;YAC1C,GAAG,gBAAgB,CAAC,IAAI,EAAE,GAAG,KAAK,IAAI,GAAG,EAAE,CAAC;SAC7C,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,YAAY,CAAC,IAAgB;IACpC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,WAAW,QAAQ,CAAC,EAAE,4BAA4B,CAAC,CAAC;QACpE,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACvB,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,MAAM,SAAS,GAAG,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC9C,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;IAC5C,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,cAAc,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;IACzE,CAAC;IACD,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAErC,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC/E,CAAC;AAED,0JAA0J;AAC1J,SAAS,WAAW,CAAC,GAAsB;IACzC,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;QAC7B,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAE9B,OAAO,MAAM,KAAK,SAAS,IAAI,MAAM,GAAG,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,cAAc,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;IACvE,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CACrE,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC;QACrB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAC,GAAG,IAAI,oDAAoD,CAAC,CAClE,CAAC;IAEF,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC/E,CAAC"}

package/dist/test/conformance-functions.helper.d.ts

@@ -0,0 +1,19 @@
+type CorpusFunction = (...args: readonly unknown[]) => unknown;
+/** The outcome of validating an input: what the schema made of it, or every issue it found. */
+export type ValidateResult = {
+    readonly ok: true;
+    readonly value: unknown;
+} | {
+    readonly ok: false;
+    readonly issues: readonly {
+        readonly path: readonly (string | number)[];
+        readonly code: string;
+        readonly message: string;
+    }[];
+};
+export declare const FUNCTIONS: Readonly<Record<string, CorpusFunction>>;
+export declare const SCHEMAS: Readonly<Record<string, (input: unknown) => ValidateResult>>;
+/** Exposed for the CommsError code check the runner makes on a `throws` expectation. */
+export declare function errorCode(error: unknown): string | undefined;
+export {};
+//# sourceMappingURL=conformance-functions.helper.d.ts.map

package/dist/test/conformance-functions.helper.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conformance-functions.helper.d.ts","sourceRoot":"","sources":["../../src/test/conformance-functions.helper.ts"],"names":[],"mappings":"AAwGA,KAAK,cAAc,GAAG,CAAC,GAAG,IAAI,EAAE,SAAS,OAAO,EAAE,KAAK,OAAO,CAAC;AAE/D,+FAA+F;AAC/F,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAC9C;IACE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,MAAM,EAAE,SAAS;QACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;KAC1B,EAAE,CAAC;CACL,CAAC;AAuZN,eAAO,MAAM,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAqS9D,CAAC;AAqBF,eAAO,MAAM,OAAO,EAAE,QAAQ,CAC5B,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,cAAc,CAAC,CAgBnD,CAAC;AAEF,wFAAwF;AACxF,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAE5D"}