@descryy/mcp 0.1.0

package/dist/tools/analyze.js

@@ -0,0 +1,411 @@
+/**
+ * `analyze` — read the repository into the graph.
+ *
+ * The only tool that writes. Everything else queries what this produced, so its
+ * disclosures are the ones that matter most: a query cannot report a gap it was
+ * never told about, and this is where the gaps become known.
+ *
+ * ## What is disclosed, and why each one earns its line
+ *
+ * - **Sources that would not load.** "No problem found in your Python service"
+ *   and "your Python adapter did not import" are different statements (§20.2).
+ * - **Sources that loaded and did not claim the repository.** The same
+ *   distinction, one level up: an unanalysed language is *not analysable*, not
+ *   clean.
+ * - **The resolution each source reached.** A run that degraded to R0 because a
+ *   virtualenv was missing produces a graph that looks identical to a healthy
+ *   one until you read this number. Principle 3 then caps everything above it.
+ * - **Identity collisions.** Two things arrived under one id. There is no
+ *   correct merge, so the builder reports rather than picks (DEC-024).
+ * - **Evicted files.** Rows a previous run owned and this one did not re-supply.
+ *   They are gone from the graph; a query over them will now find nothing, and
+ *   nothing would otherwise say why.
+ * - **The workspace join.** Zero cross-repo joins looks exactly like success.
+ *
+ * ## The repo identity warning
+ *
+ * With no `.descry/config.json`, `repo` defaults to the directory name — and
+ * every repo-scoped node id is a hash over it. Clone into a differently-named
+ * folder and every id changes, which silently destroys incident links and
+ * `CHANGES_WITH` weights. That is DEC-004's failure arriving through the one
+ * field a default cannot get right, so it is stated on every unconfigured run.
+ */
+import { applyConfirmedFacts, buildGraph, counts, createGitSource, mintEdgesFromConfirmedFacts, MINT_PRODUCED_BY, persistGraph, summariseRefusals, } from "@descryy/core";
+import { answer, ToolInputError } from "./kit.js";
+import { detectSources, loadSources } from "../registry.js";
+const SCHEMA = {
+    type: "object",
+    properties: {
+        includeHistory: {
+            type: "boolean",
+            description: "Read git history for co-change coupling (CHANGES_WITH edges). Default true. " +
+                "Costs a few seconds on a large repository.",
+        },
+        maxCommits: {
+            type: "integer",
+            minimum: 1,
+            description: "Cap on commits read from history. Default 2000.",
+        },
+    },
+    additionalProperties: false,
+};
+/**
+ * §5.4's `refusals` field, for this run only — never the graph's whole
+ * stored ledger (`refusal_fetch`'s job). `built.unresolved` is what the
+ * sources this call just read could not resolve, so it is a fresh
+ * population every run rather than accumulated history, and honestly
+ * scoped to "what this call found" the way the field's own contract asks.
+ *
+ * `undefined` on zero rows — the envelope's `refusals` stays `null` rather
+ * than carrying a summary with no exemplar or handle to show (matching
+ * `summariseRefusals`'s own `count === 0` shape one level up).
+ */
+export function refusalSummaryField(unresolved) {
+    const summary = summariseRefusals(unresolved);
+    if (summary.count === 0 || summary.exemplar === null || summary.handle === null)
+        return undefined;
+    return { count: summary.count, exemplar: summary.exemplar, handle: summary.handle };
+}
+async function run(args, ctx) {
+    const { session } = ctx;
+    const includeHistory = args["includeHistory"] !== false;
+    const maxCommits = args["maxCommits"];
+    if (maxCommits !== undefined && (typeof maxCommits !== "number" || !Number.isInteger(maxCommits) || maxCommits < 1)) {
+        throw new ToolInputError('"maxCommits" must be a positive integer');
+    }
+    const root = await session.root();
+    const notes = [];
+    // MK-4: analyze is about to rebuild the graph from source regardless, so a
+    // stale IR schema version is repaired here rather than left to refuse —
+    // see Session.repairStaleGraph's own doc for why only this tool does this.
+    const { rebuilt } = session.repairStaleGraph();
+    if (rebuilt) {
+        notes.push("The stored graph was written under an older IR schema version. Its derived tables were " +
+            "dropped and are rebuilt by this run; earned data (R4 observations, edge corrections, " +
+            "incident links) was not affected.");
+    }
+    if (session.config.configPath === null) {
+        notes.push(`No ${".descry/config.json"} was found, so the repository identity defaults to the ` +
+            `directory name ("${session.config.repo}"). Every repo-scoped node id is a hash over that ` +
+            "string: cloning into a differently-named folder produces a different graph, and incident " +
+            "links and co-change weights do not survive the change. Set \"repo\" explicitly.");
+    }
+    if (session.config.workspace === undefined) {
+        notes.push("No workspace is configured, so this repository is its own contract boundary. Endpoints, " +
+            "tables and incidents will not join with any other repository's (DEC-054). If there is a " +
+            'sibling repository this one should join — a frontend to this backend, for example — ask ' +
+            'whether they should share a workspace, and call "link_workspace" once confirmed. Never ' +
+            "call it on a guess: a directory sitting next to another is a suggestion, not evidence.");
+    }
+    // --- sources -------------------------------------------------------------
+    const registry = await loadSources(session.config.sources);
+    for (const failure of registry.failed) {
+        notes.push(`The source "${failure.spec.module}" could not be loaded (${failure.reason}). Anything it ` +
+            "would have read is not analysable — not clean.");
+    }
+    if (session.config.sources.length === 0) {
+        notes.push(
+        // No example package name here, deliberately, and the boundary lint
+        // enforces it. Naming one would make this engine know about a specific
+        // language — the exact inversion `registry.ts` exists to prevent — and the
+        // list of installed adapters is not something this process can see.
+        "No language adapters are configured, so nothing was read from source. Add a \"sources\" " +
+            `array to ${".descry/config.json"} listing the adapter packages to load, as module ` +
+            "specifiers. This engine does not know the name of any adapter: the IR boundary is a " +
+            "dependency direction, so the list has to come from configuration.");
+    }
+    const { applicable, skipped } = await detectSources(registry.loaded, root);
+    for (const entry of skipped) {
+        notes.push(`${entry.source.source.id} did not run: it ${entry.reason}. Any code only that adapter ` +
+            "could read is not analysable.");
+    }
+    // --- emit ----------------------------------------------------------------
+    const context = {
+        root,
+        prepareTimeoutMs: 300_000,
+        signal: ctx.signal,
+    };
+    const batches = [];
+    const perSource = [];
+    /**
+     * Resolution levels reached by sources that read **source code**.
+     *
+     * The floor is drawn from these alone, and the git-history reader is why. It
+     * reaches R0 and always will: R0 is what reading a commit log *is*, not a
+     * degradation of it. Folding it into a single graph-wide minimum pinned every
+     * analyse reply at R0 and therefore at reliability class C — which then
+     * described a set of directly counted rows as "a behavioural prediction".
+     *
+     * DEC-058 already settled the general form of this: an edge carries the
+     * resolution of *its own evidence*, not of the run, so a graph has no single
+     * floor and each answer computes its own. This is that rule applied one level
+     * up. Every source's level is still reported individually in `sources`, and a
+     * source that fell short of its own declared ceiling is disclosed separately.
+     */
+    const codeResolutions = [];
+    const total = applicable.length + (includeHistory ? 1 : 0);
+    let done = 0;
+    for (const entry of applicable) {
+        ctx.progress(`Reading ${entry.source.id}`, done, total);
+        const started = Date.now();
+        try {
+            const batch = await entry.source.emit(context);
+            batches.push(batch);
+            perSource.push({
+                source: batch.producedBy,
+                files: batch.sourceFiles.length,
+                nodes: batch.nodes.length,
+                edges: batch.edges.length,
+                unresolved: batch.unresolved.length,
+                skippedFiles: batch.skippedFiles.length,
+                reachedResolution: batch.reachedResolution,
+                ms: Date.now() - started,
+            });
+            // The declared ceiling versus what this run actually reached. A gap is the
+            // honest-degradation case: the adapter can do better and something in this
+            // repository stopped it.
+            const ceiling = entry.adapter?.capabilities().maxResolution;
+            if (ceiling !== undefined)
+                codeResolutions.push(batch.reachedResolution);
+            if (ceiling !== undefined && batch.reachedResolution < ceiling) {
+                notes.push(`${entry.source.id} reached R${batch.reachedResolution} where it is capable of ` +
+                    `R${ceiling}. Findings resting on its edges are capped accordingly, and shape-level ` +
+                    "checks (contract matching, field propagation) need R3.");
+            }
+            if (batch.skippedFiles.length > 0) {
+                const byReason = new Map();
+                for (const skipped of batch.skippedFiles) {
+                    byReason.set(skipped.reason, (byReason.get(skipped.reason) ?? 0) + 1);
+                }
+                const summary = [...byReason.entries()].map(([reason, count]) => `${count} ${reason}`).join(", ");
+                notes.push(`${entry.source.id} could not analyse ${batch.skippedFiles.length} file(s) it attempted ` +
+                    `(${summary}). Not analysable — absent from the graph, not confirmed clean.`);
+            }
+        }
+        catch (error) {
+            notes.push(`${entry.source.id} failed while reading this repository (${error.message}). ` +
+                "Everything it covers is not analysable.");
+        }
+        finally {
+            // `dispose` is a `LanguageAdapter` obligation, not an `IRSource` one — a
+            // language server is a long-lived child process and leaking one costs
+            // hundreds of megabytes per repo. Sources with no processes to release
+            // (the git reader) have no method and need none.
+            await entry.adapter?.dispose();
+            done += 1;
+        }
+    }
+    if (includeHistory) {
+        ctx.progress("Reading git history", done, total);
+        const historyStarted = Date.now();
+        try {
+            const history = await createGitSource({
+                repo: root.repo,
+                cwd: session.repoPath,
+                ...(typeof maxCommits === "number" ? { maxCommits } : {}),
+            }).emit(context);
+            batches.push(history);
+            perSource.push({
+                source: history.producedBy,
+                files: history.sourceFiles.length,
+                nodes: history.nodes.length,
+                edges: history.edges.length,
+                unresolved: history.unresolved.length,
+                skippedFiles: history.skippedFiles.length,
+                reachedResolution: history.reachedResolution,
+                ms: Date.now() - historyStarted,
+            });
+        }
+        catch (error) {
+            notes.push(`Git history was not read (${error.message}), so co-change coupling is absent ` +
+                "and blast radii will not include historically coupled files.");
+        }
+        done += 1;
+    }
+    else {
+        notes.push("Git history was skipped by request, so no CHANGES_WITH edges were produced and the blast " +
+            "radius will miss files that historically change together.");
+    }
+    // --- build and store -----------------------------------------------------
+    ctx.progress("Merging into the graph", done, total);
+    const built = buildGraph(batches, {
+        nodeExists: (id) => session.provider().node(id) !== undefined,
+    });
+    const persisted = persistGraph(session.store().driver, batches, built);
+    for (const collision of built.collisions) {
+        notes.push(`Two different things claimed node id ${collision.nodeId}: a ${collision.kept.type} from ` +
+            `${collision.kept.producedBy} and a ${collision.discarded.type} from ` +
+            `${collision.discarded.producedBy}. They are not the same symbol and there is no correct ` +
+            "merge, so the second was discarded (DEC-024).");
+    }
+    if (built.droppedEdges > 0) {
+        notes.push(`${built.droppedEdges} edge(s) were dropped because an endpoint did not resolve to a real ` +
+            "node. They are never stubbed into existence — a name-matched guess belongs in the " +
+            "unresolved-reference ledger, not in the graph.");
+    }
+    if (built.rejections.length > 0) {
+        notes.push(`${built.rejections.length} item(s) were turned away at the IR boundary as malformed. They ` +
+            "are not in the graph and nothing above will see them.");
+    }
+    if (persisted.evictedFiles.length > 0) {
+        notes.push(`${persisted.evictedFiles.length} file(s) covered by a previous run were not re-supplied by ` +
+            "this one; their rows have been removed. A query about them will now find nothing because " +
+            "nothing is stored, not because there is nothing there.");
+    }
+    for (const warning of built.warnings)
+        notes.push(warning.detail);
+    if (built.unresolved.length > 0) {
+        notes.push(`${built.unresolved.length} reference(s) could not be resolved to a target and are recorded ` +
+            "in the ledger rather than guessed at. They are the measured recall gap, not an error.");
+    }
+    // --- mint edges from confirmed facts --------------------------------------
+    //
+    // DEC-223's answer half, minting side (DEC-138) — sequenced after the base
+    // graph above is already persisted, because a confirmed answer joins
+    // against a real, stored `API_ENDPOINT` row: `EndpointLookup.node(id)` is
+    // backed by the SQL reader, not by `built`'s in-memory result, so the
+    // endpoint has to already exist as a row for the lookup to find it.
+    ctx.progress("Minting edges from confirmed facts", done, total);
+    const provider = session.provider();
+    const { refs: ledgerRefs } = provider.unresolvedRefs();
+    const { answered } = applyConfirmedFacts(ledgerRefs, session.config.confirmedFacts, session.config.repo);
+    const scope = {
+        repo: session.config.repo,
+        ...(session.config.workspace === undefined ? {} : { workspace: session.config.workspace }),
+    };
+    const mintResult = mintEdgesFromConfirmedFacts(answered, provider, scope, MINT_PRODUCED_BY, root.commitSha);
+    // The invalidation key (DEC-015: "producedBy + sourceFiles"). Scoped to
+    // every file carrying an *askable* ("value-unknown") row this run, not
+    // only the files a fact happened to answer. That distinction is what makes
+    // a re-run after a changed or removed answer safe: the run id is derived
+    // from (producedBy, repo, commitSha, sourceFiles), so a re-run at the same
+    // commit with the same askable domain lands on the *same* run id, and the
+    // writer's own self-clean pass (`writer.ts` rule 3) retires whatever this
+    // run no longer supplies — the edge from a superseded answer does not
+    // survive next to a new one. Scoping to the *answered* subset instead
+    // would let a file drop out of `sourceFiles` the moment its one answer was
+    // removed, and a stale edge for it would then never be found as a
+    // prior-run to retire at all.
+    const mintFiles = [
+        ...new Set(ledgerRefs.flatMap((ref) => ref.attrs?.["refusalClass"] === "value-unknown" && typeof ref.file === "string" ? [ref.file] : [])),
+    ].sort();
+    const mintBatch = {
+        repo: session.config.repo,
+        ...(session.config.workspace === undefined ? {} : { workspace: session.config.workspace }),
+        commitSha: root.commitSha,
+        producedBy: MINT_PRODUCED_BY,
+        sourceFiles: mintFiles,
+        skippedFiles: [],
+        reachedResolution: 2,
+        nodes: [],
+        edges: mintResult.minted.map((m) => m.edge),
+        unresolved: [],
+    };
+    const mintBuilt = buildGraph([mintBatch], {
+        nodeExists: (id) => provider.node(id) !== undefined,
+    });
+    const mintPersisted = persistGraph(session.store().driver, [mintBatch], mintBuilt);
+    const stored = counts(session.store().driver);
+    if (mintResult.minted.length > 0) {
+        notes.push(`${mintResult.minted.length} human-confirmed answer(s) minted a USES_API edge this run. Every ` +
+            "one is capped at reliability class B regardless of the resolution it would otherwise earn " +
+            "(DEC-223) — a confirmed value is testimony, not a structural read.");
+        const stale = mintResult.minted.filter((m) => m.edge.attrs?.["staleFact"] === true).length;
+        if (stale > 0) {
+            notes.push(`${stale} of those edge(s) rest on an answer not affirmatively current for this commit — either ` +
+                "given against a different commit, or given before this system recorded which commit an answer " +
+                "was confirmed against. Not re-verified against live code (there is no live re-verification " +
+                "mechanism yet); disclosed on the edge's attrs.confirmedFacts[].staleness so a consumer can see " +
+                "it rather than treat an old answer as unconditionally current.");
+        }
+    }
+    if (mintResult.orphaned.length > 0) {
+        notes.push(`${mintResult.orphaned.length} confirmed answer(s) named a path/method that matches no known ` +
+            "endpoint, so no edge was minted for them — never guessed into existence: " +
+            mintResult.orphaned.map((o) => `${o.method} ${o.path}`).join(", ") +
+            ".");
+    }
+    if (mintResult.unjoinable.length > 0) {
+        notes.push(`${mintResult.unjoinable.length} confirmed answer(s) apply to a row with no resolved ` +
+            "path/method to join against at all, so no edge was minted for those either.");
+    }
+    if (mintPersisted.evictedFiles.length > 0) {
+        notes.push(`${mintPersisted.evictedFiles.length} file(s) that previously grounded a minted edge were not ` +
+            "in this run's askable set (their confirmed answer was removed, or the row it answered " +
+            "changed) — the edges they previously grounded have been retired, not left to coexist with " +
+            "whatever this run minted instead.");
+    }
+    // No code-reading source ran, so there is no level to report and nothing to
+    // rest a claim on. R0 rather than a cheerful default.
+    const floor = (codeResolutions.length === 0
+        ? 0
+        : Math.min(...codeResolutions));
+    if (codeResolutions.length > 1 && new Set(codeResolutions).size > 1) {
+        notes.push(`Sources reached different resolution levels (R${Math.min(...codeResolutions)}-` +
+            `R${Math.max(...codeResolutions)}). The floor quoted here is the lowest of them, but an ` +
+            "individual answer computes its own from the edges it actually traversed, so a query " +
+            "confined to well-resolved code is not capped by the weakest source in the graph.");
+    }
+    const headline = batches.length === 0
+        ? `Nothing was read from ${session.config.repo}.`
+        : `Analysed ${session.config.repo} at ${root.commitSha.slice(0, 12)}: ` +
+            `${stored.nodes} nodes, ${stored.edges} edges, ${stored.unresolvedRefs} disclosed gaps ` +
+            `across ${batches.length} source(s).`;
+    const refusalSummary = refusalSummaryField(built.unresolved);
+    return answer({
+        headline,
+        state: batches.length === 0 ? "refused" : "ok",
+        nameLevel: true,
+        resolutionFloor: floor,
+        commitSha: root.commitSha,
+        graphBuiltAt: Date.now(),
+        irSchemaVersion: session.provider().baseStamp().irSchemaVersion,
+        notes,
+        ...(refusalSummary === undefined ? {} : { refusalSummary }),
+        data: {
+            repo: session.config.repo,
+            workspace: session.config.workspace ?? null,
+            commitSha: root.commitSha,
+            graphPath: session.graphPath,
+            sources: perSource,
+            sourcesFailed: registry.failed.map((f) => ({ module: f.spec.module, reason: f.reason })),
+            sourcesSkipped: skipped.map((s) => ({ source: s.source.source.id, reason: s.reason })),
+            stored,
+            merge: {
+                mergedNodes: built.mergedNodes,
+                mergedEdges: built.mergedEdges,
+                collisions: built.collisions.length,
+                droppedEdges: built.droppedEdges,
+                rejections: built.rejections.length,
+            },
+            joins: built.joins,
+            written: {
+                nodes: persisted.nodesWritten,
+                edges: persisted.edgesWritten,
+                unresolved: persisted.unresolvedWritten,
+                orphanedEdges: persisted.orphanedEdges,
+                evictedFiles: persisted.evictedFiles.length,
+            },
+            minted: {
+                edges: mintResult.minted.length,
+                orphaned: mintResult.orphaned.length,
+                unjoinable: mintResult.unjoinable.length,
+                evictedFiles: mintPersisted.evictedFiles.length,
+            },
+        },
+    });
+}
+export const analyzeTool = {
+    name: "analyze",
+    class: "stateful-read",
+    tier: "evidence",
+    version: "1.0.0",
+    title: "Analyse a repository into the code graph",
+    description: "Read the repository with every configured adapter and store the result as a code graph. " +
+        "Run this before any other Descry tool, and again after the working tree changes. Reports " +
+        "what it read, what it could not read, and the resolution level each adapter reached — the " +
+        "last one caps how strongly anything built on this graph may be stated.",
+    inputSchema: SCHEMA,
+    run,
+};
+//# sourceMappingURL=analyze.js.map

package/dist/tools/analyze.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyze.js","sourceRoot":"","sources":["../../src/tools/analyze.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAGH,OAAO,EACL,mBAAmB,EACnB,UAAU,EACV,MAAM,EACN,eAAe,EACf,2BAA2B,EAC3B,gBAAgB,EAChB,YAAY,EACZ,iBAAiB,GAClB,MAAM,eAAe,CAAC;AAIvB,OAAO,EAAE,MAAM,EAAE,cAAc,EAAyC,MAAM,UAAU,CAAC;AAEzF,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAqE5D,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,cAAc,EAAE;YACd,IAAI,EAAE,SAAS;YACf,WAAW,EACT,8EAA8E;gBAC9E,4CAA4C;SAC/C;QACD,UAAU,EAAE;YACV,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,iDAAiD;SAC/D;KACF;IACD,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAEX;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAAoC;IAEpC,MAAM,OAAO,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,OAAO,CAAC,KAAK,KAAK,CAAC,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAClG,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;AACtF,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,IAA6B,EAAE,GAAgB;IAChE,MAAM,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC;IACxB,MAAM,cAAc,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,KAAK,CAAC;IACxD,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC;IACtC,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,OAAO,UAAU,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC,CAAC,EAAE,CAAC;QACpH,MAAM,IAAI,cAAc,CAAC,yCAAyC,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,CAAC;IAClC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,2EAA2E;IAC3E,wEAAwE;IACxE,2EAA2E;IAC3E,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC;IAC/C,IAAI,OAAO,EAAE,CAAC;QACZ,KAAK,CAAC,IAAI,CACR,yFAAyF;YACvF,uFAAuF;YACvF,mCAAmC,CACtC,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CACR,MAAM,qBAAqB,yDAAyD;YAClF,oBAAoB,OAAO,CAAC,MAAM,CAAC,IAAI,oDAAoD;YAC3F,2FAA2F;YAC3F,iFAAiF,CACpF,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CACR,0FAA0F;YACxF,0FAA0F;YAC1F,0FAA0F;YAC1F,yFAAyF;YACzF,wFAAwF,CAC3F,CAAC;IACJ,CAAC;IAED,4EAA4E;IAE5E,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC3D,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CACR,eAAe,OAAO,CAAC,IAAI,CAAC,MAAM,0BAA0B,OAAO,CAAC,MAAM,iBAAiB;YACzF,gDAAgD,CACnD,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI;QACR,oEAAoE;QACpE,uEAAuE;QACvE,2EAA2E;QAC3E,oEAAoE;QACpE,0FAA0F;YACxF,YAAY,qBAAqB,mDAAmD;YACpF,sFAAsF;YACtF,mEAAmE,CACtE,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,MAAM,aAAa,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC3E,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CACR,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,oBAAoB,KAAK,CAAC,MAAM,+BAA+B;YACtF,+BAA+B,CAClC,CAAC;IACJ,CAAC;IAED,4EAA4E;IAE5E,MAAM,OAAO,GAAG;QACd,IAAI;QACJ,gBAAgB,EAAE,OAAO;QACzB,MAAM,EAAE,GAAG,CAAC,MAAM;KACnB,CAAC;IAEF,MAAM,OAAO,GAAc,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAgB,EAAE,CAAC;IAClC;;;;;;;;;;;;;;OAcG;IACH,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,IAAI,IAAI,GAAG,CAAC,CAAC;IAEb,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,GAAG,CAAC,QAAQ,CAAC,WAAW,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC/C,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,SAAS,CAAC,IAAI,CAAC;gBACb,MAAM,EAAE,KAAK,CAAC,UAAU;gBACxB,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM;gBAC/B,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;gBACzB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;gBACzB,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;gBACnC,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM;gBACvC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;gBAC1C,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO;aACzB,CAAC,CAAC;YACH,2EAA2E;YAC3E,2EAA2E;YAC3E,yBAAyB;YACzB,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,aAAa,CAAC;YAC5D,IAAI,OAAO,KAAK,SAAS;gBAAE,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;YACzE,IAAI,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,iBAAiB,GAAG,OAAO,EAAE,CAAC;gBAC/D,KAAK,CAAC,IAAI,CACR,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,aAAa,KAAK,CAAC,iBAAiB,0BAA0B;oBAC9E,IAAI,OAAO,0EAA0E;oBACrF,wDAAwD,CAC3D,CAAC;YACJ,CAAC;YACD,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;gBAC3C,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;oBACzC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACxE,CAAC;gBACD,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,IAAI,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClG,KAAK,CAAC,IAAI,CACR,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,sBAAsB,KAAK,CAAC,YAAY,CAAC,MAAM,wBAAwB;oBACvF,IAAI,OAAO,iEAAiE,CAC/E,CAAC;YACJ,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,KAAK,CAAC,IAAI,CACR,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,0CAA2C,KAAe,CAAC,OAAO,KAAK;gBACvF,yCAAyC,CAC5C,CAAC;QACJ,CAAC;gBAAS,CAAC;YACT,yEAAyE;YACzE,sEAAsE;YACtE,uEAAuE;YACvE,iDAAiD;YACjD,MAAM,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,CAAC;QACZ,CAAC;IACH,CAAC;IAED,IAAI,cAAc,EAAE,CAAC;QACnB,GAAG,CAAC,QAAQ,CAAC,qBAAqB,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACjD,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAClC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC;gBACpC,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,GAAG,EAAE,OAAO,CAAC,QAAQ;gBACrB,GAAG,CAAC,OAAO,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC1D,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtB,SAAS,CAAC,IAAI,CAAC;gBACb,MAAM,EAAE,OAAO,CAAC,UAAU;gBAC1B,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,MAAM;gBACjC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM;gBAC3B,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM;gBAC3B,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM;gBACrC,YAAY,EAAE,OAAO,CAAC,YAAY,CAAC,MAAM;gBACzC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;gBAC5C,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,cAAc;aAChC,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,KAAK,CAAC,IAAI,CACR,6BAA8B,KAAe,CAAC,OAAO,qCAAqC;gBACxF,8DAA8D,CACjE,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,CAAC;IACZ,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CACR,2FAA2F;YACzF,2DAA2D,CAC9D,CAAC;IACJ,CAAC;IAED,4EAA4E;IAE5E,GAAG,CAAC,QAAQ,CAAC,wBAAwB,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE;QAChC,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,SAAS;KAC9D,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAEvE,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACzC,KAAK,CAAC,IAAI,CACR,wCAAwC,SAAS,CAAC,MAAM,OAAO,SAAS,CAAC,IAAI,CAAC,IAAI,QAAQ;YACxF,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,UAAU,SAAS,CAAC,SAAS,CAAC,IAAI,QAAQ;YACtE,GAAG,SAAS,CAAC,SAAS,CAAC,UAAU,yDAAyD;YAC1F,+CAA+C,CAClD,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CACR,GAAG,KAAK,CAAC,YAAY,sEAAsE;YACzF,oFAAoF;YACpF,gDAAgD,CACnD,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CACR,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,kEAAkE;YAC1F,uDAAuD,CAC1D,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CACR,GAAG,SAAS,CAAC,YAAY,CAAC,MAAM,6DAA6D;YAC3F,2FAA2F;YAC3F,wDAAwD,CAC3D,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAEjE,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CACR,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,mEAAmE;YAC3F,uFAAuF,CAC1F,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,EAAE;IACF,2EAA2E;IAC3E,qEAAqE;IACrE,0EAA0E;IAC1E,sEAAsE;IACtE,oEAAoE;IACpE,GAAG,CAAC,QAAQ,CAAC,oCAAoC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC;IACpC,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,QAAQ,CAAC,cAAc,EAAE,CAAC;IACvD,MAAM,EAAE,QAAQ,EAAE,GAAG,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACzG,MAAM,KAAK,GAAG;QACZ,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI;QACzB,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;KAC3F,CAAC;IACF,MAAM,UAAU,GAAG,2BAA2B,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAE5G,wEAAwE;IACxE,uEAAuE;IACvE,2EAA2E;IAC3E,yEAAyE;IACzE,2EAA2E;IAC3E,0EAA0E;IAC1E,0EAA0E;IAC1E,sEAAsE;IACtE,sEAAsE;IACtE,2EAA2E;IAC3E,kEAAkE;IAClE,8BAA8B;IAC9B,MAAM,SAAS,GAAG;QAChB,GAAG,IAAI,GAAG,CACR,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CACzB,GAAG,CAAC,KAAK,EAAE,CAAC,cAAc,CAAC,KAAK,eAAe,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAClG,CACF;KACF,CAAC,IAAI,EAAE,CAAC;IAET,MAAM,SAAS,GAAY;QACzB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI;QACzB,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;QAC1F,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,UAAU,EAAE,gBAAgB;QAC5B,WAAW,EAAE,SAAS;QACtB,YAAY,EAAE,EAAE;QAChB,iBAAiB,EAAE,CAAC;QACpB,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3C,UAAU,EAAE,EAAE;KACf,CAAC;IACF,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,SAAS,CAAC,EAAE;QACxC,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,SAAS;KACpD,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC;IACnF,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC;IAE9C,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CACR,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,oEAAoE;YAC7F,4FAA4F;YAC5F,oEAAoE,CACvE,CAAC;QACF,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,WAAW,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;QAC3F,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,KAAK,CAAC,IAAI,CACR,GAAG,KAAK,yFAAyF;gBAC/F,gGAAgG;gBAChG,6FAA6F;gBAC7F,iGAAiG;gBACjG,gEAAgE,CACnE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CACR,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,iEAAiE;YAC5F,2EAA2E;YAC3E,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAClE,GAAG,CACN,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CACR,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,uDAAuD;YACpF,6EAA6E,CAChF,CAAC;IACJ,CAAC;IACD,IAAI,aAAa,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CACR,GAAG,aAAa,CAAC,YAAY,CAAC,MAAM,2DAA2D;YAC7F,wFAAwF;YACxF,4FAA4F;YAC5F,mCAAmC,CACtC,CAAC;IACJ,CAAC;IAED,4EAA4E;IAC5E,sDAAsD;IACtD,MAAM,KAAK,GAAG,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QACzC,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,eAAe,CAAC,CAAsB,CAAC;IAEvD,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACpE,KAAK,CAAC,IAAI,CACR,iDAAiD,IAAI,CAAC,GAAG,CAAC,GAAG,eAAe,CAAC,GAAG;YAC9E,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,eAAe,CAAC,yDAAyD;YACzF,sFAAsF;YACtF,kFAAkF,CACrF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GACZ,OAAO,CAAC,MAAM,KAAK,CAAC;QAClB,CAAC,CAAC,yBAAyB,OAAO,CAAC,MAAM,CAAC,IAAI,GAAG;QACjD,CAAC,CAAC,YAAY,OAAO,CAAC,MAAM,CAAC,IAAI,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI;YACrE,GAAG,MAAM,CAAC,KAAK,WAAW,MAAM,CAAC,KAAK,WAAW,MAAM,CAAC,cAAc,kBAAkB;YACxF,UAAU,OAAO,CAAC,MAAM,aAAa,CAAC;IAE5C,MAAM,cAAc,GAAG,mBAAmB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAE7D,OAAO,MAAM,CAAc;QACzB,QAAQ;QACR,KAAK,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI;QAC9C,SAAS,EAAE,IAAI;QACf,eAAe,EAAE,KAAK;QACtB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,YAAY,EAAE,IAAI,CAAC,GAAG,EAAE;QACxB,eAAe,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,SAAS,EAAE,CAAC,eAAe;QAC/D,KAAK;QACL,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC;QAC3D,IAAI,EAAE;YACJ,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI;YACzB,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,IAAI,IAAI;YAC3C,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,OAAO,EAAE,SAAS;YAClB,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YACxF,cAAc,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YACtF,MAAM;YACN,KAAK,EAAE;gBACL,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;gBACnC,YAAY,EAAE,KAAK,CAAC,YAAY;gBAChC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;aACpC;YACD,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,OAAO,EAAE;gBACP,KAAK,EAAE,SAAS,CAAC,YAAY;gBAC7B,KAAK,EAAE,SAAS,CAAC,YAAY;gBAC7B,UAAU,EAAE,SAAS,CAAC,iBAAiB;gBACvC,aAAa,EAAE,SAAS,CAAC,aAAa;gBACtC,YAAY,EAAE,SAAS,CAAC,YAAY,CAAC,MAAM;aAC5C;YACD,MAAM,EAAE;gBACN,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM;gBAC/B,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,MAAM;gBACpC,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,MAAM;gBACxC,YAAY,EAAE,aAAa,CAAC,YAAY,CAAC,MAAM;aAChD;SACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAmB;IACzC,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,eAAe;IACtB,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,0CAA0C;IACjD,WAAW,EACT,0FAA0F;QAC1F,2FAA2F;QAC3F,4FAA4F;QAC5F,wEAAwE;IAC1E,WAAW,EAAE,MAA4C;IACzD,GAAG;CACJ,CAAC"}

package/dist/tools/contracts.d.ts

@@ -0,0 +1,105 @@
+/**
+ * `contracts` — "does the caller agree with the thing it is calling?"
+ *
+ * §13, in two halves that fail independently.
+ *
+ * **The path half runs today.** A call that reaches no route, a route nothing
+ * calls. Name-level facts, so R2 evidence supports them at class A.
+ *
+ * **The shape half needs both producers to attach something they do not attach
+ * yet**, and it names exactly what — see `engine.ts`. It reports
+ * `refused` with those names rather than an empty mismatch list, because
+ * "no contract mismatches found" is a false statement when nothing was compared.
+ *
+ * ## Why the tool is `ok` when only the path half ran
+ *
+ * The path half produced a real answer over real evidence. Marking the whole
+ * call `refused` because a second check did not run would hide a genuine
+ * finding behind a caveat about a different question. The shape half's status is
+ * carried in `data.shapes.ran` and in the blockers, where a reader can act on it.
+ *
+ * The one case that *is* `refused` outright: no endpoints in the graph.
+ * Then neither half looked at anything.
+ */
+import type { ContractCheck, ContractFindingKind, EndpointKey, NearMissKind, ShapeDifference, ShapeDirection } from "@descryy/core";
+import type { ResolutionLevel } from "@descryy/ir";
+import { type BriefNode, type ToolDefinition } from "./kit.ts";
+/** A call that reaches no route, or a route nothing calls. */
+export interface ContractPathFinding {
+    readonly kind: ContractFindingKind;
+    readonly method: string;
+    /** The normalised path template, not the raw literal. */
+    readonly path: string;
+    readonly detail: string;
+    /** Lowest resolution among the edges this finding rests on. Caps its class. */
+    readonly resolution: ResolutionLevel;
+    /**
+     * Absent when nothing on the other side resembles this endpoint.
+     *
+     * Its absence is what separates a typo from a call into a service outside
+     * this graph — the second is disclosed as unanalysed, never reported broken.
+     */
+    readonly nearMiss?: {
+        readonly kind: NearMissKind;
+        readonly against: EndpointKey;
+    };
+    /** Capped at five. Populated for a call that reaches no route. */
+    readonly callers: readonly BriefNode[];
+    /** Capped at five. Populated for a route nothing calls. */
+    readonly routes: readonly BriefNode[];
+}
+/** A field one side reads that the other does not send. Requires R3. */
+export interface ContractShapeMismatchReport {
+    readonly endpoint: string;
+    readonly direction: ShapeDirection;
+    /** The side a missing field breaks. */
+    readonly reader: BriefNode;
+    /** The side that declares the shape. */
+    readonly writer: BriefNode;
+    readonly differences: readonly ShapeDifference[];
+    readonly resolution: ResolutionLevel;
+}
+/**
+ * The shape half's own status, carried in the payload rather than in the
+ * envelope.
+ *
+ * The call is `ok` when only the path half ran, because the path half produced
+ * a real answer over real evidence; marking the whole reply degraded because a
+ * second check did not run would hide a genuine finding behind a caveat about
+ * a different question. So `ran` is where a reader looks, and `blockers` names
+ * exactly what has to be attached before it can be true.
+ */
+export interface ContractShapeStatus {
+    readonly ran: boolean;
+    readonly comparable: number;
+    /** Endpoints with a shape on the consumer side only. */
+    readonly consumerOnly: number;
+    /** Endpoints with a shape on the provider side only. */
+    readonly providerOnly: number;
+    /** Routes naming a DTO with no request/response role, so direction is unknown. */
+    readonly unroledDtos: number;
+    /** Never empty when `ran` is false. */
+    readonly blockers: readonly string[];
+}
+/**
+ * One shape, always.
+ *
+ * The counts in `checked` describe the **whole graph** even when `paths` was
+ * given: a denominator that shrank with the filter would make a narrow query
+ * look like a healthy repository. The two lists describe the filter.
+ */
+export interface ContractsData {
+    readonly findings: readonly ContractPathFinding[];
+    readonly shapeMismatches: readonly ContractShapeMismatchReport[];
+    readonly checked: ContractCheck["paths"]["checked"];
+    readonly shapes: ContractShapeStatus;
+    /**
+     * Unmatched callers with nothing on the provider side resembling them.
+     *
+     * Not findings. This is the size of the region the analysis could not speak
+     * about at all.
+     */
+    readonly unmatchedWithoutNearMiss: number;
+}
+export declare const contractsTool: ToolDefinition;
+//# sourceMappingURL=contracts.d.ts.map

package/dist/tools/contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.d.ts","sourceRoot":"","sources":["../../src/tools/contracts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,KAAK,EACV,aAAa,EACb,mBAAmB,EACnB,WAAW,EACX,YAAY,EACZ,eAAe,EACf,cAAc,EACf,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD,OAAO,EAIL,KAAK,SAAS,EAEd,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAGlB,8DAA8D;AAC9D,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,yDAAyD;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,+EAA+E;IAC/E,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;KAAE,CAAC;IACnF,kEAAkE;IAClE,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IACvC,2DAA2D;IAC3D,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;CACvC;AAED,wEAAwE;AACxE,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,uCAAuC;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,wCAAwC;IACxC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;CACtC;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,wDAAwD;IACxD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,wDAAwD;IACxD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,kFAAkF;IAClF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,uCAAuC;IACvC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAClD,QAAQ,CAAC,eAAe,EAAE,SAAS,2BAA2B,EAAE,CAAC;IACjE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC;;;;;OAKG;IACH,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;CAC3C;AA0HD,eAAO,MAAM,aAAa,EAAE,cAe3B,CAAC"}