@descryy/ir 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Descry
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/dist/capabilities.d.ts

@@ -0,0 +1,83 @@
+/**
+ * Framework capabilities — the named things a pattern may require beyond the
+ * language adapter itself (§11A.8).
+ *
+ * ## Why these are named rather than counted
+ *
+ * There was one capability, `"framework-extractor"`, and the harness matched it
+ * against `frameworkExtractors.length === 0`. One boolean standing in for *which
+ * framework knowledge does this adapter have*, and it cost coverage in both
+ * directions at once:
+ *
+ * - **It kept a pattern out of the corpus.** A directional-migration pattern
+ *   cannot be skipped for adapters that do not read migrations, because any
+ *   adapter binding *any* extractor is then expected to satisfy it.
+ * - **It hid an extractor already in the tree.** `adapter-java` shipped a Spring
+ *   route reader and had to keep declaring `frameworkExtractors: []`, because
+ *   declaring it would have turned patterns 06, 07 and 08 from skipped into
+ *   failing for extractors nobody had written. So pattern 04 reported *"requires
+ *   a framework-extractor; none is bound"* for a capability the adapter has.
+ *
+ * Three lanes hit the same field from three sides. Naming the capabilities lets
+ * an adapter say yes to one of them.
+ *
+ * ## The set is closed, and it is closed on BOTH sides
+ *
+ * A pattern names what it needs; an adapter names what it supplies; the harness
+ * compares two strings and knows nothing about any framework. That is the IR
+ * boundary doing its job — `"spring"` and `"rails"` never appear above the
+ * adapter, only `"route-extractor"`.
+ *
+ * An unrecognised value is a **loud failure on either side** — a parse error in
+ * the golden, an adapter failure in a run — never a skip. That asymmetry is the
+ * whole safety property: a typo that skipped would be a gate that silently
+ * stopped running, and a suite which has stopped checking looks exactly like a
+ * suite with nothing to report.
+ *
+ * Adding a value changes what "skipped" means in every report that mentions it,
+ * so it is added deliberately, with the pattern that needs it, or not at all.
+ */
+/**
+ * Routes: `API_ROUTE` with a method and a path template, and the `SERVES_API`
+ * edge to the endpoint it serves. Pattern 04.
+ */
+export declare const ROUTE_EXTRACTOR = "route-extractor";
+/**
+ * Persisted entities: `MODEL`, its fields, and their nullability — evidence
+ * being an ORM mapping rather than a name. Patterns 06 and 07.
+ *
+ * 07 is here rather than under routes despite being described as *"a route
+ * handler reads a field of the model"*: its assertion is `FUNCTION --READS-->
+ * MODEL`, with no `API_ROUTE` role and no `SERVES_API` edge. The only framework
+ * claim in it is `MODEL`. Reading the assertions settles this; reading the
+ * description does not.
+ */
+export declare const ORM_EXTRACTOR = "orm-extractor";
+/**
+ * The calling side of an HTTP boundary: `USES_API` from a caller to an
+ * `API_ENDPOINT`. Pattern 08.
+ *
+ * Separate from `ROUTE_EXTRACTOR` because the two are genuinely independent —
+ * `adapter-go` reads routes and no client calls, and a frontend-only adapter
+ * would be the reverse. Nobody declares an endpoint; it is minted by whoever
+ * reads a route *or* a call, which is exactly why either side can exist alone.
+ */
+export declare const CLIENT_CALL_EXTRACTOR = "client-call-extractor";
+/**
+ * The strict client-base resolution contract (DEC-164): `attrs.clientBase` on
+ * every caller a `USES_API` edge might come from, and `unresolved` refuses the
+ * edge. Patterns 08a/08b/08c.
+ *
+ * Separate from `CLIENT_CALL_EXTRACTOR` on purpose — an adapter can read a call
+ * site (08's plain case) without ever reading what base it composes against.
+ * DEC-164 §2 is explicit that this is opt-in: an adapter declaring it accepts
+ * the stricter refusal rule, and one that does not keeps emitting `USES_API`
+ * unqualified, which is why the two capabilities are not the same string.
+ */
+export declare const CLIENT_BASE_EXTRACTOR = "client-base-extractor";
+export declare const FRAMEWORK_CAPABILITIES: readonly ["route-extractor", "orm-extractor", "client-call-extractor", "client-base-extractor"];
+export type FrameworkCapability = (typeof FRAMEWORK_CAPABILITIES)[number];
+export declare function isFrameworkCapability(value: string): value is FrameworkCapability;
+/** For error messages, so every rejection prints the same closed set. */
+export declare function capabilityList(): string;
+//# sourceMappingURL=capabilities.d.ts.map

package/dist/capabilities.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capabilities.d.ts","sourceRoot":"","sources":["../src/capabilities.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH;;;GAGG;AACH,eAAO,MAAM,eAAe,oBAAoB,CAAC;AAEjD;;;;;;;;;GASG;AACH,eAAO,MAAM,aAAa,kBAAkB,CAAC;AAE7C;;;;;;;;GAQG;AACH,eAAO,MAAM,qBAAqB,0BAA0B,CAAC;AAE7D;;;;;;;;;;GAUG;AACH,eAAO,MAAM,qBAAqB,0BAA0B,CAAC;AAE7D,eAAO,MAAM,sBAAsB,iGAKzB,CAAC;AAEX,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1E,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,mBAAmB,CAEjF;AAED,yEAAyE;AACzE,wBAAgB,cAAc,IAAI,MAAM,CAEvC"}

package/dist/capabilities.js

@@ -0,0 +1,91 @@
+/**
+ * Framework capabilities — the named things a pattern may require beyond the
+ * language adapter itself (§11A.8).
+ *
+ * ## Why these are named rather than counted
+ *
+ * There was one capability, `"framework-extractor"`, and the harness matched it
+ * against `frameworkExtractors.length === 0`. One boolean standing in for *which
+ * framework knowledge does this adapter have*, and it cost coverage in both
+ * directions at once:
+ *
+ * - **It kept a pattern out of the corpus.** A directional-migration pattern
+ *   cannot be skipped for adapters that do not read migrations, because any
+ *   adapter binding *any* extractor is then expected to satisfy it.
+ * - **It hid an extractor already in the tree.** `adapter-java` shipped a Spring
+ *   route reader and had to keep declaring `frameworkExtractors: []`, because
+ *   declaring it would have turned patterns 06, 07 and 08 from skipped into
+ *   failing for extractors nobody had written. So pattern 04 reported *"requires
+ *   a framework-extractor; none is bound"* for a capability the adapter has.
+ *
+ * Three lanes hit the same field from three sides. Naming the capabilities lets
+ * an adapter say yes to one of them.
+ *
+ * ## The set is closed, and it is closed on BOTH sides
+ *
+ * A pattern names what it needs; an adapter names what it supplies; the harness
+ * compares two strings and knows nothing about any framework. That is the IR
+ * boundary doing its job — `"spring"` and `"rails"` never appear above the
+ * adapter, only `"route-extractor"`.
+ *
+ * An unrecognised value is a **loud failure on either side** — a parse error in
+ * the golden, an adapter failure in a run — never a skip. That asymmetry is the
+ * whole safety property: a typo that skipped would be a gate that silently
+ * stopped running, and a suite which has stopped checking looks exactly like a
+ * suite with nothing to report.
+ *
+ * Adding a value changes what "skipped" means in every report that mentions it,
+ * so it is added deliberately, with the pattern that needs it, or not at all.
+ */
+/**
+ * Routes: `API_ROUTE` with a method and a path template, and the `SERVES_API`
+ * edge to the endpoint it serves. Pattern 04.
+ */
+export const ROUTE_EXTRACTOR = "route-extractor";
+/**
+ * Persisted entities: `MODEL`, its fields, and their nullability — evidence
+ * being an ORM mapping rather than a name. Patterns 06 and 07.
+ *
+ * 07 is here rather than under routes despite being described as *"a route
+ * handler reads a field of the model"*: its assertion is `FUNCTION --READS-->
+ * MODEL`, with no `API_ROUTE` role and no `SERVES_API` edge. The only framework
+ * claim in it is `MODEL`. Reading the assertions settles this; reading the
+ * description does not.
+ */
+export const ORM_EXTRACTOR = "orm-extractor";
+/**
+ * The calling side of an HTTP boundary: `USES_API` from a caller to an
+ * `API_ENDPOINT`. Pattern 08.
+ *
+ * Separate from `ROUTE_EXTRACTOR` because the two are genuinely independent —
+ * `adapter-go` reads routes and no client calls, and a frontend-only adapter
+ * would be the reverse. Nobody declares an endpoint; it is minted by whoever
+ * reads a route *or* a call, which is exactly why either side can exist alone.
+ */
+export const CLIENT_CALL_EXTRACTOR = "client-call-extractor";
+/**
+ * The strict client-base resolution contract (DEC-164): `attrs.clientBase` on
+ * every caller a `USES_API` edge might come from, and `unresolved` refuses the
+ * edge. Patterns 08a/08b/08c.
+ *
+ * Separate from `CLIENT_CALL_EXTRACTOR` on purpose — an adapter can read a call
+ * site (08's plain case) without ever reading what base it composes against.
+ * DEC-164 §2 is explicit that this is opt-in: an adapter declaring it accepts
+ * the stricter refusal rule, and one that does not keeps emitting `USES_API`
+ * unqualified, which is why the two capabilities are not the same string.
+ */
+export const CLIENT_BASE_EXTRACTOR = "client-base-extractor";
+export const FRAMEWORK_CAPABILITIES = [
+    ROUTE_EXTRACTOR,
+    ORM_EXTRACTOR,
+    CLIENT_CALL_EXTRACTOR,
+    CLIENT_BASE_EXTRACTOR,
+];
+export function isFrameworkCapability(value) {
+    return FRAMEWORK_CAPABILITIES.includes(value);
+}
+/** For error messages, so every rejection prints the same closed set. */
+export function capabilityList() {
+    return FRAMEWORK_CAPABILITIES.map((c) => `"${c}"`).join(", ");
+}
+//# sourceMappingURL=capabilities.js.map

package/dist/capabilities.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capabilities.js","sourceRoot":"","sources":["../src/capabilities.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,iBAAiB,CAAC;AAEjD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,eAAe,CAAC;AAE7C;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,uBAAuB,CAAC;AAE7D;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,uBAAuB,CAAC;AAE7D,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,eAAe;IACf,aAAa;IACb,qBAAqB;IACrB,qBAAqB;CACb,CAAC;AAIX,MAAM,UAAU,qBAAqB,CAAC,KAAa;IACjD,OAAQ,sBAA4C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACvE,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,cAAc;IAC5B,OAAO,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChE,CAAC"}

package/dist/conformance/bind.d.ts

@@ -0,0 +1,82 @@
+/**
+ * Role binding — turning `"calc_method"` into the actual node an adapter emitted.
+ *
+ * ## Why binding is on `(file, name)` and not on node id
+ *
+ * A node id is `hash(repo, kind, qualifiedSymbolPath)` (DEC-011), and the
+ * qualified symbol path is built from a package root the adapter chooses. The
+ * harness cannot recompute it without knowing how that adapter names packages —
+ * which is adapter-private knowledge, and asking for it would make the harness
+ * language-aware. `file` and `name` are the two fields a human can point at in
+ * the source, and a manifest is written by a human pointing at source.
+ *
+ * ## Binding does not filter by expected type, on purpose
+ *
+ * A node bound on `(file, name)` and then found to have the wrong type reports
+ * *wrong type*. A node filtered out by type before binding reports *role
+ * unbound* — the same defect, described so vaguely the adapter author cannot act
+ * on it. Bind first, judge after.
+ *
+ * The one place the expected type is consulted is a **tie**, and only a tie: two
+ * nodes matching one `(file, name)`, which `OrderPage.tsx` produces the moment a
+ * frontend extractor exists, because the module and the component share a name.
+ * A single match is never filtered, so the good error above is never traded for
+ * a worse one.
+ *
+ * ## Ambiguity is a failure, never a guess
+ *
+ * The symbol fallback below (matching `dispatch` against
+ * `OrderService.dispatch`) exists because no rule pins how much qualification an
+ * adapter puts in `IRNode.name`. It is safe only because two candidates are a
+ * loud failure rather than a coin flip — precision over recall applies to the
+ * harness itself, not only to the adapters it grades.
+ */
+import type { IRNode } from "../ir.ts";
+import type { NodeType } from "../vocabulary.ts";
+import type { CorpusManifest } from "./manifest.ts";
+export type BindFailureReason = "unbound" | "ambiguous";
+export interface BindFailure {
+    readonly role: string;
+    readonly reason: BindFailureReason;
+    readonly detail: string;
+}
+export interface BindResult {
+    readonly bound: ReadonlyMap<string, IRNode>;
+    readonly failures: readonly BindFailure[];
+}
+/**
+ * Compare two repo-relative paths.
+ *
+ * Deliberately shallow: the Normaliser has already rejected absolute paths, so
+ * anything reaching here is repo-relative and the only remaining variation is a
+ * leading `./` or a platform separator. `file` is **not** normalised away —
+ * golden pattern 01's `sameFileAs` compares it between two nodes, so it has to
+ * survive intact.
+ */
+export declare function samePath(left: string | null, right: string | null): boolean;
+/**
+ * Bind the given roles against a batch's nodes.
+ *
+ * Only the roles asked for are bound. A pattern that is skipped or not required
+ * at this resolution never asks, which is what stops "this adapter has no
+ * framework extractor" from being reported as eighteen unbound roles.
+ */
+export declare function bindRoles(nodes: readonly IRNode[], manifest: CorpusManifest, roles: readonly string[], 
+/**
+ * The type the golden expects for each role, used **only to break a tie**.
+ *
+ * A `.tsx` file called `OrderPage.tsx` declares a component called `OrderPage`
+ * and a module called `OrderPage`, and that is not a naming accident — it is
+ * how React projects are laid out. Before this, no manifest could name that
+ * role at all: `(symbol, file)` matched two nodes and the binder rightly
+ * refused to choose.
+ *
+ * It is a tie-break and deliberately not a filter. Filtering by expected type
+ * would turn "the adapter emitted this as a MODULE, and the golden wants a
+ * COMPONENT" into "no node named OrderPage" — the same failure reported as a
+ * worse sentence, and one that points at the manifest instead of at the
+ * adapter. A single match is still bound whatever its type, and still fails
+ * the golden's own type assertion afterwards.
+ */
+expectedTypes?: ReadonlyMap<string, NodeType>): BindResult;
+//# sourceMappingURL=bind.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"bind.d.ts","sourceRoot":"","sources":["../../src/conformance/bind.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AACvC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,KAAK,EAAE,cAAc,EAAe,MAAM,eAAe,CAAC;AAEjE,MAAM,MAAM,iBAAiB,GAAG,SAAS,GAAG,WAAW,CAAC;AAExD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;CAC3C;AAED;;;;;;;;GAQG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAI3E;AAiBD;;;;;;GAMG;AACH,wBAAgB,SAAS,CACvB,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,QAAQ,EAAE,cAAc,EACxB,KAAK,EAAE,SAAS,MAAM,EAAE;AACxB;;;;;;;;;;;;;;;GAeG;AACH,aAAa,GAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAa,GACvD,UAAU,CAyEZ"}

package/dist/conformance/bind.js

@@ -0,0 +1,157 @@
+/**
+ * Role binding — turning `"calc_method"` into the actual node an adapter emitted.
+ *
+ * ## Why binding is on `(file, name)` and not on node id
+ *
+ * A node id is `hash(repo, kind, qualifiedSymbolPath)` (DEC-011), and the
+ * qualified symbol path is built from a package root the adapter chooses. The
+ * harness cannot recompute it without knowing how that adapter names packages —
+ * which is adapter-private knowledge, and asking for it would make the harness
+ * language-aware. `file` and `name` are the two fields a human can point at in
+ * the source, and a manifest is written by a human pointing at source.
+ *
+ * ## Binding does not filter by expected type, on purpose
+ *
+ * A node bound on `(file, name)` and then found to have the wrong type reports
+ * *wrong type*. A node filtered out by type before binding reports *role
+ * unbound* — the same defect, described so vaguely the adapter author cannot act
+ * on it. Bind first, judge after.
+ *
+ * The one place the expected type is consulted is a **tie**, and only a tie: two
+ * nodes matching one `(file, name)`, which `OrderPage.tsx` produces the moment a
+ * frontend extractor exists, because the module and the component share a name.
+ * A single match is never filtered, so the good error above is never traded for
+ * a worse one.
+ *
+ * ## Ambiguity is a failure, never a guess
+ *
+ * The symbol fallback below (matching `dispatch` against
+ * `OrderService.dispatch`) exists because no rule pins how much qualification an
+ * adapter puts in `IRNode.name`. It is safe only because two candidates are a
+ * loud failure rather than a coin flip — precision over recall applies to the
+ * harness itself, not only to the adapters it grades.
+ */
+/**
+ * Compare two repo-relative paths.
+ *
+ * Deliberately shallow: the Normaliser has already rejected absolute paths, so
+ * anything reaching here is repo-relative and the only remaining variation is a
+ * leading `./` or a platform separator. `file` is **not** normalised away —
+ * golden pattern 01's `sameFileAs` compares it between two nodes, so it has to
+ * survive intact.
+ */
+export function samePath(left, right) {
+    if (left === null || right === null)
+        return left === right;
+    const clean = (p) => p.replace(/\\/g, "/").replace(/^\.\//, "");
+    return clean(left) === clean(right);
+}
+/** The last segment of a dotted symbol: `OrderService.dispatch` -> `dispatch`. */
+function lastSegment(symbol) {
+    const index = symbol.lastIndexOf(".");
+    return index === -1 ? symbol : symbol.slice(index + 1);
+}
+function bindOne(nodes, binding) {
+    const inFile = nodes.filter((node) => samePath(node.file, binding.file));
+    const exact = inFile.filter((node) => node.name === binding.symbol);
+    if (exact.length > 0)
+        return exact;
+    const tail = lastSegment(binding.symbol);
+    if (tail === binding.symbol)
+        return [];
+    return inFile.filter((node) => node.name === tail);
+}
+/**
+ * Bind the given roles against a batch's nodes.
+ *
+ * Only the roles asked for are bound. A pattern that is skipped or not required
+ * at this resolution never asks, which is what stops "this adapter has no
+ * framework extractor" from being reported as eighteen unbound roles.
+ */
+export function bindRoles(nodes, manifest, roles, 
+/**
+ * The type the golden expects for each role, used **only to break a tie**.
+ *
+ * A `.tsx` file called `OrderPage.tsx` declares a component called `OrderPage`
+ * and a module called `OrderPage`, and that is not a naming accident — it is
+ * how React projects are laid out. Before this, no manifest could name that
+ * role at all: `(symbol, file)` matched two nodes and the binder rightly
+ * refused to choose.
+ *
+ * It is a tie-break and deliberately not a filter. Filtering by expected type
+ * would turn "the adapter emitted this as a MODULE, and the golden wants a
+ * COMPONENT" into "no node named OrderPage" — the same failure reported as a
+ * worse sentence, and one that points at the manifest instead of at the
+ * adapter. A single match is still bound whatever its type, and still fails
+ * the golden's own type assertion afterwards.
+ */
+expectedTypes = new Map()) {
+    const bound = new Map();
+    const failures = [];
+    for (const role of roles) {
+        const binding = manifest.roles[role];
+        if (binding === undefined) {
+            // THE ONE EXCEPTION, RECORDED HERE BECAUSE THIS IS WHERE SOMEONE WOULD
+            // "FIX" IT. A `mustNotBind` role's absence IS its assertion — the corpus
+            // names an over-admission trap and the adapter must produce no node for
+            // it, so unbound is the pass condition. The inversion is applied in
+            // `run.ts`, which filters these roles out of `failures`, deliberately
+            // rather than by loosening the rule here. This rule is not wrong for
+            // them; it is not applied to them. See DEC-160.
+            failures.push({
+                role,
+                reason: "unbound",
+                detail: `the manifest binds no symbol for this role. Every role in the golden must be bound ` +
+                    `(fixtures/README.md, "Adding a language" step 2); an unbound role is a loud failure ` +
+                    `and never a silent skip, because a corpus that quietly stops covering a pattern still ` +
+                    `reports green.`,
+            });
+            continue;
+        }
+        // The primary first, then each alternate in order. More than one producer
+        // may legitimately declare a role — a route is `GET /orders/{id}` in a
+        // published contract and `GET /orders/:id` in the service source — and the
+        // corpus should accept whichever producer is running rather than demanding
+        // the one it happened to be written against.
+        const attempts = [binding, ...(binding.alternates ?? [])];
+        let matches = [];
+        let matched = attempts[0];
+        for (const attempt of attempts) {
+            const found = bindOne(nodes, attempt);
+            if (found.length > 0) {
+                matches = found;
+                matched = attempt;
+                break;
+            }
+        }
+        if (matches.length > 1) {
+            const wanted = expectedTypes.get(role);
+            const ofType = wanted === undefined ? [] : matches.filter((node) => node.type === wanted);
+            if (ofType.length === 1)
+                matches = ofType;
+        }
+        if (matches.length === 1) {
+            bound.set(role, matches[0]);
+            continue;
+        }
+        if (matches.length === 0) {
+            failures.push({
+                role,
+                reason: "unbound",
+                detail: `no node matched ` +
+                    attempts.map((a) => `"${a.symbol}" in ${a.file ?? "(no file)"}`).join(" or ") +
+                    `. The adapter either did not emit it or named it something the manifest does not expect.`,
+            });
+            continue;
+        }
+        failures.push({
+            role,
+            reason: "ambiguous",
+            detail: `${matches.length} nodes in ${matched.file ?? "(no file)"} match "${matched.symbol}" ` +
+                `(types: ${matches.map((m) => m.type).join(", ")}). The harness will not guess which one ` +
+                `the manifest meant; qualify the symbol in the manifest until exactly one matches.`,
+        });
+    }
+    return { bound, failures };
+}
+//# sourceMappingURL=bind.js.map

package/dist/conformance/bind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bind.js","sourceRoot":"","sources":["../../src/conformance/bind.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAmBH;;;;;;;;GAQG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAmB,EAAE,KAAoB;IAChE,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,KAAK,KAAK,CAAC;IAC3D,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAChF,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC;AACtC,CAAC;AAED,kFAAkF;AAClF,SAAS,WAAW,CAAC,MAAc;IACjC,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACtC,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,OAAO,CAAC,KAAwB,EAAE,OAAoB;IAC7D,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IACpE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,OAAO,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvC,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACrD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CACvB,KAAwB,EACxB,QAAwB,EACxB,KAAwB;AACxB;;;;;;;;;;;;;;;GAeG;AACH,gBAA+C,IAAI,GAAG,EAAE;IAExD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,QAAQ,GAAkB,EAAE,CAAC;IAEnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,uEAAuE;YACvE,yEAAyE;YACzE,wEAAwE;YACxE,oEAAoE;YACpE,sEAAsE;YACtE,qEAAqE;YACrE,gDAAgD;YAChD,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI;gBACJ,MAAM,EAAE,SAAS;gBACjB,MAAM,EACJ,qFAAqF;oBACrF,sFAAsF;oBACtF,wFAAwF;oBACxF,gBAAgB;aACnB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,0EAA0E;QAC1E,uEAAuE;QACvE,2EAA2E;QAC3E,2EAA2E;QAC3E,6CAA6C;QAC7C,MAAM,QAAQ,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1D,IAAI,OAAO,GAAa,EAAE,CAAC;QAC3B,IAAI,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;QAC3B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACtC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,OAAO,GAAG,KAAK,CAAC;gBAChB,OAAO,GAAG,OAAO,CAAC;gBAClB,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACvC,MAAM,MAAM,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;YAC1F,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,GAAG,MAAM,CAAC;QAC5C,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI;gBACJ,MAAM,EAAE,SAAS;gBACjB,MAAM,EACJ,kBAAkB;oBAClB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,IAAI,IAAI,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;oBAC7E,0FAA0F;aAC7F,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI;YACJ,MAAM,EAAE,WAAW;YACnB,MAAM,EACJ,GAAG,OAAO,CAAC,MAAM,aAAa,OAAO,CAAC,IAAI,IAAI,WAAW,WAAW,OAAO,CAAC,MAAM,IAAI;gBACtF,WAAW,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,0CAA0C;gBAC1F,mFAAmF;SACtF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC"}

package/dist/conformance/cli.d.ts

@@ -0,0 +1,25 @@
+/**
+ * The conformance CLI.
+ *
+ * Deliberately thin, and deliberately here rather than in the engine: an adapter
+ * lives in its own repo (DEC-001) and depends on `@descryy/ir` alone, so the
+ * command that gates its release cannot live in a package it does not have. When
+ * the engine's own CLI exists this becomes `descry conformance` and calls the
+ * same `main()`.
+ *
+ * The adapter is loaded by module specifier and named export. That is the only
+ * way the harness can stay ignorant of every adapter — it imports what it is
+ * told to import and asks it for a batch.
+ */
+interface Args {
+    readonly source: string;
+    readonly corpus: string;
+    readonly golden: string | undefined;
+    readonly patterns: readonly string[];
+    readonly sweep: boolean;
+    readonly json: boolean;
+}
+export declare function parseArgs(argv: readonly string[]): Args;
+export declare function main(argv: readonly string[], log?: (...data: any[]) => void): Promise<number>;
+export {};
+//# sourceMappingURL=cli.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../../src/conformance/cli.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AA2BH,UAAU,IAAI;IACZ,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAyCvD;AAoBD,wBAAsB,IAAI,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,GAAG,2BAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CA0BtF"}

package/dist/conformance/cli.js

@@ -0,0 +1,137 @@
+/**
+ * The conformance CLI.
+ *
+ * Deliberately thin, and deliberately here rather than in the engine: an adapter
+ * lives in its own repo (DEC-001) and depends on `@descryy/ir` alone, so the
+ * command that gates its release cannot live in a package it does not have. When
+ * the engine's own CLI exists this becomes `descry conformance` and calls the
+ * same `main()`.
+ *
+ * The adapter is loaded by module specifier and named export. That is the only
+ * way the harness can stay ignorant of every adapter — it imports what it is
+ * told to import and asks it for a batch.
+ */
+var __rewriteRelativeImportExtension = (this && this.__rewriteRelativeImportExtension) || function (path, preserveJsx) {
+    if (typeof path === "string" && /^\.\.?\//.test(path)) {
+        return path.replace(/\.(tsx)$|((?:\.d)?)((?:\.[^./]+?)?)\.([cm]?)ts$/i, function (m, tsx, d, ext, cm) {
+            return tsx ? preserveJsx ? ".jsx" : ".js" : d && (!ext || !cm) ? m : (d + ext + "." + cm.toLowerCase() + "js");
+        });
+    }
+    return path;
+};
+import { resolve } from "node:path";
+import { fileURLToPath, pathToFileURL } from "node:url";
+import { loadGolden } from "./golden.js";
+import { loadManifest } from "./manifest.js";
+import { formatReport, formatSweepReport } from "./report.js";
+import { runConformance, runConformanceSweep } from "./run.js";
+const USAGE = `
+descry conformance --source <module>#<export> --corpus <dir> [options]
+
+  --source   Module specifier and named export of the source to grade. The
+             export is either an IRSource or a factory taking the resolution
+             level to cap at.
+  --corpus   Directory holding manifest.json and the fixture sources.
+  --golden   Path to patterns.json. Defaults to <corpus>/../../golden/patterns.json.
+  --pattern  Run one pattern. Repeatable. Defaults to the whole corpus.
+  --sweep    Run every level up to the corpus maximum and check monotonicity.
+  --json     Emit the raw result instead of the report.
+
+Exit code 0 only when every pattern passes and the boundary rejected nothing.
+`.trim();
+export function parseArgs(argv) {
+    let source = "";
+    let corpus = "";
+    let golden;
+    const patterns = [];
+    let sweep = false;
+    let json = false;
+    for (let i = 0; i < argv.length; i += 1) {
+        const flag = argv[i];
+        const value = argv[i + 1];
+        switch (flag) {
+            case "--source":
+                source = value ?? "";
+                i += 1;
+                break;
+            case "--corpus":
+                corpus = value ?? "";
+                i += 1;
+                break;
+            case "--golden":
+                golden = value;
+                i += 1;
+                break;
+            case "--pattern":
+                if (value !== undefined)
+                    patterns.push(value);
+                i += 1;
+                break;
+            case "--sweep":
+                sweep = true;
+                break;
+            case "--json":
+                json = true;
+                break;
+            default:
+                throw new Error(`unknown argument "${String(flag)}"\n\n${USAGE}`);
+        }
+    }
+    if (source === "" || corpus === "")
+        throw new Error(`--source and --corpus are required\n\n${USAGE}`);
+    return { source, corpus, golden, patterns, sweep, json };
+}
+async function loadSource(specifier) {
+    const hash = specifier.lastIndexOf("#");
+    if (hash === -1)
+        throw new Error(`--source must be "<module>#<export>", got "${specifier}"`);
+    const modulePath = specifier.slice(0, hash);
+    const exportName = specifier.slice(hash + 1);
+    const url = modulePath.startsWith(".") || modulePath.startsWith("/")
+        ? pathToFileURL(resolve(modulePath)).href
+        : modulePath;
+    const loaded = (await import(__rewriteRelativeImportExtension(url)));
+    const entry = loaded[exportName];
+    if (entry === undefined)
+        throw new Error(`"${modulePath}" has no export "${exportName}"`);
+    if (typeof entry === "function")
+        return entry;
+    return () => entry;
+}
+export async function main(argv, log = console.log) {
+    const args = parseArgs(argv);
+    const corpus = resolve(args.corpus);
+    const manifest = loadManifest(resolve(corpus, "manifest.json"));
+    const golden = loadGolden(args.golden ?? resolve(corpus, "..", "..", "golden", "patterns.json"));
+    const factory = await loadSource(args.source);
+    const shared = {
+        manifest,
+        golden,
+        root: corpus,
+        ...(args.patterns.length === 0 ? {} : { patterns: args.patterns }),
+    };
+    if (args.sweep) {
+        const sweep = await runConformanceSweep({ ...shared, createSource: factory });
+        log(args.json ? JSON.stringify(sweep, null, 2) : formatSweepReport(sweep));
+        return sweep.passed ? 0 : 1;
+    }
+    const result = await runConformance({
+        ...shared,
+        source: await factory(manifest.expectedMaxResolution),
+    });
+    log(args.json ? JSON.stringify(result, null, 2) : formatReport(result));
+    return result.passed ? 0 : 1;
+}
+/* node:coverage disable */
+if (process.argv[1] !== undefined && resolve(process.argv[1]) === fileURLToPath(import.meta.url)) {
+    main(process.argv.slice(2))
+        .then((code) => {
+        process.exitCode = code;
+    })
+        .catch((error) => {
+        console.error(error instanceof Error ? error.message : String(error));
+        process.exitCode = 2;
+    });
+}
+/* node:coverage enable */
+//# sourceMappingURL=cli.js.map

package/dist/conformance/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/conformance/cli.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;;;;;;;;;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAIxD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAC;AAE/D,MAAM,KAAK,GAAG;;;;;;;;;;;;;CAab,CAAC,IAAI,EAAE,CAAC;AAWT,MAAM,UAAU,SAAS,CAAC,IAAuB;IAC/C,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,MAA0B,CAAC;IAC/B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,IAAI,GAAG,KAAK,CAAC;IAEjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,UAAU;gBACb,MAAM,GAAG,KAAK,IAAI,EAAE,CAAC;gBACrB,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM;YACR,KAAK,UAAU;gBACb,MAAM,GAAG,KAAK,IAAI,EAAE,CAAC;gBACrB,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM;YACR,KAAK,UAAU;gBACb,MAAM,GAAG,KAAK,CAAC;gBACf,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM;YACR,KAAK,WAAW;gBACd,IAAI,KAAK,KAAK,SAAS;oBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC9C,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM;YACR,KAAK,SAAS;gBACZ,KAAK,GAAG,IAAI,CAAC;gBACb,MAAM;YACR,KAAK,QAAQ;gBACX,IAAI,GAAG,IAAI,CAAC;gBACZ,MAAM;YACR;gBACE,MAAM,IAAI,KAAK,CAAC,qBAAqB,MAAM,CAAC,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IAED,IAAI,MAAM,KAAK,EAAE,IAAI,MAAM,KAAK,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,KAAK,EAAE,CAAC,CAAC;IACtG,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC3D,CAAC;AAID,KAAK,UAAU,UAAU,CAAC,SAAiB;IACzC,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,IAAI,KAAK,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,SAAS,GAAG,CAAC,CAAC;IAC7F,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC;QAClE,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI;QACzC,CAAC,CAAC,UAAU,CAAC;IAEf,MAAM,MAAM,GAAG,CAAC,MAAM,MAAM,kCAAC,GAAG,EAAC,CAA4B,CAAC;IAC9D,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IACjC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,IAAI,UAAU,oBAAoB,UAAU,GAAG,CAAC,CAAC;IAC1F,IAAI,OAAO,KAAK,KAAK,UAAU;QAAE,OAAO,KAAsB,CAAC;IAC/D,OAAO,GAAG,EAAE,CAAC,KAAiB,CAAC;AACjC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,IAAI,CAAC,IAAuB,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG;IACnE,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC;IACjG,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAE9C,MAAM,MAAM,GAAG;QACb,QAAQ;QACR,MAAM;QACN,IAAI,EAAE,MAAM;QACZ,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;KACnE,CAAC;IAEF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,MAAM,KAAK,GAAG,MAAM,mBAAmB,CAAC,EAAE,GAAG,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC;QAC9E,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3E,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC;QAClC,GAAG,MAAM;QACT,MAAM,EAAE,MAAM,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAC;KACtD,CAAC,CAAC;IACH,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/B,CAAC;AAED,2BAA2B;AAC3B,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACjG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;SACxB,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QACb,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC;IAC1B,CAAC,CAAC;SACD,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE;QACxB,OAAO,CAAC,KAAK,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACtE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;AACP,CAAC;AACD,0BAA0B"}