@descryy/ir 0.1.0

package/dist/conformance/manifest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../src/conformance/manifest.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAIH,OAAO,EAGL,KAAK,mBAAmB,EACzB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAChD,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE7D,MAAM,WAAW,WAAW;IAC1B,wFAAwF;IACxF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iEAAiE;IACjE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B;;;;;;;;;;;;;;;OAeG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,EAAE,CAAC;CAC5F;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C;;;OAGG;IACH,QAAQ,CAAC,qBAAqB,EAAE,eAAe,CAAC;IAChD,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD;;;;;OAKG;IACH,QAAQ,CAAC,qBAAqB,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAChE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IACtD,yFAAyF;IACzF,QAAQ,CAAC,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC/D,6FAA6F;IAC7F,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACzD;AAED,qBAAa,aAAc,SAAQ,KAAK;IACtC,SAAkB,IAAI,mBAAmB;CAC1C;AAqDD,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,GAAG,cAAc,CAkG1D;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,CAEzD"}

package/dist/conformance/manifest.js

@@ -0,0 +1,158 @@
+/**
+ * A corpus binding manifest — `fixtures/languages/<name>/manifest.json`.
+ *
+ * The golden says *what shape* a pattern has; a manifest says *which symbols in
+ * this corpus play those parts*. That split is what lets one golden gate many
+ * adapters, and it is why the manifest is data a human wrote rather than
+ * something an adapter supplies: an adapter that told the harness which of its
+ * own nodes to compare would be grading its own paper.
+ *
+ * Parsed as strictly as the golden, with one deliberate exception — any key
+ * ending in `Note` is documentation and is ignored. The corpus uses those to
+ * record *why* an override exists, which `fixtures/README.md` step 4 requires,
+ * and losing them to a strict parser would push the reasoning out of the file
+ * that needs it.
+ */
+import { readFileSync } from "node:fs";
+import { capabilityList as capabilityNames, isFrameworkCapability, } from "../capabilities.js";
+import { isNodeType } from "../vocabulary.js";
+export class ManifestError extends Error {
+    name = "ManifestError";
+}
+function fail(where, detail) {
+    throw new ManifestError(`${where}: ${detail}`);
+}
+function object(value, where) {
+    if (typeof value !== "object" || value === null || Array.isArray(value)) {
+        fail(where, "expected an object");
+    }
+    return value;
+}
+function stringList(value, where) {
+    if (!Array.isArray(value))
+        fail(where, "expected an array of strings");
+    for (const item of value) {
+        if (typeof item !== "string")
+            fail(where, "expected an array of strings");
+    }
+    return value;
+}
+function requiredString(value, key, where) {
+    const raw = value[key];
+    if (typeof raw !== "string" || raw === "")
+        fail(where, `"${key}" must be a non-empty string`);
+    return raw;
+}
+/**
+ * A capability list, closed against `capabilities.ts`.
+ *
+ * Rejected loudly for the same reason the golden rejects an unrecognised
+ * `requires`: a capability nothing recognises supplies nothing, so a typo here
+ * would skip every pattern needing it and the suite would go green having
+ * stopped checking. The two ends of the match are validated against one set.
+ */
+function capabilityList_(value, where) {
+    const list = stringList(value, where);
+    for (const item of list) {
+        if (!isFrameworkCapability(item)) {
+            fail(where, `unrecognised capability "${item}". The recognised set is ${capabilityNames()}.`);
+        }
+    }
+    return list;
+}
+function stringMap(value, where) {
+    const map = object(value, where);
+    for (const [key, entry] of Object.entries(map)) {
+        if (typeof entry !== "string")
+            fail(`${where}.${key}`, "expected a string");
+    }
+    return map;
+}
+export function parseManifest(raw) {
+    const value = object(raw, "manifest");
+    const known = [
+        "adapter",
+        "language",
+        "root",
+        "parseGlobs",
+        "sqlGlobs",
+        "contractGlobs",
+        "expectedMaxResolution",
+        "frameworkExtractors",
+        "frameworkCapabilities",
+        "roles",
+        "roleTypeOverrides",
+        "fieldNameMap",
+    ];
+    const unknown = Object.keys(value).filter((k) => !known.includes(k) && k !== "note" && !k.endsWith("Note"));
+    if (unknown.length > 0) {
+        fail("manifest", `unknown key(s) ${unknown.map((k) => `"${k}"`).join(", ")}`);
+    }
+    const maxResolution = value["expectedMaxResolution"];
+    if (maxResolution !== 0 && maxResolution !== 1 && maxResolution !== 2 && maxResolution !== 3) {
+        fail("manifest.expectedMaxResolution", `must be 0-3, got ${JSON.stringify(maxResolution)}. R4 is observed at runtime and cannot ` +
+            `be reached by static analysis of a fixture, so no corpus may claim it.`);
+    }
+    const roles = {};
+    for (const [role, binding] of Object.entries(object(value["roles"], "manifest.roles"))) {
+        const where = `manifest.roles.${role}`;
+        const entry = object(binding, where);
+        const file = entry["file"];
+        if (file !== null && (typeof file !== "string" || file === "")) {
+            fail(where, `"file" must be a repo-relative path or null (DEC-014)`);
+        }
+        const rawAlternates = entry["alternates"];
+        if (rawAlternates !== undefined && !Array.isArray(rawAlternates)) {
+            fail(`${where}.alternates`, "must be an array of { symbol, file } pairs");
+        }
+        const alternates = (Array.isArray(rawAlternates) ? rawAlternates : []).map((item, index) => {
+            const at = `${where}.alternates[${index}]`;
+            const alternate = object(item, at);
+            const alternateFile = alternate["file"];
+            if (alternateFile !== null && (typeof alternateFile !== "string" || alternateFile === "")) {
+                fail(at, `"file" must be a repo-relative path or null (DEC-014)`);
+            }
+            return { symbol: requiredString(alternate, "symbol", at), file: alternateFile };
+        });
+        roles[role] = {
+            symbol: requiredString(entry, "symbol", where),
+            file,
+            ...(alternates.length === 0 ? {} : { alternates }),
+        };
+    }
+    const overrides = {};
+    const rawOverrides = value["roleTypeOverrides"];
+    if (rawOverrides !== undefined) {
+        for (const [role, type] of Object.entries(object(rawOverrides, "manifest.roleTypeOverrides"))) {
+            if (typeof type !== "string" || !isNodeType(type)) {
+                fail(`manifest.roleTypeOverrides.${role}`, `"${String(type)}" is not one of the 15 node types`);
+            }
+            if (roles[role] === undefined) {
+                fail(`manifest.roleTypeOverrides.${role}`, "overrides a role the manifest does not bind");
+            }
+            overrides[role] = type;
+        }
+    }
+    return {
+        adapter: requiredString(value, "adapter", "manifest"),
+        language: requiredString(value, "language", "manifest"),
+        root: requiredString(value, "root", "manifest"),
+        parseGlobs: stringList(value["parseGlobs"], "manifest.parseGlobs"),
+        sqlGlobs: stringList(value["sqlGlobs"] ?? [], "manifest.sqlGlobs"),
+        contractGlobs: stringList(value["contractGlobs"] ?? [], "manifest.contractGlobs"),
+        expectedMaxResolution: maxResolution,
+        frameworkExtractors: stringList(value["frameworkExtractors"] ?? [], "manifest.frameworkExtractors"),
+        ...(value["frameworkCapabilities"] === undefined
+            ? {}
+            : {
+                frameworkCapabilities: capabilityList_(value["frameworkCapabilities"], "manifest.frameworkCapabilities"),
+            }),
+        roles,
+        roleTypeOverrides: overrides,
+        fieldNameMap: stringMap(value["fieldNameMap"] ?? {}, "manifest.fieldNameMap"),
+    };
+}
+export function loadManifest(path) {
+    return parseManifest(JSON.parse(readFileSync(path, "utf8")));
+}
+//# sourceMappingURL=manifest.js.map

package/dist/conformance/manifest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.js","sourceRoot":"","sources":["../../src/conformance/manifest.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAEvC,OAAO,EACL,cAAc,IAAI,eAAe,EACjC,qBAAqB,GAEtB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,UAAU,EAAiB,MAAM,kBAAkB,CAAC;AA4D7D,MAAM,OAAO,aAAc,SAAQ,KAAK;IACpB,IAAI,GAAG,eAAe,CAAC;CAC1C;AAED,SAAS,IAAI,CAAC,KAAa,EAAE,MAAc;IACzC,MAAM,IAAI,aAAa,CAAC,GAAG,KAAK,KAAK,MAAM,EAAE,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,KAAa;IAC3C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,IAAI,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,KAAa;IAC/C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,KAAK,EAAE,8BAA8B,CAAC,CAAC;IACvE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,KAAK,EAAE,8BAA8B,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,KAA0B,CAAC;AACpC,CAAC;AAED,SAAS,cAAc,CAAC,KAA8B,EAAE,GAAW,EAAE,KAAa;IAChF,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,EAAE;QAAE,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,8BAA8B,CAAC,CAAC;IAC9F,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,eAAe,CAAC,KAAc,EAAE,KAAa;IACpD,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACtC,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,KAAK,EAAE,4BAA4B,IAAI,4BAA4B,eAAe,EAAE,GAAG,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,OAAO,IAAsC,CAAC;AAChD,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,KAAa;IAC9C,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACjC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/C,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,IAAI,CAAC,GAAG,KAAK,IAAI,GAAG,EAAE,EAAE,mBAAmB,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,GAA6B,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,GAAY;IACxC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG;QACZ,SAAS;QACT,UAAU;QACV,MAAM;QACN,YAAY;QACZ,UAAU;QACV,eAAe;QACf,uBAAuB;QACvB,qBAAqB;QACrB,uBAAuB;QACvB,OAAO;QACP,mBAAmB;QACnB,cAAc;KACf,CAAC;IACF,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CACjE,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,IAAI,CAAC,UAAU,EAAE,kBAAkB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC;IAED,MAAM,aAAa,GAAG,KAAK,CAAC,uBAAuB,CAAC,CAAC;IACrD,IAAI,aAAa,KAAK,CAAC,IAAI,aAAa,KAAK,CAAC,IAAI,aAAa,KAAK,CAAC,IAAI,aAAa,KAAK,CAAC,EAAE,CAAC;QAC7F,IAAI,CACF,gCAAgC,EAChC,oBAAoB,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,yCAAyC;YACxF,wEAAwE,CAC3E,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAgC,EAAE,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC,CAAC,EAAE,CAAC;QACvF,MAAM,KAAK,GAAG,kBAAkB,IAAI,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC;YAC/D,IAAI,CAAC,KAAK,EAAE,uDAAuD,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,aAAa,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC;QAC1C,IAAI,aAAa,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;YACjE,IAAI,CAAC,GAAG,KAAK,aAAa,EAAE,4CAA4C,CAAC,CAAC;QAC5E,CAAC;QACD,MAAM,UAAU,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACzF,MAAM,EAAE,GAAG,GAAG,KAAK,eAAe,KAAK,GAAG,CAAC;YAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACnC,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YACxC,IAAI,aAAa,KAAK,IAAI,IAAI,CAAC,OAAO,aAAa,KAAK,QAAQ,IAAI,aAAa,KAAK,EAAE,CAAC,EAAE,CAAC;gBAC1F,IAAI,CAAC,EAAE,EAAE,uDAAuD,CAAC,CAAC;YACpE,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,aAA8B,EAAE,CAAC;QACnG,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,IAAI,CAAC,GAAG;YACZ,MAAM,EAAE,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC;YAC9C,IAAI;YACJ,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAA6B,EAAE,CAAC;IAC/C,MAAM,YAAY,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC;IAChD,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,EAAE,4BAA4B,CAAC,CAAC,EAAE,CAAC;YAC9F,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClD,IAAI,CAAC,8BAA8B,IAAI,EAAE,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;YAClG,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC9B,IAAI,CAAC,8BAA8B,IAAI,EAAE,EAAE,6CAA6C,CAAC,CAAC;YAC5F,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QACzB,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC;QACrD,QAAQ,EAAE,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,CAAC;QACvD,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC;QAC/C,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,qBAAqB,CAAC;QAClE,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,mBAAmB,CAAC;QAClE,aAAa,EAAE,UAAU,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,EAAE,wBAAwB,CAAC;QACjF,qBAAqB,EAAE,aAAa;QACpC,mBAAmB,EAAE,UAAU,CAC7B,KAAK,CAAC,qBAAqB,CAAC,IAAI,EAAE,EAClC,8BAA8B,CAC/B;QACD,GAAG,CAAC,KAAK,CAAC,uBAAuB,CAAC,KAAK,SAAS;YAC9C,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,qBAAqB,EAAE,eAAe,CACpC,KAAK,CAAC,uBAAuB,CAAC,EAC9B,gCAAgC,CACjC;aACF,CAAC;QACN,KAAK;QACL,iBAAiB,EAAE,SAAS;QAC5B,YAAY,EAAE,SAAS,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,uBAAuB,CAAC;KAC9E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC"}

package/dist/conformance/report.d.ts

@@ -0,0 +1,14 @@
+/**
+ * The reporter.
+ *
+ * Four verdicts, printed as four verdicts. `skipped` and `not-required` are not
+ * folded into `pass` anywhere, and the totals line names all four — an adapter
+ * that satisfies three patterns and skips nine has not passed conformance in any
+ * sense a reader would recognise, and a report that says "12/12 OK" is how that
+ * gets shipped. Same rule as §20.2's four report categories: "we found nothing"
+ * and "we could not look" are different statements.
+ */
+import type { ConformanceResult, SweepResult } from "./run.ts";
+export declare function formatReport(result: ConformanceResult): string;
+export declare function formatSweepReport(sweep: SweepResult): string;
+//# sourceMappingURL=report.d.ts.map

package/dist/conformance/report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../src/conformance/report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAiC,WAAW,EAAE,MAAM,UAAU,CAAC;AA2B9F,wBAAgB,YAAY,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CA8C9D;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CAe5D"}

package/dist/conformance/report.js

@@ -0,0 +1,87 @@
+/**
+ * The reporter.
+ *
+ * Four verdicts, printed as four verdicts. `skipped` and `not-required` are not
+ * folded into `pass` anywhere, and the totals line names all four — an adapter
+ * that satisfies three patterns and skips nine has not passed conformance in any
+ * sense a reader would recognise, and a report that says "12/12 OK" is how that
+ * gets shipped. Same rule as §20.2's four report categories: "we found nothing"
+ * and "we could not look" are different statements.
+ */
+const MARK = {
+    pass: "PASS",
+    fail: "FAIL",
+    skipped: "SKIP",
+    "not-required": "N/R ",
+};
+function formatPattern(pattern) {
+    const lines = [`  ${MARK[pattern.verdict]}  ${pattern.pattern}`];
+    if (pattern.reason !== undefined)
+        lines.push(`          ${pattern.reason}`);
+    // A pass with deferred assertions is still a pass — but naming them is the
+    // difference between "we checked and it is fine" and "we did not check".
+    for (const assertion of pattern.deferred) {
+        lines.push(`          not required at this resolution: ${assertion}`);
+    }
+    for (const finding of pattern.findings) {
+        const role = finding.role === undefined ? "" : ` [${finding.role}]`;
+        lines.push(`        - ${finding.kind}${role}: ${finding.detail}`);
+        if (finding.interpretation !== undefined) {
+            lines.push(`          ${finding.interpretation}`);
+        }
+    }
+    return lines;
+}
+export function formatReport(result) {
+    const lines = [
+        `conformance: ${result.adapter} against the "${result.corpus}" corpus, ` +
+            `claiming R${result.claimedResolution}`,
+    ];
+    for (const pattern of result.patterns)
+        lines.push(...formatPattern(pattern));
+    if (result.rejections.length > 0) {
+        lines.push(`  FAIL  the boundary rejected ${result.rejections.length} item(s); they would never reach ` +
+            `a graph, so the adapter has already failed:`);
+        for (const rejection of result.rejections) {
+            lines.push(`        - ${rejection.code} (${rejection.scope} ${rejection.subject})`);
+        }
+    }
+    if (result.clamps.length > 0) {
+        lines.push(`  note  ${result.clamps.length} confidence value(s) were clamped down to their resolution ` +
+            `ceiling. Not a failure, but the adapter is claiming more certainty than its level allows.`);
+    }
+    // DEC-070. Printed above the verdict rather than appended after it, because
+    // an undeclared capability means the pattern sheet above was decided by a
+    // manifest that was wrong — the reader needs that before the tally, not after.
+    for (const finding of result.manifest.findings) {
+        const label = finding.kind === "undeclared" ? "FAIL " : "thin ";
+        lines.push(`  ${label} manifest: ${finding.what} ${finding.type} — ${finding.detail}`);
+    }
+    if (result.manifest.unpublishable.length > 0) {
+        lines.push(`  note  ${result.manifest.unpublishable.length} declared capability/ies were never ` +
+            `exercised by this corpus and may not be published as a tier claim: ` +
+            `${result.manifest.unpublishable.join(", ")}.`);
+    }
+    const { counts } = result;
+    lines.push(`  ${result.passed ? "CONFORMANT" : "NOT CONFORMANT"} — ${counts.pass} passed, ` +
+        `${counts.fail} failed, ${counts.skipped} skipped, ${counts["not-required"]} not required ` +
+        `at this resolution.`);
+    return lines.join("\n");
+}
+export function formatSweepReport(sweep) {
+    const lines = [];
+    for (const run of sweep.runs) {
+        lines.push(`--- asked for R${run.level} ---`);
+        lines.push(formatReport(run.result));
+    }
+    if (sweep.monotonicity.length > 0) {
+        lines.push("monotonicity violations — more resolution removed knowledge:");
+        for (const finding of sweep.monotonicity) {
+            const role = finding.role === undefined ? "" : ` [${finding.role}]`;
+            lines.push(`  - ${finding.pattern}${role}: ${finding.detail}`);
+        }
+    }
+    lines.push(sweep.passed ? "sweep: CONFORMANT" : "sweep: NOT CONFORMANT");
+    return lines.join("\n");
+}
+//# sourceMappingURL=report.js.map

package/dist/conformance/report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../../src/conformance/report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,MAAM,IAAI,GAA6C;IACrD,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,MAAM;IACf,cAAc,EAAE,MAAM;CACvB,CAAC;AAEF,SAAS,aAAa,CAAC,OAAsB;IAC3C,MAAM,KAAK,GAAG,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IACjE,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,aAAa,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5E,2EAA2E;IAC3E,yEAAyE;IACzE,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,8CAA8C,SAAS,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,GAAG,CAAC;QACpE,KAAK,CAAC,IAAI,CAAC,aAAa,OAAO,CAAC,IAAI,GAAG,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAClE,IAAI,OAAO,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,aAAa,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,MAAyB;IACpD,MAAM,KAAK,GAAa;QACtB,gBAAgB,MAAM,CAAC,OAAO,iBAAiB,MAAM,CAAC,MAAM,YAAY;YACtE,aAAa,MAAM,CAAC,iBAAiB,EAAE;KAC1C,CAAC;IAEF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;IAE7E,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CACR,iCAAiC,MAAM,CAAC,UAAU,CAAC,MAAM,mCAAmC;YAC1F,6CAA6C,CAChD,CAAC;QACF,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,IAAI,SAAS,CAAC,OAAO,GAAG,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CACR,WAAW,MAAM,CAAC,MAAM,CAAC,MAAM,6DAA6D;YAC1F,2FAA2F,CAC9F,CAAC;IACJ,CAAC;IAED,4EAA4E;IAC5E,0EAA0E;IAC1E,+EAA+E;IAC/E,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,cAAc,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CACR,WAAW,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,sCAAsC;YACnF,qEAAqE;YACrE,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACjD,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAC1B,KAAK,CAAC,IAAI,CACR,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,gBAAgB,MAAM,MAAM,CAAC,IAAI,WAAW;QAC9E,GAAG,MAAM,CAAC,IAAI,YAAY,MAAM,CAAC,OAAO,aAAa,MAAM,CAAC,cAAc,CAAC,gBAAgB;QAC3F,qBAAqB,CACxB,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAkB;IAClD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,kBAAkB,GAAG,CAAC,KAAK,MAAM,CAAC,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,8DAA8D,CAAC,CAAC;QAC3E,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,GAAG,CAAC;YACpE,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,OAAO,GAAG,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;IACzE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/conformance/run.d.ts

@@ -0,0 +1,172 @@
+/**
+ * The conformance harness — the release gate for every adapter (§11A.10).
+ *
+ * Runs one `IRSource` over one corpus and reports, per golden pattern, whether
+ * the subgraph it produced is the shape the corpus says that pattern has.
+ *
+ * ## Five semantics this file settles
+ *
+ * 1. **Only the role-bound subgraph is compared.** Edges between nodes no role
+ *    names are ignored — an adapter is allowed to know more than the corpus
+ *    asks about. The one exception is a `forbiddenEdges` entry whose target is
+ *    `ANY_TARGET`: that wildcard is precisely a licence to look outside the
+ *    bound set, and the asymmetry *is* the precision rule. "Every expected thing
+ *    is present" is checked inside the bound set; "this thing is present
+ *    nowhere" cannot be.
+ *
+ * 2. **"Reported a resolution it did not reach" is an interpretation, not a
+ *    second detector.** There is one check — a required edge is absent — and
+ *    two ways to read it. The adapter said R3; at R3 this edge is mandatory; it
+ *    is missing. Whether that is a recall gap or a dishonest claim is the same
+ *    fact stated twice, so the harness detects it once and words it as both.
+ *
+ * 3. **`file` survives normalisation.** Pattern 01 asserts `sameFileAs`, which
+ *    compares `node.file` between two nodes. A harness that normalised paths
+ *    away for portability would delete the only field that assertion reads.
+ *
+ * 4. **Monotonicity is cross-run.** An edge present at R2 must still be present
+ *    at R3; more resolution never removes knowledge. One run cannot see this, so
+ *    it lives in `runConformanceSweep`.
+ *
+ * 5. **An unbound role is a loud failure, never a silent skip.** A corpus that
+ *    quietly stops covering a pattern still reports green, and green is the
+ *    thing everyone trusts. The exception is narrow and stated: a pattern that
+ *    is skipped or not required at this resolution never asks for its roles, so
+ *    it cannot fail to bind them.
+ *
+ * ## What this does not do
+ *
+ * It does not merge, store, or query. It reads one adapter's `IRBatch` through
+ * the Normaliser and compares. Cross-adapter facts — XL-1's single joined
+ * `API_ENDPOINT` — need two batches merged, which is the Graph Builder's job and
+ * is tested there.
+ */
+import type { ResolutionLevel } from "../ir.ts";
+import type { IRSource } from "../contracts.ts";
+import { type Clamp, type Rejection } from "../normalise.ts";
+import { type Golden } from "./golden.ts";
+import type { CorpusManifest } from "./manifest.ts";
+import { type ManifestCheck } from "./manifest-check.ts";
+export type PatternVerdict = "pass" | "fail" | "skipped" | "not-required";
+export type FindingKind = "role-unbound" | "role-ambiguous" | "wrong-node-type" | "wrong-file" | "node-attr-mismatch" | "missing-edge" | "edge-attr-mismatch" | "forbidden-edge" | "wrong-target" | "batch-rejected" | "forbidden-node" | "monotonicity";
+export interface ConformanceFinding {
+    readonly kind: FindingKind;
+    readonly pattern: string;
+    readonly role?: string;
+    readonly detail: string;
+    /** How this reads in a report, when the plain fact understates it. */
+    readonly interpretation?: string;
+}
+export interface PatternResult {
+    readonly pattern: string;
+    readonly verdict: PatternVerdict;
+    /** Why, for `skipped` and `not-required`. */
+    readonly reason?: string;
+    readonly findings: readonly ConformanceFinding[];
+    /**
+     * Assertions that did not apply at this level, inside a pattern that was
+     * otherwise graded.
+     *
+     * `fixtures/README.md` is explicit that an edge absent below its
+     * `requiredAtResolution` is a **pass** — correct degradation, not a gap. But a
+     * pattern reported as a flat pass when the edge it exists for was never
+     * checked is "green means covered", which is the failure mode this whole
+     * project argues against. So the verdict follows the corpus and the deferred
+     * assertions are named alongside it.
+     */
+    readonly deferred: readonly string[];
+    /** What this run actually demonstrated. Feeds the monotonicity check. */
+    readonly satisfied: {
+        readonly roles: readonly string[];
+        /** `from->to:TYPE`, using golden role names. */
+        readonly edges: readonly string[];
+    };
+}
+export interface ConformanceResult {
+    readonly adapter: string;
+    readonly corpus: string;
+    /**
+     * Does the adapter do what it declares? DEC-070.
+     *
+     * Separate from `patterns` on purpose: a pattern verdict is about a golden,
+     * and this is about the manifest the harness *consults* to decide which
+     * patterns to run. Folding it into the pattern list would make the thing that
+     * chooses the gates just another gate.
+     */
+    readonly manifest: ManifestCheck;
+    /** The level the adapter's own batch claims it reached. The authority here. */
+    readonly claimedResolution: ResolutionLevel;
+    readonly patterns: readonly PatternResult[];
+    readonly rejections: readonly Rejection[];
+    readonly clamps: readonly Clamp[];
+    readonly passed: boolean;
+    readonly counts: Readonly<Record<PatternVerdict, number>>;
+}
+export interface ConformanceInput {
+    readonly source: IRSource;
+    readonly manifest: CorpusManifest;
+    readonly golden: Golden;
+    /** Absolute path to the corpus on disk. Never stored in the graph. */
+    readonly root: string;
+    /** Node identity includes it (DEC-011), but binding does not — see `bind.ts`. */
+    readonly repo?: string;
+    readonly commitSha?: string;
+    /** Run a subset. Omitted means the whole corpus. */
+    readonly patterns?: readonly string[];
+    /**
+     * Raise the corpus cap for a producer that is not bound by it.
+     *
+     * `manifest.expectedMaxResolution` is the corpus telling the *language*
+     * adapter how far this fixture can honestly be pushed — Go stops at R2 here
+     * because the fixture has no type information beyond names. A **format**
+     * adapter is not reading the same evidence: `adapter-openapi` reads a
+     * published contract and `adapter-sql` reads a migration, and both of those
+     * artefacts state their own shapes, so R3 is what the corpus actually offers
+     * them (§11B.4).
+     *
+     * Left unset the manifest wins, which keeps the default honest. It must be
+     * passed explicitly at the call site so that raising a cap is visible in the
+     * runner rather than buried in an adapter default.
+     */
+    readonly corpusResolutionCeiling?: ResolutionLevel;
+    readonly prepareTimeoutMs?: number;
+    readonly signal?: AbortSignal;
+}
+/**
+ * Run one source over one corpus.
+ *
+ * The source's own `reachedResolution` is the level everything is judged
+ * against. That is not trust — it is the opposite: the adapter's claim is the
+ * standard it is then held to, which is what makes semantic 2 above possible.
+ *
+ * Lifecycle stays with the caller. `dispose()` is mandatory on a
+ * `LanguageAdapter` and a harness that called it would break any caller running
+ * a resolution sweep over one instance.
+ */
+export declare function runConformance(input: ConformanceInput): Promise<ConformanceResult>;
+export interface SweepInput extends Omit<ConformanceInput, "source"> {
+    /** One source per level. A sweep needs an adapter configured to cap where it is asked to. */
+    readonly createSource: (atResolution: ResolutionLevel) => IRSource | Promise<IRSource>;
+    /** Defaults to R0 through the corpus's `expectedMaxResolution`. */
+    readonly levels?: readonly ResolutionLevel[];
+}
+export interface SweepResult {
+    readonly runs: readonly {
+        readonly level: ResolutionLevel;
+        readonly result: ConformanceResult;
+    }[];
+    readonly monotonicity: readonly ConformanceFinding[];
+    readonly passed: boolean;
+}
+/**
+ * Run the corpus at every level the adapter claims, and check monotonicity.
+ *
+ * **More resolution never removes knowledge.** An edge found at R2 must still be
+ * there at R3, and a role that bound must still bind. The failure this catches
+ * is real and easy to ship: a resolver that only consults the type checker when
+ * types are available stops falling back to the name-based path, and quietly
+ * loses edges the weaker mode found. Only a sweep can see it — each individual
+ * run looks fine.
+ */
+export declare function runConformanceSweep(input: SweepInput): Promise<SweepResult>;
+//# sourceMappingURL=run.d.ts.map

package/dist/conformance/run.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/conformance/run.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAGH,OAAO,KAAK,EAA2B,eAAe,EAAE,MAAM,UAAU,CAAC;AACzE,OAAO,KAAK,EAAoB,QAAQ,EAAmB,MAAM,iBAAiB,CAAC;AACnF,OAAO,EAAkB,KAAK,KAAK,EAAE,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAI7E,OAAO,EAGL,KAAK,MAAM,EAEZ,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,EAAiB,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAMxE,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,cAAc,CAAC;AAE1E,MAAM,MAAM,WAAW,GACnB,cAAc,GACd,gBAAgB,GAChB,iBAAiB,GACjB,YAAY,GACZ,oBAAoB,GACpB,cAAc,GACd,oBAAoB,GACpB,gBAAgB,GAChB,cAAc,GACd,gBAAgB,GAChB,gBAAgB,GAChB,cAAc,CAAC;AAEnB,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,sEAAsE;IACtE,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,6CAA6C;IAC7C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACjD;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,yEAAyE;IACzE,QAAQ,CAAC,SAAS,EAAE;QAClB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;QAClC,gDAAgD;QAChD,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;KACnC,CAAC;CACH;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,+EAA+E;IAC/E,QAAQ,CAAC,iBAAiB,EAAE,eAAe,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,CAAC;CAC3D;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,sEAAsE;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,iFAAiF;IACjF,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,uBAAuB,CAAC,EAAE,eAAe,CAAC;IACnD,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;CAC/B;AAmgBD;;;;;;;;;;GAUG;AACH,wBAAsB,cAAc,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAwGxF;AAMD,MAAM,WAAW,UAAW,SAAQ,IAAI,CAAC,gBAAgB,EAAE,QAAQ,CAAC;IAClE,6FAA6F;IAC7F,QAAQ,CAAC,YAAY,EAAE,CAAC,YAAY,EAAE,eAAe,KAAK,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IACvF,mEAAmE;IACnE,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;CAC9C;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAA;KAAE,EAAE,CAAC;IAClG,QAAQ,CAAC,YAAY,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACrD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;;;;;GASG;AACH,wBAAsB,mBAAmB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC,WAAW,CAAC,CAwDjF"}