@descryy/mcp 0.11.3 → 0.11.5

package/dist/tools/predict-reach.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"predict-reach.js","sourceRoot":"","sources":["../../src/tools/predict-reach.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAoB,MAAM,oCAAoC,CAAC;AAG3G,OAAO,EACL,MAAM,EACN,SAAS,EACT,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,cAAc,GAKf,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAsB7C,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,oEAAoE,EAAE;QAC7G,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,oIAAoI;SAClJ;QACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,+EAA+E,EAAE;QACtH,SAAS,EAAE;YACT,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,oGAAoG;gBACpG,yEAAyE;SAC5E;QACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,0FAA0F,EAAE;QACjI,eAAe,EAAE;YACf,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,WAAW,EACT,oGAAoG;gBACpG,sGAAsG;gBACtG,sGAAsG;gBACtG,mGAAmG;gBACnG,+CAA+C;SAClD;KACF;IACD,QAAQ,EAAE,CAAC,WAAW,CAAC;IACvB,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAEX,KAAK,UAAU,GAAG,CAAC,IAA6B,EAAE,GAAgB;IAChE,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACjD,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,cAAc,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,mBAAmB,CAAC;IACjE,MAAM,eAAe,GAAG,mBAAmB,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;IAErE,IAAI,SAAS,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1E,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,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/E,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,EAAE,CAAC;IAElC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACxB,OAAO;YACL,MAAM,EAAE;gBACN,IAAI,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE;gBACrD,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,eAAe,EAAE,CAAC,EAAE;gBACtC,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,GAAG,CAAC,QAAQ,CAAC,0BAA0B,KAAK,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,CAAC;IACpE,MAAM,SAAS,GAAG,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE;QAC5D,SAAS;QACT,IAAI;QACJ,aAAa,EAAE,IAAI,CAAC,SAAS,IAAI,EAAE;KACpC,CAAC,CAAC;IAEH,MAAM,KAAK,GAAuB,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACjH,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAEnD,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAChC,OAAO,MAAM,CAAmB;YAC9B,QAAQ,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,2HAA2H;YACvJ,KAAK,EAAE,OAAO;YACd,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;YACL,IAAI,EAAE,KAAK;SACZ,CAAC,CAAC;IACL,CAAC;IAED,MAAM,KAAK,GAAG,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,SAAS,EAAE,EAAE,cAAc,EAAE,eAAe,EAAE,CAAC,CAAC;IAErH,OAAO,MAAM,CAAmB;QAC9B,QAAQ,EACN,aAAa,SAAS,CAAC,YAAY,CAAC,MAAM,gCAAgC,KAAK,CAAC,IAAI,CAAC,IAAI,aAAa;YACtG,GAAG,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,gEAAgE;YAC3G,2FAA2F;YAC3F,CAAC,KAAK,KAAK,IAAI;gBACb,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,4CAA4C,KAAK,CAAC,MAAM,CAAC,MAAM,YAAY,KAAK,CAAC,SAAS,CAAC,MAAM,aAAa,CAAC;QACrH,uGAAuG;QACvG,kCAAkC;QAClC,eAAe,EAAE,CAAC;QAClB,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,KAAK;QACL,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;YAC3B,YAAY,EAAE,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;YAC1G,QAAQ,EAAE,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,EAAE,SAAS,CAAC,QAAQ,CAAC,kBAAkB,EAAE;YAC9G,KAAK;SACN;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAmB;IAC9C,IAAI,EAAE,eAAe;IACrB,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,+EAA+E;IACtF,WAAW,EACT,0GAA0G;QAC1G,0GAA0G;QAC1G,+FAA+F;QAC/F,0GAA0G;QAC1G,0GAA0G;QAC1G,sFAAsF;QACtF,yFAAyF;QACzF,sGAAsG;QACtG,yGAAyG;QACzG,uCAAuC;IACzC,WAAW,EAAE,MAA4C;IACzD,GAAG;CACJ,CAAC"}

package/dist/tools/propagation.d.ts

@@ -1,37 +0,0 @@
-/**
- * `propagation` — §11.9 data-flow query. Field-level answers require R3 (§11A.6:
- * shapes need a type checker); below R3, path-level only, labelled as such.
- * `PROPAGATES_TO` now has one narrow producer (`adapter-typescript`'s
- * `extractPropagatesTo`, `descry-adapters`) — single call-argument, no
- * cross-function chasing, by its own doc comment. Multi-hop/interprocedural
- * data-flow chasing does not exist in any adapter yet. An empty walk is still
- * attributed (edge types actually present near the node), never reported as
- * "reaches 0 nodes", since most graphs still have nothing on this edge type. */
-import { type BriefNode, type NodeCandidates, type ToolDefinition } from "./kit.ts";
-/** 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;
-    /** Capped by `limit`; `reachedTotal` is the uncapped count. */
-    readonly reached: readonly ReachedNode[];
-    readonly reachedTotal: number;
-    /** True only at R3+. False means "where data can flow", not "which field arrives
-     *  where" — the latter compares shapes, needing a type checker. */
-    readonly fieldLevel: boolean;
-    /** False when no edge of any walked type touches the start node. Empty `reached`
-     *  with `analysed: false` means the walk didn't run, not that nothing propagates —
-     *  the common case, since `PROPAGATES_TO` has only one narrow single-hop producer
-     *  (`adapter-typescript`) and most graphs still carry none of it. */
-    readonly analysed: boolean;
-    readonly edgeTypesWalked: readonly string[];
-    /** The subset of `edgeTypesWalked` actually found on an edge touching this node. */
-    readonly edgeTypesPresent: readonly string[];
-}
-/** One call, two shapes — narrow on `"from" in data`. `NodeCandidates` arrives when
- *  the symbol didn't resolve to exactly one node, and nothing was walked. */
-export type PropagationData = PropagationReport | NodeCandidates;
-export declare const propagationTool: ToolDefinition;
-//# sourceMappingURL=propagation.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"propagation.d.ts","sourceRoot":"","sources":["../../src/tools/propagation.ts"],"names":[],"mappings":"AAAA;;;;;;;;gFAQgF;AAIhF,OAAO,EAOL,KAAK,SAAS,EACd,KAAK,cAAc,EAEnB,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAGlB,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,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B;uEACmE;IACnE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B;;;yEAGqE;IACrE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,oFAAoF;IACpF,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AAED;6EAC6E;AAC7E,MAAM,MAAM,eAAe,GAAG,iBAAiB,GAAG,cAAc,CAAC;AAgKjE,eAAO,MAAM,eAAe,EAAE,cAY7B,CAAC"}

package/dist/tools/propagation.js

@@ -1,162 +0,0 @@
-/**
- * `propagation` — §11.9 data-flow query. Field-level answers require R3 (§11A.6:
- * shapes need a type checker); below R3, path-level only, labelled as such.
- * `PROPAGATES_TO` now has one narrow producer (`adapter-typescript`'s
- * `extractPropagatesTo`, `descry-adapters`) — single call-argument, no
- * cross-function chasing, by its own doc comment. Multi-hop/interprocedural
- * data-flow chasing does not exist in any adapter yet. An empty walk is still
- * attributed (edge types actually present near the node), never reported as
- * "reaches 0 nodes", since most graphs still have nothing on this edge type. */
-import { dataFlowFrom, DATA_FLOW_EDGE_TYPES } from "@descryy/core";
-import { answer, briefNode, optionalInteger, optionalString, optionalStringArray, ToolInputError, } from "./kit.js";
-import { resolveOneNode } from "./lookup.js";
-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.",
-        },
-        edgeTypes: {
-            type: "array",
-            items: { type: "string" },
-            description: "Restrict the walk. Defaults to PROPAGATES_TO, READS, ASSIGNS and RETURNS — the four that " +
-                "carry data rather than control. Only one shipped adapter produces PROPAGATES_TO today, and " +
-                "only narrowly (single call-argument, no cross-function chasing); no adapter does " +
-                "multi-hop/interprocedural data-flow chasing yet, so in most repos this walk still runs " +
-                "over the other three; an empty result is disclosed as such rather than reported as " +
-                "\"reaches 0 nodes\".",
-        },
-        maxDepth: { type: "integer", minimum: 1, description: "Hop limit. Default unbounded." },
-        limit: {
-            type: "integer",
-            minimum: 1,
-            description: "Cap on nodes in the reply. Default 25 (MK-9 — the same walk-cost reduction impact.ts " +
-                "applies, for the same reason). A capped reply always discloses shown/total; 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 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}.`);
-    }
-    // Which walked edge types exist around the start node — the baseline precondition.
-    // None present means "reaches 0 nodes" is a statement about the graph, not the symbol.
-    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;
-    return {
-        result: {
-            ...flow,
-            data: {
-                from: briefNode(found.node),
-                reached: shown.map((entry) => ({
-                    ...briefNode(entry.node),
-                    depth: entry.depth,
-                    score: Number(entry.score.toFixed(4)),
-                })),
-                reachedTotal: reached.length,
-                fieldLevel,
-                /** False when no edge of any walked type touches the start node — empty
-                 *  `reached` with this false means the walk didn't run. Mirrors `HiddenDependencyReport`. */
-                analysed,
-                edgeTypesWalked: walked,
-                edgeTypesPresent: [...present].sort(),
-            },
-            notes,
-        },
-        ...(analysed ? (reached.length === 0 ? { state: "empty" } : {}) : { state: "refused" }),
-        // Never name-level — §11A.5's R2/class-A carve-out is for existence facts (a
-        // missing env var), not a data-flow shape claim. R2 stays capped at B here;
-        // only R3/R4 reach A, the conservative "when in doubt, understate" reading.
-        nameLevel: false,
-        // The headline is what a user acts on — not-analysable gets its own sentence
-        // rather than reusing "reaches 0 node(s)" with a note beneath it (a zero in the
-        // headline reads as a measurement regardless of the notes).
-        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.",
-    };
-}
-export const propagationTool = {
-    name: "propagation",
-    class: "read",
-    tier: "evidence",
-    version: "1.0.0",
-    title: "Where does this data end up?",
-    description: "Follow a value from a symbol or field through the graph along the edges that carry data. " +
-        "Field-level answers require a type checker (R3); below that the answer is path-level and " +
-        "labelled as such rather than overstated.",
-    inputSchema: SCHEMA,
-    run,
-};
-//# sourceMappingURL=propagation.js.map

package/dist/tools/propagation.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"propagation.js","sourceRoot":"","sources":["../../src/tools/propagation.ts"],"names":[],"mappings":"AAAA;;;;;;;;gFAQgF;AAEhF,OAAO,EAAE,YAAY,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAEnE,OAAO,EACL,MAAM,EACN,SAAS,EACT,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,cAAc,GAKf,MAAM,UAAU,CAAC;AA8BlB,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,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,SAAS,EAAE;YACT,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,WAAW,EACT,2FAA2F;gBAC3F,6FAA6F;gBAC7F,mFAAmF;gBACnF,yFAAyF;gBACzF,qFAAqF;gBACrF,sBAAsB;SACzB;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,EACT,uFAAuF;gBACvF,yFAAyF;gBACzF,yCAAyC;SAC5C;KACF;IACD,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAEX,KAAK,UAAU,GAAG,CAChB,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,mFAAmF;IACnF,uFAAuF;IACvF,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,OAAO;QACL,MAAM,EAAE;YACN,GAAG,IAAI;YACP,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;gBAC3B,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC7B,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;gBACH,YAAY,EAAE,OAAO,CAAC,MAAM;gBAC5B,UAAU;gBACV;6GAC6F;gBAC7F,QAAQ;gBACR,eAAe,EAAE,MAAM;gBACvB,gBAAgB,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE;aACtC;YACD,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,6EAA6E;QAC7E,4EAA4E;QAC5E,4EAA4E;QAC5E,SAAS,EAAE,KAAK;QAChB,6EAA6E;QAC7E,gFAAgF;QAChF,4DAA4D;QAC5D,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,MAAM,CAAC,MAAM,eAAe,GAAmB;IAC7C,IAAI,EAAE,aAAa;IACnB,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,8BAA8B;IACrC,WAAW,EACT,2FAA2F;QAC3F,2FAA2F;QAC3F,0CAA0C;IAC5C,WAAW,EAAE,MAA4C;IACzD,GAAG;CACJ,CAAC"}

package/dist/tools/propose-journey.d.ts

@@ -1,16 +0,0 @@
-/**
- * `propose_journey` — the planner, exposed. Lane A1, item 5: proposes a
- * journey from the `PAGE`/`COMPONENT` nodes a diff scope touches; never
- * writes, never drives a browser, never executes anything. See
- * `../planner/propose-journey.ts` for what "propose, never invent" means
- * structurally.
- */
-import { type JourneyCandidateNode } from "../planner/propose-journey.ts";
-import { type Scenario } from "../scenarios/index.ts";
-import { type ToolDefinition } from "./kit.ts";
-export interface ProposeJourneyData {
-    readonly scenario: Scenario;
-    readonly reachedNotProposed: readonly JourneyCandidateNode[];
-}
-export declare const proposeJourneyTool: ToolDefinition;
-//# sourceMappingURL=propose-journey.d.ts.map

package/dist/tools/propose-journey.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"propose-journey.d.ts","sourceRoot":"","sources":["../../src/tools/propose-journey.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAkB,KAAK,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAA2B,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAC/E,OAAO,EAML,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAIlB,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,kBAAkB,EAAE,SAAS,oBAAoB,EAAE,CAAC;CAC9D;AA0GD,eAAO,MAAM,kBAAkB,EAAE,cAchC,CAAC"}

package/dist/tools/propose-journey.js

@@ -1,121 +0,0 @@
-/**
- * `propose_journey` — the planner, exposed. Lane A1, item 5: proposes a
- * journey from the `PAGE`/`COMPONENT` nodes a diff scope touches; never
- * writes, never drives a browser, never executes anything. See
- * `../planner/propose-journey.ts` for what "propose, never invent" means
- * structurally.
- */
-import { nodesInFiles, scopeChange } from "@descryy/core";
-import { proposeJourney } from "../planner/propose-journey.js";
-import { SCENARIO_SCHEMA_VERSION } from "../scenarios/index.js";
-import { optionalString, optionalStringArray, requiredString, ToolInputError, } from "./kit.js";
-import { answer } from "./kit.js";
-const SCHEMA = {
-    type: "object",
-    properties: {
-        files: {
-            type: "array",
-            items: { type: "string" },
-            description: "Repository-relative paths that are changing. Same seeding as the scope tool.",
-        },
-        nodeIds: {
-            type: "array",
-            items: { type: "string" },
-            description: "Graph node ids to seed with directly, instead of or as well as files.",
-        },
-        targetUrl: {
-            type: "string",
-            description: "REQUIRED. The running application's base URL — the same address a run's browser opens. Never " +
-                "inferred: the graph has no notion of where an application is currently serving, and guessing one " +
-                "would produce a proposal that opens someone else's server.",
-        },
-        name: {
-            type: "string",
-            description: "What to call the proposed scenario if it is accepted. Defaults to \"proposed-journey\".",
-        },
-    },
-    required: ["targetUrl"],
-    additionalProperties: false,
-};
-async function run(args, ctx) {
-    const targetUrl = requiredString(args, "targetUrl");
-    const name = optionalString(args, "name") ?? "proposed-journey";
-    const files = optionalStringArray(args, "files") ?? [];
-    const seedIds = [...(optionalStringArray(args, "nodeIds") ?? [])];
-    if (files.length === 0 && seedIds.length === 0) {
-        throw new ToolInputError('give at least one of "files" or "nodeIds" — the planner proposes from a diff scope, and a diff scope needs a seed');
-    }
-    const session = ctx.session;
-    if (files.length > 0) {
-        const { nodes } = nodesInFiles(session.store().driver, files);
-        for (const node of nodes)
-            seedIds.push(node.id);
-    }
-    const base = session.provider().baseStamp();
-    const empty = {
-        scenario: {
-            schemaVersion: SCENARIO_SCHEMA_VERSION,
-            name,
-            description: null,
-            targetUrl,
-            savedAt: new Date().toISOString(),
-            savedAtCommit: "",
-            steps: [],
-            assertions: [],
-        },
-        reachedNotProposed: [],
-    };
-    if (seedIds.length === 0) {
-        return answer({
-            headline: "Nothing in the graph matches what you named, so no journey could be proposed.",
-            state: "refused",
-            nameLevel: true,
-            resolutionFloor: 0,
-            commitSha: base.commitSha,
-            graphBuiltAt: base.graphBuiltAt,
-            irSchemaVersion: base.irSchemaVersion,
-            commitSpread: base.commitSpread,
-            repoCount: base.repoCount,
-            notes: ["This is not a claim that the change touches no pages. No seed node was found, so the scope traversal never ran."],
-            data: empty,
-        });
-    }
-    const scoped = scopeChange(session.provider(), [...new Set(seedIds)], { trigger: "pr" });
-    const candidates = [...scoped.data.changed, ...scoped.data.affected].map((s) => ({
-        id: s.node.id,
-        type: s.node.type,
-        name: s.node.name,
-    }));
-    const proposal = proposeJourney(candidates, { targetUrl, name, savedAtCommit: base.commitSha ?? "" });
-    return answer({
-        headline: proposal.scenario.steps.length === 0
-            ? "No page-shaped route was found in scope — nothing proposed."
-            : `Proposed ${proposal.scenario.steps.length} navigate step(s), unaccepted and unsaved.`,
-        // Name-level: a route path is read straight off a node's qualified name, never off a
-        // type-checked shape — the same cap `scope.ts` applies to its own reply.
-        resolutionFloor: 0,
-        nameLevel: true,
-        commitSha: base.commitSha,
-        graphBuiltAt: base.graphBuiltAt,
-        irSchemaVersion: base.irSchemaVersion,
-        commitSpread: base.commitSpread,
-        repoCount: base.repoCount,
-        notes: [...scoped.notes, ...proposal.notes],
-        data: { scenario: proposal.scenario, reachedNotProposed: proposal.reachedNotProposed },
-    });
-}
-export const proposeJourneyTool = {
-    name: "propose_journey",
-    title: "Propose a journey from a diff's affected pages",
-    description: "Asks the graph for the PAGE/COMPONENT nodes a change's diff scope touches and proposes a navigate-only " +
-        "scenario from the path-shaped routes among them — a value returned in this reply, never written to disk " +
-        "and never driven. A human reviews it, drives the rest of the journey for real if they accept it, and " +
-        "calls browser_save_scenario to commit what they actually did. This tool never calls that save itself: " +
-        "nothing a proposal names becomes replayable until a human's own drive produces it.",
-    class: "read",
-    tier: "evidence",
-    version: "1.0.0",
-    inputSchema: SCHEMA,
-    run,
-};
-//# sourceMappingURL=propose-journey.js.map

package/dist/tools/propose-journey.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"propose-journey.js","sourceRoot":"","sources":["../../src/tools/propose-journey.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE1D,OAAO,EAAE,cAAc,EAA6B,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,uBAAuB,EAAiB,MAAM,uBAAuB,CAAC;AAC/E,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,cAAc,EACd,cAAc,GAGf,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAOlC,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,WAAW,EAAE,8EAA8E;SAC5F;QACD,OAAO,EAAE;YACP,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,WAAW,EAAE,uEAAuE;SACrF;QACD,SAAS,EAAE;YACT,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,+FAA+F;gBAC/F,mGAAmG;gBACnG,4DAA4D;SAC/D;QACD,IAAI,EAAE;YACJ,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,yFAAyF;SACvG;KACF;IACD,QAAQ,EAAE,CAAC,WAAW,CAAC;IACvB,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAEX,KAAK,UAAU,GAAG,CAAC,IAA6B,EAAE,GAAgB;IAChE,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,kBAAkB,CAAC;IAChE,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;IACvD,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAElE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,cAAc,CAAC,mHAAmH,CAAC,CAAC;IAChJ,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,EAAE,KAAK,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC9D,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,SAAS,EAAE,CAAC;IAC5C,MAAM,KAAK,GAAuB;QAChC,QAAQ,EAAE;YACR,aAAa,EAAE,uBAAuB;YACtC,IAAI;YACJ,WAAW,EAAE,IAAI;YACjB,SAAS;YACT,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACjC,aAAa,EAAE,EAAE;YACjB,KAAK,EAAE,EAAE;YACT,UAAU,EAAE,EAAE;SACf;QACD,kBAAkB,EAAE,EAAE;KACvB,CAAC;IAEF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,MAAM,CAAqB;YAChC,QAAQ,EAAE,+EAA+E;YACzF,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,CAAC,iHAAiH,CAAC;YAC1H,IAAI,EAAE,KAAK;SACZ,CAAC,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACzF,MAAM,UAAU,GAA2B,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE;QACb,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI;QACjB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI;KAClB,CAAC,CAAC,CAAC;IAEJ,MAAM,QAAQ,GAAG,cAAc,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC,CAAC;IAEtG,OAAO,MAAM,CAAqB;QAChC,QAAQ,EACN,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAClC,CAAC,CAAC,6DAA6D;YAC/D,CAAC,CAAC,YAAY,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,4CAA4C;QAC5F,qFAAqF;QACrF,yEAAyE;QACzE,eAAe,EAAE,CAAC;QAClB,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC;QAC3C,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB,EAAE;KACvF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAmB;IAChD,IAAI,EAAE,iBAAiB;IACvB,KAAK,EAAE,gDAAgD;IACvD,WAAW,EACT,yGAAyG;QACzG,0GAA0G;QAC1G,uGAAuG;QACvG,wGAAwG;QACxG,oFAAoF;IACtF,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,OAAO;IAChB,WAAW,EAAE,MAAM;IACnB,GAAG;CACJ,CAAC"}

package/dist/tools/prove-reach.d.ts

@@ -1,74 +0,0 @@
-/**
- * `prove_reach` — closes RG-10's loop. "Rename that column and these screens go blank" is
- * three claims, made in order, each on evidence the last one didn't have:
- *
- *  1. **Predict** — from a node (typically a `DATABASE_COLUMN`), walk `reachablePages`
- *     (`@descryy/core`) to whatever `PAGE`/`COMPONENT` nodes the data reaches, and propose a
- *     navigate-only journey to them, exactly as `predict_reach` already does — this tool calls
- *     the identical pure planner (`../planner/predict-then-propose.ts#predictThenPropose`), never
- *     a second implementation. Nothing runs yet: a caller who has not yet approved the drive gets
- *     back the prediction, the proposal and a confirmation token, and this tool's `describeAction`
- *     is what mints that token — the dispatcher (`../action-handshake.ts`) never calls `run` at
- *     all until the second call arrives, so "nothing runs" is structural, not a promise this file
- *     keeps by convention.
- *  2. **Approve and drive** — a second call, `confirmToken` in hand, drives the exact proposed
- *     scenario for real via `../browser/scenario-runner.ts#replayScenario`, in a browser session
- *     the caller already started and consented (`browser({ verb: "start_session" })`). Never boots an app,
- *     never widens the journey beyond what was proposed: the scenario driven is the one frozen at
- *     mint time, byte for byte.
- *  3. **Prove** — correlates which of the predicted pages the drive's own step results actually
- *     reached (`../planner/predict-then-propose.ts#visitedPageIds` + `#proveOrDisprove`) — a page
- *     counts as visited only when the exact navigate URL built from its own route name replayed
- *     as `"ran"`, never a guess from proximity.
- *  4. **Conclude** — routes the real, walked graph path (`#combinedGraphPath`, never a synthesised
- *     one) and the runtime evidence the drive actually observed (console errors, failed requests)
- *     through the same finding funnel `draw_conclusion` uses — `reportCategory`, `@descryy/ir`,
- *     `packages/ir/src/finding.ts` — so the reply carries a governed category, not a raw tally the
- *     caller has to interpret. A drive that reached every predicted page cleanly, with nothing
- *     wrong observed, reports so honestly: `hasRuntimeEvidence` is false and the category is
- *     `unconfirmed` by G3's own precondition, not "confirmed" because the pages loaded.
- *
- * **class: "action"**, gated only when there is something to drive: a node that reaches nothing,
- * or reaches only non-path-shaped pages/components with no navigate step to propose, has nothing
- * to approve, so `describeAction` returns `undefined` and this reports the prediction immediately
- * — same discipline as `predict_reach`'s own empty case, never a gate for its own sake.
- */
-import { type ProvenReach } from "../planner/predict-then-propose.ts";
-import type { JourneyCandidateNode } from "../planner/propose-journey.ts";
-import type { Scenario } from "../scenarios/index.ts";
-import { type BriefNode, type NodeCandidates, type ToolDefinition } from "./kit.ts";
-export interface DriveResult {
-    readonly outcome: "passed" | "failed" | "unresolved" | "unverified";
-    readonly steps: readonly {
-        readonly url: string;
-        readonly status: string;
-    }[];
-    readonly consoleErrorCount: number;
-    readonly failedRequestCount: number;
-}
-export interface ProveReachReport {
-    readonly from: BriefNode;
-    readonly reachedPages: readonly BriefNode[];
-    readonly proposal: {
-        readonly scenario: Scenario;
-        readonly reachedNotProposed: readonly JourneyCandidateNode[];
-    } | null;
-    /** Null until a real drive ran — this call's own drive, never a caller-supplied one (that join
-     *  is `predict_reach`'s `observedNodeIds`, a different, evidence-already-in-hand path). */
-    readonly drive: DriveResult | null;
-    readonly proof: ProvenReach | null;
-    /** The governed finding — null only when nothing was driven, because a category about a drive
-     *  that never happened would be a claim this tool has no evidence for. */
-    readonly conclusion: {
-        readonly failurePoint: string;
-        readonly category: string;
-        readonly reliabilityClass: string;
-        readonly resolution: number;
-        readonly independentSignalTypes: number;
-        readonly directMechanismEvidence: boolean;
-        readonly hasRuntimeEvidence: boolean;
-    } | null;
-}
-export type ProveReachData = ProveReachReport | NodeCandidates;
-export declare const proveReachTool: ToolDefinition;
-//# sourceMappingURL=prove-reach.d.ts.map

package/dist/tools/prove-reach.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"prove-reach.d.ts","sourceRoot":"","sources":["../../src/tools/prove-reach.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAeH,OAAO,EAML,KAAK,WAAW,EACjB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAG1E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAML,KAAK,SAAS,EACd,KAAK,cAAc,EAEnB,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAIlB,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG,QAAQ,GAAG,YAAY,GAAG,YAAY,CAAC;IACpE,QAAQ,CAAC,KAAK,EAAE,SAAS;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC7E,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACrC;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,SAAS,SAAS,EAAE,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAAC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,oBAAoB,EAAE,CAAA;KAAE,GAAG,IAAI,CAAC;IACxH;+FAC2F;IAC3F,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,IAAI,CAAC;IACnC;8EAC0E;IAC1E,QAAQ,CAAC,UAAU,EAAE;QACnB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;QAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;QACxC,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;QAC1C,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;KACtC,GAAG,IAAI,CAAC;CACV;AAED,MAAM,MAAM,cAAc,GAAG,gBAAgB,GAAG,cAAc,CAAC;AA6Q/D,eAAO,MAAM,cAAc,EAAE,cAmB5B,CAAC"}