@intentius/tsad-conformance 1.4.0

package/README.md

@@ -0,0 +1,59 @@
+# @intentius/tsad-conformance
+
+The conformance suite of the typescript-as-data specification, as a package.
+It carries the fixtures under `spec/fixtures/` at the version it declares,
+the loader and runner that judge an implementation against them, and the
+named hosts a whole-build fixture may ask for. It carries no implementation:
+the reference implementation is `@intentius/tsad-reference`, a separate
+package, so an implementation under test does not have to install a
+competing one to get the harness.
+
+## Running the suite against an implementation
+
+Supply a `ConformanceAdapter` (`src/adapter.ts`): a name, the specification
+version the implementation declares, a shape classifier, an expression
+folder, and optionally a whole-build entry. Then:
+
+```ts
+import { loadFixtures, runFixtures, bundledFixturesDir } from "@intentius/tsad-conformance";
+
+const fixtures = loadFixtures(bundledFixturesDir());
+const reports = await runFixtures(myAdapter, fixtures);
+for (const r of reports) if (!r.pass) console.log(r.fixture, r.failures);
+```
+
+`compareAdapters(a, b, fixtures)` reports where two implementations disagree
+with each other, independently of what the fixtures expect. The repository's
+own use of it is in `src/chant-agreement.test.ts`.
+
+## Versions
+
+The package's major and minor are the specification version it carries
+(`spec/VERSION`); the patch is the package's own. A `1.0.x` package holds the
+fixtures of specification 1.0. An adapter's `specVersion` is compared against
+the fixtures' version by whoever runs the suite, never assumed.
+
+## Gating a document's citations (#34)
+
+An implementation's documentation cites rule identifiers, and a subset change
+here can leave that prose describing the old subset. `loadRules(bundledSpecDir())`
+indexes every `S-*` and `F-*` with its text at the version the package
+carries, and `checkCitations(document, index, declaredVersion)` reports an
+identifier that is not a rule, a quote that is not the rule's text, and a
+declared version that is not the index's. A document quotes a rule with a
+marker line and a blockquote:
+
+```
+{/* rule: F-Depth */}
+> Each terminates a different recursion and each turns exhaustion into a fallback.
+```
+
+A bare mention is held only to existing; a quote is held to being verbatim.
+The repository runs this over chant's own docs in the corpus workflow, and
+chant can run the same call in its CI against the published package.
+
+## What is not in the package
+
+The chant adapter and the corpus cross-check (`src/adapters/`, `src/corpus.ts`)
+are excluded from the build: they import chant and the reference, and they
+are the repository's own cross-checks rather than the harness.

package/dist/adapter.d.ts

@@ -0,0 +1,65 @@
+/**
+ * The adapter an implementation under test provides. Deliberately narrow so a
+ * foreign implementation (chant, or one in another language behind a shim)
+ * can satisfy it without exposing internals: source in, verdict out.
+ */
+import type { ConformanceHost } from "./host.js";
+export type ShapeResult = {
+    accepted: true;
+} | {
+    accepted: false;
+    rule?: string;
+    line: number;
+    column: number;
+    message: string;
+} | "unavailable";
+export type FoldResult = {
+    ok: true;
+    value: unknown;
+} | {
+    ok: false;
+    rule?: string;
+    line: number;
+    column: number;
+    message: string;
+};
+/** A whole-build verdict (J2 + J3). `rule` and `reason` are diagnostic; only `kind` is compared. */
+export type ProjectVerdict = {
+    kind: "fold";
+    exports: Record<string, unknown>;
+} | {
+    kind: "run";
+    rule?: string;
+    reason: string;
+};
+export interface ProjectResult {
+    verdicts: Record<string, ProjectVerdict>;
+    /** J2's proposal, before J3 disposed of it. Omitted by an implementation that cannot separate the two phases. */
+    tentative?: Record<string, "fold" | "run">;
+    /** For a file J3 tainted, the file whose taint reached it. */
+    taintedBy?: Record<string, string>;
+}
+export interface ConformanceAdapter {
+    readonly name: string;
+    /**
+     * The specification version this implementation declares it implements,
+     * as `spec/VERSION` spells it (`"1.0"`), or `"undeclared"`. Compared, never
+     * assumed: the suite checks the reference's declaration against `VERSION`,
+     * and reports an implementation that declares nothing as such (#18).
+     */
+    readonly specVersion: string;
+    /** S-* verdict on the initializer of `exportName`. "unavailable" if the implementation exposes no shape classifier. */
+    shape(source: string, exportName: string): ShapeResult;
+    /** F-* verdict: fold the initializer of `exportName` to a JSON-comparable value, or a located rejection. */
+    foldExport(source: string, exportName: string): FoldResult;
+    /**
+     * J2 + J3 over a whole build: every file's final verdict. Optional, and
+     * "unavailable" when the implementation cannot answer — no whole-build
+     * entry at all, or a host it has no way to install. Such a fixture is
+     * reported skipped rather than silently passing.
+     *
+     * May be async: a real implementation resolves modules from a filesystem.
+     */
+    foldProject?(files: Map<string, string>, host?: ConformanceHost): ProjectResult | "unavailable" | Promise<ProjectResult | "unavailable">;
+}
+//# sourceMappingURL=adapter.d.ts.map

package/dist/adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAEjD,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,EAAE,IAAI,CAAA;CAAE,GAClB;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACjF,aAAa,CAAC;AAClB,MAAM,MAAM,UAAU,GAClB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAC5B;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAChF,oGAAoG;AACpG,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GAClD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AACnD,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACzC,iHAAiH;IACjH,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC;IAC3C,8DAA8D;IAC9D,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,uHAAuH;IACvH,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,WAAW,CAAC;IACvD,4GAA4G;IAC5G,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,UAAU,CAAC;IAC3D;;;;;;;OAOG;IACH,WAAW,CAAC,CACV,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAC1B,IAAI,CAAC,EAAE,eAAe,GACrB,aAAa,GAAG,aAAa,GAAG,OAAO,CAAC,aAAa,GAAG,aAAa,CAAC,CAAC;CAC3E"}

package/dist/adapter.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=adapter.js.map

package/dist/adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":""}

package/dist/bundled.d.ts

@@ -0,0 +1,5 @@
+/** The bundled rule files and `VERSION`, or the repository's own `spec/` when running from source. */
+export declare function bundledSpecDir(): string;
+/** The bundled fixtures directory, or the repository's own when running from source. */
+export declare function bundledFixturesDir(): string;
+//# sourceMappingURL=bundled.d.ts.map

package/dist/bundled.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bundled.d.ts","sourceRoot":"","sources":["../src/bundled.ts"],"names":[],"mappings":"AAUA,sGAAsG;AACtG,wBAAgB,cAAc,IAAI,MAAM,CAMvC;AAED,wFAAwF;AACxF,wBAAgB,kBAAkB,IAAI,MAAM,CAM3C"}

package/dist/bundled.js

@@ -0,0 +1,28 @@
+/**
+ * Where the published package keeps the fixtures. `spec/fixtures/` is copied
+ * in at build time (see `package.json`'s build script), so an implementation
+ * that installed this package from npm has the same fixtures the repository
+ * gates on, at the version the package declares.
+ */
+import { existsSync } from "node:fs";
+import { dirname, join } from "node:path";
+import { fileURLToPath } from "node:url";
+/** The bundled rule files and `VERSION`, or the repository's own `spec/` when running from source. */
+export function bundledSpecDir() {
+    const here = dirname(fileURLToPath(import.meta.url));
+    for (const candidate of [join(here, "..", "spec"), join(here, "..", "..", "..", "spec")]) {
+        if (existsSync(join(candidate, "VERSION")))
+            return candidate;
+    }
+    throw new Error("no spec directory: the package was built without one, and this is not the repository");
+}
+/** The bundled fixtures directory, or the repository's own when running from source. */
+export function bundledFixturesDir() {
+    const here = dirname(fileURLToPath(import.meta.url));
+    for (const candidate of [join(here, "..", "fixtures"), join(here, "..", "..", "..", "spec", "fixtures")]) {
+        if (existsSync(join(candidate, "UNCOVERED.md")))
+            return candidate;
+    }
+    throw new Error("no fixtures directory: the package was built without one, and this is not the repository");
+}
+//# sourceMappingURL=bundled.js.map

package/dist/bundled.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bundled.js","sourceRoot":"","sources":["../src/bundled.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,sGAAsG;AACtG,MAAM,UAAU,cAAc;IAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,KAAK,MAAM,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;QACzF,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;IAC/D,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,sFAAsF,CAAC,CAAC;AAC1G,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,kBAAkB;IAChC,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,KAAK,MAAM,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC;QACzG,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;IACpE,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,0FAA0F,CAAC,CAAC;AAC9G,CAAC"}

package/dist/fixture.d.ts

@@ -0,0 +1,49 @@
+export interface ExpressionFixture {
+    kind: "expression";
+    profiles: Profile[];
+    id: string;
+    dir: string;
+    input: string;
+    rules: string[];
+    exportName: string;
+    shape: "accept" | "reject";
+    fold: "fold" | "run";
+    value?: unknown;
+    rejectAt?: {
+        line: number;
+        column: number;
+    };
+    note?: string;
+}
+export interface ProjectFixture {
+    kind: "project";
+    profiles: Profile[];
+    id: string;
+    dir: string;
+    rules: string[];
+    /** Path relative to project/, to source. Paths use "/" on every platform. */
+    files: Map<string, string>;
+    verdicts: Record<string, "fold" | "run">;
+    tentative?: Record<string, "fold" | "run">;
+    taintedBy?: Record<string, string>;
+    exports?: Record<string, Record<string, unknown>>;
+    /** The rule a `run` verdict must name, per file. An adapter that reports no rule is not held to it. */
+    rejectRule?: Record<string, string>;
+    /** A named host from host.ts. Required for any fixture whose sources import one. */
+    host?: string;
+    note?: string;
+}
+export type Fixture = ExpressionFixture | ProjectFixture;
+export type Profile = "full" | "data-host";
+/**
+ * The profiles a fixture is judged in (F-Profile, #78). Explicit
+ * `"profiles"` wins. Otherwise: a fixture that names a host, asserts J3's
+ * tentative verdicts or taint edges, or constructs with `new` needs the
+ * runtime, so it is `full` only; anything else is data and belongs to both.
+ */
+export declare function profilesOf(f: Fixture, explicit?: string[]): Profile[];
+/** Kept as the name the expression-only callers import; `kind` narrows. */
+export declare const expressionFixtures: (all: Fixture[]) => ExpressionFixture[];
+export declare const projectFixtures: (all: Fixture[]) => ProjectFixture[];
+export declare function loadFixtures(root: string): Fixture[];
+//# sourceMappingURL=fixture.d.ts.map

package/dist/fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixture.d.ts","sourceRoot":"","sources":["../src/fixture.ts"],"names":[],"mappings":"AAmCA,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,YAAY,CAAC;IACnB,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,EAAE,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IACvC,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IACpC,KAAK,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC;IACjD,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CAC7E;AACD,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,EAAE,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAC;IACzC,6EAA6E;IAC7E,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC;IACzC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC;IAC3C,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAClD,uGAAuG;IACvG,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,oFAAoF;IACpF,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AACD,MAAM,MAAM,OAAO,GAAG,iBAAiB,GAAG,cAAc,CAAC;AAEzD,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,WAAW,CAAC;AAE3C;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,GAAG,OAAO,EAAE,CAMrE;AAED,2EAA2E;AAC3E,eAAO,MAAM,kBAAkB,GAAI,KAAK,OAAO,EAAE,KAAG,iBAAiB,EAAwE,CAAC;AAC9I,eAAO,MAAM,eAAe,GAAI,KAAK,OAAO,EAAE,KAAG,cAAc,EAAkE,CAAC;AAelI,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE,CAsBpD"}

package/dist/fixture.js

@@ -0,0 +1,95 @@
+/**
+ * Fixture format (#7, extended for projects by #24). A directory per fixture
+ * under spec/fixtures/<Rule>/<name>/. Two kinds, told apart by what the
+ * directory contains.
+ *
+ * An *expression* fixture judges one export of one file:
+ *   input.ts     — the module under test
+ *   expect.json  — { "rules": ["S-Template", "F-Eval-Template"],  // identifiers this fixture exercises (#8 gate)
+ *                    "export": "x",                               // which export is judged
+ *                    "shape": "accept" | "reject",                // S-* verdict
+ *                    "fold":  "fold"   | "run",                   // F-* verdict
+ *                    "value": <json> | "$undefined",              // required when fold = "fold"; the sentinel, at the top or nested, means the fold yields undefined there, which JSON cannot write (#82)
+ *                    "rejectAt": { "line": n, "column": n },      // optional, when fold = "run": where the rejection must point
+ *                    "note": "why this fixture exists" }
+ *
+ * A *project* fixture judges every file of a small build, which is what J3
+ * needs: a taint edge cannot be seen in one file.
+ *   project/     — the build's source, one or more .ts files, nested allowed
+ *   expect.json  — { "rules": ["F-Seed", "F-Succ"],
+ *                    "project": true,
+ *                    "verdicts":  { "app.ts": "run", "config.ts": "run" },       // final, after J3
+ *                    "tentative": { "config.ts": "fold" },                        // optional, J2 before J3 disposed
+ *                    "taintedBy": { "config.ts": "app.ts" },                      // optional, the file whose taint reached it
+ *                    "exports":   { "config.ts": { "port": 8080 } },              // optional, for files that finally fold
+ *                    "rejectRule": { "app.ts": "F-Eval-CallLocal" },              // optional, the rule a run verdict must name; checked when the adapter reports one
+ *                    "host":      "shapes",                                       // optional, a named host from host.ts; required if the sources import one
+ *                    "profiles":  ["full"],                                       // optional; see profilesOf for the default
+ *                    "note": "why this fixture exists" }
+ * `tentative` and `taintedBy` are what separate "folds because nothing
+ * reached it" from "would have folded, and an edge killed it" — without them
+ * a project fixture cannot tell F-Seed from F-Taint.
+ */
+import { readdirSync, readFileSync, statSync } from "node:fs";
+import { join, relative } from "node:path";
+/**
+ * The profiles a fixture is judged in (F-Profile, #78). Explicit
+ * `"profiles"` wins. Otherwise: a fixture that names a host, asserts J3's
+ * tentative verdicts or taint edges, or constructs with `new` needs the
+ * runtime, so it is `full` only; anything else is data and belongs to both.
+ */
+export function profilesOf(f, explicit) {
+    if (explicit)
+        return explicit;
+    const sources = f.kind === "expression" ? [f.input] : [...f.files.values()];
+    const usesNew = sources.some((s) => /\bnew\s+[A-Za-z_$]/.test(s));
+    if (f.kind === "project" && (f.host || f.tentative || f.taintedBy))
+        return ["full"];
+    return usesNew ? ["full"] : ["full", "data-host"];
+}
+/** Kept as the name the expression-only callers import; `kind` narrows. */
+export const expressionFixtures = (all) => all.filter((f) => f.kind === "expression");
+export const projectFixtures = (all) => all.filter((f) => f.kind === "project");
+function readProject(dir) {
+    const files = new Map();
+    const walk = (d) => {
+        for (const name of readdirSync(d)) {
+            const p = join(d, name);
+            if (statSync(p).isDirectory())
+                walk(p);
+            else if (name.endsWith(".ts"))
+                files.set(relative(dir, p).split(/[\\/]/).join("/"), readFileSync(p, "utf8"));
+        }
+    };
+    walk(dir);
+    return files;
+}
+export function loadFixtures(root) {
+    const out = [];
+    for (const rule of readdirSync(root)) {
+        const rd = join(root, rule);
+        if (!statSync(rd).isDirectory())
+            continue;
+        for (const name of readdirSync(rd)) {
+            const d = join(rd, name);
+            if (!statSync(d).isDirectory())
+                continue;
+            const e = JSON.parse(readFileSync(join(d, "expect.json"), "utf8"));
+            const id = `${rule}/${name}`;
+            if (e.project) {
+                const fx = { kind: "project", id, dir: d, rules: e.rules, files: readProject(join(d, "project")), profiles: [],
+                    verdicts: e.verdicts, tentative: e.tentative, taintedBy: e.taintedBy, exports: e.exports, rejectRule: e.rejectRule, host: e.host, note: e.note };
+                fx.profiles = profilesOf(fx, e.profiles);
+                out.push(fx);
+            }
+            else {
+                const fx = { kind: "expression", id, dir: d, input: readFileSync(join(d, "input.ts"), "utf8"), profiles: [],
+                    rules: e.rules, exportName: e.export, shape: e.shape, fold: e.fold, value: e.value, rejectAt: e.rejectAt, note: e.note };
+                fx.profiles = profilesOf(fx, e.profiles);
+                out.push(fx);
+            }
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=fixture.js.map

package/dist/fixture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixture.js","sourceRoot":"","sources":["../src/fixture.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC9D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AA8B3C;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,CAAU,EAAE,QAAmB;IACxD,IAAI,QAAQ;QAAE,OAAO,QAAqB,CAAC;IAC3C,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5E,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,SAAS,CAAC;QAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACpF,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;AACpD,CAAC;AAED,2EAA2E;AAC3E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,GAAc,EAAuB,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAA0B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;AAC9I,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,GAAc,EAAoB,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAuB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;AAElI,SAAS,WAAW,CAAC,GAAW;IAC9B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAE;QACzB,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YACxB,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE;gBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;iBAClC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QAC/G,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE;YAAE,SAAS;QACvE,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE;gBAAE,SAAS;YACnE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,aAAa,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YACnE,MAAM,EAAE,GAAG,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;YAC7B,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBACd,MAAM,EAAE,GAAmB,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE;oBAC5H,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;gBACnJ,EAAE,CAAC,QAAQ,GAAG,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;gBACzC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,CAAC;iBAAM,CAAC;gBACN,MAAM,EAAE,GAAsB,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,EAAE,QAAQ,EAAE,EAAE;oBAC5H,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC3H,EAAE,CAAC,QAAQ,GAAG,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;gBACzC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/host.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Named hosts a fixture may ask for (#61). A fixture is data — `.ts` sources
+ * and a JSON expectation — and F-Host-Interface item 1 requires real classes
+ * that revival can construct, so the classes live here, in code, and a fixture
+ * names the host it wants.
+ *
+ * Neutral by construction: nothing here imports an implementation. An adapter
+ * translates a `ConformanceHost` into whatever its own host interface is.
+ */
+/** An intrinsic registration, F-Host-Registry's shape. */
+export interface HostIntrinsic {
+    readonly name: string;
+    readonly isTag: boolean;
+    readonly foldsAsCall?: boolean;
+    readonly foldsEagerly?: boolean;
+    readonly outputKey?: string;
+}
+export interface ConformanceHost {
+    readonly name: string;
+    /** F-Host-Trust arm 1: the specifiers this host owns. */
+    readonly ownedSpecifierPrefixes: readonly string[];
+    readonly intrinsics: readonly HostIntrinsic[];
+    readonly helpers: readonly {
+        name: string;
+        module: string;
+        note: string;
+    }[];
+    /** Specifier, then export name, to the real value. Revival calls these (F-Val-Fate). */
+    readonly values: ReadonlyMap<string, ReadonlyMap<string, unknown>>;
+}
+export declare const HOSTS: ReadonlyMap<string, ConformanceHost>;
+export declare function requireHost(name: string): ConformanceHost;
+//# sourceMappingURL=host.d.ts.map

package/dist/host.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"host.d.ts","sourceRoot":"","sources":["../src/host.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,0DAA0D;AAC1D,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yDAAyD;IACzD,QAAQ,CAAC,sBAAsB,EAAE,SAAS,MAAM,EAAE,CAAC;IACnD,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC5E,wFAAwF;IACxF,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACpE;AAuED,eAAO,MAAM,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAoC,CAAC;AAE5F,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAIzD"}

package/dist/host.js

@@ -0,0 +1,79 @@
+/**
+ * Named hosts a fixture may ask for (#61). A fixture is data — `.ts` sources
+ * and a JSON expectation — and F-Host-Interface item 1 requires real classes
+ * that revival can construct, so the classes live here, in code, and a fixture
+ * names the host it wants.
+ *
+ * Neutral by construction: nothing here imports an implementation. An adapter
+ * translates a `ConformanceHost` into whatever its own host interface is.
+ */
+const DECLARABLE = Symbol.for("tsad.conformance.declarable");
+/** F-Host-Interface item 1's shape: `new (props, attributes?)`, carrying the markers an entity carries. */
+class Bucket {
+    entityType = "Bucket";
+    lexicon = "shapes";
+    props;
+    attributes;
+    constructor(props = {}, attributes = {}) {
+        this.props = props;
+        this.attributes = attributes;
+        Object.defineProperty(this, DECLARABLE, { value: true, enumerable: false });
+    }
+}
+/** Spread-`args` arity, the other arm of F-Val-Arity. */
+class Pair {
+    left;
+    right;
+    entityType = "Pair";
+    lexicon = "shapes";
+    constructor(left, right) {
+        this.left = left;
+        this.right = right;
+        Object.defineProperty(this, DECLARABLE, { value: true, enumerable: false });
+    }
+}
+/** A live object the host owns outright, for the F-CallLeak case: no construction involved. */
+const registry = new Map([["one", "1"]]);
+/** An intrinsic in tag form: revival invokes it as `Name(strings, ...values)`. */
+const join = (strings, ...values) => strings.reduce((acc, s, i) => acc + s + (i < values.length ? String(values[i]) : ""), "");
+/** An authoring helper: pure, deterministic, the same at fold time as at run time. */
+const upper = (s) => s.toUpperCase();
+/** An intrinsic in call form (F-Host-Registry `foldsAsCall`): revival invokes it with the folded arguments. */
+const ref = (name) => ({ Ref: name });
+/** An eager intrinsic (`foldsEagerly`): evaluated at fold time, and F-Host-Admission's third clause holds because it is a pure function of its arguments. */
+const count = (items) => items.length;
+/** A plain-data export (F-Host-DataExports): folds as a value through a named import. */
+const SIZES = { small: 1, large: 3 };
+const SHAPES = {
+    name: "shapes",
+    ownedSpecifierPrefixes: ["@tsad/shapes"],
+    intrinsics: [
+        { name: "join", isTag: true },
+        { name: "ref", isTag: false, foldsAsCall: true },
+        { name: "count", isTag: false, foldsEagerly: true },
+    ],
+    helpers: [{ name: "upper", module: "@tsad/shapes", note: "pure string transform, no environment read" }],
+    values: new Map([
+        [
+            "@tsad/shapes",
+            new Map([
+                ["Bucket", Bucket],
+                ["Pair", Pair],
+                ["join", join],
+                ["upper", upper],
+                ["ref", ref],
+                ["count", count],
+                ["SIZES", SIZES],
+                ["registry", registry],
+            ]),
+        ],
+    ]),
+};
+export const HOSTS = new Map([[SHAPES.name, SHAPES]]);
+export function requireHost(name) {
+    const h = HOSTS.get(name);
+    if (!h)
+        throw new Error(`no such conformance host: ${name}. Known: ${[...HOSTS.keys()].join(", ")}`);
+    return h;
+}
+//# sourceMappingURL=host.js.map

package/dist/host.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"host.js","sourceRoot":"","sources":["../src/host.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAqBH,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;AAE7D,2GAA2G;AAC3G,MAAM,MAAM;IACD,UAAU,GAAG,QAAQ,CAAC;IACtB,OAAO,GAAG,QAAQ,CAAC;IACnB,KAAK,CAA0B;IAC/B,UAAU,CAA0B;IAC7C,YAAY,QAAiC,EAAE,EAAE,aAAsC,EAAE;QACvF,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9E,CAAC;CACF;AAED,yDAAyD;AACzD,MAAM,IAAI;IAGa;IAAwB;IAFpC,UAAU,GAAG,MAAM,CAAC;IACpB,OAAO,GAAG,QAAQ,CAAC;IAC5B,YAAqB,IAAa,EAAW,KAAc;QAAtC,SAAI,GAAJ,IAAI,CAAS;QAAW,UAAK,GAAL,KAAK,CAAS;QACzD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9E,CAAC;CACF;AAED,+FAA+F;AAC/F,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;AAEzD,kFAAkF;AAClF,MAAM,IAAI,GAAG,CAAC,OAA0B,EAAE,GAAG,MAAiB,EAAU,EAAE,CACxE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;AAE5F,sFAAsF;AACtF,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;AAErD,+GAA+G;AAC/G,MAAM,GAAG,GAAG,CAAC,IAAY,EAAmB,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;AAE/D,6JAA6J;AAC7J,MAAM,KAAK,GAAG,CAAC,KAAyB,EAAU,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;AAElE,yFAAyF;AACzF,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAW,CAAC;AAE9C,MAAM,MAAM,GAAoB;IAC9B,IAAI,EAAE,QAAQ;IACd,sBAAsB,EAAE,CAAC,cAAc,CAAC;IACxC,UAAU,EAAE;QACV,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE;QAC7B,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE;QAChD,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE;KACpD;IACD,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,4CAA4C,EAAE,CAAC;IACxG,MAAM,EAAE,IAAI,GAAG,CAAC;QACd;YACE,cAAc;YACd,IAAI,GAAG,CAAkB;gBACvB,CAAC,QAAQ,EAAE,MAAM,CAAC;gBAClB,CAAC,MAAM,EAAE,IAAI,CAAC;gBACd,CAAC,MAAM,EAAE,IAAI,CAAC;gBACd,CAAC,OAAO,EAAE,KAAK,CAAC;gBAChB,CAAC,KAAK,EAAE,GAAG,CAAC;gBACZ,CAAC,OAAO,EAAE,KAAK,CAAC;gBAChB,CAAC,OAAO,EAAE,KAAK,CAAC;gBAChB,CAAC,UAAU,EAAE,QAAQ,CAAC;aACvB,CAAC;SACH;KACF,CAAC;CACH,CAAC;AAEF,MAAM,CAAC,MAAM,KAAK,GAAyC,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;AAE5F,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1B,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,IAAI,YAAY,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrG,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,7 @@
+export * from "./adapter.js";
+export * from "./fixture.js";
+export * from "./host.js";
+export * from "./runner.js";
+export * from "./bundled.js";
+export * from "./rules.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC;AAC7B,cAAc,cAAc,CAAC;AAC7B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC"}

package/dist/index.js

@@ -0,0 +1,7 @@
+export * from "./adapter.js";
+export * from "./fixture.js";
+export * from "./host.js";
+export * from "./runner.js";
+export * from "./bundled.js";
+export * from "./rules.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,cAAc,cAAc,CAAC;AAC7B,cAAc,cAAc,CAAC;AAC7B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC"}

package/dist/rules.d.ts

@@ -0,0 +1,46 @@
+/** The five files that define rules, in reading order. The same list `spec/fixtures.test.ts` gates on. */
+export declare const RULE_FILES: readonly ["grammar.md", "judgments.md", "values.md", "divergence.md", "hosts.md", "rules.md"];
+export interface Rule {
+    readonly id: string;
+    readonly file: string;
+    /** The rule's normative text: from its definition to the next definition or heading, whitespace collapsed. */
+    readonly text: string;
+}
+/** Every rule the specification defines, with its text. `specDir` holds the rule files and `VERSION`. */
+export declare function loadRules(specDir: string): {
+    version: string;
+    rules: Map<string, Rule>;
+};
+export type CitationFinding = {
+    kind: "unknown-identifier";
+    id: string;
+    line: number;
+} | {
+    kind: "quote-not-in-rule";
+    id: string;
+    line: number;
+    quote: string;
+} | {
+    kind: "marker-without-quote";
+    id: string;
+    line: number;
+} | {
+    kind: "version-mismatch";
+    declared: string;
+    spec: string;
+};
+/**
+ * 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 declare function checkCitations(document: string, index: {
+    version: string;
+    rules: ReadonlyMap<string, Rule>;
+}, declared?: string): CitationFinding[];
+/** One line per finding, for a test's failure message. */
+export declare function describeFinding(f: CitationFinding): string;
+//# sourceMappingURL=rules.d.ts.map

package/dist/rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../src/rules.ts"],"names":[],"mappings":"AA8BA,0GAA0G;AAC1G,eAAO,MAAM,UAAU,+FAAgG,CAAC;AAExH,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8GAA8G;IAC9G,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAWD,yGAAyG;AACzG,wBAAgB,SAAS,CAAC,OAAO,EAAE,MAAM,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;CAAE,CAwBxF;AAED,MAAM,MAAM,eAAe,GACvB;IAAE,IAAI,EAAE,oBAAoB,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACtE;IAAE,IAAI,EAAE,sBAAsB,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC1D;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAKjE;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;CAAE,EAC5D,QAAQ,CAAC,EAAE,MAAM,GAChB,eAAe,EAAE,CAgCnB;AAED,0DAA0D;AAC1D,wBAAgB,eAAe,CAAC,CAAC,EAAE,eAAe,GAAG,MAAM,CAO1D"}