@descryy/ir 0.1.0

package/dist/conformance/golden.js

@@ -0,0 +1,252 @@
+/**
+ * The golden corpus, parsed and validated — `fixtures/golden/patterns.json`.
+ *
+ * The golden is hand-written JSON that outlives every adapter, so it is parsed
+ * **strictly**: an unknown key is an error, not something to ignore. A typo in
+ * `requiredAtResolution` that silently parsed as "no requirement" would turn a
+ * recall gate into a no-op, and nothing downstream would ever notice — the suite
+ * would go green and stay green.
+ *
+ * One golden, N language bindings (`fixtures/README.md`). Nothing here is
+ * per-language, and nothing here may become per-language: the moment a pattern
+ * needs a different expectation per adapter it has stopped being a conformance
+ * pattern and become a language quirk, which belongs in `attrs`.
+ */
+import { readFileSync } from "node:fs";
+import { capabilityList, isFrameworkCapability } from "../capabilities.js";
+import { isEdgeType, isNodeType } from "../vocabulary.js";
+/** The wildcard target in a `forbiddenEdges` entry. See `compare.ts` for why it matters. */
+export const ANY_TARGET = "*";
+export class GoldenError extends Error {
+    name = "GoldenError";
+}
+// ---------------------------------------------------------------------------
+// Strict parsing
+// ---------------------------------------------------------------------------
+function fail(where, detail) {
+    throw new GoldenError(`${where}: ${detail}`);
+}
+function object(value, where) {
+    if (typeof value !== "object" || value === null || Array.isArray(value)) {
+        fail(where, `expected an object, got ${Array.isArray(value) ? "an array" : typeof value}`);
+    }
+    return value;
+}
+function onlyKeys(value, allowed, where) {
+    const unknown = Object.keys(value).filter((k) => !allowed.includes(k));
+    if (unknown.length > 0) {
+        fail(where, `unknown key(s) ${unknown.map((k) => `"${k}"`).join(", ")}. The golden is parsed strictly ` +
+            `so a typo cannot silently disable an assertion; add the key to the parser deliberately.`);
+    }
+}
+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;
+}
+function optionalString(value, key, where) {
+    if (value[key] === undefined)
+        return undefined;
+    return requiredString(value, key, where);
+}
+function optionalResolution(value, key, where) {
+    const raw = value[key];
+    if (raw === undefined)
+        return undefined;
+    if (raw !== 0 && raw !== 1 && raw !== 2 && raw !== 3 && raw !== 4) {
+        fail(where, `"${key}" must be a resolution level 0-4, got ${JSON.stringify(raw)}`);
+    }
+    return raw;
+}
+function optionalAttrs(value, where) {
+    if (value["attrs"] === undefined)
+        return undefined;
+    return object(value["attrs"], `${where}.attrs`);
+}
+function array(value, where) {
+    if (!Array.isArray(value))
+        fail(where, "expected an array");
+    return value;
+}
+function nodeType(raw, where) {
+    if (!isNodeType(raw))
+        fail(where, `"${raw}" is not one of the 15 node types`);
+    return raw;
+}
+function edgeType(raw, where) {
+    if (!isEdgeType(raw))
+        fail(where, `"${raw}" is not one of the 15 edge types`);
+    return raw;
+}
+function parseNode(raw, where) {
+    const value = object(raw, where);
+    onlyKeys(value, ["role", "type", "sameFileAs", "attrs"], where);
+    const sameFileAs = optionalString(value, "sameFileAs", where);
+    const attrs = optionalAttrs(value, where);
+    return {
+        role: requiredString(value, "role", where),
+        type: nodeType(requiredString(value, "type", where), `${where}.type`),
+        ...(sameFileAs === undefined ? {} : { sameFileAs }),
+        ...(attrs === undefined ? {} : { attrs }),
+    };
+}
+function parseEdge(raw, where) {
+    const value = object(raw, where);
+    onlyKeys(value, ["from", "to", "type", "requiredAtResolution", "attrs"], where);
+    const requiredAtResolution = optionalResolution(value, "requiredAtResolution", where);
+    const attrs = optionalAttrs(value, where);
+    return {
+        from: requiredString(value, "from", where),
+        to: requiredString(value, "to", where),
+        type: edgeType(requiredString(value, "type", where), `${where}.type`),
+        ...(requiredAtResolution === undefined ? {} : { requiredAtResolution }),
+        ...(attrs === undefined ? {} : { attrs }),
+    };
+}
+function parseForbiddenEdge(raw, where) {
+    const value = object(raw, where);
+    onlyKeys(value, ["from", "to", "type", "atAnyResolution"], where);
+    const atAnyResolution = value["atAnyResolution"];
+    if (atAnyResolution !== undefined && typeof atAnyResolution !== "boolean") {
+        fail(where, `"atAnyResolution" must be a boolean`);
+    }
+    return {
+        from: requiredString(value, "from", where),
+        to: requiredString(value, "to", where),
+        type: edgeType(requiredString(value, "type", where), `${where}.type`),
+        ...(atAnyResolution === undefined ? {} : { atAnyResolution }),
+    };
+}
+function parseMustNotResolveTo(raw, where) {
+    const value = object(raw, where);
+    onlyKeys(value, ["edge", "target", "why"], where);
+    const edge = requiredString(value, "edge", where);
+    if (!edge.includes("->")) {
+        fail(`${where}.edge`, `expected "fromRole->toRole", got "${edge}"`);
+    }
+    return {
+        edge,
+        target: requiredString(value, "target", where),
+        why: requiredString(value, "why", where),
+    };
+}
+function parsePattern(raw, where) {
+    const value = object(raw, where);
+    onlyKeys(value, [
+        "description",
+        "nodes",
+        "edges",
+        "requiredAtResolution",
+        "requires",
+        "forbiddenEdges",
+        "mustNotResolveTo",
+        "mustNotBind",
+        "note",
+    ], where);
+    const requiredAtResolution = optionalResolution(value, "requiredAtResolution", where);
+    const requires = optionalString(value, "requires", where);
+    if (requires !== undefined && !isFrameworkCapability(requires)) {
+        fail(`${where}.requires`, `unrecognised capability "${requires}". The recognised set is ${capabilityList()}. A new one ` +
+            `changes what "skipped" means in every report, so it is added deliberately or not at all — ` +
+            `and an unrecognised value fails here rather than skipping the pattern, because a pattern ` +
+            `that skips for a typo is a gate that has silently stopped running.`);
+    }
+    const note = optionalString(value, "note", where);
+    const forbidden = value["forbiddenEdges"];
+    const mustNot = value["mustNotResolveTo"];
+    const mustNotBind = value["mustNotBind"];
+    const pattern = {
+        description: requiredString(value, "description", where),
+        nodes: array(value["nodes"], `${where}.nodes`).map((n, i) => parseNode(n, `${where}.nodes[${i}]`)),
+        edges: array(value["edges"] ?? [], `${where}.edges`).map((e, i) => parseEdge(e, `${where}.edges[${i}]`)),
+        ...(requiredAtResolution === undefined ? {} : { requiredAtResolution }),
+        ...(requires === undefined ? {} : { requires }),
+        ...(forbidden === undefined
+            ? {}
+            : {
+                forbiddenEdges: array(forbidden, `${where}.forbiddenEdges`).map((f, i) => parseForbiddenEdge(f, `${where}.forbiddenEdges[${i}]`)),
+            }),
+        ...(mustNot === undefined
+            ? {}
+            : { mustNotResolveTo: parseMustNotResolveTo(mustNot, `${where}.mustNotResolveTo`) }),
+        ...(mustNotBind === undefined
+            ? {}
+            : {
+                mustNotBind: array(mustNotBind, `${where}.mustNotBind`).map((entry, i) => {
+                    const at = `${where}.mustNotBind[${i}]`;
+                    const raw = object(entry, at);
+                    onlyKeys(raw, ["role", "why"], at);
+                    return {
+                        role: requiredString(raw, "role", at),
+                        // Mandatory: a negative with no stated reason is deleted by the
+                        // next person who cannot see what it was for.
+                        why: requiredString(raw, "why", at),
+                    };
+                }),
+            }),
+        ...(note === undefined ? {} : { note }),
+    };
+    // Every role named by an edge, a forbidden edge or a mustNotResolveTo must be
+    // declared as a node of the pattern. Otherwise a role could be asserted about
+    // without ever being bound, and the binder would have nothing to look for.
+    const declared = new Set(pattern.nodes.map((n) => n.role));
+    const referenced = [];
+    for (const edge of pattern.edges)
+        referenced.push([edge.from, "edges.from"], [edge.to, "edges.to"]);
+    for (const node of pattern.nodes) {
+        if (node.sameFileAs !== undefined)
+            referenced.push([node.sameFileAs, "nodes.sameFileAs"]);
+    }
+    for (const forbiddenEdge of pattern.forbiddenEdges ?? []) {
+        referenced.push([forbiddenEdge.from, "forbiddenEdges.from"]);
+        // `to` is deliberately exempt: ANY_TARGET is not a role.
+        if (forbiddenEdge.to !== ANY_TARGET)
+            referenced.push([forbiddenEdge.to, "forbiddenEdges.to"]);
+    }
+    if (pattern.mustNotResolveTo !== undefined) {
+        referenced.push([pattern.mustNotResolveTo.target, "mustNotResolveTo.target"]);
+    }
+    for (const [role, field] of referenced) {
+        if (!declared.has(role)) {
+            fail(where, `${field} names role "${role}", which the pattern does not declare as a node`);
+        }
+    }
+    return pattern;
+}
+export function parseGolden(raw) {
+    const value = object(raw, "golden");
+    onlyKeys(value, ["version", "note", "conventions", "patterns"], "golden");
+    if (typeof value["version"] !== "number")
+        fail("golden", `"version" must be a number`);
+    const patterns = object(value["patterns"], "golden.patterns");
+    const parsed = {};
+    for (const [id, pattern] of Object.entries(patterns)) {
+        parsed[id] = parsePattern(pattern, `golden.patterns["${id}"]`);
+    }
+    if (Object.keys(parsed).length === 0)
+        fail("golden", "the corpus is empty");
+    return { version: value["version"], patterns: parsed };
+}
+export function loadGolden(path) {
+    return parseGolden(JSON.parse(readFileSync(path, "utf8")));
+}
+/** Every role any pattern names. Used to check a manifest binds the whole corpus. */
+export function goldenRoles(golden) {
+    const roles = new Set();
+    for (const pattern of Object.values(golden.patterns)) {
+        for (const node of pattern.nodes)
+            roles.add(node.role);
+    }
+    return [...roles].sort();
+}
+/**
+ * The roles a single pattern needs bound before it can be checked.
+ *
+ * `forbiddenEdges[].to === ANY_TARGET` contributes nothing here, which is the
+ * point of the wildcard: it names no role, so it needs none bound.
+ */
+export function patternRoles(pattern) {
+    return [...new Set(pattern.nodes.map((n) => n.role))];
+}
+//# sourceMappingURL=golden.js.map

package/dist/conformance/golden.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"golden.js","sourceRoot":"","sources":["../../src/conformance/golden.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAEvC,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAA4B,MAAM,oBAAoB,CAAC;AAErG,OAAO,EAAE,UAAU,EAAE,UAAU,EAAgC,MAAM,kBAAkB,CAAC;AAExF,4FAA4F;AAC5F,MAAM,CAAC,MAAM,UAAU,GAAG,GAAG,CAAC;AAqF9B,MAAM,OAAO,WAAY,SAAQ,KAAK;IAClB,IAAI,GAAG,aAAa,CAAC;CACxC;AAED,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E,SAAS,IAAI,CAAC,KAAa,EAAE,MAAc;IACzC,MAAM,IAAI,WAAW,CAAC,GAAG,KAAK,KAAK,MAAM,EAAE,CAAC,CAAC;AAC/C,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,2BAA2B,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED,SAAS,QAAQ,CAAC,KAA8B,EAAE,OAA0B,EAAE,KAAa;IACzF,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,IAAI,CACF,KAAK,EACL,kBAAkB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,kCAAkC;YACzF,yFAAyF,CAC5F,CAAC;IACJ,CAAC;AACH,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,SAAS,cAAc,CACrB,KAA8B,EAC9B,GAAW,EACX,KAAa;IAEb,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,kBAAkB,CACzB,KAA8B,EAC9B,GAAW,EACX,KAAa;IAEb,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;QAClE,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,yCAAyC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CACpB,KAA8B,EAC9B,KAAa;IAEb,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACnD,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,KAAK,CAAC,KAAc,EAAE,KAAa;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;IAC5D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,GAAW,EAAE,KAAa;IAC1C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,mCAAmC,CAAC,CAAC;IAC9E,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,GAAW,EAAE,KAAa;IAC1C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,mCAAmC,CAAC,CAAC;IAC9E,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,SAAS,CAAC,GAAY,EAAE,KAAa;IAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC;IAChE,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1C,OAAO;QACL,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC;QAC1C,IAAI,EAAE,QAAQ,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC;QACrE,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC;QACnD,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,GAAY,EAAE,KAAa;IAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,sBAAsB,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC;IAChF,MAAM,oBAAoB,GAAG,kBAAkB,CAAC,KAAK,EAAE,sBAAsB,EAAE,KAAK,CAAC,CAAC;IACtF,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1C,OAAO;QACL,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC;QAC1C,EAAE,EAAE,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC;QACtC,IAAI,EAAE,QAAQ,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC;QACrE,GAAG,CAAC,oBAAoB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,CAAC;QACvE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,GAAY,EAAE,KAAa;IACrD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAiB,CAAC,EAAE,KAAK,CAAC,CAAC;IAClE,MAAM,eAAe,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC;IACjD,IAAI,eAAe,KAAK,SAAS,IAAI,OAAO,eAAe,KAAK,SAAS,EAAE,CAAC;QAC1E,IAAI,CAAC,KAAK,EAAE,qCAAqC,CAAC,CAAC;IACrD,CAAC;IACD,OAAO;QACL,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC;QAC1C,EAAE,EAAE,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC;QACtC,IAAI,EAAE,QAAQ,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC;QACrE,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC;KAC9D,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,GAAY,EAAE,KAAa;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAClD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,IAAI,CAAC,GAAG,KAAK,OAAO,EAAE,qCAAqC,IAAI,GAAG,CAAC,CAAC;IACtE,CAAC;IACD,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC;QAC9C,GAAG,EAAE,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,GAAY,EAAE,KAAa;IAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACjC,QAAQ,CACN,KAAK,EACL;QACE,aAAa;QACb,OAAO;QACP,OAAO;QACP,sBAAsB;QACtB,UAAU;QACV,gBAAgB;QAChB,kBAAkB;QAClB,aAAa;QACb,MAAM;KACP,EACD,KAAK,CACN,CAAC;IAEF,MAAM,oBAAoB,GAAG,kBAAkB,CAAC,KAAK,EAAE,sBAAsB,EAAE,KAAK,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;IAC1D,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/D,IAAI,CACF,GAAG,KAAK,WAAW,EACnB,4BAA4B,QAAQ,4BAA4B,cAAc,EAAE,cAAc;YAC5F,4FAA4F;YAC5F,2FAA2F;YAC3F,oEAAoE,CACvE,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAC1C,MAAM,WAAW,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IAEzC,MAAM,OAAO,GAAkB;QAC7B,WAAW,EAAE,cAAc,CAAC,KAAK,EAAE,aAAa,EAAE,KAAK,CAAC;QACxD,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC1D,SAAS,CAAC,CAAC,EAAE,GAAG,KAAK,UAAU,CAAC,GAAG,CAAC,CACrC;QACD,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAChE,SAAS,CAAC,CAAC,EAAE,GAAG,KAAK,UAAU,CAAC,GAAG,CAAC,CACrC;QACD,GAAG,CAAC,oBAAoB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,CAAC;QACvE,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;QAC/C,GAAG,CAAC,SAAS,KAAK,SAAS;YACzB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,cAAc,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,KAAK,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACvE,kBAAkB,CAAC,CAAC,EAAE,GAAG,KAAK,mBAAmB,CAAC,GAAG,CAAC,CACvD;aACF,CAAC;QACN,GAAG,CAAC,OAAO,KAAK,SAAS;YACvB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,gBAAgB,EAAE,qBAAqB,CAAC,OAAO,EAAE,GAAG,KAAK,mBAAmB,CAAC,EAAE,CAAC;QACtF,GAAG,CAAC,WAAW,KAAK,SAAS;YAC3B,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,GAAG,KAAK,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;oBACvE,MAAM,EAAE,GAAG,GAAG,KAAK,gBAAgB,CAAC,GAAG,CAAC;oBACxC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC9B,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;oBACnC,OAAO;wBACL,IAAI,EAAE,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC;wBACrC,gEAAgE;wBAChE,8CAA8C;wBAC9C,GAAG,EAAE,cAAc,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC;qBACpC,CAAC;gBACJ,CAAC,CAAC;aACH,CAAC;QACN,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;KACxC,CAAC;IAEF,8EAA8E;IAC9E,8EAA8E;IAC9E,2EAA2E;IAC3E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAuB,EAAE,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK;QAAE,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;IACpG,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;YAAE,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC,CAAC;IAC5F,CAAC;IACD,KAAK,MAAM,aAAa,IAAI,OAAO,CAAC,cAAc,IAAI,EAAE,EAAE,CAAC;QACzD,UAAU,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAC;QAC7D,yDAAyD;QACzD,IAAI,aAAa,CAAC,EAAE,KAAK,UAAU;YAAE,UAAU,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC3C,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC,CAAC;IAChF,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,UAAU,EAAE,CAAC;QACvC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,gBAAgB,IAAI,iDAAiD,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,GAAY;IACtC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC1E,IAAI,OAAO,KAAK,CAAC,SAAS,CAAC,KAAK,QAAQ;QAAE,IAAI,CAAC,QAAQ,EAAE,4BAA4B,CAAC,CAAC;IACvF,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAkC,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrD,MAAM,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,OAAO,EAAE,oBAAoB,EAAE,IAAI,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC;IAC5E,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,OAAsB;IACjD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC"}

package/dist/conformance/index.d.ts

@@ -0,0 +1,26 @@
+/**
+ * The conformance harness — `fixtures/` turned into a release gate.
+ *
+ * Lives in `@descryy/ir` rather than `@descryy/core` because an adapter repo
+ * depends on the IR package and nothing else (DEC-001), and the gate has to be
+ * runnable by the thing it gates.
+ */
+export { ANY_TARGET, GoldenError, goldenRoles, loadGolden, parseGolden, patternRoles, } from "./golden.ts";
+export type { Golden, GoldenEdge, GoldenForbiddenEdge, GoldenMustNotResolveTo, GoldenNode, GoldenPattern, } from "./golden.ts";
+export { ManifestError, loadManifest, parseManifest } from "./manifest.ts";
+export type { CorpusManifest, RoleBinding } from "./manifest.ts";
+export { bindRoles, samePath } from "./bind.ts";
+export type { BindFailure, BindFailureReason, BindResult } from "./bind.ts";
+export { EDGE_TYPE_ALTERNATIVES, UNMAPPED_ATTR_NODE_TYPES, acceptedEdgeTypes, attrsSubset, mapFieldNames, } from "./compare.ts";
+export type { AttrMismatch } from "./compare.ts";
+export { checkManifest } from "./manifest-check.ts";
+export type { ManifestCheck, ManifestFinding } from "./manifest-check.ts";
+export { composeSources } from "./compose.ts";
+export type { ComposedSource, CompositionConflict } from "./compose.ts";
+export { runConformance, runConformanceSweep } from "./run.ts";
+export type { ConformanceFinding, ConformanceInput, ConformanceResult, FindingKind, PatternResult, PatternVerdict, SweepInput, SweepResult, } from "./run.ts";
+export { formatReport, formatSweepReport } from "./report.ts";
+export { main as conformanceCli, parseArgs } from "./cli.ts";
+export { CLIENT_CALL_EXTRACTOR, FRAMEWORK_CAPABILITIES, ORM_EXTRACTOR, ROUTE_EXTRACTOR, capabilityList, isFrameworkCapability, } from "../capabilities.ts";
+export type { FrameworkCapability } from "../capabilities.ts";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/conformance/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,UAAU,EACV,WAAW,EACX,WAAW,EACX,UAAU,EACV,WAAW,EACX,YAAY,GACb,MAAM,aAAa,CAAC;AACrB,YAAY,EACV,MAAM,EACN,UAAU,EACV,mBAAmB,EACnB,sBAAsB,EACtB,UAAU,EACV,aAAa,GACd,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC3E,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAEjE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAChD,YAAY,EAAE,WAAW,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5E,OAAO,EACL,sBAAsB,EACtB,wBAAwB,EACxB,iBAAiB,EACjB,WAAW,EACX,aAAa,GACd,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAE1E,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,YAAY,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAC;AAC/D,YAAY,EACV,kBAAkB,EAClB,gBAAgB,EAChB,iBAAiB,EACjB,WAAW,EACX,aAAa,EACb,cAAc,EACd,UAAU,EACV,WAAW,GACZ,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,EAAE,IAAI,IAAI,cAAc,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAE7D,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,aAAa,EACb,eAAe,EACf,cAAc,EACd,qBAAqB,GACtB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/conformance/index.js

@@ -0,0 +1,18 @@
+/**
+ * The conformance harness — `fixtures/` turned into a release gate.
+ *
+ * Lives in `@descryy/ir` rather than `@descryy/core` because an adapter repo
+ * depends on the IR package and nothing else (DEC-001), and the gate has to be
+ * runnable by the thing it gates.
+ */
+export { ANY_TARGET, GoldenError, goldenRoles, loadGolden, parseGolden, patternRoles, } from "./golden.js";
+export { ManifestError, loadManifest, parseManifest } from "./manifest.js";
+export { bindRoles, samePath } from "./bind.js";
+export { EDGE_TYPE_ALTERNATIVES, UNMAPPED_ATTR_NODE_TYPES, acceptedEdgeTypes, attrsSubset, mapFieldNames, } from "./compare.js";
+export { checkManifest } from "./manifest-check.js";
+export { composeSources } from "./compose.js";
+export { runConformance, runConformanceSweep } from "./run.js";
+export { formatReport, formatSweepReport } from "./report.js";
+export { main as conformanceCli, parseArgs } from "./cli.js";
+export { CLIENT_CALL_EXTRACTOR, FRAMEWORK_CAPABILITIES, ORM_EXTRACTOR, ROUTE_EXTRACTOR, capabilityList, isFrameworkCapability, } from "../capabilities.js";
+//# sourceMappingURL=index.js.map

package/dist/conformance/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/conformance/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,UAAU,EACV,WAAW,EACX,WAAW,EACX,UAAU,EACV,WAAW,EACX,YAAY,GACb,MAAM,aAAa,CAAC;AAUrB,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAG3E,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAGhD,OAAO,EACL,sBAAsB,EACtB,wBAAwB,EACxB,iBAAiB,EACjB,WAAW,EACX,aAAa,GACd,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAGpD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAC;AAY/D,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,EAAE,IAAI,IAAI,cAAc,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAE7D,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,aAAa,EACb,eAAe,EACf,cAAc,EACd,qBAAqB,GACtB,MAAM,oBAAoB,CAAC"}

package/dist/conformance/manifest-check.d.ts

@@ -0,0 +1,78 @@
+/**
+ * Does an adapter do what it says it does? — DEC-070.
+ *
+ * ## The failure this closes, which has happened twice
+ *
+ * The conformance corpus checks an adapter's **output against goldens**. Its
+ * `capabilities()` manifest is checked against nothing at all, and the harness
+ * *reads* that manifest to decide whether a pattern applies. So an adapter that
+ * under-declares does not fail — it gets its gates **skipped**, which looks like
+ * a clean run.
+ *
+ * It has happened in both directions of the same idea:
+ *
+ * - The TypeScript adapter emitted **1,114 `USES_TYPE` edges** while omitting
+ *   `USES_TYPE` from `capabilities().edgeTypes`. Golden pattern 13 reported
+ *   `SKIP — declared incapacity` instead of running. The adapter had silently
+ *   opted itself out of its own gate, and only adding a *new* pattern that
+ *   happened to need that capability surfaced it.
+ * - The Python adapter computed a complete list of `unittest` test cases and
+ *   threw it away unread, so one repository reported 0 tests out of 223.
+ *
+ * Both are one shape: **one side of a contract is right and nothing checks that
+ * the other side agrees.**
+ *
+ * ## The two directions are deliberately not symmetric
+ *
+ * **Emitted but not declared → a hard failure of the adapter.** Always a defect.
+ * Under-claiming is precisely what makes the harness skip a gate rather than run
+ * it, so it converts a real capability into an untested one.
+ *
+ * **Declared but not emitted → not an adapter failure.** Measured: the
+ * TypeScript adapter declares `INHERITS` and emits none over
+ * `fixtures/languages/typescript`, because that fixture contains no class
+ * `extends` while the Python one does. The adapter is correct and the corpus is
+ * thin. Failing the adapter there punishes it for a hole in someone else's file,
+ * and the predictable response is to delete the declaration — the exact
+ * behaviour this module exists to prevent.
+ *
+ * So that direction reports **`unexercised`**: it fails the *corpus* gate, and
+ * it blocks a capability-tier claim for that type (open item 20). An adapter may
+ * not be published as S/A/B/C for something the corpus never ran.
+ *
+ * ## Why here and not a lint
+ *
+ * The declaration is data returned at runtime and the emission depends on
+ * fixture content. Only executing both can compare them.
+ */
+import type { IRBatch } from "../ir.ts";
+import type { CapabilityMatrix } from "../contracts.ts";
+/** One disagreement between what an adapter declares and what it produced. */
+export interface ManifestFinding {
+    /** `undeclared` fails the adapter; `unexercised` fails the corpus. */
+    readonly kind: "undeclared" | "unexercised";
+    readonly what: "edge" | "node" | "capability";
+    readonly type: string;
+    /** How many the adapter emitted. Zero for `unexercised`, by definition. */
+    readonly emitted: number;
+    readonly detail: string;
+}
+export interface ManifestCheck {
+    readonly findings: readonly ManifestFinding[];
+    /** Any `undeclared` finding. The adapter is at fault and must not pass. */
+    readonly adapterFailed: boolean;
+    /** Any `unexercised` finding. The corpus is thin; the adapter is not at fault. */
+    readonly corpusThin: boolean;
+    /** Types no pattern exercised — not publishable as a tier claim. */
+    readonly unpublishable: readonly string[];
+}
+/**
+ * Compare a declared capability matrix against a batch the adapter produced.
+ *
+ * `capabilities` absent means the source does not declare one — an `IRSource`
+ * such as the git reader, which is not an adapter and has nothing to check.
+ * Returning "no findings" there is correct rather than lenient: there is no
+ * claim to contradict.
+ */
+export declare function checkManifest(capabilities: CapabilityMatrix | undefined, batch: IRBatch): ManifestCheck;
+//# sourceMappingURL=manifest-check.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"manifest-check.d.ts","sourceRoot":"","sources":["../../src/conformance/manifest-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAGH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACxC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAExD,8EAA8E;AAC9E,MAAM,WAAW,eAAe;IAC9B,sEAAsE;IACtE,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,aAAa,CAAC;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,YAAY,CAAC;IAC9C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;IAC9C,2EAA2E;IAC3E,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,kFAAkF;IAClF,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,oEAAoE;IACpE,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3C;AASD;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAC3B,YAAY,EAAE,gBAAgB,GAAG,SAAS,EAC1C,KAAK,EAAE,OAAO,GACb,aAAa,CA0Ff"}

package/dist/conformance/manifest-check.js

@@ -0,0 +1,149 @@
+/**
+ * Does an adapter do what it says it does? — DEC-070.
+ *
+ * ## The failure this closes, which has happened twice
+ *
+ * The conformance corpus checks an adapter's **output against goldens**. Its
+ * `capabilities()` manifest is checked against nothing at all, and the harness
+ * *reads* that manifest to decide whether a pattern applies. So an adapter that
+ * under-declares does not fail — it gets its gates **skipped**, which looks like
+ * a clean run.
+ *
+ * It has happened in both directions of the same idea:
+ *
+ * - The TypeScript adapter emitted **1,114 `USES_TYPE` edges** while omitting
+ *   `USES_TYPE` from `capabilities().edgeTypes`. Golden pattern 13 reported
+ *   `SKIP — declared incapacity` instead of running. The adapter had silently
+ *   opted itself out of its own gate, and only adding a *new* pattern that
+ *   happened to need that capability surfaced it.
+ * - The Python adapter computed a complete list of `unittest` test cases and
+ *   threw it away unread, so one repository reported 0 tests out of 223.
+ *
+ * Both are one shape: **one side of a contract is right and nothing checks that
+ * the other side agrees.**
+ *
+ * ## The two directions are deliberately not symmetric
+ *
+ * **Emitted but not declared → a hard failure of the adapter.** Always a defect.
+ * Under-claiming is precisely what makes the harness skip a gate rather than run
+ * it, so it converts a real capability into an untested one.
+ *
+ * **Declared but not emitted → not an adapter failure.** Measured: the
+ * TypeScript adapter declares `INHERITS` and emits none over
+ * `fixtures/languages/typescript`, because that fixture contains no class
+ * `extends` while the Python one does. The adapter is correct and the corpus is
+ * thin. Failing the adapter there punishes it for a hole in someone else's file,
+ * and the predictable response is to delete the declaration — the exact
+ * behaviour this module exists to prevent.
+ *
+ * So that direction reports **`unexercised`**: it fails the *corpus* gate, and
+ * it blocks a capability-tier claim for that type (open item 20). An adapter may
+ * not be published as S/A/B/C for something the corpus never ran.
+ *
+ * ## Why here and not a lint
+ *
+ * The declaration is data returned at runtime and the emission depends on
+ * fixture content. Only executing both can compare them.
+ */
+const EMPTY = {
+    findings: [],
+    adapterFailed: false,
+    corpusThin: false,
+    unpublishable: [],
+};
+/**
+ * Compare a declared capability matrix against a batch the adapter produced.
+ *
+ * `capabilities` absent means the source does not declare one — an `IRSource`
+ * such as the git reader, which is not an adapter and has nothing to check.
+ * Returning "no findings" there is correct rather than lenient: there is no
+ * claim to contradict.
+ */
+export function checkManifest(capabilities, batch) {
+    if (capabilities === undefined)
+        return EMPTY;
+    const declaredEdges = new Set(capabilities.edgeTypes);
+    const declaredNodes = new Set(capabilities.nodeTypes);
+    const emittedEdges = new Map();
+    for (const edge of batch.edges)
+        emittedEdges.set(edge.type, (emittedEdges.get(edge.type) ?? 0) + 1);
+    const emittedNodes = new Map();
+    for (const node of batch.nodes)
+        emittedNodes.set(node.type, (emittedNodes.get(node.type) ?? 0) + 1);
+    const findings = [];
+    // An extractor bound with nothing said about what it supplies. This is an
+    // ADAPTER failure rather than a skip on purpose: the extractor names are the
+    // adapter's own vocabulary and the harness must never interpret them, so this
+    // adapter has told the harness nothing it can act on. Defaulting either way
+    // would be a gate quietly changing what it checks — treat it as supplying
+    // everything and a pattern passes unearned, treat it as supplying nothing and
+    // a pattern stops being graded. Both look green.
+    const bound = capabilities.frameworkExtractors ?? [];
+    if (bound.length > 0 && capabilities.frameworkCapabilities === undefined) {
+        findings.push({
+            kind: "undeclared",
+            what: "capability",
+            type: bound.join(", "),
+            emitted: 0,
+            detail: `binds ${bound.length} framework extractor(s) and declares no ` +
+                `frameworkCapabilities, so the harness cannot tell which patterns they unlock. Declare ` +
+                `what they supply from the closed set in capabilities.ts — what the extractor actually ` +
+                `produces, not what the framework could.`,
+        });
+    }
+    for (const [type, count] of [...emittedEdges].sort()) {
+        if (declaredEdges.has(type))
+            continue;
+        findings.push({
+            kind: "undeclared",
+            what: "edge",
+            type,
+            emitted: count,
+            detail: `emitted ${String(count)} ${type} edge(s) but capabilities().edgeTypes omits it. ` +
+                `The harness reads that list to decide whether a pattern applies, so this adapter ` +
+                `is skipping gates it would pass — an untested capability, not a missing one.`,
+        });
+    }
+    for (const [type, count] of [...emittedNodes].sort()) {
+        if (declaredNodes.has(type))
+            continue;
+        findings.push({
+            kind: "undeclared",
+            what: "node",
+            type,
+            emitted: count,
+            detail: `emitted ${String(count)} ${type} node(s) but capabilities().nodeTypes omits it.`,
+        });
+    }
+    for (const type of [...declaredEdges].sort()) {
+        if (emittedEdges.has(type))
+            continue;
+        findings.push({
+            kind: "unexercised",
+            what: "edge",
+            type,
+            emitted: 0,
+            detail: `declares ${type} and the corpus never elicited one. This is a hole in the ` +
+                `fixtures, not a defect in the adapter — but the capability is unverified and ` +
+                `must not be published as a tier claim until a pattern exercises it.`,
+        });
+    }
+    for (const type of [...declaredNodes].sort()) {
+        if (emittedNodes.has(type))
+            continue;
+        findings.push({
+            kind: "unexercised",
+            what: "node",
+            type,
+            emitted: 0,
+            detail: `declares ${type} and the corpus never elicited one.`,
+        });
+    }
+    return {
+        findings,
+        adapterFailed: findings.some((finding) => finding.kind === "undeclared"),
+        corpusThin: findings.some((finding) => finding.kind === "unexercised"),
+        unpublishable: findings.filter((f) => f.kind === "unexercised").map((f) => f.type).sort(),
+    };
+}
+//# sourceMappingURL=manifest-check.js.map

package/dist/conformance/manifest-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest-check.js","sourceRoot":"","sources":["../../src/conformance/manifest-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AA2BH,MAAM,KAAK,GAAkB;IAC3B,QAAQ,EAAE,EAAE;IACZ,aAAa,EAAE,KAAK;IACpB,UAAU,EAAE,KAAK;IACjB,aAAa,EAAE,EAAE;CAClB,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAC3B,YAA0C,EAC1C,KAAc;IAEd,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAE7C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS,YAAY,CAAC,SAAgC,CAAC,CAAC;IACrF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS,YAAY,CAAC,SAAgC,CAAC,CAAC;IAErF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK;QAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpG,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK;QAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAEpG,MAAM,QAAQ,GAAsB,EAAE,CAAC;IAEvC,0EAA0E;IAC1E,6EAA6E;IAC7E,8EAA8E;IAC9E,4EAA4E;IAC5E,0EAA0E;IAC1E,8EAA8E;IAC9E,iDAAiD;IACjD,MAAM,KAAK,GAAG,YAAY,CAAC,mBAAmB,IAAI,EAAE,CAAC;IACrD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,qBAAqB,KAAK,SAAS,EAAE,CAAC;QACzE,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YACtB,OAAO,EAAE,CAAC;YACV,MAAM,EACJ,SAAS,KAAK,CAAC,MAAM,0CAA0C;gBAC/D,wFAAwF;gBACxF,wFAAwF;gBACxF,yCAAyC;SAC5C,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACrD,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACtC,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,MAAM;YACZ,IAAI;YACJ,OAAO,EAAE,KAAK;YACd,MAAM,EACJ,WAAW,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,kDAAkD;gBAClF,mFAAmF;gBACnF,8EAA8E;SACjF,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACrD,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACtC,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,MAAM;YACZ,IAAI;YACJ,OAAO,EAAE,KAAK;YACd,MAAM,EACJ,WAAW,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,iDAAiD;SACpF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7C,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACrC,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,MAAM;YACZ,IAAI;YACJ,OAAO,EAAE,CAAC;YACV,MAAM,EACJ,YAAY,IAAI,4DAA4D;gBAC5E,+EAA+E;gBAC/E,qEAAqE;SACxE,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7C,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACrC,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,MAAM;YACZ,IAAI;YACJ,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,YAAY,IAAI,qCAAqC;SAC9D,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,QAAQ;QACR,aAAa,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY,CAAC;QACxE,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,aAAa,CAAC;QACtE,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;KAC1F,CAAC;AACJ,CAAC"}

package/dist/conformance/manifest.d.ts

@@ -0,0 +1,83 @@
+/**
+ * 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 { type FrameworkCapability } from "../capabilities.ts";
+import type { ResolutionLevel } from "../ir.ts";
+import { type NodeType } from "../vocabulary.ts";
+export interface RoleBinding {
+    /** The symbol a human would point at. Matched against `IRNode.name` — see `bind.ts`. */
+    readonly symbol: string;
+    /** Repo-relative, or null for a fileless node type (DEC-014). */
+    readonly file: string | null;
+    /**
+     * Other places this role may legitimately be declared.
+     *
+     * **More than one producer can declare the same thing, and neither is wrong.**
+     * A route exists in the published contract as `GET /orders/{id}` and in the
+     * service source as `GET /orders/:id`; a DTO is a schema in the contract and
+     * a request type in the code. `adapter-openapi` produces the first, a
+     * framework extractor will produce the second, and the corpus must be able to
+     * accept whichever producer is running without pretending the other does not
+     * exist.
+     *
+     * Tried in order after the primary binding, and a failure lists every place
+     * that was looked. This is not a loosening: each alternate is still an exact
+     * `(file, symbol)` pair that a human can point at, and a role matching in two
+     * places at once is still ambiguous and still fails.
+     */
+    readonly alternates?: readonly {
+        readonly symbol: string;
+        readonly file: string | null;
+    }[];
+}
+export interface CorpusManifest {
+    readonly adapter: string;
+    readonly language: string;
+    readonly root: string;
+    readonly parseGlobs: readonly string[];
+    readonly sqlGlobs: readonly string[];
+    /**
+     * Where a published contract lives, for the format adapters that read one.
+     *
+     * Documentation in the same sense `sqlGlobs` is: the adapter carries its own
+     * defaults, and this states where the corpus put the file so a reader does not
+     * have to infer it from a glob buried in a package.
+     */
+    readonly contractGlobs: readonly string[];
+    /**
+     * The best this corpus can honestly ask of this adapter. Patterns requiring
+     * more are `not-required` rather than failures — `fixtures/README.md` step 3.
+     */
+    readonly expectedMaxResolution: ResolutionLevel;
+    readonly frameworkExtractors: readonly string[];
+    /**
+     * What those extractors supply, when the corpus rather than the adapter is the
+     * one saying. Absent means the adapter's own `capabilities()` is the only
+     * source, which is the normal case — the adapter is the authority on what it
+     * can do, and this exists for sources that have no capability matrix at all.
+     */
+    readonly frameworkCapabilities?: readonly FrameworkCapability[];
+    readonly roles: Readonly<Record<string, RoleBinding>>;
+    /** A role whose node type genuinely differs here. Every entry needs a written reason. */
+    readonly roleTypeOverrides: Readonly<Record<string, NodeType>>;
+    /** Golden field name -> this corpus's idiomatic spelling. Compares meaning, not spelling. */
+    readonly fieldNameMap: Readonly<Record<string, string>>;
+}
+export declare class ManifestError extends Error {
+    readonly name = "ManifestError";
+}
+export declare function parseManifest(raw: unknown): CorpusManifest;
+export declare function loadManifest(path: string): CorpusManifest;
+//# sourceMappingURL=manifest.d.ts.map