@descryy/mcp 0.11.3 → 0.11.5

package/dist/tools/cross-pr.js

@@ -1,321 +0,0 @@
-/**
- * `cross-pr` — "what does this change collide with, that reading the diff alone
- * would not show?"
- *
- * §14's multi-PR engine, at the protocol level. Four checks exist behind it,
- * for a reason worth stating rather than discovering: a check is available
- * exactly when something already produces its input.
- *
- * | check | § | input | today |
- * | --- | --- | --- | --- |
- * | hidden dependency | 14.8 | `CHANGES_WITH` edges, already in the graph | **runs** |
- * | overlap scoring | 14.3 | stored PR scopes | **runs, over whatever is stored** |
- * | superseded | 14.5 | git blob ids at head and at base's tip | **runs** |
- * | migration heads | 14.6 | base's and head's migration files, read directly from git | **runs** |
- *
- * §14.8 is first because it is the one that costs nothing: the edges already
- * exist, it needs no per-PR storage, and it works at R0 in any language with no
- * adapter beyond file paths. For a repository whose language has no adapter at
- * all, this is the check that still fires.
- *
- * **Migration heads answers the diff-precise question this section once said
- * was out of scope for an MCP tool call** — `readMigrationsAcrossChange`
- * (`sources/migrations/across-change.ts`) reads base's and head's migration
- * files directly with `git ls-tree`/`git show`, so it needs no language
- * adapter and no re-resolution of the graph against two commits. `ran` is
- * false only when neither side has a migration format this producer
- * recognises — never because a producer has not run yet.
- *
- * ## Why a check that still cannot run is declared rather than omitted
- *
- * `contracts.ts` set this precedent and the reasoning transfers unchanged: a
- * tool that silently offers three of four checks lets a caller read "nothing
- * found" as "nothing there". A blocked check names the producer it is
- * waiting for, so the gap is actionable rather than mysterious.
- *
- * ## Everything here is Class C and that is not a defect to be fixed
- *
- * Co-change is evidence about **people**, not program structure — a pair that
- * moved together two hundred times is a stronger hint and is still a hint. The
- * checks compute their own reliability rather than being told it, and each
- * finding carries the sentence that must travel with it. A caller rendering
- * these as defects has broken principle 4 at the last gate. Migration heads is
- * the one exception worth naming: a genuine fork in the revision chain is
- * closer to a defect than a hint, but it is left at Class C here too, because
- * this check cannot yet tell a legitimate two-branch merge-in-progress from an
- * actual conflict — that distinction is left to the migration-integrity
- * checks in `validate`, which are provable from the graph alone.
- */
-import { changedFiles, findHiddenDependencies, findOverlaps, findSuperseded, nodesInFiles, readMigrationsAcrossChange, ScopeStore, supersededCandidates, } from "@descryy/core";
-import { answer, briefNode, optionalInteger, optionalString, requiredString, } from "./kit.js";
-import { capped } from "../capped.js";
-const SCHEMA = {
-    type: "object",
-    properties: {
-        base: {
-            type: "string",
-            description: "The branch this change would merge into. Required — there is no defensible default, and " +
-                "guessing one silently changes which diff the answer describes.",
-        },
-        head: { type: "string", description: "The tip being reviewed. Default HEAD." },
-        limit: { type: "integer", minimum: 1, description: "Cap on findings per check. Default 10." },
-    },
-    required: ["base"],
-    additionalProperties: false,
-};
-/**
- * Checks whose input no producer writes yet.
- *
- * Named here rather than in prose so the reply carries them as data a caller
- * can act on. Each says what would have to exist, not merely that it does not.
- */
-const BLOCKED = [];
-async function run(args, ctx) {
-    const base = requiredString(args, "base");
-    const head = optionalString(args, "head") ?? "HEAD";
-    const limit = optionalInteger(args, "limit", 1) ?? 10;
-    const { session } = ctx;
-    const stamp = session.provider().baseStamp();
-    const envelope = {
-        resolutionFloor: 0,
-        commitSha: stamp.commitSha,
-        graphBuiltAt: stamp.graphBuiltAt,
-        irSchemaVersion: stamp.irSchemaVersion,
-        commitSpread: stamp.commitSpread,
-        repoCount: stamp.repoCount,
-        // A file's presence or absence in a diff, and which symbols two changes both
-        // name, are name-level facts. Both still cap at C on R0 evidence — the
-        // carve-out that lifts a name-level fact to A begins at R2.
-        nameLevel: true,
-    };
-    // §14.6 — independent of whether the main diff below succeeds: it reads
-    // base's and head's migration files directly from git (`ls-tree`/`show`),
-    // not a comparison that needs the graph or the changed-file list. Computed
-    // once, up front, so both early-return paths below — a rejected range and a
-    // genuinely empty diff — still get a real answer rather than one about a
-    // question this check never asked.
-    ctx.progress("Reading migrations on both sides");
-    let migrations = null;
-    let migrationFailure = null;
-    try {
-        migrations = await readMigrationsAcrossChange(session.repoPath, base, head);
-    }
-    catch (error) {
-        // One check failing is not four checks failing. Recorded rather than
-        // thrown, and `ran: false` with a reason is what the caller reads.
-        migrationFailure = error.message.trim();
-    }
-    const migrationHeads = {
-        ran: migrations?.report.analysed === true,
-        baseHead: migrations?.baseHead ?? null,
-        conflict: migrations?.report.conflict ?? null,
-        dependencies: migrations?.report.dependencies ?? [],
-        duplicateRevisions: migrations?.report.duplicateRevisions ?? [],
-        complete: migrations?.report.complete ?? false,
-        checked: migrations?.report.checked ?? {
-            changes: 0,
-            migrations: 0,
-            withUnknownParents: 0,
-            heads: 0,
-        },
-        refused: [
-            ...(migrations?.base.refusals ?? []),
-            ...(migrations?.change.refusals ?? []),
-        ].map((r) => ({ file: r.file, reason: r.reason })),
-        misplaced: migrations?.misplaced ?? [],
-    };
-    const migrationHeadsNotes = [];
-    if (migrationFailure !== null) {
-        migrationHeadsNotes.push(`The migration head check could not read one of the two revisions: ${migrationFailure}. ` +
-            "That is a failure of this check, not a finding that the merge leaves one head.");
-    }
-    else if (migrations !== null) {
-        migrationHeadsNotes.push(...migrations.notes);
-        if (migrationHeads.misplaced.length > 0) {
-            migrationHeadsNotes.push(`${migrationHeads.misplaced.length} well-formed migration(s) are in a location no ` +
-                "migration tool looks at, so nothing will run them and they are not in the head " +
-                `computation: ${migrationHeads.misplaced.map((m) => m.file).join(", ")}.`);
-        }
-        if (!migrationHeads.ran) {
-            migrationHeadsNotes.push("No migration format this producer recognises was found on either side, so no head " +
-                "computation ran. Two of the four common families declare no DAG at all and cannot " +
-                "have this failure; a repository using one of them is not being told it is clean.");
-        }
-    }
-    ctx.progress(`Diffing ${base}...${head}`, 1, 3);
-    let files;
-    try {
-        files = await changedFiles(session.repoPath, base, head);
-    }
-    catch (error) {
-        return answer({
-            ...envelope,
-            headline: `Could not diff ${base}...${head}.`,
-            state: "refused",
-            data: { blocked: BLOCKED, migrationHeads },
-            notes: [
-                `git rejected the range: ${error.message.trim()}.`,
-                "No check ran, which is not a finding that this change collides with nothing.",
-                ...migrationHeadsNotes,
-            ],
-        });
-    }
-    if (files.length === 0) {
-        return answer({
-            ...envelope,
-            headline: "The diff is empty.",
-            data: { changedFiles: 0, blocked: BLOCKED, migrationHeads },
-            notes: ["An empty diff is a real answer: there is nothing to collide with.", ...migrationHeadsNotes],
-        });
-    }
-    ctx.progress(`Resolving ${files.length} changed file(s)`, 2, 3);
-    const resolved = nodesInFiles(session.store().driver, files);
-    // §14.8 — the historically coupled file that was NOT touched.
-    ctx.progress("Reading co-change history", 3, 3);
-    const hidden = findHiddenDependencies(session.provider(), resolved.nodes.map((n) => n.id), resolved.missing, { limit });
-    // §14.3 — overlap against every scope computed on this same graph. Nothing
-    // writes `pr_scopes` yet, so this ordinarily finds fewer than two and says so;
-    // the check reports that as "no pair could be compared", never as "no
-    // conflicts", which is the distinction it exists to hold.
-    const scopes = stamp.commitSha === null
-        ? []
-        : new ScopeStore(session.store().driver).loadForGraph(session.config.repo, stamp.commitSha);
-    const overlaps = findOverlaps(scopes, { limit });
-    // §14.5 — is this work already on base? Producer and check both in core: git
-    // computes the content hashes, so nothing here reads code.
-    ctx.progress("Comparing against base");
-    const produced = await supersededCandidates(session.repoPath, base, head);
-    const superseded = findSuperseded(produced.candidates, {
-        fingerprintBasis: produced.fingerprintBasis,
-    });
-    // B8 — `remaining` used to be every not-already-in-base comparison, with no
-    // cap at all: one entry per changed file, so the reply scaled with the
-    // diff regardless of `limit`. Capped after the already-in-base filter, so
-    // the cap counts what would be shown rather than what was compared.
-    const remainingAll = superseded.comparisons
-        .filter((c) => c.verdict !== "already-in-base")
-        .map((c) => ({ file: c.file, diffType: c.diffType, verdict: c.verdict }));
-    const remainingCap = capped(remainingAll, limit);
-    const notes = [
-        ...hidden.notes,
-        ...overlaps.notes,
-        ...produced.notes,
-        ...superseded.notes,
-        ...migrationHeadsNotes,
-    ];
-    if (stamp.commitSha === null) {
-        notes.push("The graph carries no commit sha, so no stored PR scope could be matched to it. Overlap " +
-            "scoring did not run — scopes are only comparable against the graph they were computed on.");
-    }
-    if (remainingCap.detail !== null) {
-        notes.push(`${remainingCap.detail.total - remainingCap.detail.shown} further file(s) not yet matched to ` +
-            `base are not listed — the reply is capped at ${limit}. Raise "limit" to see them.`);
-    }
-    if (BLOCKED.length > 0) {
-        notes.push(`${BLOCKED.length} of the four multi-PR checks did not run because nothing produces their ` +
-            `input yet: ${BLOCKED.map((b) => b.check).join(", ")}. Each is listed in "blocked" with ` +
-            "what it is waiting for. Their absence is not a clean result.");
-    }
-    // `refused` only when NOTHING looked at anything. One check producing a
-    // real answer is a real answer, and burying it behind a caveat about a
-    // different question is what `contracts.ts` refuses for the same reason.
-    const anythingRan = hidden.data.analysed || scopes.length >= 2 || superseded.analysed || migrationHeads.ran;
-    // B8 (part 2) — `truncated` used to forward only `hidden.truncated`, so
-    // capping in `overlaps` or in `remaining` (above) went undisclosed on the
-    // wire even when the prose said so. Three checks can each independently
-    // withhold rows; this merges all three into the one combined count
-    // `render.ts` puts on the envelope, rather than reporting one check's and
-    // silently dropping the other two's.
-    const truncationParts = [
-        { shown: hidden.data.findings.length, total: hidden.data.findingsTotal },
-        { shown: overlaps.findings.length, total: overlaps.findingsTotal },
-        { shown: remainingCap.shown.length, total: remainingAll.length },
-    ];
-    const shownAcrossChecks = truncationParts.reduce((sum, part) => sum + part.shown, 0);
-    const totalAcrossChecks = truncationParts.reduce((sum, part) => sum + part.total, 0);
-    const anyCheckTruncated = totalAcrossChecks > shownAcrossChecks;
-    // MK-7: the leading clause, worded to never read as a defect claim — this
-    // file's own header is explicit that every finding here is Class C evidence
-    // about people, not program structure, and "N found" would read exactly
-    // like the graded verdict `validate`/`contracts` give their real defects.
-    const hintCount = hidden.data.findings.length + overlaps.findings.length;
-    const verdict = hintCount === 0 ? "No collisions detected" : `${hintCount} potential collision(s) to review`;
-    return {
-        result: {
-            data: {
-                changedFiles: files.length,
-                resolvedNodes: resolved.nodes.length,
-                hiddenDependencies: {
-                    ran: hidden.data.analysed,
-                    findings: hidden.data.findings.map((f) => ({
-                        ...briefNode(f.node),
-                        coupledTo: f.coupledTo.map((c) => ({ file: c.node.file, support: c.support })),
-                        strongestSupport: f.strongestSupport,
-                        reliability: f.reliability,
-                        disclosure: f.disclosure,
-                    })),
-                    findingsTotal: hidden.data.findingsTotal,
-                    checked: hidden.data.checked,
-                    unresolvedChanged: hidden.data.unresolvedChanged,
-                },
-                overlaps: {
-                    ran: scopes.length >= 2,
-                    scopesCompared: scopes.length,
-                    findings: overlaps.findings,
-                    findingsTotal: overlaps.findingsTotal,
-                    incomparable: overlaps.incomparable,
-                    checked: overlaps.checked,
-                },
-                superseded: {
-                    ran: superseded.analysed,
-                    verdict: superseded.superseded,
-                    counts: superseded.counts,
-                    reliability: superseded.reliability,
-                    disclosure: superseded.disclosure,
-                    remaining: remainingCap.shown,
-                },
-                migrationHeads,
-                blocked: BLOCKED,
-            },
-            stamp: hidden.stamp,
-            truncated: anyCheckTruncated,
-            notes,
-        },
-        ...(anyCheckTruncated
-            ? { truncatedDetail: { shown: shownAcrossChecks, total: totalAcrossChecks, more: null } }
-            : {}),
-        ...(anythingRan ? {} : { state: "refused" }),
-        nameLevel: true,
-        headline: anythingRan
-            ? `${verdict}. ${hidden.data.findings.length} historically coupled file(s) were not touched; ` +
-                `${overlaps.findings.length} overlapping change pair(s) scored above the conflict ` +
-                `threshold; ${superseded.superseded ? "this change's work is already on base" : `${superseded.counts.alreadyInBase} of ${superseded.counts.total} touched file(s) already match base`}; ` +
-                `${!migrationHeads.ran
-                    ? "no migration DAG was read"
-                    : migrationHeads.conflict === null
-                        ? `the merge leaves ${migrationHeads.checked.heads} migration head`
-                        : "the merge would leave more than one migration head"}; ${BLOCKED.length} of four checks could not run.`
-            : "No multi-PR check was able to run on this change. That is a statement about the " +
-                "evidence available, not about the change.",
-    };
-}
-export const crossPrTool = {
-    name: "cross_pr",
-    class: "read",
-    tier: "conclusion",
-    version: "1.0.0",
-    title: "Cross-change collisions",
-    description: "What this change collides with that reading its diff alone would not show: files it " +
-        "historically moves with and did not touch this time (§14.8), other in-flight changes " +
-        "editing the same important nodes (§14.3), whether the work is already on base by another " +
-        "route (§14.5), and whether merging it would leave the migration runner with more than one " +
-        "head (§14.6, computed over base's migrations and this change's together, read directly from " +
-        "git — no language adapter needed). Findings are Class C hints about how people edit this " +
-        "repository, never claims about what breaks; a migration-head fork is reported the same way, " +
-        "because this check cannot yet tell a legitimate merge-in-progress from a real conflict. Any " +
-        "check whose input no producer writes is declared in \"blocked\" with what it is waiting for " +
-        "rather than silently omitted.",
-    inputSchema: SCHEMA,
-    run,
-};
-//# sourceMappingURL=cross-pr.js.map

package/dist/tools/cross-pr.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"cross-pr.js","sourceRoot":"","sources":["../../src/tools/cross-pr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,EACL,YAAY,EACZ,sBAAsB,EACtB,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,0BAA0B,EAC1B,UAAU,EACV,oBAAoB,GACrB,MAAM,eAAe,CAAC;AAavB,OAAO,EACL,MAAM,EACN,SAAS,EACT,eAAe,EACf,cAAc,EACd,cAAc,GAIf,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAqItC,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,IAAI,EAAE;YACJ,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,0FAA0F;gBAC1F,gEAAgE;SACnE;QACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,uCAAuC,EAAE;QAC9E,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,wCAAwC,EAAE;KAC9F;IACD,QAAQ,EAAE,CAAC,MAAM,CAAC;IAClB,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAEX;;;;;GAKG;AACH,MAAM,OAAO,GAA4B,EAAE,CAAC;AAE5C,KAAK,UAAU,GAAG,CAChB,IAA6B,EAC7B,GAAgB;IAEhB,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC;IACpD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACtD,MAAM,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC;IACxB,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,SAAS,EAAE,CAAC;IAE7C,MAAM,QAAQ,GAAG;QACf,eAAe,EAAE,CAAU;QAC3B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,6EAA6E;QAC7E,uEAAuE;QACvE,4DAA4D;QAC5D,SAAS,EAAE,IAAI;KAChB,CAAC;IAEF,wEAAwE;IACxE,0EAA0E;IAC1E,2EAA2E;IAC3E,4EAA4E;IAC5E,yEAAyE;IACzE,mCAAmC;IACnC,GAAG,CAAC,QAAQ,CAAC,kCAAkC,CAAC,CAAC;IACjD,IAAI,UAAU,GAAkC,IAAI,CAAC;IACrD,IAAI,gBAAgB,GAAkB,IAAI,CAAC;IAC3C,IAAI,CAAC;QACH,UAAU,GAAG,MAAM,0BAA0B,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9E,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,qEAAqE;QACrE,mEAAmE;QACnE,gBAAgB,GAAI,KAAe,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IACrD,CAAC;IAED,MAAM,cAAc,GAAuB;QACzC,GAAG,EAAE,UAAU,EAAE,MAAM,CAAC,QAAQ,KAAK,IAAI;QACzC,QAAQ,EAAE,UAAU,EAAE,QAAQ,IAAI,IAAI;QACtC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,QAAQ,IAAI,IAAI;QAC7C,YAAY,EAAE,UAAU,EAAE,MAAM,CAAC,YAAY,IAAI,EAAE;QACnD,kBAAkB,EAAE,UAAU,EAAE,MAAM,CAAC,kBAAkB,IAAI,EAAE;QAC/D,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,QAAQ,IAAI,KAAK;QAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,OAAO,IAAI;YACrC,OAAO,EAAE,CAAC;YACV,UAAU,EAAE,CAAC;YACb,kBAAkB,EAAE,CAAC;YACrB,KAAK,EAAE,CAAC;SACT;QACD,OAAO,EAAE;YACP,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;YACpC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC;SACvC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAClD,SAAS,EAAE,UAAU,EAAE,SAAS,IAAI,EAAE;KACvC,CAAC;IAEF,MAAM,mBAAmB,GAAa,EAAE,CAAC;IACzC,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAC9B,mBAAmB,CAAC,IAAI,CACtB,qEAAqE,gBAAgB,IAAI;YACvF,gFAAgF,CACnF,CAAC;IACJ,CAAC;SAAM,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QAC/B,mBAAmB,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,cAAc,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,mBAAmB,CAAC,IAAI,CACtB,GAAG,cAAc,CAAC,SAAS,CAAC,MAAM,iDAAiD;gBACjF,iFAAiF;gBACjF,gBAAgB,cAAc,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC5E,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,CAAC;YACxB,mBAAmB,CAAC,IAAI,CACtB,oFAAoF;gBAClF,oFAAoF;gBACpF,kFAAkF,CACrF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,GAAG,CAAC,QAAQ,CAAC,WAAW,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,IAAI,KAAwB,CAAC;IAC7B,IAAI,CAAC;QACH,KAAK,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,MAAM,CAAc;YACzB,GAAG,QAAQ;YACX,QAAQ,EAAE,kBAAkB,IAAI,MAAM,IAAI,GAAG;YAC7C,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE;YAC1C,KAAK,EAAE;gBACL,2BAA4B,KAAe,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG;gBAC7D,8EAA8E;gBAC9E,GAAG,mBAAmB;aACvB;SACF,CAAC,CAAC;IACL,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,MAAM,CAAc;YACzB,GAAG,QAAQ;YACX,QAAQ,EAAE,oBAAoB;YAC9B,IAAI,EAAE,EAAE,YAAY,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE;YAC3D,KAAK,EAAE,CAAC,mEAAmE,EAAE,GAAG,mBAAmB,CAAC;SACrG,CAAC,CAAC;IACL,CAAC;IAED,GAAG,CAAC,QAAQ,CAAC,aAAa,KAAK,CAAC,MAAM,kBAAkB,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAE7D,8DAA8D;IAC9D,GAAG,CAAC,QAAQ,CAAC,2BAA2B,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,sBAAsB,CACnC,OAAO,CAAC,QAAQ,EAAE,EAClB,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAC/B,QAAQ,CAAC,OAAO,EAChB,EAAE,KAAK,EAAE,CACV,CAAC;IAEF,2EAA2E;IAC3E,+EAA+E;IAC/E,sEAAsE;IACtE,0DAA0D;IAC1D,MAAM,MAAM,GACV,KAAK,CAAC,SAAS,KAAK,IAAI;QACtB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAChG,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IAEjD,6EAA6E;IAC7E,2DAA2D;IAC3D,GAAG,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,MAAM,oBAAoB,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1E,MAAM,UAAU,GAAG,cAAc,CAAC,QAAQ,CAAC,UAAU,EAAE;QACrD,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;KAC5C,CAAC,CAAC;IAEH,4EAA4E;IAC5E,uEAAuE;IACvE,0EAA0E;IAC1E,oEAAoE;IACpE,MAAM,YAAY,GAAG,UAAU,CAAC,WAAW;SACxC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,iBAAiB,CAAC;SAC9C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC5E,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;IAEjD,MAAM,KAAK,GAAG;QACZ,GAAG,MAAM,CAAC,KAAK;QACf,GAAG,QAAQ,CAAC,KAAK;QACjB,GAAG,QAAQ,CAAC,KAAK;QACjB,GAAG,UAAU,CAAC,KAAK;QACnB,GAAG,mBAAmB;KACvB,CAAC;IACF,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CACR,yFAAyF;YACvF,2FAA2F,CAC9F,CAAC;IACJ,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CACR,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,sCAAsC;YAC5F,gDAAgD,KAAK,8BAA8B,CACtF,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CACR,GAAG,OAAO,CAAC,MAAM,0EAA0E;YACzF,cAAc,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qCAAqC;YACzF,8DAA8D,CACjE,CAAC;IACJ,CAAC;IAED,wEAAwE;IACxE,uEAAuE;IACvE,yEAAyE;IACzE,MAAM,WAAW,GACf,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,IAAI,UAAU,CAAC,QAAQ,IAAI,cAAc,CAAC,GAAG,CAAC;IAE1F,wEAAwE;IACxE,0EAA0E;IAC1E,wEAAwE;IACxE,mEAAmE;IACnE,0EAA0E;IAC1E,qCAAqC;IACrC,MAAM,eAAe,GAAG;QACtB,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE;QACxE,EAAE,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,aAAa,EAAE;QAClE,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY,CAAC,MAAM,EAAE;KACjE,CAAC;IACF,MAAM,iBAAiB,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACrF,MAAM,iBAAiB,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACrF,MAAM,iBAAiB,GAAG,iBAAiB,GAAG,iBAAiB,CAAC;IAEhE,0EAA0E;IAC1E,4EAA4E;IAC5E,wEAAwE;IACxE,0EAA0E;IAC1E,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;IACzE,MAAM,OAAO,GAAG,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,GAAG,SAAS,mCAAmC,CAAC;IAE7G,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE;gBACJ,YAAY,EAAE,KAAK,CAAC,MAAM;gBAC1B,aAAa,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM;gBACpC,kBAAkB,EAAE;oBAClB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ;oBACzB,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBACzC,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;wBACpB,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;wBAC9E,gBAAgB,EAAE,CAAC,CAAC,gBAAgB;wBACpC,WAAW,EAAE,CAAC,CAAC,WAAW;wBAC1B,UAAU,EAAE,CAAC,CAAC,UAAU;qBACzB,CAAC,CAAC;oBACH,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,aAAa;oBACxC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO;oBAC5B,iBAAiB,EAAE,MAAM,CAAC,IAAI,CAAC,iBAAiB;iBACjD;gBACD,QAAQ,EAAE;oBACR,GAAG,EAAE,MAAM,CAAC,MAAM,IAAI,CAAC;oBACvB,cAAc,EAAE,MAAM,CAAC,MAAM;oBAC7B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;oBAC3B,aAAa,EAAE,QAAQ,CAAC,aAAa;oBACrC,YAAY,EAAE,QAAQ,CAAC,YAAY;oBACnC,OAAO,EAAE,QAAQ,CAAC,OAAO;iBAC1B;gBACD,UAAU,EAAE;oBACV,GAAG,EAAE,UAAU,CAAC,QAAQ;oBACxB,OAAO,EAAE,UAAU,CAAC,UAAU;oBAC9B,MAAM,EAAE,UAAU,CAAC,MAAM;oBACzB,WAAW,EAAE,UAAU,CAAC,WAAW;oBACnC,UAAU,EAAE,UAAU,CAAC,UAAU;oBACjC,SAAS,EAAE,YAAY,CAAC,KAAK;iBAC9B;gBACD,cAAc;gBACd,OAAO,EAAE,OAAO;aACjB;YACD,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,SAAS,EAAE,iBAAiB;YAC5B,KAAK;SACN;QACD,GAAG,CAAC,iBAAiB;YACnB,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;YACzF,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE,CAAC;QACrD,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,WAAW;YACnB,CAAC,CAAC,GAAG,OAAO,KAAK,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,kDAAkD;gBAC5F,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,wDAAwD;gBACnF,cAAc,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,uCAAuC,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,aAAa,OAAO,UAAU,CAAC,MAAM,CAAC,KAAK,qCAAqC,IAAI;gBACzL,GACE,CAAC,cAAc,CAAC,GAAG;oBACjB,CAAC,CAAC,2BAA2B;oBAC7B,CAAC,CAAC,cAAc,CAAC,QAAQ,KAAK,IAAI;wBAChC,CAAC,CAAC,oBAAoB,cAAc,CAAC,OAAO,CAAC,KAAK,iBAAiB;wBACnE,CAAC,CAAC,oDACR,KAAK,OAAO,CAAC,MAAM,gCAAgC;YACrD,CAAC,CAAC,kFAAkF;gBAClF,2CAA2C;KAChD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAmB;IACzC,IAAI,EAAE,UAAU;IAChB,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,YAAY;IAClB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,yBAAyB;IAChC,WAAW,EACT,sFAAsF;QACtF,uFAAuF;QACvF,2FAA2F;QAC3F,4FAA4F;QAC5F,8FAA8F;QAC9F,2FAA2F;QAC3F,8FAA8F;QAC9F,8FAA8F;QAC9F,8FAA8F;QAC9F,+BAA+B;IACjC,WAAW,EAAE,MAAM;IACnB,GAAG;CACJ,CAAC"}

package/dist/tools/disclosure.d.ts

@@ -1,75 +0,0 @@
-/**
- * `disclosure` — merges `verification_status` and `refusal_fetch` behind one
- * `verb` (mcp-surface-consolidation.md group 3, §3.4: both read/evidence, and
- * both answer the *coverage* axis — what the graph did or did not reach —
- * rather than a finding's confidence, so the merge preserves the distinction
- * the five-state model exists to protect).
- *
- * `refusal_fetch` is **not** "why a call refused" — read its own section
- * below before touching the "unresolved" verb. It summarises and paginates
- * the graph's ledger of references an adapter could not resolve, and this
- * merge is required to keep three things exactly as they were:
- *
- * 1. **The summary-plus-opaque-handle shape.** No `handle` mints a fresh
- *    summary (count, one exemplar, a handle); a `handle` redeems a page. A
- *    single flat schema cannot express "these two properties are alternate
- *    entry points", so the shape lives in the verb's own logic, unchanged.
- * 2. **The deliberate `{ classified: false }` read.** The default `true`
- *    would silently drop unclassified rows (DEC-243) — this is not a stray
- *    argument to simplify away.
- * 3. **The uncapped population read.** There is no `limit` on "unresolved":
- *    the population this verb summarises must stay stable across a page's
- *    lifetime, and a cap here would make that population caller-controlled.
- *
- * Both verbs' behaviour is otherwise unchanged from the tool each replaces.
- */
-import type { ResolutionLevel } from "@descryy/ir";
-import { type ToolDefinition } from "./kit.ts";
-export type DisclosureVerb = "coverage" | "unresolved";
-export interface VerificationStatusExercisedItem {
-    readonly ref: string;
-    readonly resolution: ResolutionLevel;
-}
-export interface VerificationStatusData {
-    readonly checked: readonly string[];
-    readonly exercised: readonly VerificationStatusExercisedItem[];
-    readonly notExercised: readonly {
-        readonly scope: string;
-        readonly reason: string;
-    }[];
-    readonly verifiedByTests: readonly VerificationStatusTestedItem[];
-}
-export interface VerificationStatusTestedItem {
-    readonly ref: string;
-    readonly direct: boolean;
-    readonly tests: readonly {
-        readonly qualifiedName: string;
-        readonly outcome: string;
-        readonly runId: string;
-    }[];
-}
-export interface RefusalFetchSummaryItem {
-    readonly fromNodeId: string;
-    readonly edgeType: string;
-    readonly rawTarget: string;
-    readonly file: string | null;
-    readonly line: number | null;
-    readonly producedBy: string;
-    readonly reason: string;
-}
-export interface RefusalFetchSummaryData {
-    readonly kind: "summary";
-    readonly count: number;
-    readonly exemplar: string | null;
-    readonly handle: string | null;
-}
-export interface RefusalFetchPageData {
-    readonly kind: "page";
-    readonly items: readonly RefusalFetchSummaryItem[];
-    readonly total: number;
-    readonly nextHandle: string | null;
-}
-export type RefusalFetchData = RefusalFetchSummaryData | RefusalFetchPageData;
-export type DisclosureData = VerificationStatusData | RefusalFetchData;
-export declare const disclosureTool: ToolDefinition;
-//# sourceMappingURL=disclosure.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"disclosure.d.ts","sourceRoot":"","sources":["../../src/tools/disclosure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAYH,OAAO,KAAK,EAA4B,eAAe,EAAE,MAAM,aAAa,CAAC;AAE7E,OAAO,EAOL,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAMlB,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,YAAY,CAAC;AAIvD,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;CACtC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,SAAS,+BAA+B,EAAE,CAAC;IAC/D,QAAQ,CAAC,YAAY,EAAE,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACtF,QAAQ,CAAC,eAAe,EAAE,SAAS,4BAA4B,EAAE,CAAC;CACnE;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS;QACvB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,EAAE,CAAC;CACL;AAwED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CACpC;AAED,MAAM,MAAM,gBAAgB,GAAG,uBAAuB,GAAG,oBAAoB,CAAC;AAE9E,MAAM,MAAM,cAAc,GAAG,sBAAsB,GAAG,gBAAgB,CAAC;AAkOvE,eAAO,MAAM,cAAc,EAAE,cAe5B,CAAC"}