@descryy/mcp 0.9.0 → 0.11.0

package/dist/tools/predict-reach.js

@@ -0,0 +1,159 @@
+/**
+ * `predict_reach` — RG-10's predict-then-propose, exposed. Given a node
+ * (typically a `DATABASE_COLUMN` a change touches, but any node
+ * `reachablePages` can walk from), asks the graph which `PAGE`/`COMPONENT`
+ * nodes the data can reach — `@descryy/core`'s `reachablePages`, a walk
+ * over `PROPAGATES_TO`/`READS`/`ASSIGNS`/`RETURNS`, crossing `USES_API`
+ * backward at an `API_ENDPOINT` — and, when it reaches at least one page,
+ * proposes a navigate-only journey via the same planner `propose_journey`
+ * uses (`../planner/propose-journey.ts`, unmodified, called through
+ * `../planner/predict-then-propose.ts`).
+ *
+ * **Never drives anything and never writes to a Finding.** The proposal
+ * this returns is a value in this reply, not an action: proving or
+ * disproving what it predicts is a human (or an agent acting on a human's
+ * behalf) driving the application for real — `browser_start_session`, the
+ * browser primitives, `browser_save_scenario` to commit what actually
+ * happened — and then recording the outcome against the finding that
+ * predicted it. That last step needs `packages/ir/src/finding.ts` and the
+ * finding funnel, both outside this lane's owned files, and is not
+ * performed here; see this tool's own `description` for the same
+ * disclosure surfaced to a caller.
+ *
+ * **`observedNodeIds` — RG-10's join, added by the pipeline-joins lane.**
+ * Optional, and still never a drive: when a caller supplies the graph node
+ * ids a REAL, already-accepted journey actually reached (read straight off
+ * `browser_run_scenario`'s own reply after that scenario was driven — the
+ * acceptance gate is `browser_run_scenario`'s own, unchanged and untouched
+ * here), this tool additionally reports which predicted pages that real
+ * drive proved and which it disproved
+ * (`../planner/predict-then-propose.ts#proveOrDisprove`). Omitted (the
+ * default), the reply is byte-for-byte what it was before this parameter
+ * existed.
+ */
+import { predictThenPropose, proveOrDisprove } from "../planner/predict-then-propose.js";
+import { answer, briefNode, requiredString, optionalString, optionalStringArray, ToolInputError, } from "./kit.js";
+import { resolveOneNode } from "./lookup.js";
+const SCHEMA = {
+    type: "object",
+    properties: {
+        nodeId: { type: "string", description: "Graph node id to predict reach from — typically a DATABASE_COLUMN." },
+        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." },
+        targetUrl: {
+            type: "string",
+            description: "REQUIRED. The running application's base URL, exactly as propose_journey takes it. Never inferred " +
+                "— the graph has no notion of where an application is currently serving.",
+        },
+        name: { type: "string", description: "What to call the proposed scenario if it is accepted. Defaults to \"predicted-journey\"." },
+        observedNodeIds: {
+            type: "array",
+            items: { type: "string" },
+            description: "Optional. Graph node ids a REAL, already-driven, already-accepted journey actually reached — e.g. " +
+                "read off browser_run_scenario's own reply after driving the accepted scenario for real. When given, " +
+                "this call additionally reports which predicted pages that real drive proved and which it disproved. " +
+                "This tool still never drives anything itself: supplying this argument only compares evidence you " +
+                "already collected against what was predicted.",
+        },
+    },
+    required: ["targetUrl"],
+    additionalProperties: false,
+};
+async function run(args, ctx) {
+    const nodeIdArg = optionalString(args, "nodeId");
+    const symbol = optionalString(args, "symbol");
+    const file = optionalString(args, "file");
+    const targetUrl = requiredString(args, "targetUrl");
+    const name = optionalString(args, "name") ?? "predicted-journey";
+    const observedNodeIds = optionalStringArray(args, "observedNodeIds");
+    if (nodeIdArg === 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: nodeIdArg, symbol, file });
+    const base = provider.baseStamp();
+    if (found.node === null) {
+        return {
+            result: {
+                data: { candidates: found.candidates.map(briefNode) },
+                stamp: { ...base, resolutionFloor: 0 },
+                truncated: false,
+                notes: found.notes,
+            },
+            nameLevel: true,
+            state: "refused",
+            headline: found.headline,
+        };
+    }
+    ctx.progress(`Predicting which pages ${found.node.name} can reach`);
+    const predicted = predictThenPropose(provider, found.node.id, {
+        targetUrl,
+        name,
+        savedAtCommit: base.commitSha ?? "",
+    });
+    const empty = { from: briefNode(found.node), reachedPages: [], proposal: null, proof: null };
+    const notes = [...found.notes, ...predicted.notes];
+    if (predicted.proposal === null) {
+        return answer({
+            headline: `${found.node.name} reaches no PAGE or COMPONENT this graph can walk to. Not a claim it reaches none in the running application — see notes.`,
+            state: "empty",
+            nameLevel: true,
+            resolutionFloor: 0,
+            commitSha: base.commitSha,
+            graphBuiltAt: base.graphBuiltAt,
+            irSchemaVersion: base.irSchemaVersion,
+            commitSpread: base.commitSpread,
+            repoCount: base.repoCount,
+            notes,
+            data: empty,
+        });
+    }
+    const proof = observedNodeIds === undefined ? null : proveOrDisprove(predicted, { visitedNodeIds: observedNodeIds });
+    return answer({
+        headline: `Predicted ${predicted.reachedPages.length} page/component reached from ${found.node.name}. Proposed ` +
+            `${predicted.proposal.scenario.steps.length} navigate step(s) — unaccepted, unsaved, undriven. Proving or ` +
+            "disproving this prediction is a human act: drive the app for real and save what happened." +
+            (proof === null
+                ? ""
+                : ` Against the observed evidence supplied: ${proof.proven.length} proven, ${proof.disproven.length} disproven.`),
+        // Name-level throughout: a route path is read off a node's qualified name (propose_journey's own cap),
+        // never off a type-checked shape.
+        resolutionFloor: 0,
+        nameLevel: true,
+        commitSha: base.commitSha,
+        graphBuiltAt: base.graphBuiltAt,
+        irSchemaVersion: base.irSchemaVersion,
+        commitSpread: base.commitSpread,
+        repoCount: base.repoCount,
+        notes,
+        data: {
+            from: briefNode(found.node),
+            reachedPages: predicted.reachedPages.map((n) => ({ id: n.id, type: n.type, name: n.name, resolution: 0 })),
+            proposal: { scenario: predicted.proposal.scenario, reachedNotProposed: predicted.proposal.reachedNotProposed },
+            proof,
+        },
+    });
+}
+export const predictReachTool = {
+    name: "predict_reach",
+    class: "read",
+    tier: "evidence",
+    version: "1.0.0",
+    title: "Predict which pages a data change reaches, and propose a journey to review it",
+    description: "RG-10: given a node — typically a DATABASE_COLUMN — walks PROPAGATES_TO/READS/ASSIGNS/RETURNS, crossing " +
+        "USES_API backward at an API_ENDPOINT, to whatever PAGE/COMPONENT nodes the data can reach (the existing " +
+        "reachablePages traversal), and proposes a navigate-only journey to them via the same planner " +
+        "propose_journey uses. This tool never drives a browser and never writes to a Finding: the proposal is a " +
+        "value in this reply, not an action. Proving or disproving the prediction is a human (or an agent acting " +
+        "on a human's behalf) driving the application for real and saving what happened with " +
+        "browser_save_scenario. Once that real drive has happened, pass its evidence back in as " +
+        "observedNodeIds and this same call reports which predicted pages it proved and which it disproved — " +
+        "still never driving anything itself. Recording that outcome against the finding that predicted it is a " +
+        "further step this tool does not take.",
+    inputSchema: SCHEMA,
+    run,
+};
+//# sourceMappingURL=predict-reach.js.map

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

@@ -0,0 +1 @@
+{"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,8 +1,12 @@
 /**
  * `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` has no producer today — an empty walk is attributed (edge
- * types actually present near the node), never reported as "reaches 0 nodes". */
+ * `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 {
@@ -19,7 +23,8 @@ export interface PropagationReport {
     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 no producer today. */
+     *  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. */

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

@@ -1 +1 @@
-{"version":3,"file":"propagation.d.ts","sourceRoot":"","sources":["../../src/tools/propagation.ts"],"names":[],"mappings":"AAAA;;;;iFAIiF;AAIjF,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;;wEAEoE;IACpE,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;AA6JjE,eAAO,MAAM,eAAe,EAAE,cAY7B,CAAC"}
+{"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,8 +1,12 @@
 /**
  * `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` has no producer today — an empty walk is attributed (edge
- * types actually present near the node), never reported as "reaches 0 nodes". */
+ * `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";
@@ -23,9 +27,11 @@ const SCHEMA = {
             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. PROPAGATES_TO has no producer in any shipped adapter " +
-                "today, so in practice this walk runs over the other three; an empty result is disclosed " +
-                "as such rather than reported as \"reaches 0 nodes\".",
+                "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: {
@@ -97,10 +103,11 @@ async function run(args, ctx) {
     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 producer emitting these edge types at all, 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.");
+            "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 {

package/dist/tools/propagation.js.map

@@ -1 +1 @@
-{"version":3,"file":"propagation.js","sourceRoot":"","sources":["../../src/tools/propagation.ts"],"names":[],"mappings":"AAAA;;;;iFAIiF;AAEjF,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;AA6BlB,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,uFAAuF;gBACvF,0FAA0F;gBAC1F,sDAAsD;SACzD;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,6FAA6F;YAC7F,4FAA4F;YAC5F,4CAA4C,CAC/C,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"}
+{"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

@@ -0,0 +1,16 @@
+/**
+ * `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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,121 @@
+/**
+ * `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

@@ -0,0 +1 @@
+{"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/runtime-journey-drive.d.ts

@@ -0,0 +1,102 @@
+/**
+ * RG-4 — both halves in the MCP layer, and RG-6's MCP half (video).
+ *
+ * `runInstrumentedExecution`'s `onReady` fires after every declared service's
+ * readiness has succeeded and before the observation window's sleep — the one
+ * moment in a run when the application is provably up and still alive. The
+ * desktop already composes exactly this way (`descry-desktop/packages/session/
+ * src/pipeline/browser-drive.ts`, invoked from `runtime-execution.ts`'s own
+ * `onReady`), so that browser evidence lands in the **same `EvidenceStore`
+ * under the same `executionId`** as the backend's. `observe_runtime` here
+ * never did: it passed no `onReady` and never drove a browser, so an MCP
+ * client got two calls with two lifetimes and nothing to prove they were the
+ * same run.
+ *
+ * This module is the MCP equivalent of the desktop's `browser-drive.ts` —
+ * same collectors, same package, same "never fabricate a step" discipline —
+ * built as its own file because `packages/mcp/src/browser/driver.ts` and
+ * `playwright-driver.ts` are lane identity's (a session-scoped, interactive
+ * `BrowserDriver` port for the `browser_*` tools' own lifetime) and this is a
+ * different lifetime entirely: one drive, bound to one execution's readiness
+ * window, torn down before that execution's observation window even starts.
+ * Composing through the identity lane's port would mean threading a whole
+ * interactive session through a callback that must complete before
+ * `onReady` returns — the wrong shape for what is, structurally, a single
+ * batch replay. `@descryy/runtime-browser`'s own collectors compose directly
+ * instead, the same way the desktop does it.
+ *
+ * ## The journey comes from the caller, projected by the ONE shared format
+ *
+ * `DEC-NEXT-runtime-journey-is-one-declared-format` (Q1) settled this: a
+ * saved `Scenario` and a driveable step list are two views of one format,
+ * and lane journey built the single projection both directions go through —
+ * `../scenarios/browser-run-plan-projection.ts`'s `projectScenarioToRunPlan`.
+ * This module calls that function and nothing else invents a second
+ * translation of the same scenario. Its own header explains exactly what
+ * projects and what refuses (seven shared verbs; `fill`, whole-page
+ * assertions and anything outside those seven are refused by name, never
+ * silently narrowed), and secret references are resolved inside it before
+ * this module ever sees a step — see that module's own doc.
+ *
+ * A `Scenario` with no steps drives to `startUrl` and observes, same as an
+ * empty step list does anywhere else in this codebase. No step is ever
+ * synthesized here.
+ *
+ * `@descryy/runtime-browser`'s `BrowserActionCollector` happens to support
+ * more than the shared projection's seven verbs (`assertVisible`/`assertText`
+ * included) — this module drives every one of the seven the projection
+ * can produce, which is a strict superset of what the desktop's narrower
+ * `BrowserStep` union can act on. `fill` is not among them: the shared
+ * projection refuses it because `BrowserStep` (the format's other consumer)
+ * has no counterpart for it, a decision this module does not own and does
+ * not work around — see the projection's own header for why collapsing it
+ * into `type` would be exactly the kind of silent narrowing rule 2 forbids.
+ */
+import { type BrowserSession, type BrowserSessionOptions } from "@descryy/runtime-browser";
+import type { ExecutionConfiguration, SourceRootResolver } from "@descryy/runtime-contracts";
+import type { StackTraceParser } from "@descryy/runtime-backend-observation";
+import type { EvidenceStore } from "@descryy/runtime-evidence-store";
+import { projectScenarioToRunPlan, type ProjectedStep, type ScenarioProjection } from "../scenarios/browser-run-plan-projection.ts";
+export type { ProjectedStep, ScenarioProjection };
+export { projectScenarioToRunPlan };
+/** The one shared journey step type — lane journey's `ProjectedStep`, re-exported here so a
+ *  caller of this module never has to import the projection module directly. */
+export type JourneyStep = ProjectedStep;
+export interface JourneyStepRefusal {
+    readonly index: number;
+    readonly kind: string;
+    readonly reason: string;
+}
+export interface JourneyDriveOutcome {
+    /** True once a real page existed and was navigated. False means `disclosure` covers the whole drive. */
+    readonly ran: boolean;
+    readonly startUrl: string;
+    readonly stepsCompleted: number;
+    readonly stepsRefused: readonly JourneyStepRefusal[];
+    /** Byte length of the captured video, or null when video was not requested / not produced. */
+    readonly videoBytes: number | null;
+    readonly disclosure: string | null;
+}
+export interface JourneyDriveInput {
+    readonly store: EvidenceStore;
+    readonly executionId: string;
+    readonly configuration: ExecutionConfiguration;
+    readonly resolveSourceRoot?: SourceRootResolver;
+    readonly stackTraceParser?: StackTraceParser;
+}
+export type DriveJourney = (input: JourneyDriveInput) => Promise<JourneyDriveOutcome>;
+export interface JourneyPlan {
+    readonly startUrl: string;
+    readonly service?: string;
+    readonly steps?: readonly JourneyStep[];
+    readonly recordVideo?: boolean;
+    readonly headless?: boolean;
+    readonly settleForMs?: number;
+    /** Test seam only — see this module's header. Production callers must not pass it. */
+    readonly launchSession?: (options: BrowserSessionOptions) => Promise<BrowserSession>;
+}
+export declare function createRuntimeJourneyDrive(plan: JourneyPlan): DriveJourney;
+/** This module's own collector version, distinct from `@descryy/runtime-browser`'s — these rows
+ *  are the composition lane's own harness reports about driving, not the browser package's. */
+export declare const RUNTIME_JOURNEY_DRIVE_VERSION = "descry-mcp-runtime-journey-drive@1";
+//# sourceMappingURL=runtime-journey-drive.d.ts.map

package/dist/tools/runtime-journey-drive.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-journey-drive.d.ts","sourceRoot":"","sources":["../../src/tools/runtime-journey-drive.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;AAEH,OAAO,EAML,KAAK,cAAc,EACnB,KAAK,qBAAqB,EAC3B,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAErE,OAAO,EAAE,wBAAwB,EAAE,KAAK,aAAa,EAAE,KAAK,kBAAkB,EAAE,MAAM,6CAA6C,CAAC;AAEpI,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,CAAC;AAClD,OAAO,EAAE,wBAAwB,EAAE,CAAC;AAEpC;gFACgF;AAChF,MAAM,MAAM,WAAW,GAAG,aAAa,CAAC;AAExC,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,mBAAmB;IAClC,wGAAwG;IACxG,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACrD,8FAA8F;IAC9F,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CACpC;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,sBAAsB,CAAC;IAC/C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,kBAAkB,CAAC;IAChD,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CAC9C;AAED,MAAM,MAAM,YAAY,GAAG,CAAC,KAAK,EAAE,iBAAiB,KAAK,OAAO,CAAC,mBAAmB,CAAC,CAAC;AAEtF,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;IACxC,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,sFAAsF;IACtF,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC,OAAO,EAAE,qBAAqB,KAAK,OAAO,CAAC,cAAc,CAAC,CAAC;CACtF;AAID,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,WAAW,GAAG,YAAY,CA4GzE;AA+FD;+FAC+F;AAC/F,eAAO,MAAM,6BAA6B,uCAAuC,CAAC"}