@descryy/ir 0.1.0

package/dist/conformance/run.js

@@ -0,0 +1,626 @@
+/**
+ * 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 { normaliseBatch } from "../normalise.js";
+import { bindRoles, samePath } from "./bind.js";
+import { acceptedEdgeTypes, attrsSubset, mapFieldNames, UNMAPPED_ATTR_NODE_TYPES } from "./compare.js";
+import { ANY_TARGET, patternRoles, } from "./golden.js";
+import { checkManifest } from "./manifest-check.js";
+const NO_COMMIT = "0".repeat(40);
+/**
+ * Read `capabilities()` when the source has one.
+ *
+ * `IRSource` is the narrow contract — the git-history reader implements it and
+ * has no capability matrix. A duck-typed probe keeps the harness usable for
+ * every source while still consulting the matrix when there is one, which
+ * pattern 11 needs.
+ */
+function capabilitiesOf(source) {
+    const candidate = source;
+    return typeof candidate.capabilities === "function" ? candidate.capabilities() : undefined;
+}
+/**
+ * Types this pattern needs the adapter to be able to produce at all.
+ *
+ * A pattern asserting a `MODEL` cannot be graded against an adapter that
+ * declares it cannot tell a persisted entity from any other named type. That is
+ * not a recall gap — the adapter never claimed the capability — and reporting it
+ * as a failure would push adapter authors to guess, which is the one thing
+ * §11B.1 forbids. `CapabilityMatrix` exists for exactly this: it is machine-read
+ * so the report can "name what was skipped rather than reporting a thin result
+ * as a clean one".
+ *
+ * The obvious objection is that an adapter could declare nothing and skip
+ * everything. It could — and the report would say so on every line, `passed`
+ * would count zero passes, and the four verdicts are never folded together. A
+ * declaration that broad is visible in a way a quiet failure is not.
+ */
+function undeclaredTypes(ctx) {
+    const declaredNodes = ctx.declaredNodeTypes;
+    const declaredEdges = ctx.declaredEdgeTypes;
+    const nodes = declaredNodes === undefined
+        ? []
+        : [
+            ...new Set(ctx.pattern.nodes
+                .map((node) => ctx.manifest.roleTypeOverrides[node.role] ?? node.type)
+                .filter((type) => !declaredNodes.includes(type))),
+        ];
+    const edges = declaredEdges === undefined
+        ? []
+        : [
+            ...new Set(ctx.pattern.edges
+                .filter((edge) => acceptedEdgeTypes(edge.type, declaredEdges).length === 1)
+                .map((edge) => edge.type)
+                .filter((type) => !declaredEdges.includes(type))),
+        ];
+    return { nodes, edges };
+}
+function nodeLevel(pattern) {
+    return pattern.requiredAtResolution ?? 0;
+}
+function edgeLevel(pattern, declared) {
+    return declared ?? nodeLevel(pattern);
+}
+/** The lowest level at which this pattern asserts anything at all. */
+function lowestRequired(pattern) {
+    let lowest = nodeLevel(pattern);
+    for (const edge of pattern.edges) {
+        const level = edgeLevel(pattern, edge.requiredAtResolution);
+        if (level < lowest)
+            lowest = level;
+    }
+    return lowest;
+}
+/**
+ * Expected attrs, with the manifest's field-name map applied.
+ *
+ * Skipped for database node types — see `UNMAPPED_ATTR_NODE_TYPES` and DEC-040.
+ */
+function expectedAttrs(attrs, manifest, unmapped) {
+    return unmapped ? attrs : mapFieldNames(attrs, manifest.fieldNameMap);
+}
+function checkNodes(ctx, bound, deferred) {
+    const findings = [];
+    if (nodeLevel(ctx.pattern) > ctx.claimed) {
+        for (const expectation of ctx.pattern.nodes) {
+            deferred.push(`node "${expectation.role}" (required at R${nodeLevel(ctx.pattern)})`);
+        }
+        return findings;
+    }
+    for (const expectation of ctx.pattern.nodes) {
+        const node = bound.get(expectation.role);
+        if (node === undefined)
+            continue; // already reported as a binding failure
+        const expectedType = ctx.manifest.roleTypeOverrides[expectation.role] ?? expectation.type;
+        if (node.type !== expectedType) {
+            findings.push({
+                kind: "wrong-node-type",
+                pattern: ctx.id,
+                role: expectation.role,
+                detail: `expected ${expectedType}, got ${node.type}` +
+                    (expectedType === expectation.type
+                        ? ""
+                        : ` (the corpus overrides the golden's ${expectation.type} for this role)`),
+            });
+        }
+        if (expectation.sameFileAs !== undefined) {
+            const other = bound.get(expectation.sameFileAs);
+            if (other !== undefined && !samePath(node.file, other.file)) {
+                findings.push({
+                    kind: "wrong-file",
+                    pattern: ctx.id,
+                    role: expectation.role,
+                    detail: `expected the same file as "${expectation.sameFileAs}" (${other.file ?? "null"}), ` +
+                        `got ${node.file ?? "null"}. Containment lives in \`file\`, not in an edge — there ` +
+                        `is no containment edge in the 14-type vocabulary.`,
+                });
+            }
+        }
+        if (expectation.attrs !== undefined) {
+            const unmapped = UNMAPPED_ATTR_NODE_TYPES.has(node.type);
+            const want = expectedAttrs(expectation.attrs, ctx.manifest, unmapped);
+            const mismatch = attrsSubset(node.attrs, want);
+            if (mismatch !== null) {
+                findings.push({
+                    kind: "node-attr-mismatch",
+                    pattern: ctx.id,
+                    role: expectation.role,
+                    detail: `${mismatch.path}: ${mismatch.detail}`,
+                });
+            }
+        }
+    }
+    return findings;
+}
+function checkEdges(ctx, bound, deferred) {
+    const findings = [];
+    const satisfied = [];
+    for (const expectation of ctx.pattern.edges) {
+        const required = edgeLevel(ctx.pattern, expectation.requiredAtResolution);
+        const from = bound.get(expectation.from);
+        const to = bound.get(expectation.to);
+        if (from === undefined || to === undefined)
+            continue;
+        const accepted = acceptedEdgeTypes(expectation.type, ctx.declaredEdgeTypes);
+        const actual = (ctx.edgesByFrom.get(from.id) ?? []).find((edge) => edge.to === to.id && accepted.includes(edge.type));
+        if (actual === undefined) {
+            // Below its required level, absence is correct degradation, not a gap.
+            if (required > ctx.claimed) {
+                deferred.push(`${expectation.type} "${expectation.from}"->"${expectation.to}" (required at R${required})`);
+                continue;
+            }
+            findings.push({
+                kind: "missing-edge",
+                pattern: ctx.id,
+                detail: `no ${accepted.join(" or ")} edge from "${expectation.from}" to "${expectation.to}", ` +
+                    `required at R${required}.`,
+                interpretation: `The adapter's batch claims R${ctx.claimed}, and this edge is mandatory from R${required} ` +
+                    `upward. Read as recall, it is a gap; read as provenance, it is a resolution level ` +
+                    `reported but not reached. Same fact — the harness detects it once.`,
+            });
+            continue;
+        }
+        satisfied.push(`${expectation.from}->${expectation.to}:${expectation.type}`);
+        if (expectation.attrs !== undefined) {
+            const unmapped = UNMAPPED_ATTR_NODE_TYPES.has(from.type) || UNMAPPED_ATTR_NODE_TYPES.has(to.type);
+            const want = expectedAttrs(expectation.attrs, ctx.manifest, unmapped);
+            const mismatch = attrsSubset(actual.attrs ?? {}, want);
+            if (mismatch !== null) {
+                findings.push({
+                    kind: "edge-attr-mismatch",
+                    pattern: ctx.id,
+                    detail: `${expectation.from}->${expectation.to}: ${mismatch.path}: ${mismatch.detail}`,
+                });
+            }
+        }
+    }
+    return { findings, satisfied };
+}
+/**
+ * The precision half: `forbiddenEdges` and `mustNotResolveTo`.
+ *
+ * Run whenever their roles bind, **regardless of the pattern's verdict**. A
+ * wrong edge is a false claim at every resolution level (`fixtures/README.md`),
+ * so neither a low resolution nor a missing framework extractor excuses it. The
+ * recall half is the opposite: excused below its required level, by design.
+ */
+function checkPrecision(ctx, bound) {
+    const findings = [];
+    // A role that bound is a node that exists, and for these roles existing IS
+    // the violation. No edge is involved: the wrong thing an over-admitting route
+    // reader does is MINT A ROUTE, and until now the harness could forbid an edge
+    // to anywhere but could not forbid a node at all.
+    for (const entry of ctx.pattern.mustNotBind ?? []) {
+        const node = bound.get(entry.role);
+        if (node === undefined)
+            continue;
+        findings.push({
+            kind: "forbidden-node",
+            pattern: ctx.id,
+            role: entry.role,
+            detail: `emitted a ${node.type} node "${node.name}" (${node.file ?? "no file"}) for a construct ` +
+                `the corpus binds as an over-admission trap. ${entry.why}`,
+            interpretation: `This is the receiver check, stated as a gate. A route admitted because a member is ` +
+                `spelled like an HTTP verb is a false claim, and it is the highest-volume one measured ` +
+                `in this project: 1,150 on saleor, 241 on firefly-iii. Finding more here is the failure.`,
+        });
+    }
+    for (const forbidden of ctx.pattern.forbiddenEdges ?? []) {
+        const from = bound.get(forbidden.from);
+        if (from === undefined)
+            continue;
+        const candidates = (ctx.edgesByFrom.get(from.id) ?? []).filter((edge) => edge.type === forbidden.type);
+        if (forbidden.to === ANY_TARGET) {
+            // The wildcard looks outside the role-bound set on purpose: "this edge
+            // exists nowhere" is not a statement the bound subgraph can make.
+            for (const edge of candidates) {
+                findings.push({
+                    kind: "forbidden-edge",
+                    pattern: ctx.id,
+                    role: forbidden.from,
+                    detail: `emitted a ${edge.type} edge from "${forbidden.from}" to ${edge.to} at R${edge.resolution} ` +
+                        `(confidence ${edge.confidence}). This pattern forbids that edge to any target.`,
+                    interpretation: `A missing edge is a disclosed gap; a wrong edge is a false claim that corrupts every ` +
+                        `layer above the graph. Finding more here is not better — it is the failure.`,
+                });
+            }
+            continue;
+        }
+        const target = bound.get(forbidden.to);
+        if (target === undefined)
+            continue;
+        for (const edge of candidates.filter((candidate) => candidate.to === target.id)) {
+            findings.push({
+                kind: "forbidden-edge",
+                pattern: ctx.id,
+                role: forbidden.from,
+                detail: `emitted a forbidden ${edge.type} edge from "${forbidden.from}" to "${forbidden.to}".`,
+            });
+        }
+    }
+    const mustNot = ctx.pattern.mustNotResolveTo;
+    if (mustNot !== undefined) {
+        const [fromRole = "", toRole = ""] = mustNot.edge.split("->");
+        const from = bound.get(fromRole);
+        const target = bound.get(mustNot.target);
+        const declaredType = ctx.pattern.edges.find((edge) => edge.from === fromRole && edge.to === toRole)?.type;
+        if (from !== undefined && target !== undefined && declaredType !== undefined) {
+            const accepted = acceptedEdgeTypes(declaredType, ctx.declaredEdgeTypes);
+            for (const edge of ctx.edgesByFrom.get(from.id) ?? []) {
+                if (edge.to !== target.id || !accepted.includes(edge.type))
+                    continue;
+                findings.push({
+                    kind: "wrong-target",
+                    pattern: ctx.id,
+                    role: fromRole,
+                    detail: `the ${edge.type} edge from "${fromRole}" terminates at "${mustNot.target}". ${mustNot.why}`,
+                    interpretation: "An edge present but pointing at the wrong target fails at any resolution level.",
+                });
+            }
+        }
+    }
+    return findings;
+}
+/** Roles a precision check needs bound, so they can be looked up even when the pattern is excused. */
+function precisionRoles(pattern) {
+    const roles = new Set();
+    for (const forbidden of pattern.forbiddenEdges ?? []) {
+        roles.add(forbidden.from);
+        if (forbidden.to !== ANY_TARGET)
+            roles.add(forbidden.to);
+    }
+    if (pattern.mustNotResolveTo !== undefined) {
+        const [fromRole] = pattern.mustNotResolveTo.edge.split("->");
+        if (fromRole !== undefined)
+            roles.add(fromRole);
+        roles.add(pattern.mustNotResolveTo.target);
+    }
+    // An over-admission trap is checked even when the pattern is excused. An
+    // adapter that declares no route extractor and mints a route anyway is not
+    // excused by the declaration — it is contradicting it.
+    for (const entry of pattern.mustNotBind ?? [])
+        roles.add(entry.role);
+    return [...roles];
+}
+/**
+ * Does anything bound to this adapter supply what the pattern names?
+ *
+ * The harness compares two strings from one closed set and knows nothing about
+ * any framework — `"spring"` and `"rails"` stay inside the adapter, and only
+ * `"route-extractor"` crosses the boundary.
+ *
+ * `undefined` capabilities with extractors bound cannot reach here: that
+ * combination is an adapter failure recorded before grading. So the fallback is
+ * only ever taken by a source with nothing bound, where the answer is no.
+ */
+function supplies(ctx, requirement) {
+    if (ctx.boundExtractors.length === 0)
+        return false;
+    return ctx.suppliedCapabilities?.includes(requirement) ?? false;
+}
+function runPattern(ctx) {
+    const { pattern, id } = ctx;
+    const missingCapability = pattern.requires !== undefined && !supplies(ctx, pattern.requires) ? pattern.requires : null;
+    const lowest = lowestRequired(pattern);
+    const cappedByCorpus = lowest > ctx.corpusCeiling;
+    const aboveClaimed = lowest > ctx.claimed;
+    const undeclared = undeclaredTypes(ctx);
+    // A negative nothing can violate is decorative. If the corpus binds none of
+    // the traps this pattern names, say so rather than reporting green — the
+    // measured cost of the alternative is three traps written into fixtures and
+    // asserted by nothing, which is what prompted this pattern.
+    const trapRoles = (pattern.mustNotBind ?? []).map((entry) => entry.role);
+    const corpusHasNoTrap = trapRoles.length > 0 && trapRoles.every((role) => ctx.manifest.roles[role] === undefined);
+    const excuse = missingCapability !== null
+        ? {
+            verdict: "skipped",
+            reason: `requires the "${missingCapability}" capability; nothing bound to this adapter supplies it` +
+                (ctx.boundExtractors.length === 0
+                    ? `, and no framework extractor is bound at all`
+                    : ` (bound: ${ctx.boundExtractors.join(", ")}, supplying ` +
+                        `${(ctx.suppliedCapabilities ?? []).join(", ") || "nothing"})`) +
+                `. Routes, endpoint templates and ORM nullability are framework knowledge, not ` +
+                `language knowledge — a language adapter alone genuinely cannot produce them (§11A.8).`,
+        }
+        : corpusHasNoTrap
+            ? {
+                verdict: "skipped",
+                reason: `this corpus binds none of the over-admission traps this pattern names ` +
+                    `(${trapRoles.join(", ")}), so there is nothing here it could catch. The adapter is ` +
+                    `not at fault and is not credited either: a negative with no trap is decorative, and ` +
+                    `reporting it as a pass is how three of them survived unasserted in this corpus.`,
+            }
+            : undeclared.nodes.length > 0 || undeclared.edges.length > 0
+                ? {
+                    verdict: "skipped",
+                    reason: `the adapter's capabilities() does not declare ` +
+                        [...undeclared.nodes, ...undeclared.edges].map((type) => type).join(", ") +
+                        `, which this pattern asserts. Declared incapacity is reported, never failed — the ` +
+                        `alternative is an adapter that guesses to stay green (DEC-043).`,
+                }
+                : cappedByCorpus
+                    ? {
+                        verdict: "not-required",
+                        reason: `asserts from R${lowest}, above the R${ctx.corpusCeiling} this corpus ` +
+                            `declares reachable.`,
+                    }
+                    : aboveClaimed
+                        ? {
+                            verdict: "not-required",
+                            reason: `asserts from R${lowest}; the adapter reached R${ctx.claimed}. Absence below a ` +
+                                `required level is correct degradation.`,
+                        }
+                        : null;
+    // Precision checks are never excused. Bind only what they need, and stay
+    // silent when even that does not bind — at this point absence is legitimate.
+    if (excuse !== null) {
+        const roles = precisionRoles(pattern);
+        const bound = roles.length === 0 ? new Map() : bindRoles(ctx.nodes, ctx.manifest, roles).bound;
+        const violations = checkPrecision(ctx, bound);
+        if (violations.length > 0) {
+            return {
+                pattern: id,
+                verdict: "fail",
+                findings: violations,
+                deferred: [],
+                satisfied: { roles: [], edges: [] },
+            };
+        }
+        return {
+            pattern: id,
+            verdict: excuse.verdict,
+            reason: excuse.reason,
+            findings: [],
+            deferred: [],
+            satisfied: { roles: [], edges: [] },
+        };
+    }
+    // Precision roles ride along with the graded ones. `patternRoles` is the
+    // POSITIVE set — the roles that must bind, whose absence is a loud failure —
+    // and a must-not-bind role is neither: it is checked by binding it and
+    // treating success as the violation. Omitting it here made the negative fire
+    // only on patterns that were excused, which is every pattern except the ones
+    // it exists to police.
+    const roles = [...new Set([...patternRoles(pattern), ...precisionRoles(pattern)])];
+    // The golden already states each role's type; handing it to the binder lets a
+    // module and a symbol of one name be told apart without loosening anything.
+    const expectedTypes = new Map((pattern.nodes ?? []).map((n) => [n.role, n.type]));
+    const { bound, failures } = bindRoles(ctx.nodes, ctx.manifest, roles, expectedTypes);
+    const findings = failures
+        // A must-not-bind role failing to bind is the PASS condition, not a defect.
+        // It is the one role in the harness whose absence is the assertion, so the
+        // binder's "unbound is a loud failure" rule is inverted for it and only for
+        // it. An AMBIGUOUS trap role is still a violation and is caught by
+        // checkPrecision, which sees whichever node bound.
+        .filter((failure) => !trapRoles.includes(failure.role))
+        .map((failure) => ({
+        kind: failure.reason === "ambiguous" ? "role-ambiguous" : "role-unbound",
+        pattern: id,
+        role: failure.role,
+        detail: failure.detail,
+    }));
+    const deferred = [];
+    findings.push(...checkNodes(ctx, bound, deferred));
+    const edges = checkEdges(ctx, bound, deferred);
+    findings.push(...edges.findings);
+    findings.push(...checkPrecision(ctx, bound));
+    return {
+        pattern: id,
+        verdict: findings.length === 0 ? "pass" : "fail",
+        findings,
+        deferred,
+        satisfied: { roles: [...bound.keys()].sort(), edges: edges.satisfied.sort() },
+    };
+}
+// ---------------------------------------------------------------------------
+/**
+ * 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 async function runConformance(input) {
+    const { source, manifest, golden, root } = input;
+    const capabilities = capabilitiesOf(source);
+    const raw = await source.emit({
+        root: {
+            repo: input.repo ?? "conformance-corpus",
+            absolutePath: root,
+            commitSha: input.commitSha ?? NO_COMMIT,
+        },
+        prepareTimeoutMs: input.prepareTimeoutMs ?? 30_000,
+        signal: input.signal ?? new AbortController().signal,
+    });
+    // Everything an adapter emits reaches the graph through the Normaliser, so
+    // conformance runs against what would actually be stored — not against what
+    // the adapter hoped to store.
+    const { batch, rejections, clamps } = normaliseBatch(raw);
+    const counts = {
+        pass: 0,
+        fail: 0,
+        skipped: 0,
+        "not-required": 0,
+    };
+    if (batch === null) {
+        return {
+            adapter: source.id,
+            corpus: manifest.adapter,
+            claimedResolution: 0,
+            patterns: [],
+            rejections,
+            clamps,
+            manifest: { findings: [], adapterFailed: false, corpusThin: false, unpublishable: [] },
+            passed: false,
+            counts,
+        };
+    }
+    const edgesByFrom = new Map();
+    for (const edge of batch.edges) {
+        const list = edgesByFrom.get(edge.from);
+        if (list === undefined)
+            edgesByFrom.set(edge.from, [edge]);
+        else
+            list.push(edge);
+    }
+    const selected = input.patterns;
+    const manifestCheck = checkManifest(capabilities, batch);
+    /**
+     * Who is answering "what is bound, and what does it supply".
+     *
+     * The adapter's own `capabilities()` when it has one — it is the authority on
+     * what it can do, and an adapter that has since bound an extractor must be
+     * held to the patterns that unlocks rather than keep the corpus's older,
+     * easier expectation. The manifest answers only for a bare `IRSource`.
+     */
+    const declarer = capabilities ?? manifest;
+    const results = [];
+    for (const [id, pattern] of Object.entries(golden.patterns)) {
+        if (selected !== undefined && !selected.includes(id))
+            continue;
+        const result = runPattern({
+            id,
+            pattern,
+            manifest,
+            nodes: batch.nodes,
+            edgesByFrom,
+            claimed: batch.reachedResolution,
+            declaredEdgeTypes: capabilities?.edgeTypes,
+            declaredNodeTypes: capabilities?.nodeTypes,
+            // Both fields come from ONE declarer, never mixed. Taking the extractors
+            // from the adapter and the capabilities from the manifest would let a
+            // corpus vouch for an extractor the adapter never bound, which is the
+            // drift the two-field split exists to make impossible.
+            boundExtractors: declarer.frameworkExtractors,
+            suppliedCapabilities: declarer.frameworkCapabilities,
+            corpusCeiling: input.corpusResolutionCeiling ?? manifest.expectedMaxResolution,
+        });
+        results.push(result);
+        counts[result.verdict] += 1;
+    }
+    return {
+        adapter: source.id,
+        corpus: manifest.adapter,
+        claimedResolution: batch.reachedResolution,
+        patterns: results,
+        rejections,
+        clamps,
+        manifest: manifestCheck,
+        // A rejected item never reaches a graph, so an adapter that earns one has
+        // already failed — whatever the patterns say about what did get through.
+        //
+        // `manifest.adapterFailed` joins them: emitting a type it does not declare
+        // means the harness skipped gates this adapter would have run, so a clean
+        // pattern sheet was never evidence of anything. `corpusThin` deliberately
+        // does NOT appear here — that is the corpus's failure, not the adapter's.
+        passed: counts.fail === 0 && rejections.length === 0 && !manifestCheck.adapterFailed,
+        counts,
+    };
+}
+/**
+ * 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 async function runConformanceSweep(input) {
+    const levels = input.levels ??
+        [0, 1, 2, 3].filter((level) => level <= input.manifest.expectedMaxResolution);
+    const runs = [];
+    for (const level of levels) {
+        const source = await input.createSource(level);
+        runs.push({ level, result: await runConformance({ ...input, source }) });
+    }
+    const monotonicity = [];
+    for (let i = 1; i < runs.length; i += 1) {
+        const previous = runs[i - 1];
+        const current = runs[i];
+        if (current.result.claimedResolution < previous.result.claimedResolution) {
+            monotonicity.push({
+                kind: "monotonicity",
+                pattern: "(run)",
+                detail: `asked for R${current.level} the adapter claimed R${current.result.claimedResolution}, ` +
+                    `below the R${previous.result.claimedResolution} it claimed at R${previous.level}.`,
+            });
+        }
+        const before = new Map(previous.result.patterns.map((p) => [p.pattern, p]));
+        for (const after of current.result.patterns) {
+            const earlier = before.get(after.pattern);
+            if (earlier === undefined)
+                continue;
+            for (const role of earlier.satisfied.roles) {
+                if (!after.satisfied.roles.includes(role)) {
+                    monotonicity.push({
+                        kind: "monotonicity",
+                        pattern: after.pattern,
+                        role,
+                        detail: `bound at R${previous.level} but not at R${current.level}.`,
+                    });
+                }
+            }
+            for (const edge of earlier.satisfied.edges) {
+                if (!after.satisfied.edges.includes(edge)) {
+                    monotonicity.push({
+                        kind: "monotonicity",
+                        pattern: after.pattern,
+                        detail: `${edge} was present at R${previous.level} and is absent at R${current.level}.`,
+                    });
+                }
+            }
+        }
+    }
+    return {
+        runs,
+        monotonicity,
+        passed: monotonicity.length === 0 && runs.every((run) => run.result.passed),
+    };
+}
+//# sourceMappingURL=run.js.map

package/dist/conformance/run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/conformance/run.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAKH,OAAO,EAAE,cAAc,EAA8B,MAAM,iBAAiB,CAAC;AAE7E,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,aAAa,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AACvG,OAAO,EACL,UAAU,EACV,YAAY,GAGb,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,aAAa,EAAsB,MAAM,qBAAqB,CAAC;AA6GxE,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAEjC;;;;;;;GAOG;AACH,SAAS,cAAc,CAAC,MAAgB;IACtC,MAAM,SAAS,GAAG,MAAkC,CAAC;IACrD,OAAO,OAAO,SAAS,CAAC,YAAY,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7F,CAAC;AAoCD;;;;;;;;;;;;;;;GAeG;AACH,SAAS,eAAe,CAAC,GAAmB;IAC1C,MAAM,aAAa,GAAG,GAAG,CAAC,iBAAiB,CAAC;IAC5C,MAAM,aAAa,GAAG,GAAG,CAAC,iBAAiB,CAAC;IAC5C,MAAM,KAAK,GACT,aAAa,KAAK,SAAS;QACzB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE,GAAG,IAAI,GAAG,CACR,GAAG,CAAC,OAAO,CAAC,KAAK;iBACd,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC;iBACrE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CACnD;SACF,CAAC;IACR,MAAM,KAAK,GACT,aAAa,KAAK,SAAS;QACzB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE,GAAG,IAAI,GAAG,CACR,GAAG,CAAC,OAAO,CAAC,KAAK;iBACd,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;iBAC1E,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;iBACxB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CACnD;SACF,CAAC;IACR,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,SAAS,CAAC,OAAsB;IACvC,OAAO,OAAO,CAAC,oBAAoB,IAAI,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,SAAS,CAAC,OAAsB,EAAE,QAAqC;IAC9E,OAAO,QAAQ,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC;AACxC,CAAC;AAED,sEAAsE;AACtE,SAAS,cAAc,CAAC,OAAsB;IAC5C,IAAI,MAAM,GAAoB,SAAS,CAAC,OAAO,CAAC,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC5D,IAAI,KAAK,GAAG,MAAM;YAAE,MAAM,GAAG,KAAK,CAAC;IACrC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CACpB,KAAwC,EACxC,QAAwB,EACxB,QAAiB;IAEjB,OAAO,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,UAAU,CACjB,GAAmB,EACnB,KAAkC,EAClC,QAAkB;IAElB,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;QACzC,KAAK,MAAM,WAAW,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,IAAI,mBAAmB,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,KAAK,MAAM,WAAW,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS,CAAC,wCAAwC;QAE1E,MAAM,YAAY,GAChB,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC;QACvE,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,iBAAiB;gBACvB,OAAO,EAAE,GAAG,CAAC,EAAE;gBACf,IAAI,EAAE,WAAW,CAAC,IAAI;gBACtB,MAAM,EACJ,YAAY,YAAY,SAAS,IAAI,CAAC,IAAI,EAAE;oBAC5C,CAAC,YAAY,KAAK,WAAW,CAAC,IAAI;wBAChC,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC,uCAAuC,WAAW,CAAC,IAAI,iBAAiB,CAAC;aAChF,CAAC,CAAC;QACL,CAAC;QAED,IAAI,WAAW,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;YAChD,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5D,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,OAAO,EAAE,GAAG,CAAC,EAAE;oBACf,IAAI,EAAE,WAAW,CAAC,IAAI;oBACtB,MAAM,EACJ,8BAA8B,WAAW,CAAC,UAAU,MAAM,KAAK,CAAC,IAAI,IAAI,MAAM,KAAK;wBACnF,OAAO,IAAI,CAAC,IAAI,IAAI,MAAM,0DAA0D;wBACpF,mDAAmD;iBACtD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,IAAI,WAAW,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,QAAQ,GAAG,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzD,MAAM,IAAI,GAAG,aAAa,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACtE,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC/C,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACtB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE,GAAG,CAAC,EAAE;oBACf,IAAI,EAAE,WAAW,CAAC,IAAI;oBACtB,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,EAAE;iBAC/C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,UAAU,CACjB,GAAmB,EACnB,KAAkC,EAClC,QAAkB;IAElB,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,MAAM,SAAS,GAAa,EAAE,CAAC;IAE/B,KAAK,MAAM,WAAW,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,oBAAoB,CAAC,CAAC;QAC1E,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;YAAE,SAAS;QAErD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC5E,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CACtD,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAC5D,CAAC;QAEF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,uEAAuE;YACvE,IAAI,QAAQ,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;gBAC3B,QAAQ,CAAC,IAAI,CACX,GAAG,WAAW,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,OAAO,WAAW,CAAC,EAAE,mBAAmB,QAAQ,GAAG,CAC5F,CAAC;gBACF,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,GAAG,CAAC,EAAE;gBACf,MAAM,EACJ,MAAM,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,WAAW,CAAC,IAAI,SAAS,WAAW,CAAC,EAAE,KAAK;oBACtF,gBAAgB,QAAQ,GAAG;gBAC7B,cAAc,EACZ,+BAA+B,GAAG,CAAC,OAAO,sCAAsC,QAAQ,GAAG;oBAC3F,oFAAoF;oBACpF,oEAAoE;aACvE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,SAAS,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;QAE7E,IAAI,WAAW,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,QAAQ,GACZ,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACnF,MAAM,IAAI,GAAG,aAAa,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACtE,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;YACvD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACtB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE,GAAG,CAAC,EAAE;oBACf,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,KAAK,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,EAAE;iBACvF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACjC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CACrB,GAAmB,EACnB,KAAkC;IAElC,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAE1C,2EAA2E;IAC3E,8EAA8E;IAC9E,8EAA8E;IAC9E,kDAAkD;IAClD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,GAAG,CAAC,EAAE;YACf,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,MAAM,EACJ,aAAa,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,IAAI,SAAS,oBAAoB;gBACzF,+CAA+C,KAAK,CAAC,GAAG,EAAE;YAC5D,cAAc,EACZ,qFAAqF;gBACrF,wFAAwF;gBACxF,yFAAyF;SAC5F,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,OAAO,CAAC,cAAc,IAAI,EAAE,EAAE,CAAC;QACzD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,UAAU,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAC5D,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CACvC,CAAC;QAEF,IAAI,SAAS,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;YAChC,uEAAuE;YACvE,kEAAkE;YAClE,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;gBAC9B,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,GAAG,CAAC,EAAE;oBACf,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,MAAM,EACJ,aAAa,IAAI,CAAC,IAAI,eAAe,SAAS,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,QAAQ,IAAI,CAAC,UAAU,GAAG;wBAC5F,eAAe,IAAI,CAAC,UAAU,kDAAkD;oBAClF,cAAc,EACZ,uFAAuF;wBACvF,6EAA6E;iBAChF,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YAChF,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,GAAG,CAAC,EAAE;gBACf,IAAI,EAAE,SAAS,CAAC,IAAI;gBACpB,MAAM,EAAE,uBAAuB,IAAI,CAAC,IAAI,eAAe,SAAS,CAAC,IAAI,SAAS,SAAS,CAAC,EAAE,IAAI;aAC/F,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC;IAC7C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,CAAC,QAAQ,GAAG,EAAE,EAAE,MAAM,GAAG,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CACzC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,CACvD,EAAE,IAAI,CAAC;QACR,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC7E,MAAM,QAAQ,GAAG,iBAAiB,CAAC,YAAY,EAAE,GAAG,CAAC,iBAAiB,CAAC,CAAC;YACxE,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;gBACtD,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACrE,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,cAAc;oBACpB,OAAO,EAAE,GAAG,CAAC,EAAE;oBACf,IAAI,EAAE,QAAQ;oBACd,MAAM,EACJ,OAAO,IAAI,CAAC,IAAI,eAAe,QAAQ,oBAAoB,OAAO,CAAC,MAAM,MAAM,OAAO,CAAC,GAAG,EAAE;oBAC9F,cAAc,EACZ,iFAAiF;iBACpF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,sGAAsG;AACtG,SAAS,cAAc,CAAC,OAAsB;IAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,cAAc,IAAI,EAAE,EAAE,CAAC;QACrD,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,SAAS,CAAC,EAAE,KAAK,UAAU;YAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC3C,MAAM,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAI,QAAQ,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC;IACD,yEAAyE;IACzE,2EAA2E;IAC3E,uDAAuD;IACvD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,WAAW,IAAI,EAAE;QAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrE,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,QAAQ,CAAC,GAAmB,EAAE,WAAgC;IACrE,IAAI,GAAG,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACnD,OAAO,GAAG,CAAC,oBAAoB,EAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC;AAClE,CAAC;AAED,SAAS,UAAU,CAAC,GAAmB;IACrC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,GAAG,CAAC;IAC5B,MAAM,iBAAiB,GACrB,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/F,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,cAAc,GAAG,MAAM,GAAG,GAAG,CAAC,aAAa,CAAC;IAClD,MAAM,YAAY,GAAG,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC;IAE1C,MAAM,UAAU,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACxC,4EAA4E;IAC5E,yEAAyE;IACzE,4EAA4E;IAC5E,4DAA4D;IAC5D,MAAM,SAAS,GAAG,CAAC,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzE,MAAM,eAAe,GACnB,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC;IAE5F,MAAM,MAAM,GAAuD,iBAAiB,KAAK,IAAI;QAC3F,CAAC,CAAC;YACE,OAAO,EAAE,SAAS;YAClB,MAAM,EACJ,iBAAiB,iBAAiB,yDAAyD;gBAC3F,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;oBAC/B,CAAC,CAAC,8CAA8C;oBAChD,CAAC,CAAC,YAAY,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc;wBACxD,GAAG,CAAC,GAAG,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,GAAG,CAAC;gBACnE,gFAAgF;gBAChF,uFAAuF;SAC1F;QACH,CAAC,CAAC,eAAe;YACf,CAAC,CAAC;gBACE,OAAO,EAAE,SAAS;gBAClB,MAAM,EACJ,wEAAwE;oBACxE,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,6DAA6D;oBACrF,sFAAsF;oBACtF,iFAAiF;aACpF;YACH,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBAC5D,CAAC,CAAC;oBACE,OAAO,EAAE,SAAS;oBAClB,MAAM,EACJ,gDAAgD;wBAChD,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;wBACzE,oFAAoF;wBACpF,iEAAiE;iBACpE;gBACH,CAAC,CAAC,cAAc;oBAChB,CAAC,CAAC;wBACE,OAAO,EAAE,cAAc;wBACvB,MAAM,EACJ,iBAAiB,MAAM,gBAAgB,GAAG,CAAC,aAAa,eAAe;4BACvE,qBAAqB;qBACxB;oBACH,CAAC,CAAC,YAAY;wBACZ,CAAC,CAAC;4BACE,OAAO,EAAE,cAAc;4BACvB,MAAM,EAAE,iBAAiB,MAAM,0BAA0B,GAAG,CAAC,OAAO,oBAAoB;gCACtF,wCAAwC;yBAC3C;wBACH,CAAC,CAAC,IAAI,CAAC;IAEb,yEAAyE;IACzE,6EAA6E;IAC7E,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC;QAC/F,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC9C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO;gBACL,OAAO,EAAE,EAAE;gBACX,OAAO,EAAE,MAAM;gBACf,QAAQ,EAAE,UAAU;gBACpB,QAAQ,EAAE,EAAE;gBACZ,SAAS,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;aACpC,CAAC;QACJ,CAAC;QACD,OAAO;YACL,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,QAAQ,EAAE,EAAE;YACZ,QAAQ,EAAE,EAAE;YACZ,SAAS,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;SACpC,CAAC;IACJ,CAAC;IAED,yEAAyE;IACzE,6EAA6E;IAC7E,uEAAuE;IACvE,6EAA6E;IAC7E,6EAA6E;IAC7E,uBAAuB;IACvB,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,8EAA8E;IAC9E,4EAA4E;IAC5E,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAyB,QAAQ;QAC7C,4EAA4E;QAC5E,2EAA2E;QAC3E,4EAA4E;QAC5E,mEAAmE;QACnE,mDAAmD;SAClD,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;SACtD,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACjB,IAAI,EAAE,OAAO,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAE,gBAA0B,CAAC,CAAC,CAAE,cAAwB;QAC9F,OAAO,EAAE,EAAE;QACX,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAC,CAAC,CAAC;IAEN,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,QAAQ,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC/C,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;IACjC,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IAE7C,OAAO;QACL,OAAO,EAAE,EAAE;QACX,OAAO,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QAChD,QAAQ;QACR,QAAQ;QACR,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE;KAC9E,CAAC;AACJ,CAAC;AAED,8EAA8E;AAE9E;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,KAAuB;IAC1D,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACjD,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAE5C,MAAM,GAAG,GAAY,MAAM,MAAM,CAAC,IAAI,CAAC;QACrC,IAAI,EAAE;YACJ,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,oBAAoB;YACxC,YAAY,EAAE,IAAI;YAClB,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,SAAS;SACxC;QACD,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,IAAI,MAAM;QAClD,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC,MAAM;KACrD,CAAC,CAAC;IAEH,2EAA2E;IAC3E,4EAA4E;IAC5E,8BAA8B;IAC9B,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAE1D,MAAM,MAAM,GAAmC;QAC7C,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,CAAC;QACP,OAAO,EAAE,CAAC;QACV,cAAc,EAAE,CAAC;KAClB,CAAC;IAEF,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,EAAE;YAClB,MAAM,EAAE,QAAQ,CAAC,OAAO;YACxB,iBAAiB,EAAE,CAAC;YACpB,QAAQ,EAAE,EAAE;YACZ,UAAU;YACV,MAAM;YACN,QAAQ,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,EAAE;YACtF,MAAM,EAAE,KAAK;YACb,MAAM;SACP,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,IAAI,KAAK,SAAS;YAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;;YACtD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,MAAM,aAAa,GAAG,aAAa,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;IACzD;;;;;;;OAOG;IACH,MAAM,QAAQ,GAGV,YAAY,IAAI,QAAQ,CAAC;IAE7B,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5D,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,SAAS;QAC/D,MAAM,MAAM,GAAG,UAAU,CAAC;YACxB,EAAE;YACF,OAAO;YACP,QAAQ;YACR,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,WAAW;YACX,OAAO,EAAE,KAAK,CAAC,iBAAiB;YAChC,iBAAiB,EAAE,YAAY,EAAE,SAAS;YAC1C,iBAAiB,EAAE,YAAY,EAAE,SAAS;YAC1C,yEAAyE;YACzE,sEAAsE;YACtE,sEAAsE;YACtE,uDAAuD;YACvD,eAAe,EAAE,QAAQ,CAAC,mBAAmB;YAC7C,oBAAoB,EAAE,QAAQ,CAAC,qBAAqB;YACpD,aAAa,EAAE,KAAK,CAAC,uBAAuB,IAAI,QAAQ,CAAC,qBAAqB;SAC/E,CAAC,CAAC;QACH,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,EAAE;QAClB,MAAM,EAAE,QAAQ,CAAC,OAAO;QACxB,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,QAAQ,EAAE,OAAO;QACjB,UAAU;QACV,MAAM;QACN,QAAQ,EAAE,aAAa;QACvB,0EAA0E;QAC1E,yEAAyE;QACzE,EAAE;QACF,2EAA2E;QAC3E,0EAA0E;QAC1E,0EAA0E;QAC1E,0EAA0E;QAC1E,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,aAAa;QACpF,MAAM;KACP,CAAC;AACJ,CAAC;AAmBD;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,KAAiB;IACzD,MAAM,MAAM,GACV,KAAK,CAAC,MAAM;QACX,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC;IAE3F,MAAM,IAAI,GAA4D,EAAE,CAAC;IACzE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;IAED,MAAM,YAAY,GAAyB,EAAE,CAAC;IAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACzB,IAAI,OAAO,CAAC,MAAM,CAAC,iBAAiB,GAAG,QAAQ,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC;YACzE,YAAY,CAAC,IAAI,CAAC;gBAChB,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,OAAO;gBAChB,MAAM,EACJ,cAAc,OAAO,CAAC,KAAK,yBAAyB,OAAO,CAAC,MAAM,CAAC,iBAAiB,IAAI;oBACxF,cAAc,QAAQ,CAAC,MAAM,CAAC,iBAAiB,mBAAmB,QAAQ,CAAC,KAAK,GAAG;aACtF,CAAC,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5E,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC5C,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC1C,IAAI,OAAO,KAAK,SAAS;gBAAE,SAAS;YACpC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;gBAC3C,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1C,YAAY,CAAC,IAAI,CAAC;wBAChB,IAAI,EAAE,cAAc;wBACpB,OAAO,EAAE,KAAK,CAAC,OAAO;wBACtB,IAAI;wBACJ,MAAM,EAAE,aAAa,QAAQ,CAAC,KAAK,gBAAgB,OAAO,CAAC,KAAK,GAAG;qBACpE,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;gBAC3C,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1C,YAAY,CAAC,IAAI,CAAC;wBAChB,IAAI,EAAE,cAAc;wBACpB,OAAO,EAAE,KAAK,CAAC,OAAO;wBACtB,MAAM,EAAE,GAAG,IAAI,oBAAoB,QAAQ,CAAC,KAAK,sBAAsB,OAAO,CAAC,KAAK,GAAG;qBACxF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI;QACJ,YAAY;QACZ,MAAM,EAAE,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;KAC5E,CAAC;AACJ,CAAC"}