@descryy/mcp 0.11.3 → 0.11.5

package/dist/tools/pre-push.js

@@ -1,416 +0,0 @@
-/**
- * `pre_push` — one call where a developer about to push would otherwise make four.
- *
- * The UAT's own verdict was that in agentic use the gap is composition, not
- * correctness: `scope`, `pr_analysis`, `contracts` and `validate` each answer
- * well, and nothing puts them together at the moment someone actually wants
- * them together. This is that composition, under the tightest budget the
- * scoping tiers define.
- *
- * ## What "under the pre-push tier" actually means, per constituent
- *
- * The plan this comes from said the tier was "honoured by `scope`, `pr_analysis`
- * and `contracts`". Two of those are true and the third is not, and the
- * difference decides what this tool can pass down:
- *
- * - `scope` and `pr_analysis` take a `trigger`, and apply
- *   `NODE_BUDGETS["pre-push"]` (200 nodes) to their traversal. Passed straight
- *   through.
- * - `contracts` has **no `trigger` and no node budget**, because it does not
- *   traverse — it compares every endpoint in the graph. Its expensive half is
- *   the shape comparison, and its own schema already names the answer:
- *   `pathsOnly` is "the honest choice for a pre-push run". So that is what the
- *   tier means here, and this tool sets it.
- * - `validate` has no traversal budget either; it is bounded by `maxFindings`,
- *   which this tool tightens rather than leaving at its default 25.
- *
- * ## Why findings are grouped by source and not merged into one ranking
- *
- * A single global ranking would need to say that a contract mismatch outranks
- * an unset environment variable, or the reverse. Descry has no model that
- * supports either claim, and inventing one would be a judgement presented as a
- * measurement — the same reason `contracts` ranks by evidence strength rather
- * than severity. So each source contributes its own top few, and the envelope
- * says plainly that the sources are not ranked against each other.
- *
- * That is still one call, one envelope, and a short read. It just does not
- * pretend to a comparison nobody has made.
- *
- * ## Blocking versus informational
- *
- * `blockingTotal` counts `contracts` and `validate` findings only, and — since
- * UAT round 3, Suggestion 6 — only the ones each tool's own `claim` field
- * marks a `defect`. `scope` and `pr_analysis` answer "what does this change
- * touch" — real, useful, and not a defect, so counting them would make every
- * change with a blast radius look like a failure. A `lead` (`ROUTE_NOT_CALLED`,
- * `SET_BUT_UNDOCUMENTED`) is worth a look but is not provable from the graph
- * alone, so it is counted separately in `leadTotal` rather than folded into
- * the number a git hook branches on. `descry check` exits non-zero on
- * `blockingTotal`, which is why the line has to be drawn here rather than
- * left to the caller.
- *
- * ## Scoped to what you are pushing
- *
- * UAT round 3, B11. `contracts` did not receive the `files` this tool was
- * called with, so `blockingTotal` counted the repository's entire standing
- * backlog rather than the change being pushed — 15 pre-existing
- * `ROUTE_NOT_CALLED` findings for unrelated paths, on a push touching three
- * unrelated files. `contracts` now takes the same `files` this tool was
- * given (it already accepted `paths`, a different axis — a URL template
- * substring, not a source file), so both blocking sources answer about the
- * files in front of the developer. `validate` already took `files`; only the
- * threading into `contracts` was missing.
- *
- * ## Class and tier
- *
- * `read` — it runs four read tools and writes nothing. `evidence` — it reports
- * what those four found and draws no conclusion of its own.
- */
-import { NODE_BUDGETS, uncommittedAmong } from "@descryy/core";
-import { contractsTool } from "./contracts.js";
-import { answer, optionalBoolean, optionalEnum, optionalInteger, optionalString, optionalStringArray, ToolInputError, } from "./kit.js";
-import { prAnalysisTool } from "./pr-analysis.js";
-import { scopeTool } from "./scope.js";
-import { collectValidateFindings, validateTool } from "./validate.js";
-/** How many items each source contributes to the envelope. Matches `PROMINENCE_CUTOFFS.top`. */
-const PER_SOURCE = 3;
-/** `validate`'s own default is 25; a blocked developer reads far fewer. */
-const VALIDATE_MAX_FINDINGS = 10;
-const WORKING_TREE_SCOPES = ["unstaged", "staged", "all"];
-const SCHEMA = {
-    type: "object",
-    properties: {
-        files: {
-            type: "array",
-            items: { type: "string" },
-            description: "Repository-relative paths you are about to push. These seed the blast radius and scope " +
-                "the environment check. Required — without them there is nothing to be pre-push about.",
-        },
-        base: {
-            type: "string",
-            description: "Git ref to compare against, three-dot, for the pr_analysis section. Mutually exclusive " +
-                "with \"workingTree\" — pass one or neither, never both. Without either, pr_analysis has no " +
-                "defensible default and is reported as refused; the other three sections still run.",
-        },
-        workingTree: {
-            type: "string",
-            enum: [...WORKING_TREE_SCOPES],
-            description: "Forwarded to the pr_analysis section: review it against the working tree as it stands, " +
-                "uncommitted, rather than a ref range — precisely the change set a pre-push gate exists to " +
-                "check. \"all\" is staged and unstaged together. Mutually exclusive with \"base\" — pass one " +
-                "or neither, never both. Unlike \"base\", this is never guessed on your behalf either: with " +
-                "neither given, pr_analysis is reported as refused, same as before.",
-        },
-        includeUntracked: {
-            type: "boolean",
-            description: "With \"workingTree\", forwarded to the pr_analysis section to include files git has never " +
-                "seen. On by default, matching pr_analysis's own default. Ignored without \"workingTree\".",
-        },
-        perSource: {
-            type: "integer",
-            minimum: 1,
-            description: `How many items each source contributes. Default ${PER_SOURCE}.`,
-        },
-    },
-    required: ["files"],
-    additionalProperties: false,
-};
-function unwrap(reply) {
-    return {
-        state: reply.state ?? "ok",
-        headline: reply.headline,
-        notes: reply.result.notes,
-        data: (reply.result.data ?? {}),
-        resolutionFloor: reply.result.stamp.resolutionFloor,
-    };
-}
-function listOf(data, key) {
-    const value = data[key];
-    return Array.isArray(value) ? value : [];
-}
-/**
- * A finding's own claim, defaulting to `defect` when it carries none.
- *
- * The default is deliberate and it is the safe direction: a source that has not
- * yet been taught the distinction has its findings counted as fault claims, so
- * adding a check can never silently stop blocking a push. The opposite default
- * would turn every un-migrated source into a source of leads overnight.
- */
-function claimOf(item) {
-    return typeof item === "object" &&
-        item !== null &&
-        item["claim"] === "lead"
-        ? "lead"
-        : "defect";
-}
-/**
- * The leading clause, when the coverage section is about a different change set.
- *
- * **First, not in a footnote.** This mismatch has always been disclosed, and
- * the disclosure sat underneath a headline and a section total that both read
- * as if they described the files passed. A reader who stops at the headline —
- * which is what a headline is for — got a confident sentence about the wrong
- * work. Ordering is the whole fix.
- *
- * Empty when it does not apply, because a caveat printed on every run is one a
- * reader learns to skip past on the run where it matters.
- */
-function coverageWarning(files, coverage) {
-    if (coverage === null || coverage.uncommitted.length === 0)
-        return "";
-    const n = coverage.uncommitted.length;
-    return (`${n} of ${files.length} file(s) are uncommitted, so the pr_analysis section (${coverage.describes}) ` +
-        "does not describe them. " +
-        "The other three sections describe the files you passed. ");
-}
-async function run(args, ctx) {
-    const files = optionalStringArray(args, "files") ?? [];
-    let coverage = null;
-    const perSource = optionalInteger(args, "perSource", 1) ?? PER_SOURCE;
-    const baseRef = optionalString(args, "base");
-    const workingTreeArg = optionalEnum(args, "workingTree", WORKING_TREE_SCOPES);
-    const includeUntracked = optionalBoolean(args, "includeUntracked");
-    // Validated at this tool's own boundary, before any section is dispatched.
-    // pr_analysis enforces the identical rule, but letting it throw from inside
-    // a section call would turn one bad argument combination into a "failed"
-    // envelope over all four constituents, when the actual problem is nothing
-    // any of scope/contracts/validate had a chance to answer about — it never
-    // got that far.
-    if (baseRef !== undefined && workingTreeArg !== undefined) {
-        throw new ToolInputError('"base" and "workingTree" are mutually exclusive, for pr_analysis just as much as here — pass ' +
-            "one or neither, never both.");
-    }
-    const base = ctx.session.provider().baseStamp();
-    const nodeBudget = NODE_BUDGETS["pre-push"];
-    const notes = [
-        "Four tools in one call: scope, pr_analysis, contracts and validate, under the pre-push node " +
-            `budget (${nodeBudget}). Each still answers on its own; this composes them for the moment ` +
-            "someone is about to push.",
-        "Sources are NOT ranked against each other. Whether a contract mismatch outranks an unset " +
-            "environment variable is a judgement Descry has no model for, so each source contributes its " +
-            "own top few and the totals say what they were selected from.",
-        "blockingTotal counts contracts and validate findings claimed as defects only — see claim on " +
-            "each finding. scope and pr_analysis answer what a change touches, which is not a defect, and " +
-            "a lead (worth a look, not provable from the graph alone) is counted separately in leadTotal " +
-            "rather than folded into the number a hook branches on.",
-    ];
-    if (files.length === 0) {
-        return answer({
-            headline: "No files were named, so there is nothing to check before a push.",
-            state: "refused",
-            nameLevel: true,
-            resolutionFloor: 0,
-            commitSha: base.commitSha,
-            graphBuiltAt: base.graphBuiltAt,
-            irSchemaVersion: base.irSchemaVersion,
-            commitSpread: base.commitSpread,
-            repoCount: base.repoCount,
-            notes,
-            data: { files: [], sections: [], blockingTotal: 0, leadTotal: 0, nodeBudget, coverage: null },
-        });
-    }
-    // Sequential rather than concurrent, deliberately: these share one SQLite
-    // connection through the session, and the driver is synchronous. Racing them
-    // would buy nothing and interleave progress messages into nonsense.
-    const sections = [];
-    const collectedNotes = [];
-    // The composite's floor is the weakest of whatever actually ran. Reporting
-    // the strongest, or a default, would let one well-resolved section vouch for
-    // three that were not -- the same leaked-default failure this repository's
-    // own UAT caught on a refusal path.
-    const floors = [];
-    const runOne = async (source, tool, toolArgs, pick, claimsFaults, claimOf = () => "defect") => {
-        ctx.progress(`Running ${source}`);
-        let sub;
-        try {
-            sub = unwrap(await tool.run(toolArgs, ctx));
-        }
-        catch (error) {
-            // One constituent failing must not take the other three with it: a
-            // developer mid-push is better served by three answers and a named gap
-            // than by nothing at all.
-            sections.push({
-                source,
-                state: "failed",
-                total: 0,
-                shown: [],
-                claimsFaults,
-                defects: 0,
-                leads: 0,
-                headline: `${source} failed: ${error instanceof Error ? error.message : String(error)}`,
-            });
-            return null;
-        }
-        floors.push(sub.resolutionFloor);
-        const items = pick(sub.data);
-        // A source that does not claim anything is wrong contributes to neither
-        // count, whatever it found — the split is about fault claims, and `scope`
-        // makes none.
-        const leads = claimsFaults ? items.filter((item) => claimOf(item) === "lead").length : 0;
-        const defects = claimsFaults ? items.length - leads : 0;
-        // A fault-claiming source's headline is regenerated from what this section
-        // actually kept, never borrowed from the sub-call's own reply. `validate`
-        // publishes five separate finding arrays behind one headline; a picker
-        // that folds in fewer than five while keeping that headline verbatim ends
-        // up with a section total that contradicts the sentence sitting next to
-        // it — UAT phase 5 §4. A source that claims no faults (`scope`,
-        // `pr_analysis`) has no such count to contradict, so its own headline
-        // (blast radius, diff summary) is still the right one to show.
-        const headline = claimsFaults
-            ? `${defects} defect(s), ${leads} lead(s) among ${items.length} finding(s) this section examined.`
-            : sub.headline;
-        sections.push({
-            source,
-            state: sub.state,
-            total: items.length,
-            shown: items.slice(0, perSource),
-            claimsFaults,
-            defects,
-            leads,
-            headline,
-        });
-        for (const note of sub.notes)
-            collectedNotes.push(`${source}: ${note}`);
-        return sub;
-    };
-    await runOne("scope", scopeTool, { files, trigger: "pre-push" }, (data) => listOf(data, "affected"), false);
-    if (baseRef === undefined && workingTreeArg === undefined) {
-        // Reported, not skipped silently, and not as a failure either: pr_analysis
-        // requires one of the two and deliberately refuses to invent either ("there
-        // is no defensible default base"). Borrowing this tool's own working-tree
-        // default would manufacture exactly the guess that tool declines to make —
-        // which is why "workingTree" unblocks this section only when the caller
-        // passes it explicitly, never as a fallback picked on their behalf.
-        sections.push({
-            source: "pr_analysis",
-            state: "refused",
-            total: 0,
-            shown: [],
-            claimsFaults: false,
-            defects: 0,
-            leads: 0,
-            headline: 'pr_analysis needs either "base" or "workingTree" to know what to diff, and has no default ' +
-                'for either. Pass one to include this section.',
-        });
-    }
-    else {
-        const subject = baseRef !== undefined ? `${baseRef}...HEAD` : `the working tree (${workingTreeArg})`;
-        // Stated because it is not obvious and it was not obvious in a real run:
-        // called with two files and a three-commit base, the envelope said "across
-        // 2 changed file(s)" while this section said "across 25". Both are right --
-        // pr_analysis takes no file list, by design, and derives its own from the
-        // diff (a ref range, or the working tree) -- but two sections describing
-        // different change sets side by side read as one answer about one change
-        // unless the reply says otherwise.
-        notes.push(`pr_analysis scopes itself from ${baseRef !== undefined ? "the base diff" : "the working tree"} ` +
-            `(${subject}), not from the files given here: it takes no file list, deliberately, because ` +
-            "the diff is what defines a change to review. So its section may describe a wider or " +
-            "narrower set of files than the other three, which use the list you passed.");
-        const pr = await runOne("pr_analysis", prAnalysisTool, baseRef !== undefined
-            ? { base: baseRef, trigger: "pre-push" }
-            : {
-                workingTree: workingTreeArg,
-                trigger: "pre-push",
-                ...(includeUntracked === undefined ? {} : { includeUntracked }),
-            }, (data) => listOf(data, "untested"), false);
-        if (pr !== null) {
-            // The comparison is against the list `pr_analysis` itself reports, not a
-            // second diff computed here. Two git calls answering the same question
-            // is how they come to disagree.
-            const inDiff = new Set(listOf(pr.data, "files").filter((f) => typeof f === "string"));
-            const outside = files.filter((file) => !inDiff.has(file));
-            // A failure here must not take the other three constituents with it —
-            // the rule this file already states for a constituent, applied to the
-            // caveat about one. Without the classification the reply still reports
-            // which files the coverage section did not describe; it just cannot say
-            // that the reason was timing.
-            let uncommitted = [];
-            try {
-                uncommitted = await uncommittedAmong(ctx.session.repoPath, outside);
-            }
-            catch (error) {
-                if (outside.length > 0) {
-                    notes.push(`${outside.length} file(s) you passed are not in ${subject}, and git could ` +
-                        `not be asked whether that is because they are uncommitted: ` +
-                        `${error.message.trim()}. They are listed in coverage.filesOutsideDiff.`);
-                }
-            }
-            coverage = {
-                describes: subject,
-                filesOutsideDiff: outside,
-                uncommitted,
-            };
-        }
-    }
-    await runOne("contracts", contractsTool, 
-    // budget — see the module header. `files` is UAT round 3, B11: without it,
-    // contracts compared the whole graph and this section's total was the
-    // repository's standing backlog, not the change being pushed.
-    { pathsOnly: true, files }, 
-    // shapeMismatches is always empty under pathsOnly, but folded in anyway
-    // rather than assumed empty — a future call that drops pathsOnly should
-    // not silently under-count defects here.
-    (data) => [...listOf(data, "findings"), ...listOf(data, "shapeMismatches")], true, claimOf);
-    await runOne("validate", validateTool, { files, maxFindings: VALIDATE_MAX_FINDINGS }, 
-    // `validate` publishes five finding arrays across its own payload — the
-    // top-level env array plus `rollback`, `attributeExistence`,
-    // `migrationIntegrity` and `ormRegistration` — because each check
-    // examines different evidence. Reading only `findings` here silently
-    // dropped the other four, including the two highest-confidence checks in
-    // the product (UAT phase 5 §4). `collectValidateFindings` is `validate`'s
-    // own enumeration of the five, so a sixth sub-check added there is
-    // inherited here automatically instead of requiring a second edit.
-    (data) => collectValidateFindings(data), true, claimOf);
-    // Each section already reports 0/0 for both when it does not claim faults
-    // (`claimsFaults: false`), so summing `defects`/`leads` across every section
-    // needs no separate filter — the split already happened when the section was
-    // built.
-    const blockingTotal = sections.reduce((sum, section) => sum + section.defects, 0);
-    const leadTotal = sections.reduce((sum, section) => sum + section.leads, 0);
-    const failed = sections.filter((section) => section.state === "failed");
-    if (failed.length > 0) {
-        notes.push(`${failed.length} of 4 constituent(s) failed and contributed nothing: ` +
-            `${failed.map((f) => f.source).join(", ")}. The remaining sections are complete; this ` +
-            "reply is not.");
-    }
-    return answer({
-        headline: coverageWarning(files, coverage) +
-            (blockingTotal === 0 && leadTotal === 0
-                ? `No contract or environment findings across ${files.length} changed file(s).`
-                : `${blockingTotal} defect(s) and ${leadTotal} lead(s) across ${files.length} changed ` +
-                    "file(s) — only the defects assert that something is wrong. See the contracts and " +
-                    "validate sections."),
-        // `empty` is earned here: all four ran against a real graph and found
-        // nothing at all, blocking or not. A constituent that refused makes that
-        // untrue, so the state follows the weakest link rather than the happy
-        // path — and a lead is still something found, so it is `ok`, not `empty`.
-        state: failed.length > 0 ? "failed" : blockingTotal + leadTotal > 0 ? "ok" : "empty",
-        data: { files, sections, blockingTotal, leadTotal, nodeBudget, coverage },
-        resolutionFloor: (floors.length === 0 ? 0 : Math.min(...floors)),
-        nameLevel: true,
-        commitSha: base.commitSha,
-        graphBuiltAt: base.graphBuiltAt,
-        irSchemaVersion: base.irSchemaVersion,
-        commitSpread: base.commitSpread,
-        repoCount: base.repoCount,
-        notes: [...notes, ...collectedNotes],
-    });
-}
-export const prePushTool = {
-    name: "pre_push",
-    class: "read",
-    tier: "evidence",
-    version: "1.0.0",
-    title: "Everything worth knowing before you push, in one call",
-    description: "Runs scope, pr_analysis, contracts and validate together under the pre-push node budget and " +
-        "returns one short envelope: what your change touches, what it touches that has no test, which " +
-        "API contracts break, and which environment claims do not hold. Each source contributes its own " +
-        "top few — they are deliberately not ranked against each other, because Descry has no model for " +
-        "whether a contract mismatch outranks an unset variable. Both are scoped to the files you pass, " +
-        "not the repository's whole backlog. blockingTotal counts only defects (provable from the graph " +
-        "alone) from the two sources that report them, and is what a git hook should branch on; leads " +
-        "(worth a look, not provable alone) are counted separately in leadTotal.",
-    inputSchema: SCHEMA,
-    run,
-};
-//# sourceMappingURL=pre-push.js.map

package/dist/tools/pre-push.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"pre-push.js","sourceRoot":"","sources":["../../src/tools/pre-push.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmEG;AAEH,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAE/D,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EACL,MAAM,EACN,eAAe,EACf,YAAY,EACZ,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,cAAc,GAGf,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,uBAAuB,EAAE,YAAY,EAAqB,MAAM,eAAe,CAAC;AAGzF,gGAAgG;AAChG,MAAM,UAAU,GAAG,CAAC,CAAC;AAErB,2EAA2E;AAC3E,MAAM,qBAAqB,GAAG,EAAE,CAAC;AAEjC,MAAM,mBAAmB,GAAG,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAU,CAAC;AAEnE,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,EACT,yFAAyF;gBACzF,uFAAuF;SAC1F;QACD,IAAI,EAAE;YACJ,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,yFAAyF;gBACzF,6FAA6F;gBAC7F,oFAAoF;SACvF;QACD,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,GAAG,mBAAmB,CAAC;YAC9B,WAAW,EACT,yFAAyF;gBACzF,4FAA4F;gBAC5F,8FAA8F;gBAC9F,6FAA6F;gBAC7F,oEAAoE;SACvE;QACD,gBAAgB,EAAE;YAChB,IAAI,EAAE,SAAS;YACf,WAAW,EACT,4FAA4F;gBAC5F,2FAA2F;SAC9F;QACD,SAAS,EAAE;YACT,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,mDAAmD,UAAU,GAAG;SAC9E;KACF;IACD,QAAQ,EAAE,CAAC,OAAO,CAAC;IACnB,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAqHX,SAAS,MAAM,CAAC,KAAmB;IACjC,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,IAAI;QAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK;QACzB,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAA4B;QAC1D,eAAe,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe;KACpD,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,IAA6B,EAAE,GAAW;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,OAAO,CAAC,IAAa;IAC5B,OAAO,OAAO,IAAI,KAAK,QAAQ;QAC7B,IAAI,KAAK,IAAI;QACZ,IAAgC,CAAC,OAAO,CAAC,KAAK,MAAM;QACrD,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,QAAQ,CAAC;AACf,CAAC;AAGD;;;;;;;;;;;GAWG;AACH,SAAS,eAAe,CACtB,KAAwB,EACxB,QAAgC;IAEhC,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACtE,MAAM,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC;IACtC,OAAO,CACL,GAAG,CAAC,OAAO,KAAK,CAAC,MAAM,yDAAyD,QAAQ,CAAC,SAAS,IAAI;QACtG,0BAA0B;QAC1B,0DAA0D,CAC3D,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,IAA6B,EAAE,GAAgB;IAChE,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;IACvD,IAAI,QAAQ,GAA2B,IAAI,CAAC;IAC5C,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,IAAI,UAAU,CAAC;IACtE,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7C,MAAM,cAAc,GAAG,YAAY,CAAC,IAAI,EAAE,aAAa,EAAE,mBAAmB,CAAC,CAAC;IAC9E,MAAM,gBAAgB,GAAG,eAAe,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;IACnE,2EAA2E;IAC3E,4EAA4E;IAC5E,yEAAyE;IACzE,0EAA0E;IAC1E,0EAA0E;IAC1E,gBAAgB;IAChB,IAAI,OAAO,KAAK,SAAS,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QAC1D,MAAM,IAAI,cAAc,CACtB,+FAA+F;YAC7F,6BAA6B,CAChC,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,SAAS,EAAE,CAAC;IAChD,MAAM,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IAE5C,MAAM,KAAK,GAAa;QACtB,8FAA8F;YAC5F,WAAW,UAAU,sEAAsE;YAC3F,2BAA2B;QAC7B,2FAA2F;YACzF,8FAA8F;YAC9F,8DAA8D;QAChE,8FAA8F;YAC5F,+FAA+F;YAC/F,8FAA8F;YAC9F,wDAAwD;KAC3D,CAAC;IAEF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,MAAM,CAAc;YACzB,QAAQ,EAAE,kEAAkE;YAC5E,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;YACL,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE;SAC9F,CAAC,CAAC;IACL,CAAC;IAED,0EAA0E;IAC1E,6EAA6E;IAC7E,oEAAoE;IACpE,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,2EAA2E;IAC3E,6EAA6E;IAC7E,2EAA2E;IAC3E,oCAAoC;IACpC,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,MAAM,MAAM,GAAG,KAAK,EAClB,MAAqB,EACrB,IAAoB,EACpB,QAAiC,EACjC,IAA2D,EAC3D,YAAqB,EACrB,UAAgD,GAAG,EAAE,CAAC,QAAQ,EACnC,EAAE;QAC7B,GAAG,CAAC,QAAQ,CAAC,WAAW,MAAM,EAAE,CAAC,CAAC;QAClC,IAAI,GAAc,CAAC;QACnB,IAAI,CAAC;YACH,GAAG,GAAG,MAAM,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,mEAAmE;YACnE,uEAAuE;YACvE,0BAA0B;YAC1B,QAAQ,CAAC,IAAI,CAAC;gBACZ,MAAM;gBACN,KAAK,EAAE,QAAQ;gBACf,KAAK,EAAE,CAAC;gBACR,KAAK,EAAE,EAAE;gBACT,YAAY;gBACZ,OAAO,EAAE,CAAC;gBACV,KAAK,EAAE,CAAC;gBACR,QAAQ,EAAE,GAAG,MAAM,YAAY,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;aACxF,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,wEAAwE;QACxE,0EAA0E;QAC1E,cAAc;QACd,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACzF,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,2EAA2E;QAC3E,0EAA0E;QAC1E,uEAAuE;QACvE,0EAA0E;QAC1E,wEAAwE;QACxE,gEAAgE;QAChE,sEAAsE;QACtE,+DAA+D;QAC/D,MAAM,QAAQ,GAAG,YAAY;YAC3B,CAAC,CAAC,GAAG,OAAO,eAAe,KAAK,kBAAkB,KAAK,CAAC,MAAM,oCAAoC;YAClG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC;QACjB,QAAQ,CAAC,IAAI,CAAC;YACZ,MAAM;YACN,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,KAAK,EAAE,KAAK,CAAC,MAAM;YACnB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC;YAChC,YAAY;YACZ,OAAO;YACP,KAAK;YACL,QAAQ;SACT,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK;YAAE,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC;QACxE,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,MAAM,MAAM,CACV,OAAO,EACP,SAAS,EACT,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,EAC9B,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,EAClC,KAAK,CACN,CAAC;IACF,IAAI,OAAO,KAAK,SAAS,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QAC1D,2EAA2E;QAC3E,4EAA4E;QAC5E,0EAA0E;QAC1E,2EAA2E;QAC3E,wEAAwE;QACxE,oEAAoE;QACpE,QAAQ,CAAC,IAAI,CAAC;YACZ,MAAM,EAAE,aAAa;YACrB,KAAK,EAAE,SAAS;YAChB,KAAK,EAAE,CAAC;YACR,KAAK,EAAE,EAAE;YACT,YAAY,EAAE,KAAK;YACnB,OAAO,EAAE,CAAC;YACV,KAAK,EAAE,CAAC;YACR,QAAQ,EACN,4FAA4F;gBAC5F,+CAA+C;SAClD,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,MAAM,OAAO,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,OAAO,SAAS,CAAC,CAAC,CAAC,qBAAqB,cAAc,GAAG,CAAC;QACrG,yEAAyE;QACzE,2EAA2E;QAC3E,4EAA4E;QAC5E,0EAA0E;QAC1E,yEAAyE;QACzE,yEAAyE;QACzE,mCAAmC;QACnC,KAAK,CAAC,IAAI,CACR,kCAAkC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,kBAAkB,GAAG;YAC/F,IAAI,OAAO,iFAAiF;YAC5F,sFAAsF;YACtF,4EAA4E,CAC/E,CAAC;QACF,MAAM,EAAE,GAAG,MAAM,MAAM,CACrB,aAAa,EACb,cAAc,EACd,OAAO,KAAK,SAAS;YACnB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE;YACxC,CAAC,CAAC;gBACE,WAAW,EAAE,cAAc;gBAC3B,OAAO,EAAE,UAAU;gBACnB,GAAG,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC;aAChE,EACL,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,EAClC,KAAK,CACN,CAAC;QAEF,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,yEAAyE;YACzE,uEAAuE;YACvE,gCAAgC;YAChC,MAAM,MAAM,GAAG,IAAI,GAAG,CACpB,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAC3E,CAAC;YACF,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;YAC1D,sEAAsE;YACtE,sEAAsE;YACtE,uEAAuE;YACvE,wEAAwE;YACxE,8BAA8B;YAC9B,IAAI,WAAW,GAAsB,EAAE,CAAC;YACxC,IAAI,CAAC;gBACH,WAAW,GAAG,MAAM,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACtE,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACvB,KAAK,CAAC,IAAI,CACR,GAAG,OAAO,CAAC,MAAM,kCAAkC,OAAO,kBAAkB;wBAC1E,6DAA6D;wBAC7D,GAAI,KAAe,CAAC,OAAO,CAAC,IAAI,EAAE,iDAAiD,CACtF,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,QAAQ,GAAG;gBACT,SAAS,EAAE,OAAO;gBAClB,gBAAgB,EAAE,OAAO;gBACzB,WAAW;aACZ,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,MAAM,CACV,WAAW,EACX,aAAa;IACb,2EAA2E;IAC3E,sEAAsE;IACtE,8DAA8D;IAC9D,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE;IAC1B,wEAAwE;IACxE,wEAAwE;IACxE,yCAAyC;IACzC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,EAC3E,IAAI,EACJ,OAAO,CACR,CAAC;IACF,MAAM,MAAM,CACV,UAAU,EACV,YAAY,EACZ,EAAE,KAAK,EAAE,WAAW,EAAE,qBAAqB,EAAE;IAC7C,wEAAwE;IACxE,6DAA6D;IAC7D,kEAAkE;IAClE,qEAAqE;IACrE,yEAAyE;IACzE,0EAA0E;IAC1E,mEAAmE;IACnE,mEAAmE;IACnE,CAAC,IAAI,EAAE,EAAE,CAAC,uBAAuB,CAAC,IAA+B,CAAC,EAClE,IAAI,EACJ,OAAO,CACR,CAAC;IAEF,0EAA0E;IAC1E,6EAA6E;IAC7E,6EAA6E;IAC7E,SAAS;IACT,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAClF,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAE5E,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,CAAC,MAAM,uDAAuD;YACrE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,8CAA8C;YACvF,eAAe,CAClB,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAc;QACzB,QAAQ,EACN,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC;YAChC,CAAC,aAAa,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC;gBACrC,CAAC,CAAC,8CAA8C,KAAK,CAAC,MAAM,mBAAmB;gBAC/E,CAAC,CAAC,GAAG,aAAa,kBAAkB,SAAS,mBAAmB,KAAK,CAAC,MAAM,WAAW;oBACrF,mFAAmF;oBACnF,oBAAoB,CAAC;QAC3B,sEAAsE;QACtE,yEAAyE;QACzE,sEAAsE;QACtE,0EAA0E;QAC1E,KAAK,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,GAAG,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO;QACpF,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE;QACzE,eAAe,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAsB;QACrF,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,KAAK,EAAE,GAAG,cAAc,CAAC;KACrC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAmB;IACzC,IAAI,EAAE,UAAU;IAChB,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,uDAAuD;IAC9D,WAAW,EACT,8FAA8F;QAC9F,gGAAgG;QAChG,iGAAiG;QACjG,iGAAiG;QACjG,iGAAiG;QACjG,iGAAiG;QACjG,+FAA+F;QAC/F,yEAAyE;IAC3E,WAAW,EAAE,MAA4C;IACzD,GAAG;CACJ,CAAC"}

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

@@ -1,57 +0,0 @@
-/**
- * `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 { 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 PredictReachReport {
-    readonly from: BriefNode;
-    /** Every PAGE/COMPONENT node the walk reached. Empty means nothing was predicted — not that nothing depends on this node (see `notes`). */
-    readonly reachedPages: readonly BriefNode[];
-    /** Null iff `reachedPages` is empty. A value here is a proposal only — never driven, never saved, never written to a Finding by this tool. */
-    readonly proposal: {
-        readonly scenario: Scenario;
-        readonly reachedNotProposed: readonly JourneyCandidateNode[];
-    } | null;
-    /**
-     * RG-10's join — present only when the caller supplied `observedNodeIds`,
-     * i.e. evidence from a journey that was ALREADY driven for real and
-     * accepted. `null` when omitted: "not checked", never a silent false
-     * disproof of every predicted page.
-     */
-    readonly proof: ProvenReach | null;
-}
-export type PredictReachData = PredictReachReport | NodeCandidates;
-export declare const predictReachTool: ToolDefinition;
-//# sourceMappingURL=predict-reach.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"predict-reach.d.ts","sourceRoot":"","sources":["../../src/tools/predict-reach.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EAAuC,KAAK,WAAW,EAAE,MAAM,oCAAoC,CAAC;AAC3G,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAC1E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAOL,KAAK,SAAS,EACd,KAAK,cAAc,EAEnB,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAIlB,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,2IAA2I;IAC3I,QAAQ,CAAC,YAAY,EAAE,SAAS,SAAS,EAAE,CAAC;IAC5C,8IAA8I;IAC9I,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC5B,QAAQ,CAAC,kBAAkB,EAAE,SAAS,oBAAoB,EAAE,CAAC;KAC9D,GAAG,IAAI,CAAC;IACT;;;;;OAKG;IACH,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,IAAI,CAAC;CACpC;AAED,MAAM,MAAM,gBAAgB,GAAG,kBAAkB,GAAG,cAAc,CAAC;AAsHnE,eAAO,MAAM,gBAAgB,EAAE,cAmB9B,CAAC"}

package/dist/tools/predict-reach.js

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