@descryy/mcp 0.11.5 → 0.11.6

package/dist/tools/history.js

@@ -0,0 +1,121 @@
+/**
+ * `history`: co-change (`CHANGES_WITH`) lookup over the stored graph, not a
+ * live `git log`/`diff` — §18's `get_git_history`. Resolves the path
+ * directly, keeping only `type === "FILE"` — `resolveOneNode` would add noise since `CHANGES_WITH` only ever connects FILE nodes.
+ */
+import { changesWith, findNodes, getNode } from "@descryy/core";
+import { briefNode, optionalInteger, optionalString, ToolInputError, } from "./kit.js";
+const SCHEMA = {
+    type: "object",
+    properties: {
+        file: { type: "string", description: "Repository-relative path of the file to ask about." },
+        limit: { type: "integer", minimum: 1, description: "Cap on co-changed files in the reply. Default 50." },
+    },
+    required: ["file"],
+    additionalProperties: false,
+};
+async function run(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;
+    // `type` is a WHERE-clause criterion, not a post-query filter (F2, UAT Phase
+    // 5) — filtering after `findNodes`' own LIMIT let a file with ten or more
+    // higher-resolution sibling symbols push the FILE node itself out of the
+    // window before the filter ever ran, so this tool denied files that
+    // demonstrably existed in the same graph other tools could see.
+    const candidates = findNodes(driver, { file, type: "FILE", limit: 1 });
+    const provider = ctx.session.provider();
+    const base = provider.baseStamp();
+    if (candidates.length === 0) {
+        // This tool only ever matched an exact repository-relative path; a node
+        // id or a bare basename fell through to the same "does not exist" claim
+        // as a genuinely wrong path (F2, UAT Phase 5). `getNode` is a direct
+        // primary-key lookup, so accepting a node id here costs nothing and
+        // resolves the one other input form this tool was already tried with.
+        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}.`);
+    }
+    // `history.truncated` is the query layer's own cap; it says nothing about
+    // this tool's `limit` slice, which can cap further — the defect P27's
+    // truncation-cursor pass exists to close (§4 technique 5).
+    const cappedByLimit = shown.length < history.data.length;
+    return {
+        result: {
+            data: {
+                file: { ...briefNode(node), resolved: true },
+                coChanged: shown.map((c) => ({ ...briefNode(c.node), support: c.support, confidence: Number(c.confidence.toFixed(4)) })),
+                coChangedTotal: history.data.length,
+            },
+            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,
+        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).`,
+    };
+}
+export const historyTool = {
+    name: "history",
+    class: "read",
+    tier: "evidence",
+    version: "1.0.0",
+    title: "Which files tend to change together with this one",
+    description: "Given a repository-relative file path, report the files it co-changes with (CHANGES_WITH " +
+        "edges), how many commits they were touched together in, and the observed confidence. Reads " +
+        "the stored graph only — not a live git log or diff.",
+    inputSchema: SCHEMA,
+    run,
+};
+//# sourceMappingURL=history.js.map

package/dist/tools/history.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"history.js","sourceRoot":"","sources":["../../src/tools/history.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAEhE,OAAO,EACL,SAAS,EACT,eAAe,EACf,cAAc,EACd,cAAc,GAIf,MAAM,UAAU,CAAC;AAmClB,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,oDAAoD,EAAE;QAC3F,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,mDAAmD,EAAE;KACzG;IACD,QAAQ,EAAE,CAAC,MAAM,CAAC;IAClB,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAEX,KAAK,UAAU,GAAG,CAAC,IAA6B,EAAE,GAAgB;IAChE,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,6EAA6E;IAC7E,0EAA0E;IAC1E,yEAAyE;IACzE,oEAAoE;IACpE,gEAAgE;IAChE,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,wEAAwE;QACxE,wEAAwE;QACxE,qEAAqE;QACrE,oEAAoE;QACpE,sEAAsE;QACtE,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,0EAA0E;IAC1E,sEAAsE;IACtE,2DAA2D;IAC3D,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;IAEzD,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE;gBACJ,IAAI,EAAE,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE;gBAC5C,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACxH,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;aACpC;YACD,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,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,MAAM,CAAC,MAAM,WAAW,GAAmB;IACzC,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,mDAAmD;IAC1D,WAAW,EACT,2FAA2F;QAC3F,6FAA6F;QAC7F,qDAAqD;IACvD,WAAW,EAAE,MAA4C;IACzD,GAAG;CACJ,CAAC"}

package/dist/tools/impact.d.ts

@@ -0,0 +1,46 @@
+/**
+ * `impact` wires §18's `impactOf`/`testsCovering`/`rootCauseSearch` (blast
+ * radius, tests, incidents) into one call, plus `traceApi` when `to` is
+ * given. Defaults to structural edges (CALLS/IMPORTS/IMPLEMENTS/INHERITS/USES_API/SERVES_API) — data-flow is `propagation`'s job.
+ */
+import type { EdgeType } from "@descryy/ir";
+import { type BriefNode, type NodeCandidates, type ToolDefinition } from "./kit.ts";
+/** 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 — this score is `weightedBfs`'s confidence decay, not `scoping/`'s calibrated tiers. */
+    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;
+    /** Capped by `limit`; `affectedTotal` is the uncapped count. */
+    readonly affected: readonly ImpactedNode[];
+    readonly affectedTotal: number;
+    readonly coveringTests: readonly BriefNode[];
+    /** Incidents/fix patterns joined by a graph edge — structural only, no similarity search; an empty list is never evidence none exists (`similar_incidents` is that tool). */
+    readonly related: readonly RelatedNode[];
+    /** Null when no `to` was given, or when the one given did not resolve. */
+    readonly path: TracedPath | null;
+    /** False when no edge of any walked type touches the start node — an empty `affected` here means the walk didn't run, not that nothing depends on this symbol. */
+    readonly analysed: boolean;
+    readonly edgeTypesWalked: readonly EdgeType[];
+    /** The subset of `edgeTypesWalked` actually found on an edge touching this node. */
+    readonly edgeTypesPresent: readonly string[];
+}
+/** One call, two shapes: `NodeCandidates` when the symbol didn't resolve to exactly one node (narrow on `"from" in data`) — nothing was walked, so `ImpactReport`'s counts don't exist rather than reading zero. */
+export type ImpactData = ImpactReport | NodeCandidates;
+export declare const impactTool: ToolDefinition;
+//# sourceMappingURL=impact.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"impact.d.ts","sourceRoot":"","sources":["../../src/tools/impact.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE5C,OAAO,EAQL,KAAK,SAAS,EACd,KAAK,cAAc,EAEnB,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAIlB,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,6JAA6J;IAC7J,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,gEAAgE;IAChE,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,6KAA6K;IAC7K,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,0EAA0E;IAC1E,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IACjC,kKAAkK;IAClK,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,eAAe,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC9C,oFAAoF;IACpF,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AAED,oNAAoN;AACpN,MAAM,MAAM,UAAU,GAAG,YAAY,GAAG,cAAc,CAAC;AA0OvD,eAAO,MAAM,UAAU,EAAE,cAgBxB,CAAC"}

package/dist/tools/impact.js

@@ -0,0 +1,225 @@
+/**
+ * `impact` wires §18's `impactOf`/`testsCovering`/`rootCauseSearch` (blast
+ * radius, tests, incidents) into one call, plus `traceApi` when `to` is
+ * given. Defaults to structural edges (CALLS/IMPORTS/IMPLEMENTS/INHERITS/USES_API/SERVES_API) — data-flow is `propagation`'s job.
+ */
+import { impactOf, rootCauseSearch, testsCovering, traceApi, withProminence } from "@descryy/core";
+import { briefNode, optionalBoolean, optionalEnum, optionalInteger, optionalString, optionalStringArray, ToolInputError, } from "./kit.js";
+import { resolveOneNode } from "./lookup.js";
+/** Structural edges — what depends on what, never what data carries. */
+const STRUCTURAL_EDGE_TYPES = [
+    "CALLS",
+    "IMPORTS",
+    "IMPLEMENTS",
+    "INHERITS",
+    "USES_API",
+    "SERVES_API",
+];
+const SCHEMA = {
+    type: "object",
+    properties: {
+        nodeId: { type: "string", description: "Graph node id to start from." },
+        symbol: {
+            type: "string",
+            description: "Symbol name to start from, when you do not have a node id. Ambiguity is reported rather " +
+                "than guessed at — narrow it with \"file\".",
+        },
+        file: {
+            type: "string",
+            description: "Repository-relative path, to disambiguate \"symbol\" or to start from a file.",
+        },
+        to: {
+            type: "string",
+            description: "A second node id, symbol or path — when given, also traces a path from the start node to " +
+                "this one (find_api_contract's \"how does this reach that\" question).",
+        },
+        edgeTypes: {
+            type: "array",
+            items: { type: "string" },
+            description: "Restrict the blast-radius walk. Defaults to CALLS, IMPORTS, IMPLEMENTS, INHERITS, " +
+                "USES_API and SERVES_API — structural edges. For data-flow, use \"propagation\" instead.",
+        },
+        direction: {
+            type: "string",
+            enum: ["in", "out"],
+            description: "Which way to walk. Default \"in\" — what depends on this symbol (the blast radius). " +
+                "\"out\" answers a different question — what this symbol reaches — and is what a caller " +
+                "in one repository needs to walk toward a route served by another.",
+        },
+        crossApiEndpoint: {
+            type: "boolean",
+            description: "At an API_ENDPOINT node, also follow the USES_API/SERVES_API edge the walk's own " +
+                "direction would not otherwise see, reaching the API_ROUTE that serves it on the other " +
+                "side of the join (DEC-138: the walk otherwise stops at the shared endpoint). Off by " +
+                "default.",
+        },
+        maxDepth: { type: "integer", minimum: 1, description: "Hop limit on the blast radius. Default unbounded." },
+        limit: {
+            type: "integer",
+            minimum: 1,
+            description: "Cap on nodes in the reply. Default 25 — MK-9: the prior default of 100 cost ~5.6k tokens " +
+                "per call in this surface's own serialized envelope; 25 lands near ~1.6k, matching the " +
+                "default cap `validate`/`contracts` already use. A capped reply always discloses shown/total " +
+                "(§5.5); raise this explicitly when the full set is needed.",
+        },
+    },
+    additionalProperties: false,
+};
+async function run(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) {
+        // `to` is documented as "node id, symbol or path"; each shape is tried in
+        // order since `resolveOneNode` is single-shot (a symbol passed as
+        // `nodeId` fails rather than falling through to a name lookup). (DEC-398.)
+        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.");
+    }
+    // Floor is the weakest evidence *behind the answer* — a sub-query that
+    // found nothing (R0) isn't behind it, else a sparse graph always caps
+    // reliability C regardless of what the impact walk actually crossed. (DEC-399.)
+    const contributing = [
+        impact.stamp.resolutionFloor,
+        ...(tests.data.length > 0 ? [tests.stamp.resolutionFloor] : []),
+        ...(related.data.length > 0 ? [related.stamp.resolutionFloor] : []),
+    ];
+    const resolutionFloor = Math.min(...contributing);
+    return {
+        result: {
+            data: {
+                from: briefNode(found.node),
+                affected: withProminence(shownAffected.map((entry) => ({
+                    ...briefNode(entry.node),
+                    depth: entry.depth,
+                    score: Number(entry.score.toFixed(4)),
+                }))),
+                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(),
+            },
+            stamp: { ...impact.stamp, resolutionFloor },
+            // `impact.truncated` is the query layer's own cap; it says nothing
+            // about this tool's own `limit` slice of `affected` (same gap history.ts had, P27).
+            truncated: impact.truncated || tests.truncated || related.truncated || shownAffected.length < affected.length,
+            notes,
+        },
+        nameLevel: false,
+        ...(analysed ? (affected.length === 0 ? { state: "empty" } : {}) : { state: "refused" }),
+        // `affected` is the primary collection this tool reports — tests/related
+        // can also be capped, but one shown/total pair can't describe three
+        // lists, so this covers only the primary one (§4's TruncationDetail).
+        ...(shownAffected.length < affected.length
+            ? { truncatedDetail: { shown: shownAffected.length, total: affected.length, more: null } }
+            : {}),
+        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)` : ""}.`,
+    };
+}
+/** 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;
+}
+export const impactTool = {
+    name: "impact",
+    class: "read",
+    tier: "evidence",
+    version: "1.0.0",
+    title: "Blast radius, test coverage and prior incidents for a symbol",
+    description: "Given a symbol, report what depends on it (blast radius over CALLS/IMPORTS/IMPLEMENTS/" +
+        "INHERITS/USES_API/SERVES_API), which tests cover it, and any incidents or fix patterns " +
+        "linked to it by a graph edge. Pass \"to\" to also trace a path to a second symbol. Pass " +
+        "\"direction\": \"out\" to instead ask what a symbol reaches, and \"crossApiEndpoint\": true " +
+        "with it to walk from a frontend caller across a shared API_ENDPOINT into the backend " +
+        "API_ROUTE that serves it. For data flow (what a value reaches, not what depends on a " +
+        "symbol), use \"propagation\" instead.",
+    inputSchema: SCHEMA,
+    run,
+};
+//# sourceMappingURL=impact.js.map

package/dist/tools/impact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact.js","sourceRoot":"","sources":["../../src/tools/impact.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,aAAa,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAGnG,OAAO,EACL,SAAS,EACT,eAAe,EACf,YAAY,EACZ,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,cAAc,GAKf,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AA4C7C,wEAAwE;AACxE,MAAM,qBAAqB,GAAwB;IACjD,OAAO;IACP,SAAS;IACT,YAAY;IACZ,UAAU;IACV,UAAU;IACV,YAAY;CACb,CAAC;AAEF,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,8BAA8B,EAAE;QACvE,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,0FAA0F;gBAC1F,4CAA4C;SAC/C;QACD,IAAI,EAAE;YACJ,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,+EAA+E;SAC7F;QACD,EAAE,EAAE;YACF,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,2FAA2F;gBAC3F,uEAAuE;SAC1E;QACD,SAAS,EAAE;YACT,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,WAAW,EACT,oFAAoF;gBACpF,yFAAyF;SAC5F;QACD,SAAS,EAAE;YACT,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;YACnB,WAAW,EACT,sFAAsF;gBACtF,yFAAyF;gBACzF,mEAAmE;SACtE;QACD,gBAAgB,EAAE;YAChB,IAAI,EAAE,SAAS;YACf,WAAW,EACT,mFAAmF;gBACnF,wFAAwF;gBACxF,sFAAsF;gBACtF,UAAU;SACb;QACD,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,mDAAmD,EAAE;QAC3G,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,CAAC;YACV,WAAW,EACT,2FAA2F;gBAC3F,wFAAwF;gBACxF,8FAA8F;gBAC9F,4DAA4D;SAC/D;KACF;IACD,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAEX,KAAK,UAAU,GAAG,CAAC,IAA6B,EAAE,GAAgB;IAChE,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,0EAA0E;QAC1E,kEAAkE;QAClE,2EAA2E;QAC3E,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,uEAAuE;IACvE,sEAAsE;IACtE,gFAAgF;IAChF,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,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;gBAC3B,QAAQ,EAAE,cAAc,CACtB,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC5B,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;oBACxB,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;iBACtC,CAAC,CAAC,CACJ;gBACD,aAAa,EAAE,QAAQ,CAAC,MAAM;gBAC9B,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;gBACxC,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;gBAC5E,IAAI;gBACJ,QAAQ;gBACR,eAAe,EAAE,MAAM;gBACvB,gBAAgB,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE;aACtC;YACD,KAAK,EAAE,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,eAAe,EAAE;YAC3C,mEAAmE;YACnE,oFAAoF;YACpF,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,yEAAyE;QACzE,oEAAoE;QACpE,sEAAsE;QACtE,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,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,oMAAoM;AACpM,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,MAAM,CAAC,MAAM,UAAU,GAAmB;IACxC,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,8DAA8D;IACrE,WAAW,EACT,wFAAwF;QACxF,yFAAyF;QACzF,0FAA0F;QAC1F,8FAA8F;QAC9F,uFAAuF;QACvF,uFAAuF;QACvF,uCAAuC;IACzC,WAAW,EAAE,MAA4C;IACzD,GAAG;CACJ,CAAC"}

package/dist/tools/index.d.ts

@@ -0,0 +1,59 @@
+/**
+ * The advertised tool surface: sixteen endpoints.
+ *
+ * It was thirty-four. Twenty-six of those were merged into eight, each merged
+ * tool dispatching on a `verb` to the *same* `run` function its predecessor
+ * used — the absorbed tool files are unchanged and still export their
+ * definitions, they simply stopped being listed. The retired names keep
+ * answering through `aliases.ts` for one minor version and are not advertised,
+ * because a listing carrying the old names beside the new ones would be a
+ * worse surface than the one this work started from.
+ *
+ * Order is the order a developer meets them: `workspace` first (nothing else
+ * works without a graph), the questions asked of an existing graph next, then
+ * the tools that reach a running application.
+ */
+import type { ToolDefinition } from "./kit.ts";
+export declare const TOOLS: readonly ToolDefinition[];
+export declare const TOOLS_BY_NAME: ReadonlyMap<string, ToolDefinition>;
+export { ToolInputError } from "./kit.ts";
+export type { BriefNode, NodeCandidates, Progress, ToolContext, ToolDefinition, } from "./kit.ts";
+export { resolveOneNode } from "./lookup.ts";
+export { TOOL_TIERS } from "../render.ts";
+export type { ToolTier } from "../render.ts";
+export type { AnalyzeData, SourceRun } from "./analyze.ts";
+export type { AnalyzeWorkspaceData } from "./analyze-workspace.ts";
+export type { BrowserClickData } from "./browser-click.ts";
+export type { ChainData, ChainReport, ChainStageReport } from "./chain.ts";
+export type { PredictReachData, PredictReachReport } from "./predict-reach.ts";
+export type { ProveReachData, ProveReachReport } from "./prove-reach.ts";
+export type { BrowserCloseSessionData } from "./browser-close-session.ts";
+export type { BrowserFillData } from "./browser-fill.ts";
+export type { BrowserSelectData } from "./browser-select.ts";
+export type { BrowserSubmitData } from "./browser-submit.ts";
+export type { BrowserWaitForData } from "./browser-wait-for.ts";
+export type { BrowserTypeData } from "./browser-type.ts";
+export type { BrowserNavigateData } from "./browser-navigate.ts";
+export type { BrowserRunScenarioData } from "./browser-run-scenario.ts";
+export type { BrowserSaveScenarioData } from "./browser-save-scenario.ts";
+export type { BrowserPageData, BrowserSnapshotData } from "./browser-snapshot.ts";
+export type { BrowserStartSessionData } from "./browser-start-session.ts";
+export type { ContractPathFinding, ContractShapeMismatchReport, ContractShapeStatus, ContractsData, } from "./contracts.ts";
+export type { BlockedCheck, CrossPrData, CrossPrEmptyDiff, CrossPrGitFailure, CrossPrReport, HiddenDependencyCheck, HiddenDependencyFinding, OverlapCheck, OverlapReportChecked, SupersededCheck, } from "./cross-pr.ts";
+export type { GitDiffData, GitDiffEntry } from "./git-diff.ts";
+export type { GitHistoryCommit, GitHistoryData } from "./git-history.ts";
+export type { CoChangedFile, HistoryData, HistoryFile, HistoryFileResolved, HistoryFileUnresolved, HistoryReport } from "./history.ts";
+export type { ImpactData, ImpactedNode, ImpactReport, RelatedNode, TracedPath } from "./impact.ts";
+export type { LinkWorkspaceData, LinkedRepo } from "./link-workspace.ts";
+export type { CorrelationSummary, ObservedService, ObserveRuntimeData, RuntimeWriteSummary, } from "./observe-runtime.ts";
+export type { MarkIncidentData } from "./mark-incident.ts";
+export type { AffectedRef, PrAnalysisData, PrAnalysisEmptyDiff, PrAnalysisGitFailure, PrAnalysisLists, PrAnalysisRange, PrAnalysisReport, PrAnalysisUnresolved, } from "./pr-analysis.ts";
+export type { PropagationData, PropagationReport, ReachedNode } from "./propagation.ts";
+export type { QuestionsData } from "./questions.ts";
+export type { RefusalFetchData, RefusalFetchPageData, RefusalFetchSummaryData, RefusalFetchSummaryItem, } from "./refusal-fetch.ts";
+export type { ScopeData, ScopeNotSeeded, ScopeReport, ScopeTierCount, ScopedNodeReport } from "./scope.ts";
+export type { SimilarIncidentReport, SimilarIncidentSignalReport, SimilarIncidentsData, } from "./similar-incidents.ts";
+export type { ConfigDependencyReport, EnvFindingReport, ValidateData } from "./validate.ts";
+export type { VerificationStatusData, VerificationStatusExercisedItem, } from "./verification-status.ts";
+export type { VerifyClaimData, VerifyClaimResult } from "./verify-claim.ts";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/tools/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAoBH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAE/C,eAAO,MAAM,KAAK,EAAE,SAAS,cAAc,EAgC1C,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAE7D,CAAC;AAEF,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAC1C,YAAY,EACV,SAAS,EACT,cAAc,EACd,QAAQ,EACR,WAAW,EACX,cAAc,GACf,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,YAAY,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAK7C,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC3D,YAAY,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACnE,YAAY,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC3E,YAAY,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC/E,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACzE,YAAY,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAC1E,YAAY,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,YAAY,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,YAAY,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,YAAY,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAChE,YAAY,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,YAAY,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACjE,YAAY,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACxE,YAAY,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAC1E,YAAY,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAClF,YAAY,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAC1E,YAAY,EACV,mBAAmB,EACnB,2BAA2B,EAC3B,mBAAmB,EACnB,aAAa,GACd,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,YAAY,EACZ,WAAW,EACX,gBAAgB,EAChB,iBAAiB,EACjB,aAAa,EACb,qBAAqB,EACrB,uBAAuB,EACvB,YAAY,EACZ,oBAAoB,EACpB,eAAe,GAChB,MAAM,eAAe,CAAC;AACvB,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC/D,YAAY,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACzE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,WAAW,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACvI,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACnG,YAAY,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACzE,YAAY,EACV,kBAAkB,EAClB,eAAe,EACf,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,YAAY,EACV,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,oBAAoB,EACpB,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,oBAAoB,GACrB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,eAAe,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACxF,YAAY,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACpD,YAAY,EACV,gBAAgB,EAChB,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC3G,YAAY,EACV,qBAAqB,EACrB,2BAA2B,EAC3B,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC5F,YAAY,EACV,sBAAsB,EACtB,+BAA+B,GAChC,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/tools/index.js

@@ -0,0 +1,70 @@
+/**
+ * The advertised tool surface: sixteen endpoints.
+ *
+ * It was thirty-four. Twenty-six of those were merged into eight, each merged
+ * tool dispatching on a `verb` to the *same* `run` function its predecessor
+ * used — the absorbed tool files are unchanged and still export their
+ * definitions, they simply stopped being listed. The retired names keep
+ * answering through `aliases.ts` for one minor version and are not advertised,
+ * because a listing carrying the old names beside the new ones would be a
+ * worse surface than the one this work started from.
+ *
+ * Order is the order a developer meets them: `workspace` first (nothing else
+ * works without a graph), the questions asked of an existing graph next, then
+ * the tools that reach a running application.
+ */
+import { chainTool } from "./chain.js";
+import { contractsTool } from "./contracts.js";
+import { drawConclusionTool } from "./draw-conclusion.js";
+import { predictReachTool } from "./predict-reach.js";
+import { proveReachTool } from "./prove-reach.js";
+import { proposeJourneyTool } from "./propose-journey.js";
+import { crossPrTool } from "./cross-pr.js";
+import { markIncidentTool } from "./mark-incident.js";
+import { prAnalysisTool } from "./pr-analysis.js";
+import { questionsTool } from "./questions.js";
+import { similarIncidentsTool } from "./similar-incidents.js";
+import { validateTool } from "./validate.js";
+import { verifyClaimTool } from "./verify-claim.js";
+import { WORKSPACE_GROUP_TOOLS } from "./merged-workspace.js";
+import { CONTEXT_GROUP_TOOLS } from "./merged-context.js";
+import { OBSERVE_GROUP_TOOLS } from "./merged-observe.js";
+import { BROWSER_GROUP_TOOLS } from "./merged-browser.js";
+export const TOOLS = [
+    // workspace, change_scope
+    ...WORKSPACE_GROUP_TOOLS,
+    // code_context, git_context, disclosure
+    ...CONTEXT_GROUP_TOOLS,
+    prAnalysisTool,
+    crossPrTool,
+    // The four that landed on integration/runtime-gaps while this consolidation
+    // was in flight. Left standalone rather than folded into a verb group: three
+    // are read/evidence and could plausibly join `code_context`, but which of
+    // them belongs under which verb is a judgement about their semantics, not a
+    // mechanical merge, and `draw_conclusion` is conclusion-tier so it could not
+    // join an evidence tool regardless. Filed as a follow-up rather than guessed.
+    // `prove_reach` (RG-10's full loop) landed after the consolidation and stays
+    // standalone for the stronger version of the same reason: it is action-class
+    // and conclusion-tier, so no verb group could hold it without mixing classes.
+    chainTool,
+    predictReachTool,
+    proveReachTool,
+    proposeJourneyTool,
+    drawConclusionTool,
+    contractsTool,
+    validateTool,
+    verifyClaimTool,
+    questionsTool,
+    similarIncidentsTool,
+    markIncidentTool,
+    // observe, browser_read
+    ...OBSERVE_GROUP_TOOLS,
+    // browser — the eight action verbs, last for the same reason the browser
+    // primitives were last before: a reader meets the graph tools first.
+    ...BROWSER_GROUP_TOOLS,
+];
+export const TOOLS_BY_NAME = new Map(TOOLS.map((tool) => [tool.name, tool]));
+export { ToolInputError } from "./kit.js";
+export { resolveOneNode } from "./lookup.js";
+export { TOOL_TIERS } from "../render.js";
+//# sourceMappingURL=index.js.map

package/dist/tools/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/tools/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAG1D,MAAM,CAAC,MAAM,KAAK,GAA8B;IAC9C,0BAA0B;IAC1B,GAAG,qBAAqB;IACxB,wCAAwC;IACxC,GAAG,mBAAmB;IACtB,cAAc;IACd,WAAW;IACX,4EAA4E;IAC5E,6EAA6E;IAC7E,0EAA0E;IAC1E,4EAA4E;IAC5E,6EAA6E;IAC7E,8EAA8E;IAC9E,6EAA6E;IAC7E,6EAA6E;IAC7E,8EAA8E;IAC9E,SAAS;IACT,gBAAgB;IAChB,cAAc;IACd,kBAAkB;IAClB,kBAAkB;IAClB,aAAa;IACb,YAAY;IACZ,eAAe;IACf,aAAa;IACb,oBAAoB;IACpB,gBAAgB;IAChB,wBAAwB;IACxB,GAAG,mBAAmB;IACtB,yEAAyE;IACzE,qEAAqE;IACrE,GAAG,mBAAmB;CACvB,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAwC,IAAI,GAAG,CACvE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CACvC,CAAC;AAEF,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAQ1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC"}