@descryy/mcp 0.11.5 → 0.11.7

package/dist/tools/code-context.d.ts

@@ -0,0 +1,83 @@
+/**
+ * `code_context` — merges `impact`, `history` and `propagation` behind one
+ * `verb` (mcp-surface-consolidation.md group 1: all three are read/evidence,
+ * so the merge crosses no class or tier boundary).
+ *
+ * Each verb's behaviour is unchanged from the tool it replaces — this file
+ * reuses the same query-layer calls and the same reply shapes, dispatched per
+ * verb rather than reimplemented. Because the merged schema is the union of
+ * all three verbs' properties, `additionalProperties: false` alone can no
+ * longer catch a property sent to the wrong verb (verb.ts's header explains
+ * why); `selectVerb` re-establishes that per verb before any verb's logic runs.
+ */
+import type { EdgeType } from "@descryy/ir";
+import { type BriefNode, type NodeCandidates, type ToolDefinition } from "./kit.ts";
+export type CodeContextVerb = "impact" | "history" | "propagation";
+/** A node in the blast radius, with how far out and how hard it is hit. */
+export interface ImpactedNode extends BriefNode {
+    readonly depth: number;
+    readonly score: number;
+    /** 1-based position in this answer, highest score first. */
+    readonly rank: number;
+    /** `top`/`notable`/`rest` by rank, never an absolute score threshold. */
+    readonly prominence: "top" | "notable" | "rest";
+}
+/** An INCIDENT or FIX_PATTERN linked to the start node, and by which edge. */
+export interface RelatedNode extends BriefNode {
+    readonly via: EdgeType;
+}
+/** Present only when `to` was given and resolved. */
+export interface TracedPath {
+    readonly to: BriefNode;
+    readonly hops: number;
+    readonly nodes: readonly BriefNode[];
+}
+export interface ImpactReport {
+    readonly from: BriefNode;
+    readonly affected: readonly ImpactedNode[];
+    readonly affectedTotal: number;
+    readonly coveringTests: readonly BriefNode[];
+    readonly related: readonly RelatedNode[];
+    readonly path: TracedPath | null;
+    readonly analysed: boolean;
+    readonly edgeTypesWalked: readonly EdgeType[];
+    readonly edgeTypesPresent: readonly string[];
+}
+export type ImpactData = ImpactReport | NodeCandidates;
+/** A file this one moves with, and how strongly. */
+export interface CoChangedFile extends BriefNode {
+    readonly support: number;
+    readonly confidence: number;
+}
+export interface HistoryFileResolved extends BriefNode {
+    readonly resolved: true;
+}
+export interface HistoryFileUnresolved {
+    readonly resolved: false;
+    readonly path: string;
+}
+export type HistoryFile = HistoryFileResolved | HistoryFileUnresolved;
+export interface HistoryReport {
+    readonly file: HistoryFile;
+    readonly coChanged: readonly CoChangedFile[];
+    readonly coChangedTotal: number;
+}
+export type HistoryData = HistoryReport;
+/** A node the data can reach, with how far along the walk it sits. */
+export interface ReachedNode extends BriefNode {
+    readonly depth: number;
+    readonly score: number;
+}
+export interface PropagationReport {
+    readonly from: BriefNode;
+    readonly reached: readonly ReachedNode[];
+    readonly reachedTotal: number;
+    readonly fieldLevel: boolean;
+    readonly analysed: boolean;
+    readonly edgeTypesWalked: readonly string[];
+    readonly edgeTypesPresent: readonly string[];
+}
+export type PropagationData = PropagationReport | NodeCandidates;
+export type CodeContextData = ImpactData | HistoryData | PropagationData;
+export declare const codeContextTool: ToolDefinition;
+//# sourceMappingURL=code-context.d.ts.map

package/dist/tools/code-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-context.d.ts","sourceRoot":"","sources":["../../src/tools/code-context.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAcH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE5C,OAAO,EASL,KAAK,SAAS,EACd,KAAK,cAAc,EAEnB,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAOlB,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,SAAS,GAAG,aAAa,CAAC;AAInE,2EAA2E;AAC3E,MAAM,WAAW,YAAa,SAAQ,SAAS;IAC7C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,4DAA4D;IAC5D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yEAAyE;IACzE,QAAQ,CAAC,UAAU,EAAE,KAAK,GAAG,SAAS,GAAG,MAAM,CAAC;CACjD;AAED,8EAA8E;AAC9E,MAAM,WAAW,WAAY,SAAQ,SAAS;IAC5C,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;CACxB;AAED,qDAAqD;AACrD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAC3C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,SAAS,SAAS,EAAE,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,eAAe,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AAED,MAAM,MAAM,UAAU,GAAG,YAAY,GAAG,cAAc,CAAC;AAavD,oDAAoD;AACpD,MAAM,WAAW,aAAc,SAAQ,SAAS;IAC9C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,mBAAoB,SAAQ,SAAS;IACpD,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;CACzB;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,WAAW,GAAG,mBAAmB,GAAG,qBAAqB,CAAC;AAEtE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,SAAS,aAAa,EAAE,CAAC;IAC7C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,MAAM,WAAW,GAAG,aAAa,CAAC;AAIxC,sEAAsE;AACtE,MAAM,WAAW,WAAY,SAAQ,SAAS;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AAED,MAAM,MAAM,eAAe,GAAG,iBAAiB,GAAG,cAAc,CAAC;AAEjE,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,WAAW,GAAG,eAAe,CAAC;AA8czE,eAAO,MAAM,eAAe,EAAE,cAW7B,CAAC"}

package/dist/tools/code-context.js

@@ -0,0 +1,432 @@
+/**
+ * `code_context` — merges `impact`, `history` and `propagation` behind one
+ * `verb` (mcp-surface-consolidation.md group 1: all three are read/evidence,
+ * so the merge crosses no class or tier boundary).
+ *
+ * Each verb's behaviour is unchanged from the tool it replaces — this file
+ * reuses the same query-layer calls and the same reply shapes, dispatched per
+ * verb rather than reimplemented. Because the merged schema is the union of
+ * all three verbs' properties, `additionalProperties: false` alone can no
+ * longer catch a property sent to the wrong verb (verb.ts's header explains
+ * why); `selectVerb` re-establishes that per verb before any verb's logic runs.
+ */
+import { changesWith, dataFlowFrom, DATA_FLOW_EDGE_TYPES, findNodes, getNode, impactOf, rootCauseSearch, testsCovering, traceApi, withProminence, } from "@descryy/core";
+import { answer, briefNode, optionalBoolean, optionalEnum, optionalInteger, optionalString, optionalStringArray, ToolInputError, } from "./kit.js";
+import { capBySize, sizeCapNote } from "../capped.js";
+import { resolveOneNode } from "./lookup.js";
+import { selectVerb } from "./verb.js";
+const STRUCTURAL_EDGE_TYPES = [
+    "CALLS",
+    "IMPORTS",
+    "IMPLEMENTS",
+    "INHERITS",
+    "USES_API",
+    "SERVES_API",
+];
+// --- per-verb argument ownership, for selectVerb ----------------------------
+const VERB_SPECS = [
+    {
+        verb: "impact",
+        accepts: ["nodeId", "symbol", "file", "to", "edgeTypes", "direction", "crossApiEndpoint", "maxDepth", "limit"],
+    },
+    { verb: "history", accepts: ["file", "limit"] },
+    { verb: "propagation", accepts: ["nodeId", "symbol", "file", "edgeTypes", "maxDepth", "limit"] },
+];
+const SCHEMA = {
+    type: "object",
+    properties: {
+        verb: {
+            type: "string",
+            enum: ["impact", "history", "propagation"],
+            description: "impact: blast radius + tests + incidents. history: file co-change. propagation: data-flow reach.",
+        },
+        nodeId: { type: "string", description: "Start node." },
+        symbol: {
+            type: "string",
+            description: "Start symbol if no node id. Ambiguous matches are refused.",
+        },
+        file: {
+            type: "string",
+            description: "Path. Required for history; else disambiguates symbol.",
+        },
+        to: {
+            type: "string",
+            description: "impact only: second node id/symbol/path; traces a path to it.",
+        },
+        edgeTypes: {
+            type: "array",
+            items: { type: "string" },
+            description: "Restrict the walk. Default: structural (impact) or data-flow (propagation) edges.",
+        },
+        direction: {
+            type: "string",
+            enum: ["in", "out"],
+            description: "impact only. Default \"in\" (depends on this); \"out\" (this reaches).",
+        },
+        crossApiEndpoint: {
+            type: "boolean",
+            description: "impact only: also cross to the API's other side. Off by default.",
+        },
+        maxDepth: { type: "integer", minimum: 1, description: "Hop limit. Default unbounded." },
+        limit: {
+            type: "integer",
+            minimum: 1,
+            description: "Cap on items. Default 25 (impact/propagation) or 50 (history).",
+        },
+    },
+    required: ["verb"],
+    additionalProperties: false,
+};
+/** First criteria shape that resolves, or null — `resolveOneNode` is single-shot per criterion, so
+ *  a parameter documented as accepting several shapes needs each tried before reporting no match. */
+function firstResolved(session, attempts) {
+    for (const criteria of attempts) {
+        const found = resolveOneNode(session, criteria);
+        if (found.node !== null)
+            return found;
+    }
+    return null;
+}
+/**
+ * Shared shape for all three verbs' `fitToBudget`: a scaffold of scalars plus
+ * exactly one already-`limit`-capped list that scales with the graph, none of
+ * whose rows carry a droppable payload — so shrinking means only dropping
+ * trailing rows. `impact`'s blast radius, `history`'s co-change list and
+ * `propagation`'s reached-nodes list are each this shape once the verb's own
+ * work is done, which is why one function covers all three.
+ */
+function fitOneList(rest, listKey, shownList, totalCount, noun, budgetBytes) {
+    const scaffoldBytes = Buffer.byteLength(JSON.stringify({ ...rest, [listKey]: [] }), "utf8");
+    const fit = capBySize(shownList, budgetBytes, scaffoldBytes);
+    const notes = fit.droppedForSize === 0 ? [] : [sizeCapNote(noun, fit.shown.length, shownList.length, fit.droppedForSize)];
+    return {
+        data: { ...rest, [listKey]: fit.shown },
+        notes,
+        ...(fit.droppedForSize === 0
+            ? {}
+            : { truncatedDetail: { shown: fit.shown.length, total: totalCount, more: null } }),
+    };
+}
+async function runImpact(args, ctx) {
+    const nodeId = optionalString(args, "nodeId");
+    const symbol = optionalString(args, "symbol");
+    const file = optionalString(args, "file");
+    const to = optionalString(args, "to");
+    const edgeTypes = optionalStringArray(args, "edgeTypes");
+    const direction = optionalEnum(args, "direction", ["in", "out"]);
+    const crossApiEndpoint = optionalBoolean(args, "crossApiEndpoint") ?? false;
+    const maxDepth = optionalInteger(args, "maxDepth", 1);
+    const limit = optionalInteger(args, "limit", 1) ?? 25;
+    if (nodeId === undefined && symbol === undefined && file === undefined) {
+        throw new ToolInputError('give one of "nodeId", "symbol" or "file"');
+    }
+    const provider = ctx.session.provider();
+    const found = resolveOneNode(ctx.session, { nodeId, symbol, file });
+    if (found.node === null) {
+        const base = provider.baseStamp();
+        return {
+            result: {
+                data: { candidates: found.candidates.map(briefNode) },
+                stamp: { commitSha: base.commitSha, graphBuiltAt: base.graphBuiltAt, irSchemaVersion: base.irSchemaVersion, commitSpread: base.commitSpread, repoCount: base.repoCount, resolutionFloor: 0 },
+                truncated: false,
+                notes: found.notes,
+            },
+            nameLevel: true,
+            state: "refused",
+            headline: found.headline,
+        };
+    }
+    const walked = edgeTypes ?? STRUCTURAL_EDGE_TYPES;
+    ctx.progress(direction === "out" ? `Finding what ${found.node.name} reaches` : `Finding what depends on ${found.node.name}`);
+    const impact = impactOf(provider, [found.node.id], {
+        types: walked,
+        ...(direction === undefined ? {} : { direction }),
+        ...(crossApiEndpoint ? { crossApiEndpoint } : {}),
+        ...(maxDepth === undefined ? {} : { maxDepth }),
+    });
+    const affected = impact.data.filter((entry) => entry.node.id !== found.node?.id);
+    const shownAffected = affected.slice(0, limit);
+    ctx.progress(`Finding tests covering ${found.node.name}`);
+    const tests = testsCovering(provider, found.node.id, maxDepth === undefined ? {} : { maxDepth });
+    ctx.progress(`Checking for related incidents and fix patterns`);
+    const related = rootCauseSearch(provider, found.node.id);
+    let path = null;
+    const pathNotes = [];
+    if (to !== undefined) {
+        const target = firstResolved(ctx.session, [{ nodeId: to }, { symbol: to }, { file: to }]) ??
+            resolveOneNode(ctx.session, { symbol: to, file: undefined });
+        if (target.node === null) {
+            pathNotes.push(`"to" (${JSON.stringify(to)}) did not resolve: ${target.headline}`);
+        }
+        else {
+            ctx.progress(`Tracing a path to ${target.node.name}`);
+            const traced = traceApi(provider, found.node.id, target.node.id, { direction: "both" });
+            path = { to: briefNode(target.node), hops: traced.data.hops, nodes: traced.data.path.map(briefNode) };
+            pathNotes.push(...traced.notes);
+        }
+    }
+    const present = new Set();
+    for (const edge of [...provider.outgoing(found.node.id), ...provider.incoming(found.node.id)]) {
+        if (walked.includes(edge.type))
+            present.add(edge.type);
+    }
+    const absent = walked.filter((type) => !present.has(type));
+    const analysed = present.size > 0;
+    const notes = [...found.notes, ...impact.notes, ...tests.notes, ...related.notes, ...pathNotes];
+    if (shownAffected.length < affected.length) {
+        notes.push(`${affected.length - shownAffected.length} further affected node(s) exist but are not listed — ` +
+            `the reply is capped at ${limit}.`);
+    }
+    if (absent.length > 0) {
+        notes.push(`No ${absent.join(", ")} edge touches this node, so ${absent.length === 1 ? "that type" : "those types"} ` +
+            "contributed nothing to the blast radius.");
+    }
+    if (!analysed) {
+        notes.push(`None of the requested edge types (${walked.join(", ")}) appear on any edge touching this node. ` +
+            "That is not a finding that nothing depends on it — a producer for these edges may not run in " +
+            "this graph. This probe is local to one node and does not choose between the causes.");
+    }
+    const contributing = [
+        impact.stamp.resolutionFloor,
+        ...(tests.data.length > 0 ? [tests.stamp.resolutionFloor] : []),
+        ...(related.data.length > 0 ? [related.stamp.resolutionFloor] : []),
+    ];
+    const resolutionFloor = Math.min(...contributing);
+    const shapedAffected = withProminence(shownAffected.map((entry) => ({
+        ...briefNode(entry.node),
+        depth: entry.depth,
+        score: Number(entry.score.toFixed(4)),
+    })));
+    const restOfImpactData = {
+        from: briefNode(found.node),
+        affectedTotal: affected.length,
+        coveringTests: tests.data.map(briefNode),
+        related: related.data.map((m) => ({ ...briefNode(m.incident), via: m.via })),
+        path,
+        analysed,
+        edgeTypesWalked: walked,
+        edgeTypesPresent: [...present].sort(),
+    };
+    return {
+        result: {
+            data: { ...restOfImpactData, affected: shapedAffected },
+            stamp: { ...impact.stamp, resolutionFloor },
+            truncated: impact.truncated || tests.truncated || related.truncated || shownAffected.length < affected.length,
+            notes,
+        },
+        nameLevel: false,
+        ...(analysed ? (affected.length === 0 ? { state: "empty" } : {}) : { state: "refused" }),
+        ...(shownAffected.length < affected.length
+            ? { truncatedDetail: { shown: shownAffected.length, total: affected.length, more: null } }
+            : {}),
+        fitToBudget: (budgetBytes) => fitOneList(restOfImpactData, "affected", shapedAffected, affected.length, "affected node", budgetBytes),
+        headline: !analysed
+            ? `${found.node.name}'s blast radius was not analysed: the graph holds no ${walked.join("/")} edge ` +
+                "touching it. This is not a finding that nothing depends on it."
+            : direction === "out"
+                ? `${found.node.name} reaches ${affected.length} node(s); ${tests.data.length} test(s) cover it` +
+                    `${related.data.length > 0 ? `; ${related.data.length} related incident(s)/fix(es)` : ""}.`
+                : `${found.node.name} affects ${affected.length} node(s); ${tests.data.length} test(s) cover it` +
+                    `${related.data.length > 0 ? `; ${related.data.length} related incident(s)/fix(es)` : ""}.`,
+    };
+}
+async function runHistory(args, ctx) {
+    const file = optionalString(args, "file");
+    if (file === undefined)
+        throw new ToolInputError('give "file"');
+    const limit = optionalInteger(args, "limit", 1) ?? 50;
+    const driver = ctx.session.store().driver;
+    const candidates = findNodes(driver, { file, type: "FILE", limit: 1 });
+    const provider = ctx.session.provider();
+    const base = provider.baseStamp();
+    if (candidates.length === 0) {
+        const byId = getNode(driver, file);
+        if (byId !== undefined && byId.type !== "FILE") {
+            return {
+                result: {
+                    data: { file: { resolved: false, path: file }, coChanged: [], coChangedTotal: 0 },
+                    stamp: { commitSha: base.commitSha, graphBuiltAt: base.graphBuiltAt, irSchemaVersion: base.irSchemaVersion, commitSpread: base.commitSpread, repoCount: base.repoCount, resolutionFloor: 0 },
+                    truncated: false,
+                    notes: [
+                        `"${file}" is a node id, but it names a ${byId.type} node, not a FILE — this tool only ` +
+                            "reports co-change history for files. Pass the file's repository-relative path instead.",
+                    ],
+                },
+                nameLevel: true,
+                state: "refused",
+                headline: `"${file}" is a ${byId.type} node id, not a FILE.`,
+            };
+        }
+        if (byId !== undefined) {
+            candidates.push(byId);
+        }
+    }
+    if (candidates.length === 0) {
+        return {
+            result: {
+                data: { file: { resolved: false, path: file }, coChanged: [], coChangedTotal: 0 },
+                stamp: { commitSha: base.commitSha, graphBuiltAt: base.graphBuiltAt, irSchemaVersion: base.irSchemaVersion, commitSpread: base.commitSpread, repoCount: base.repoCount, resolutionFloor: 0 },
+                truncated: false,
+                notes: [
+                    "No FILE node matches this exact repository-relative path or node id. Either the path is " +
+                        "wrong, git history was skipped when the graph was built (analyze's \"history\" option), " +
+                        "or this file has never appeared in a commit the git source read — a file with zero " +
+                        "history is not distinguishable here from one this graph never analysed.",
+                ],
+            },
+            nameLevel: true,
+            state: "refused",
+            headline: `No FILE node at "${file}".`,
+        };
+    }
+    const node = candidates[0];
+    ctx.progress(`Reading co-change history for ${file}`);
+    const history = changesWith(provider, node.id);
+    const shown = history.data.slice(0, limit);
+    const notes = [...history.notes];
+    if (shown.length < history.data.length) {
+        notes.push(`${history.data.length - shown.length} further co-changed file(s) exist but are not listed — ` +
+            `the reply is capped at ${limit}.`);
+    }
+    const cappedByLimit = shown.length < history.data.length;
+    const shapedCoChanged = shown.map((c) => ({
+        ...briefNode(c.node),
+        support: c.support,
+        confidence: Number(c.confidence.toFixed(4)),
+    }));
+    const restOfHistoryData = { file: { ...briefNode(node), resolved: true }, coChangedTotal: history.data.length };
+    return {
+        result: {
+            data: { ...restOfHistoryData, coChanged: shapedCoChanged },
+            stamp: history.stamp,
+            truncated: history.truncated || cappedByLimit,
+            notes,
+        },
+        ...(shown.length === 0 ? { state: "empty" } : {}),
+        ...(cappedByLimit ? { truncatedDetail: { shown: shown.length, total: history.data.length, more: null } } : {}),
+        nameLevel: false,
+        fitToBudget: (budgetBytes) => fitOneList(restOfHistoryData, "coChanged", shapedCoChanged, history.data.length, "co-changed file", budgetBytes),
+        headline: shown.length === 0
+            ? `"${file}" has no recorded co-change history above the graph's own support/confidence floor.`
+            : `"${file}" tends to change alongside ${history.data.length} other file(s); most-coupled: ` +
+                `${shown[0].node.file ?? shown[0].node.name} (${shown[0].support} commit(s) together).`,
+    };
+}
+async function runPropagation(args, ctx) {
+    const nodeId = optionalString(args, "nodeId");
+    const symbol = optionalString(args, "symbol");
+    const file = optionalString(args, "file");
+    const edgeTypes = optionalStringArray(args, "edgeTypes");
+    const maxDepth = optionalInteger(args, "maxDepth", 1);
+    const limit = optionalInteger(args, "limit", 1) ?? 25;
+    if (nodeId === undefined && symbol === undefined && file === undefined) {
+        throw new ToolInputError('give one of "nodeId", "symbol" or "file"');
+    }
+    const found = resolveOneNode(ctx.session, { nodeId, symbol, file });
+    if (found.node === null) {
+        const base = ctx.session.provider().baseStamp();
+        return answer({
+            headline: found.headline,
+            state: "refused",
+            nameLevel: true,
+            resolutionFloor: 0,
+            commitSha: base.commitSha,
+            graphBuiltAt: base.graphBuiltAt,
+            irSchemaVersion: base.irSchemaVersion,
+            commitSpread: base.commitSpread,
+            repoCount: base.repoCount,
+            notes: found.notes,
+            data: { candidates: found.candidates.map(briefNode) },
+        });
+    }
+    ctx.progress(`Following data out of ${found.node.name}`);
+    const flow = dataFlowFrom(ctx.session.provider(), found.node.id, {
+        ...(maxDepth === undefined ? {} : { maxDepth }),
+        ...(edgeTypes === undefined ? {} : { types: edgeTypes }),
+    });
+    const reached = flow.data.filter((entry) => entry.node.id !== found.node?.id);
+    const shown = reached.slice(0, limit);
+    const notes = [...found.notes, ...flow.notes];
+    if (shown.length < reached.length) {
+        notes.push(`${reached.length - shown.length} further node(s) are on the path but not listed — the reply ` +
+            `is capped at ${limit}.`);
+    }
+    const walked = edgeTypes ?? DATA_FLOW_EDGE_TYPES;
+    const present = new Set();
+    for (const edge of [
+        ...ctx.session.provider().outgoing(found.node.id),
+        ...ctx.session.provider().incoming(found.node.id),
+    ]) {
+        if (walked.includes(edge.type))
+            present.add(edge.type);
+    }
+    const absent = walked.filter((type) => !present.has(type));
+    const analysed = present.size > 0;
+    if (absent.length > 0) {
+        notes.push(`No ${absent.join(", ")} edge touches this node, so ${absent.length === 1 ? "that type" : "those types"} ` +
+            "contributed nothing to this answer.");
+    }
+    if (!analysed) {
+        notes.push(`None of the requested edge types (${walked.join(", ")}) appear on any edge touching this node, ` +
+            "so the walk had nothing to follow. That is not a finding that no data leaves this symbol: " +
+            "no adapter configured here emitting these edge types at all (PROPAGATES_TO's only shipped " +
+            "producer today is narrow single-hop and may simply not have fired here), a " +
+            "graph built without the source that would carry them, and a symbol that genuinely " +
+            "propagates nothing are three different situations. This probe is local to one node and " +
+            "cannot tell them apart — it reports that the walk did not run rather than choosing between them.");
+    }
+    const fieldLevel = flow.stamp.resolutionFloor >= 3;
+    const shapedReached = shown.map((entry) => ({
+        ...briefNode(entry.node),
+        depth: entry.depth,
+        score: Number(entry.score.toFixed(4)),
+    }));
+    const restOfPropagationData = {
+        from: briefNode(found.node),
+        reachedTotal: reached.length,
+        fieldLevel,
+        analysed,
+        edgeTypesWalked: walked,
+        edgeTypesPresent: [...present].sort(),
+    };
+    return {
+        result: {
+            ...flow,
+            data: { ...restOfPropagationData, reached: shapedReached },
+            notes,
+        },
+        ...(analysed ? (reached.length === 0 ? { state: "empty" } : {}) : { state: "refused" }),
+        nameLevel: false,
+        fitToBudget: (budgetBytes) => fitOneList(restOfPropagationData, "reached", shapedReached, reached.length, "reached node", budgetBytes),
+        headline: !analysed
+            ? `Data flow out of ${found.node.name} was not analysed: the graph holds no ` +
+                `${walked.join("/")} edge touching it. This is not a finding that nothing propagates.`
+            : fieldLevel
+                ? `Data from ${found.node.name} reaches ${reached.length} node(s), at field level.`
+                : `${found.node.name} can reach ${reached.length} node(s). This is where data *can* flow, ` +
+                    "not which field arrives where — that needs R3.",
+    };
+}
+async function run(args, ctx) {
+    const verb = selectVerb(args, "verb", VERB_SPECS);
+    switch (verb) {
+        case "impact":
+            return runImpact(args, ctx);
+        case "history":
+            return runHistory(args, ctx);
+        case "propagation":
+            return runPropagation(args, ctx);
+    }
+}
+export const codeContextTool = {
+    name: "code_context",
+    class: "read",
+    tier: "evidence",
+    version: "1.0.0",
+    title: "Blast radius, co-change history and data flow for a symbol or file",
+    description: "impact: blast radius, covering tests, linked incidents, optional traced path. history: " +
+        "files a file tends to change alongside. propagation: where a value can flow.",
+    inputSchema: SCHEMA,
+    run,
+};
+//# sourceMappingURL=code-context.js.map

package/dist/tools/code-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-context.js","sourceRoot":"","sources":["../../src/tools/code-context.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EACL,WAAW,EACX,YAAY,EACZ,oBAAoB,EACpB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,eAAe,EACf,aAAa,EACb,QAAQ,EACR,cAAc,GACf,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,MAAM,EACN,SAAS,EACT,eAAe,EACf,YAAY,EACZ,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,cAAc,GAKf,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEtD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAiB,MAAM,WAAW,CAAC;AA2CtD,MAAM,qBAAqB,GAAwB;IACjD,OAAO;IACP,SAAS;IACT,YAAY;IACZ,UAAU;IACV,UAAU;IACV,YAAY;CACb,CAAC;AAmDF,+EAA+E;AAE/E,MAAM,UAAU,GAAyC;IACvD;QACE,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,kBAAkB,EAAE,UAAU,EAAE,OAAO,CAAC;KAC/G;IACD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;IAC/C,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE;CACjG,CAAC;AAEF,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,IAAI,EAAE;YACJ,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,aAAa,CAAC;YAC1C,WAAW,EAAE,kGAAkG;SAChH;QACD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE;QACtD,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,4DAA4D;SAC1E;QACD,IAAI,EAAE;YACJ,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,wDAAwD;SACtE;QACD,EAAE,EAAE;YACF,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,+DAA+D;SAC7E;QACD,SAAS,EAAE;YACT,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,WAAW,EAAE,mFAAmF;SACjG;QACD,SAAS,EAAE;YACT,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;YACnB,WAAW,EAAE,wEAAwE;SACtF;QACD,gBAAgB,EAAE;YAChB,IAAI,EAAE,SAAS;YACf,WAAW,EAAE,kEAAkE;SAChF;QACD,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,+BAA+B,EAAE;QACvF,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,gEAAgE;SAC9E;KACF;IACD,QAAQ,EAAE,CAAC,MAAM,CAAC;IAClB,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAEX;qGACqG;AACrG,SAAS,aAAa,CACpB,OAA6C,EAC7C,QAAyD;IAEzD,KAAK,MAAM,QAAQ,IAAI,QAAQ,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAChD,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;IACxC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,UAAU,CACjB,IAAU,EACV,OAAe,EACf,SAAyB,EACzB,UAAkB,EAClB,IAAY,EACZ,WAAmB;IAEnB,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAC5F,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,GAAG,CAAC,cAAc,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;IAC1H,OAAO;QACL,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,KAAK,EAAgC;QACrE,KAAK;QACL,GAAG,CAAC,GAAG,CAAC,cAAc,KAAK,CAAC;YAC1B,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;KACrF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,IAA6B,EAAE,GAAgB;IACtE,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,EAAE,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACtC,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACzD,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,WAAW,EAAE,CAAC,IAAI,EAAE,KAAK,CAAU,CAAC,CAAC;IAC1E,MAAM,gBAAgB,GAAG,eAAe,CAAC,IAAI,EAAE,kBAAkB,CAAC,IAAI,KAAK,CAAC;IAC5E,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAEtD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvE,MAAM,IAAI,cAAc,CAAC,0CAA0C,CAAC,CAAC;IACvE,CAAC;IAED,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;IACxC,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACpE,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,EAAE,CAAC;QAClC,OAAO;YACL,MAAM,EAAE;gBACN,IAAI,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE;gBACrD,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,eAAe,EAAE,CAAC,EAAE;gBAC5L,SAAS,EAAE,KAAK;gBAChB,KAAK,EAAE,KAAK,CAAC,KAAK;aACnB;YACD,SAAS,EAAE,IAAI;YACf,KAAK,EAAE,SAAS;YAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAI,SAA6C,IAAI,qBAAqB,CAAC;IAEvF,GAAG,CAAC,QAAQ,CACV,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,gBAAgB,KAAK,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,2BAA2B,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAC/G,CAAC;IACF,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QACjD,KAAK,EAAE,MAAM;QACb,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;QACjD,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;KAChD,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACjF,MAAM,aAAa,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAE/C,GAAG,CAAC,QAAQ,CAAC,0BAA0B,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;IAEjG,GAAG,CAAC,QAAQ,CAAC,iDAAiD,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEzD,IAAI,IAAI,GAAsB,IAAI,CAAC;IACnC,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACrB,MAAM,MAAM,GACV,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;YAC1E,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/D,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,SAAS,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,sBAAsB,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;QACrF,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,QAAQ,CAAC,qBAAqB,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACtD,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;YACxF,IAAI,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YACtG,SAAS,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC9F,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC;IAElC,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,OAAO,CAAC,KAAK,EAAE,GAAG,SAAS,CAAC,CAAC;IAChG,IAAI,aAAa,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CACR,GAAG,QAAQ,CAAC,MAAM,GAAG,aAAa,CAAC,MAAM,uDAAuD;YAC9F,0BAA0B,KAAK,GAAG,CACrC,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CACR,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,GAAG;YACxG,0CAA0C,CAC7C,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CACR,qCAAqC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,2CAA2C;YAC/F,+FAA+F;YAC/F,qFAAqF,CACxF,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG;QACnB,MAAM,CAAC,KAAK,CAAC,eAAe;QAC5B,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACpE,CAAC;IACF,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,YAAY,CAAwC,CAAC;IAEzF,MAAM,cAAc,GAAG,cAAc,CACnC,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC5B,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;QACxB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;KACtC,CAAC,CAAC,CACJ,CAAC;IACF,MAAM,gBAAgB,GAAG;QACvB,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;QAC3B,aAAa,EAAE,QAAQ,CAAC,MAAM;QAC9B,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;QACxC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QAC5E,IAAI;QACJ,QAAQ;QACR,eAAe,EAAE,MAAM;QACvB,gBAAgB,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE;KACtC,CAAC;IAEF,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,EAAE,GAAG,gBAAgB,EAAE,QAAQ,EAAE,cAAc,EAAE;YACvD,KAAK,EAAE,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,eAAe,EAAE;YAC3C,SAAS,EAAE,MAAM,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,IAAI,OAAO,CAAC,SAAS,IAAI,aAAa,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM;YAC7G,KAAK;SACN;QACD,SAAS,EAAE,KAAK;QAChB,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE,CAAC;QAC1G,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM;YACxC,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,aAAa,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;YAC1F,CAAC,CAAC,EAAE,CAAC;QACP,WAAW,EAAE,CAAC,WAAmB,EAAE,EAAE,CACnC,UAAU,CAAC,gBAAgB,EAAE,UAAU,EAAE,cAAc,EAAE,QAAQ,CAAC,MAAM,EAAE,eAAe,EAAE,WAAW,CAAC;QACzG,QAAQ,EAAE,CAAC,QAAQ;YACjB,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,wDAAwD,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ;gBAClG,gEAAgE;YAClE,CAAC,CAAC,SAAS,KAAK,KAAK;gBACnB,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,YAAY,QAAQ,CAAC,MAAM,aAAa,KAAK,CAAC,IAAI,CAAC,MAAM,mBAAmB;oBAC9F,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,MAAM,8BAA8B,CAAC,CAAC,CAAC,EAAE,GAAG;gBAC7F,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,YAAY,QAAQ,CAAC,MAAM,aAAa,KAAK,CAAC,IAAI,CAAC,MAAM,mBAAmB;oBAC9F,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,MAAM,8BAA8B,CAAC,CAAC,CAAC,EAAE,GAAG;KAClG,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,UAAU,CAAC,IAA6B,EAAE,GAAgB;IACvE,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1C,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,cAAc,CAAC,aAAa,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAEtD,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC;IAC1C,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,EAAE,CAAC;IAElC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/C,OAAO;gBACL,MAAM,EAAE;oBACN,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC,EAAE;oBACjF,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,eAAe,EAAE,CAAC,EAAE;oBAC5L,SAAS,EAAE,KAAK;oBAChB,KAAK,EAAE;wBACL,IAAI,IAAI,kCAAkC,IAAI,CAAC,IAAI,qCAAqC;4BACtF,wFAAwF;qBAC3F;iBACF;gBACD,SAAS,EAAE,IAAI;gBACf,KAAK,EAAE,SAAS;gBAChB,QAAQ,EAAE,IAAI,IAAI,UAAU,IAAI,CAAC,IAAI,uBAAuB;aAC7D,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,MAAM,EAAE;gBACN,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC,EAAE;gBACjF,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,eAAe,EAAE,CAAC,EAAE;gBAC5L,SAAS,EAAE,KAAK;gBAChB,KAAK,EAAE;oBACL,0FAA0F;wBACxF,0FAA0F;wBAC1F,qFAAqF;wBACrF,yEAAyE;iBAC5E;aACF;YACD,SAAS,EAAE,IAAI;YACf,KAAK,EAAE,SAAS;YAChB,QAAQ,EAAE,oBAAoB,IAAI,IAAI;SACvC,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;IAC5B,GAAG,CAAC,QAAQ,CAAC,iCAAiC,IAAI,EAAE,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CACR,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,yDAAyD;YAC5F,0BAA0B,KAAK,GAAG,CACrC,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;IACzD,MAAM,eAAe,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxC,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QACpB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;KAC5C,CAAC,CAAC,CAAC;IACJ,MAAM,iBAAiB,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAa,EAAE,EAAE,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAEzH,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,EAAE,GAAG,iBAAiB,EAAE,SAAS,EAAE,eAAe,EAAE;YAC1D,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,aAAa;YAC7C,KAAK;SACN;QACD,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9G,SAAS,EAAE,KAAK;QAChB,WAAW,EAAE,CAAC,WAAmB,EAAE,EAAE,CACnC,UAAU,CAAC,iBAAiB,EAAE,WAAW,EAAE,eAAe,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,iBAAiB,EAAE,WAAW,CAAC;QAClH,QAAQ,EACN,KAAK,CAAC,MAAM,KAAK,CAAC;YAChB,CAAC,CAAC,IAAI,IAAI,qFAAqF;YAC/F,CAAC,CAAC,IAAI,IAAI,+BAA+B,OAAO,CAAC,IAAI,CAAC,MAAM,gCAAgC;gBAC1F,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAE,CAAC,OAAO,uBAAuB;KACjG,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,cAAc,CAC3B,IAA6B,EAC7B,GAAgB;IAEhB,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAEtD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvE,MAAM,IAAI,cAAc,CAAC,0CAA0C,CAAC,CAAC;IACvE,CAAC;IAED,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACpE,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,SAAS,EAAE,CAAC;QAChD,OAAO,MAAM,CAAkB;YAC7B,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,KAAK,EAAE,SAAS;YAChB,SAAS,EAAE,IAAI;YACf,eAAe,EAAE,CAAC;YAClB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,IAAI,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE;SACtD,CAAC,CAAC;IACL,CAAC;IAED,GAAG,CAAC,QAAQ,CAAC,yBAAyB,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE;QAC/D,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;QAC/C,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE,CAAC;KAClE,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CACR,GAAG,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,8DAA8D;YAC5F,gBAAgB,KAAK,GAAG,CAC3B,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAsB,SAAS,IAAI,oBAAoB,CAAC;IACpE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI;QACjB,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;KAClD,EAAE,CAAC;QACF,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC;IAElC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CACR,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,GAAG;YACxG,qCAAqC,CACxC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CACR,qCAAqC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,2CAA2C;YAC/F,4FAA4F;YAC5F,4FAA4F;YAC5F,6EAA6E;YAC7E,oFAAoF;YACpF,yFAAyF;YACzF,kGAAkG,CACrG,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,IAAI,CAAC,CAAC;IACnD,MAAM,aAAa,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC1C,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;QACxB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;KACtC,CAAC,CAAC,CAAC;IACJ,MAAM,qBAAqB,GAAG;QAC5B,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;QAC3B,YAAY,EAAE,OAAO,CAAC,MAAM;QAC5B,UAAU;QACV,QAAQ;QACR,eAAe,EAAE,MAAM;QACvB,gBAAgB,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE;KACtC,CAAC;IACF,OAAO;QACL,MAAM,EAAE;YACN,GAAG,IAAI;YACP,IAAI,EAAE,EAAE,GAAG,qBAAqB,EAAE,OAAO,EAAE,aAAa,EAAE;YAC1D,KAAK;SACN;QACD,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE,CAAC;QACzG,SAAS,EAAE,KAAK;QAChB,WAAW,EAAE,CAAC,WAAmB,EAAE,EAAE,CACnC,UAAU,CAAC,qBAAqB,EAAE,SAAS,EAAE,aAAa,EAAE,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,WAAW,CAAC;QAC1G,QAAQ,EAAE,CAAC,QAAQ;YACjB,CAAC,CAAC,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,wCAAwC;gBAC3E,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,mEAAmE;YACxF,CAAC,CAAC,UAAU;gBACV,CAAC,CAAC,aAAa,KAAK,CAAC,IAAI,CAAC,IAAI,YAAY,OAAO,CAAC,MAAM,2BAA2B;gBACnF,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,cAAc,OAAO,CAAC,MAAM,2CAA2C;oBACzF,gDAAgD;KACvD,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,IAA6B,EAAE,GAAgB;IAChE,MAAM,IAAI,GAAG,UAAU,CAAkB,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IACnE,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC9B,KAAK,SAAS;YACZ,OAAO,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/B,KAAK,aAAa;YAChB,OAAO,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAmB;IAC7C,IAAI,EAAE,cAAc;IACpB,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,oEAAoE;IAC3E,WAAW,EACT,yFAAyF;QACzF,8EAA8E;IAChF,WAAW,EAAE,MAA4C;IACzD,GAAG;CACJ,CAAC"}

package/dist/tools/contracts.d.ts

@@ -0,0 +1,74 @@
+/**
+ * `contracts` — path half (name-level, R2→A) runs today; shape half (§13)
+ * needs producer-attached shapes, reporting `refused` with named blockers
+ * rather than an empty list. `defect` is provable here alone; `lead` is not.
+ */
+import type { ContractCheck, ContractClaim, 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;
+    /** `defect` (provable from this graph alone) or `lead` (needs outside knowledge) — see module header. */
+    readonly claim: ContractClaim;
+    /** 1-based position in this answer. See {@link ContractPathFinding.prominence} for what orders it. */
+    readonly rank: number;
+    /** `top`/`notable`/`rest`, ordered by evidence strength (own `resolution`), not `claim` — a claim-based ranking would be judgement dressed as measurement. */
+    readonly prominence: "top" | "notable" | "rest";
+    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 resembles this endpoint on the other side — that gap is disclosed as unanalysed, never reported broken (typo vs. an outside service). */
+    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;
+    /** Always `"defect"` — see the module header. Carried rather than assumed by a caller. */
+    readonly claim: ContractClaim;
+}
+/** Shape half's own status, carried in the payload not the envelope; the reply is `ok` when only the path half ran so a real finding isn't hidden behind a caveat. `ran`/`blockers` carry the status. */
+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. `checked` counts describe the whole graph even when filtered — a shrinking denominator would make a narrow query look healthy; 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 resembling them on the provider side — not findings, the size of the region this analysis couldn't speak about. */
+    readonly unmatchedWithoutNearMiss: number;
+    /** `findings` plus `shapeMismatches` with `claim === "defect"`. What a git hook should branch on. */
+    readonly defects: number;
+    /** `findings` with `claim === "lead"` — worth a look, never counted as blocking. */
+    readonly leads: 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;;;;GAIG;AAGH,OAAO,KAAK,EACV,aAAa,EACb,aAAa,EACb,mBAAmB,EACnB,WAAW,EACX,YAAY,EACZ,eAAe,EACf,cAAc,EACf,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAU,eAAe,EAAE,MAAM,aAAa,CAAC;AAE3D,OAAO,EAIL,KAAK,SAAS,EAEd,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAIlB,8DAA8D;AAC9D,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,yGAAyG;IACzG,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,sGAAsG;IACtG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8JAA8J;IAC9J,QAAQ,CAAC,UAAU,EAAE,KAAK,GAAG,SAAS,GAAG,MAAM,CAAC;IAChD,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,gKAAgK;IAChK,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;IACrC,0FAA0F;IAC1F,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B;AAED,yMAAyM;AACzM,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,2LAA2L;AAC3L,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,qJAAqJ;IACrJ,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,qGAAqG;IACrG,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oFAAoF;IACpF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AA6OD,eAAO,MAAM,aAAa,EAAE,cAY3B,CAAC"}