@descryy/mcp 0.11.3 → 0.11.5

package/dist/tools/verification-status.js

@@ -1,203 +0,0 @@
-/** `verification_status`, §4 technique 6: coverage is a separate axis and call, paid once, only
- *  when asked. Wraps `computeVerificationStatus` (the static half). Never names a language (rule
- *  1) — an earlier extension-guessing design tripped the boundary lint, so it now asks each
- *  loaded adapter's `ownsPath` instead. Resolves a ref by node id first, then file (the file's own
- *  informative `FILE` node when one carries real resolution, else the weakest-resolution member
- *  among whatever real (non-stub) evidence exists for that file — a `git-history`-produced FILE
- *  node at resolution 0 is a per-touched-file identity marker, not analysis, and must never win by
- *  merely being present; see `representativeForFile`) — neither way found means `notExercised`. */
-import { getNode, findNodes, computeVerificationStatus, observedTestCoverage, resolutionOfExercised, } from "@descryy/core";
-import { answer, optionalStringArray, ToolInputError, } from "./kit.js";
-import { loadSources } from "../registry.js";
-const SCHEMA = {
-    type: "object",
-    properties: {
-        refs: {
-            type: "array",
-            items: { type: "string" },
-            minItems: 1,
-            description: "Node ids and/or repository-relative file paths to check coverage for — typically ids " +
-                "already returned by an earlier call (impact, scope, contracts) that you now want to know " +
-                "whether the graph actually reached.",
-        },
-    },
-    required: ["refs"],
-    additionalProperties: false,
-};
-/** `git-history` (`packages/core/src/sources/git/source.ts`) emits a `FILE` node at resolution 0,
- *  `language: null`, for *every* file it has ever seen touched — a co-change identity marker, not
- *  analysis, and it is emitted regardless of what any language adapter separately produced for that
- *  same file. `adapter-typescript` (and other language adapters) emit no `FILE`-type node at all,
- *  only `FUNCTION`/`CLASS`/etc. So once git-history is configured (the default), that R0 stub is
- *  routinely the *only* `FILE`-typed node for a file that a real adapter analysed at R3 — and this
- *  function must not let "is a FILE node" stand in for "carries real information about the file". */
-function isInformativeFileNode(n) {
-    return n.type === "FILE" && n.resolution > 0;
-}
-/** True for exactly the nodes a resolution-0 `FILE` stub (see `isInformativeFileNode`) covers —
- *  used to exclude that stub from the "weakest link" pool below so it can never win by inclusion. */
-function isResolutionZeroFileStub(n) {
-    return n.type === "FILE" && n.resolution === 0;
-}
-/** The file's own `FILE` node when it carries real per-file resolution (an adapter or future
- *  producer that actually analysed the file as a whole, not a git-history co-change stub) — among
- *  ties, the weakest, matching the fallback's convention below. Otherwise, the weakest-resolution
- *  node among whatever *real* (non-stub) evidence exists for the file: the same "report the weakest
- *  link" convention `resolutionFloor` uses elsewhere in this package, since a file is only as
- *  verified as its least-resolved member — but a resolution-0 `FILE` stub must never be allowed to
- *  supply that minimum merely by being present alongside real, higher-resolution nodes. Only when a
- *  file's *only* evidence is such a stub (nothing else touched it) does this fall back to reporting
- *  the stub itself — genuinely honest in that case, since there is nothing else to report. */
-function representativeForFile(nodes) {
-    const informativeFileNodes = nodes.filter(isInformativeFileNode);
-    if (informativeFileNodes.length > 0) {
-        return informativeFileNodes.reduce((weakest, n) => (n.resolution < weakest.resolution ? n : weakest));
-    }
-    const realNodes = nodes.filter((n) => !isResolutionZeroFileStub(n));
-    const pool = realNodes.length > 0 ? realNodes : nodes;
-    return pool.reduce((weakest, n) => (n.resolution < weakest.resolution ? n : weakest));
-}
-function resolveRef(driver, ref) {
-    const byId = getNode(driver, ref);
-    if (byId !== undefined)
-        return { ref, language: byId.language, node: byId };
-    const inFile = findNodes(driver, { file: ref });
-    if (inFile.length > 0) {
-        const node = representativeForFile(inFile);
-        return { ref, language: node.language, node };
-    }
-    return { ref, language: null, node: null };
-}
-/** Real capabilities for whichever loaded adapter owns each unresolved ref, via `ownsPath` —
- *  never a language name compared here (see module header). */
-async function capabilitiesForUnresolvedRefs(sources, unresolvedRefs, repoPath) {
-    const capabilitiesByRef = new Map();
-    const failedNotes = [];
-    if (unresolvedRefs.length === 0 || sources.length === 0)
-        return { capabilitiesByRef, failedNotes };
-    const { loaded, failed } = await loadSources(sources, repoPath);
-    try {
-        for (const ref of unresolvedRefs) {
-            const owner = loaded.find((entry) => entry.adapter?.ownsPath?.(ref) === true);
-            if (owner?.adapter !== undefined && owner?.adapter !== null) {
-                capabilitiesByRef.set(ref, owner.adapter.capabilities());
-            }
-        }
-    }
-    finally {
-        await Promise.all(loaded.map((entry) => entry.adapter?.dispose()));
-    }
-    for (const failure of failed) {
-        failedNotes.push(`A configured source (${failure.spec.module}) did not import (${failure.reason}), so it could ` +
-            "not be asked whether it owns any of this call's unresolved refs.");
-    }
-    return { capabilitiesByRef, failedNotes };
-}
-async function run(args, ctx) {
-    const refs = optionalStringArray(args, "refs") ?? [];
-    if (refs.length === 0) {
-        throw new ToolInputError('"refs" must name at least one node id or file path — with none, there is nothing to report ' +
-            "coverage for, and an empty answer would look like a check that ran");
-    }
-    const driver = ctx.session.store().driver;
-    const base = ctx.session.provider().baseStamp();
-    ctx.progress(`Checking coverage for ${refs.length} ref(s)`);
-    const resolved = refs.map((ref) => resolveRef(driver, ref));
-    const unresolvedRefs = resolved.filter((r) => r.node === null).map((r) => r.ref);
-    const { capabilitiesByRef, failedNotes } = await capabilitiesForUnresolvedRefs(ctx.session.config.sources, unresolvedRefs, ctx.session.repoPath);
-    const scope = resolved.map((r) => ({
-        ref: r.ref,
-        language: r.language,
-        node: r.node,
-        capabilities: r.node === null ? capabilitiesByRef.get(r.ref) : undefined,
-    }));
-    const status = computeVerificationStatus(scope);
-    const exercised = status.exercised.map((entry) => resolutionOfExercised(entry));
-    // The runtime half is composed here, not inside computeVerificationStatus (static-only by
-    // design) — same posture as observe_runtime. Only resolved refs can be looked up.
-    const lookupIds = resolved.filter((r) => r.node !== null).map((r) => r.node.id);
-    const coverage = observedTestCoverage(driver, lookupIds);
-    const verifiedByTests = resolved.flatMap((r) => {
-        if (r.node === null)
-            return [];
-        const found = coverage.get(r.node.id);
-        if (found === undefined)
-            return [];
-        return [
-            {
-                ref: r.ref,
-                // Every test reaching this ref crossed the same kind of link, so the
-                // ref is "direct" only when the caller asked about the test case itself.
-                direct: found.tests.every((t) => t.direct),
-                tests: found.tests.map((t) => ({
-                    qualifiedName: t.qualifiedName,
-                    outcome: t.outcome,
-                    runId: t.runId,
-                })),
-            },
-        ];
-    });
-    return answer({
-        headline: (exercised.length === refs.length
-            ? `All ${refs.length} ref(s) were reached by the graph.`
-            : `${exercised.length} of ${refs.length} ref(s) were reached by the graph; ` +
-                `${status.notExercised.length} were not — see notExercised for why.`) +
-            (verifiedByTests.length > 0
-                ? ` ${verifiedByTests.length} of them ${verifiedByTests.length === 1 ? "has" : "have"} an observed test run behind ${verifiedByTests.length === 1 ? "it" : "them"}.`
-                : ""),
-        data: { checked: refs, exercised, notExercised: status.notExercised, verifiedByTests },
-        resolutionFloor: exercised.length === 0 ? 0 : Math.min(...exercised.map((e) => e.resolution)),
-        commitSha: base.commitSha,
-        graphBuiltAt: base.graphBuiltAt,
-        irSchemaVersion: base.irSchemaVersion,
-        commitSpread: base.commitSpread,
-        repoCount: base.repoCount,
-        // A presence/coverage claim ("was this ref reached, and at what resolution")
-        // is about identity, not shape — the same class impact/history/similar_incidents
-        // already use.
-        nameLevel: true,
-        notes: [
-            ...(status.notExercised.length === 0
-                ? []
-                : [
-                    "This tool never names a language for an absent ref — it only asks each configured, " +
-                        "loaded adapter whether it owns that path. See each notExercised reason for exactly " +
-                        "what was determined.",
-                ]),
-            // Two different facts wear the same empty list, and reading one as the
-            // other is the whole failure this axis exists to prevent.
-            ...(verifiedByTests.length === 0
-                ? [
-                    "No observed test run bears on any of these refs. That is not the same as \"nothing " +
-                        "tests this\": it is also what you see when no suite has been run through observe_tests " +
-                        "yet, and this tool cannot tell those apart from the ledger alone.",
-                ]
-                : [
-                    "verifiedByTests reports that a test which claims to cover a ref actually ran, and how it " +
-                        "finished. Where direct is false the claim crosses a static TESTS edge: the run witnessed " +
-                        "the test executing, not the test touching that ref. An outcome of failed or skipped is " +
-                        "reported rather than filtered — being covered by a failing test is not being verified.",
-                ]),
-            ...failedNotes,
-        ],
-    });
-}
-export const verificationStatusTool = {
-    name: "verification_status",
-    class: "read",
-    tier: "evidence",
-    version: "1.0.0",
-    title: "Was this actually checked, and at what resolution?",
-    description: "Given a list of node ids and/or file paths, report which were actually reached by the graph " +
-        "and at what resolution, and which were not — with why, where determinable. Coverage is a " +
-        "separate axis from any finding's confidence (§19/§20): use this after another call to learn " +
-        "what that call's answer does and does not actually cover, rather than trusting silence as " +
-        "coverage. When a session's configured adapters can say whether they own an unreached file, " +
-        "real declared capabilities are attached to explain the gap more precisely — see the tool's own " +
-        "notes when some refs are not exercised. When a test suite has been run through observe_tests, " +
-        "verifiedByTests additionally reports which of these refs a real run bore on and how those tests " +
-        "finished — the difference between what the graph could reach and what was actually executed.",
-    inputSchema: SCHEMA,
-    run,
-};
-//# sourceMappingURL=verification-status.js.map

package/dist/tools/verification-status.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-status.js","sourceRoot":"","sources":["../../src/tools/verification-status.ts"],"names":[],"mappings":"AAAA;;;;;;;mGAOmG;AAEnG,OAAO,EACL,OAAO,EACP,SAAS,EACT,yBAAyB,EACzB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,eAAe,CAAC;AAIvB,OAAO,EACL,MAAM,EACN,mBAAmB,EACnB,cAAc,GAGf,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,WAAW,EAAmB,MAAM,gBAAgB,CAAC;AAE9D,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,IAAI,EAAE;YACJ,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,QAAQ,EAAE,CAAC;YACX,WAAW,EACT,uFAAuF;gBACvF,2FAA2F;gBAC3F,qCAAqC;SACxC;KACF;IACD,QAAQ,EAAE,CAAC,MAAM,CAAC;IAClB,oBAAoB,EAAE,KAAK;CACnB,CAAC;AA4BX;;;;;;qGAMqG;AACrG,SAAS,qBAAqB,CAAC,CAAS;IACtC,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC;AAC/C,CAAC;AAED;qGACqG;AACrG,SAAS,wBAAwB,CAAC,CAAS;IACzC,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC;AACjD,CAAC;AAED;;;;;;;;8FAQ8F;AAC9F,SAAS,qBAAqB,CAAC,KAAwB;IACrD,MAAM,oBAAoB,GAAG,KAAK,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC;IACjE,IAAI,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACxG,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;IACtD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AACxF,CAAC;AASD,SAAS,UAAU,CAAC,MAAiB,EAAE,GAAW;IAChD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAClC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC5E,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAChD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;QAC3C,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC;IAChD,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAC7C,CAAC;AAED;+DAC+D;AAC/D,KAAK,UAAU,6BAA6B,CAC1C,OAA8B,EAC9B,cAAiC,EACjC,QAAgB;IAEhB,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAA4B,CAAC;IAC9D,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,CAAC;IAEnG,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAChE,IAAI,CAAC;QACH,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC;YAC9E,IAAI,KAAK,EAAE,OAAO,KAAK,SAAS,IAAI,KAAK,EAAE,OAAO,KAAK,IAAI,EAAE,CAAC;gBAC5D,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;IACH,CAAC;YAAS,CAAC;QACT,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IACrE,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,MAAM,EAAE,CAAC;QAC7B,WAAW,CAAC,IAAI,CACd,wBAAwB,OAAO,CAAC,IAAI,CAAC,MAAM,qBAAqB,OAAO,CAAC,MAAM,iBAAiB;YAC7F,kEAAkE,CACrE,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,CAAC;AAC5C,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,IAA6B,EAAE,GAAgB;IAChE,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;IACrD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,cAAc,CACtB,6FAA6F;YAC3F,oEAAoE,CACvE,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC;IAC1C,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,SAAS,EAAE,CAAC;IAEhD,GAAG,CAAC,QAAQ,CAAC,yBAAyB,IAAI,CAAC,MAAM,SAAS,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;IAE5D,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACjF,MAAM,EAAE,iBAAiB,EAAE,WAAW,EAAE,GAAG,MAAM,6BAA6B,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,cAAc,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAEjJ,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjC,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,YAAY,EAAE,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;KACzE,CAAC,CAAC,CAAC;IAEJ,MAAM,MAAM,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAE,CAAC,CAAC;IAEjF,0FAA0F;IAC1F,kFAAkF;IAClF,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAK,CAAC,EAAE,CAAC,CAAC;IACjF,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACzD,MAAM,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QACnC,OAAO;YACL;gBACE,GAAG,EAAE,CAAC,CAAC,GAAG;gBACV,qEAAqE;gBACrE,yEAAyE;gBACzE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;gBAC1C,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC7B,aAAa,EAAE,CAAC,CAAC,aAAa;oBAC9B,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,KAAK,EAAE,CAAC,CAAC,KAAK;iBACf,CAAC,CAAC;aACJ;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;QACZ,QAAQ,EACN,CAAC,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;YAC/B,CAAC,CAAC,OAAO,IAAI,CAAC,MAAM,oCAAoC;YACxD,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,OAAO,IAAI,CAAC,MAAM,qCAAqC;gBAC1E,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,uCAAuC,CAAC;YACzE,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;gBACzB,CAAC,CAAC,IAAI,eAAe,CAAC,MAAM,YAAY,eAAe,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,gCAAgC,eAAe,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG;gBACpK,CAAC,CAAC,EAAE,CAAC;QACT,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,eAAe,EAAE;QACtF,eAAe,EAAE,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAqB;QAClH,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,6EAA6E;QAC7E,iFAAiF;QACjF,eAAe;QACf,SAAS,EAAE,IAAI;QACf,KAAK,EAAE;YACL,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;gBAClC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC;oBACE,qFAAqF;wBACnF,qFAAqF;wBACrF,sBAAsB;iBACzB,CAAC;YACN,uEAAuE;YACvE,0DAA0D;YAC1D,GAAG,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;gBAC9B,CAAC,CAAC;oBACE,qFAAqF;wBACnF,yFAAyF;wBACzF,mEAAmE;iBACtE;gBACH,CAAC,CAAC;oBACE,2FAA2F;wBACzF,2FAA2F;wBAC3F,yFAAyF;wBACzF,wFAAwF;iBAC3F,CAAC;YACN,GAAG,WAAW;SACf;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAmB;IACpD,IAAI,EAAE,qBAAqB;IAC3B,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,oDAAoD;IAC3D,WAAW,EACT,8FAA8F;QAC9F,2FAA2F;QAC3F,8FAA8F;QAC9F,4FAA4F;QAC5F,6FAA6F;QAC7F,iGAAiG;QACjG,gGAAgG;QAChG,kGAAkG;QAClG,8FAA8F;IAChG,WAAW,EAAE,MAA4C;IACzD,GAAG;CACJ,CAAC"}

package/dist/tools/verify-claim.d.ts

@@ -1,29 +0,0 @@
-/** `verify_claim`, MK-12: offers G1/G2 (`ai-governance-spec.md` §2/§3) as a voluntary lookup — the
- *  full pipeline doesn't run here (MK-11). `path` checks a dot-path resolves in a recorded call's
- *  result (G1); `target` is a plain substring search (G2-shaped, disclosed as weaker — it can't
- *  see whether the string was accepted or rejected). Never returns `confirmed` (MK-11): it
- *  enforces nothing, just converts "we cannot check" into "we offered and it declined." */
-import { type ToolDefinition } from "./kit.ts";
-/**
- * Three outcomes, not two (F1/F4, UAT Phase 5): "grounded" and "not grounded" are both
- * verdicts about a claim that was actually checked. A claim with neither `path` nor
- * `target` was never checked at all — reporting it as `notGrounded` would say "this is
- * false" about something nobody looked at, the same `empty`-vs-`refused` confusion the
- * envelope's own five-state contract exists to prevent, one layer further in.
- */
-export type ClaimVerdict = "grounded" | "notGrounded" | "unverifiable";
-export interface VerifyClaimResult {
-    readonly statement: string;
-    readonly callId: string;
-    readonly verdict: ClaimVerdict;
-    readonly reason: string;
-}
-export interface VerifyClaimData {
-    readonly checked: number;
-    readonly grounded: number;
-    readonly notGrounded: number;
-    readonly unverifiable: number;
-    readonly results: readonly VerifyClaimResult[];
-}
-export declare const verifyClaimTool: ToolDefinition;
-//# sourceMappingURL=verify-claim.d.ts.map

package/dist/tools/verify-claim.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verify-claim.d.ts","sourceRoot":"","sources":["../../src/tools/verify-claim.ts"],"names":[],"mappings":"AAAA;;;;2FAI2F;AAE3F,OAAO,EAKL,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAyClB;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,aAAa,GAAG,cAAc,CAAC;AAEvE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAChD;AAgLD,eAAO,MAAM,eAAe,EAAE,cAc7B,CAAC"}

package/dist/tools/verify-claim.js

@@ -1,220 +0,0 @@
-/** `verify_claim`, MK-12: offers G1/G2 (`ai-governance-spec.md` §2/§3) as a voluntary lookup — the
- *  full pipeline doesn't run here (MK-11). `path` checks a dot-path resolves in a recorded call's
- *  result (G1); `target` is a plain substring search (G2-shaped, disclosed as weaker — it can't
- *  see whether the string was accepted or rejected). Never returns `confirmed` (MK-11): it
- *  enforces nothing, just converts "we cannot check" into "we offered and it declined." */
-import { answer, requiredString, ToolInputError, } from "./kit.js";
-const SCHEMA = {
-    type: "object",
-    properties: {
-        claims: {
-            type: "array",
-            minItems: 1,
-            items: {
-                type: "object",
-                properties: {
-                    statement: {
-                        type: "string",
-                        description: "The claim's own text, carried through unexamined — this tool checks its citation, not its wording.",
-                    },
-                    callId: {
-                        type: "string",
-                        description: 'The recorded call id this claim rests on — the "id" field from an earlier reply this session.',
-                    },
-                    path: {
-                        type: "string",
-                        description: 'A dot-path into that call\'s structuredContent, e.g. "data.affected.0.id" — checked to actually resolve, not just be well-formed.',
-                    },
-                    target: {
-                        type: "string",
-                        description: "A literal string (typically a node id or file path) that must appear somewhere in that call's recorded result — a plain substring search, not a structural check.",
-                    },
-                },
-                required: ["statement", "callId"],
-                additionalProperties: false,
-            },
-            description: "Draft claims to check. Each must give a path, a target, or both — a callId alone with neither checks nothing.",
-        },
-    },
-    required: ["claims"],
-    additionalProperties: false,
-};
-function readClaims(args) {
-    const raw = args["claims"];
-    if (!Array.isArray(raw) || raw.length === 0) {
-        throw new ToolInputError('"claims" must be a non-empty array — with none, there is nothing to verify');
-    }
-    return raw.map((entry, index) => {
-        if (typeof entry !== "object" || entry === null || Array.isArray(entry)) {
-            throw new ToolInputError(`claims[${index}] must be an object`);
-        }
-        const claim = entry;
-        const statement = requiredString(claim, "statement");
-        const callId = requiredString(claim, "callId");
-        const path = claim["path"];
-        const target = claim["target"];
-        if (path !== undefined && typeof path !== "string")
-            throw new ToolInputError(`claims[${index}].path must be a string`);
-        if (target !== undefined && typeof target !== "string")
-            throw new ToolInputError(`claims[${index}].target must be a string`);
-        return {
-            statement,
-            callId,
-            ...(path === undefined ? {} : { path }),
-            ...(target === undefined ? {} : { target }),
-        };
-    });
-}
-/** Dot-path resolution, numeric segments indexing into an array. `undefined` means "does not resolve" — never thrown. */
-function resolvePath(root, path) {
-    let current = root;
-    for (const segment of path.split(".")) {
-        if (current === null || current === undefined)
-            return { found: false };
-        if (Array.isArray(current)) {
-            const index = Number(segment);
-            if (!Number.isInteger(index) || index < 0 || index >= current.length)
-                return { found: false };
-            current = current[index];
-            continue;
-        }
-        if (typeof current !== "object")
-            return { found: false };
-        if (!Object.hasOwn(current, segment))
-            return { found: false };
-        current = current[segment];
-    }
-    return { found: true, value: current };
-}
-/** A target string only ever matches a leaf value, never a key name — so a match inside
- *  a node id used as an object key does not count as the target having been "returned". */
-function containsTargetAtValuePosition(node, target) {
-    if (node === null || node === undefined)
-        return false;
-    if (typeof node === "string")
-        return node.includes(target);
-    if (typeof node === "number" || typeof node === "boolean")
-        return String(node) === target || String(node).includes(target);
-    if (Array.isArray(node))
-        return node.some((item) => containsTargetAtValuePosition(item, target));
-    if (typeof node === "object")
-        return Object.values(node).some((v) => containsTargetAtValuePosition(v, target));
-    return false;
-}
-/** Structural comparison for the case where a claim names both a path and a target: the
- *  value actually found at that path must equal the target, not merely co-occur with it
- *  somewhere in the same serialized result (F1 — this is the join that was missing). Only
- *  scalars can match a string target; an object or array resolved at the path never does,
- *  because a single string cannot faithfully assert "this whole structure". */
-function valueMatchesTarget(value, target) {
-    if (typeof value === "string")
-        return value === target;
-    if (typeof value === "number" || typeof value === "boolean")
-        return String(value) === target;
-    return false;
-}
-function checkClaim(call, claim) {
-    if (claim.path !== undefined && claim.target !== undefined) {
-        const resolved = resolvePath(call.result, claim.path);
-        if (!resolved.found) {
-            return { ok: false, reason: `"${claim.path}" does not resolve in ${call.tool}'s recorded result` };
-        }
-        if (!valueMatchesTarget(resolved.value, claim.target)) {
-            return {
-                ok: false,
-                reason: `"${claim.path}" resolves to ${JSON.stringify(resolved.value)} in ${call.tool}'s recorded result, not "${claim.target}"`,
-            };
-        }
-        return { ok: true, reason: `cites ${call.tool}'s recorded result, where "${claim.path}" resolves to "${claim.target}"` };
-    }
-    if (claim.path !== undefined) {
-        const resolved = resolvePath(call.result, claim.path);
-        if (!resolved.found) {
-            return { ok: false, reason: `"${claim.path}" does not resolve in ${call.tool}'s recorded result` };
-        }
-        return { ok: true, reason: `cites ${call.tool}'s recorded result, which has "${claim.path}"` };
-    }
-    // target only: a substring search, weaker than a path check, and the reason says so —
-    // this is not a structural claim about which field the value came from (F1, part 2).
-    const target = claim.target;
-    if (!containsTargetAtValuePosition(call.result, target)) {
-        return { ok: false, reason: `"${target}" does not appear anywhere in ${call.tool}'s recorded result — not part of what that call returned` };
-    }
-    return {
-        ok: true,
-        reason: `cites ${call.tool}'s recorded result, which contains "${target}" (a substring match only — no specific field was checked)`,
-    };
-}
-function headlineFor(checked, grounded, notGrounded, unverifiable) {
-    if (grounded === checked)
-        return `All ${checked} claim(s) cite this session's own recorded facts.`;
-    const parts = [`${grounded} of ${checked} claim(s) are grounded`];
-    if (notGrounded > 0)
-        parts.push(`${notGrounded} cite something this session never actually returned`);
-    if (unverifiable > 0)
-        parts.push(`${unverifiable} could not be checked — no path or target was given`);
-    return `${parts.join("; ")}.`;
-}
-async function run(args, ctx) {
-    const claims = readClaims(args);
-    ctx.progress(`Checking ${claims.length} claim(s) against this session's recorded tool calls`);
-    const results = claims.map((claim) => {
-        if (claim.path === undefined && claim.target === undefined) {
-            return {
-                statement: claim.statement,
-                callId: claim.callId,
-                verdict: "unverifiable",
-                reason: 'neither "path" nor "target" was given — a callId alone checks nothing, so this claim was never checked either way',
-            };
-        }
-        const call = ctx.session.recordedCall(claim.callId);
-        if (call === undefined) {
-            return {
-                statement: claim.statement,
-                callId: claim.callId,
-                verdict: "notGrounded",
-                reason: `no recorded tool call with id "${claim.callId}" in this session — either it was never made, or it belongs to a different session's run (G1's own negative control)`,
-            };
-        }
-        const outcome = checkClaim(call, claim);
-        return { statement: claim.statement, callId: claim.callId, verdict: outcome.ok ? "grounded" : "notGrounded", reason: outcome.reason };
-    });
-    const grounded = results.filter((r) => r.verdict === "grounded").length;
-    const notGrounded = results.filter((r) => r.verdict === "notGrounded").length;
-    const unverifiable = results.filter((r) => r.verdict === "unverifiable").length;
-    return answer({
-        headline: headlineFor(results.length, grounded, notGrounded, unverifiable),
-        data: { checked: results.length, grounded, notGrounded, unverifiable, results },
-        // Not a graph query — no resolution level, no commit, no schema version
-        // applies. `nameLevel: true` because this checks presence (did this
-        // exact text appear), the same axis `verification_status` reports on.
-        resolutionFloor: 0,
-        commitSha: null,
-        graphBuiltAt: null,
-        irSchemaVersion: 0,
-        // No graph consulted, so no commit spread — 0 says "not a graph question," not a hidden spread.
-        commitSpread: 0,
-        repoCount: 0,
-        nameLevel: true,
-        notes: [
-            "This tool checks citations against calls made earlier in this same session only — it has no " +
-                "memory across separate server processes, and it does not run the full governance pipeline " +
-                '(MK-11): "grounded" here means "cites a real, recorded fact," never "confirmed."',
-        ],
-    });
-}
-export const verifyClaimTool = {
-    name: "verify_claim",
-    class: "read",
-    tier: "evidence",
-    version: "1.0.0",
-    title: "Does this claim actually cite something this session returned?",
-    description: "Given draft claims, each citing an earlier call in this session by its callId and a path and/or " +
-        "a target string, report which are grounded in that call's real recorded result and which are not " +
-        "— catching an invented path, a citation to a call that never happened, or a target string this " +
-        "session never actually returned. Voluntary: nothing else in this surface reads or enforces the " +
-        'result. Never returns "confirmed" — see the tool\'s own module doc for why.',
-    inputSchema: SCHEMA,
-    run,
-};
-//# sourceMappingURL=verify-claim.js.map

package/dist/tools/verify-claim.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verify-claim.js","sourceRoot":"","sources":["../../src/tools/verify-claim.ts"],"names":[],"mappings":"AAAA;;;;2FAI2F;AAE3F,OAAO,EACL,MAAM,EACN,cAAc,EACd,cAAc,GAGf,MAAM,UAAU,CAAC;AAGlB,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,MAAM,EAAE;YACN,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,CAAC;YACX,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,SAAS,EAAE;wBACT,IAAI,EAAE,QAAQ;wBACd,WAAW,EAAE,oGAAoG;qBAClH;oBACD,MAAM,EAAE;wBACN,IAAI,EAAE,QAAQ;wBACd,WAAW,EAAE,+FAA+F;qBAC7G;oBACD,IAAI,EAAE;wBACJ,IAAI,EAAE,QAAQ;wBACd,WAAW,EACT,mIAAmI;qBACtI;oBACD,MAAM,EAAE;wBACN,IAAI,EAAE,QAAQ;wBACd,WAAW,EACT,mKAAmK;qBACtK;iBACF;gBACD,QAAQ,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC;gBACjC,oBAAoB,EAAE,KAAK;aAC5B;YACD,WAAW,EAAE,+GAA+G;SAC7H;KACF;IACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;IACpB,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAiCX,SAAS,UAAU,CAAC,IAA6B;IAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,cAAc,CAAC,4EAA4E,CAAC,CAAC;IACzG,CAAC;IACD,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,MAAM,IAAI,cAAc,CAAC,UAAU,KAAK,qBAAqB,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,KAAK,GAAG,KAAgC,CAAC;QAC/C,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,MAAM,IAAI,cAAc,CAAC,UAAU,KAAK,yBAAyB,CAAC,CAAC;QACvH,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,MAAM,IAAI,cAAc,CAAC,UAAU,KAAK,2BAA2B,CAAC,CAAC;QAC7H,OAAO;YACL,SAAS;YACT,MAAM;YACN,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;YACvC,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;SAC5C,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,yHAAyH;AACzH,SAAS,WAAW,CAAC,IAAa,EAAE,IAAY;IAC9C,IAAI,OAAO,GAAY,IAAI,CAAC;IAC5B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACvE,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,OAAO,CAAC,MAAM;gBAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;YAC9F,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACzD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAkC,EAAE,OAAO,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACzF,OAAO,GAAI,OAAmC,CAAC,OAAO,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC;AAED;2FAC2F;AAC3F,SAAS,6BAA6B,CAAC,IAAa,EAAE,MAAc;IAClE,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtD,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC3H,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,6BAA6B,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACjG,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,6BAA6B,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IAC/G,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;+EAI+E;AAC/E,SAAS,kBAAkB,CAAC,KAAc,EAAE,MAAc;IACxD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,KAAK,MAAM,CAAC;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC;IAC7F,OAAO,KAAK,CAAC;AACf,CAAC;AAOD,SAAS,UAAU,CAAC,IAAyE,EAAE,KAAiB;IAC9G,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC3D,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YACpB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,yBAAyB,IAAI,CAAC,IAAI,oBAAoB,EAAE,CAAC;QACrG,CAAC;QACD,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACtD,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,iBAAiB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,IAAI,4BAA4B,KAAK,CAAC,MAAM,GAAG;aACjI,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,8BAA8B,KAAK,CAAC,IAAI,kBAAkB,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC;IAC3H,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YACpB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,yBAAyB,IAAI,CAAC,IAAI,oBAAoB,EAAE,CAAC;QACrG,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,kCAAkC,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC;IACjG,CAAC;IAED,sFAAsF;IACtF,qFAAqF;IACrF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAO,CAAC;IAC7B,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QACxD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,MAAM,iCAAiC,IAAI,CAAC,IAAI,0DAA0D,EAAE,CAAC;IAC/I,CAAC;IACD,OAAO;QACL,EAAE,EAAE,IAAI;QACR,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,uCAAuC,MAAM,4DAA4D;KACpI,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,OAAe,EAAE,QAAgB,EAAE,WAAmB,EAAE,YAAoB;IAC/F,IAAI,QAAQ,KAAK,OAAO;QAAE,OAAO,OAAO,OAAO,mDAAmD,CAAC;IACnG,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,OAAO,OAAO,wBAAwB,CAAC,CAAC;IAClE,IAAI,WAAW,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,sDAAsD,CAAC,CAAC;IACtG,IAAI,YAAY,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,qDAAqD,CAAC,CAAC;IACvG,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AAChC,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,IAA6B,EAAE,GAAgB;IAChE,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAChC,GAAG,CAAC,QAAQ,CAAC,YAAY,MAAM,CAAC,MAAM,sDAAsD,CAAC,CAAC;IAE9F,MAAM,OAAO,GAAwB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACxD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC3D,OAAO;gBACL,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,mHAAmH;aAC5H,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO;gBACL,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,OAAO,EAAE,aAAa;gBACtB,MAAM,EAAE,kCAAkC,KAAK,CAAC,MAAM,sHAAsH;aAC7K,CAAC;QACJ,CAAC;QAED,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACxC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,aAAa,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;IACxI,CAAC,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IACxE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,aAAa,CAAC,CAAC,MAAM,CAAC;IAC9E,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC,MAAM,CAAC;IAEhF,OAAO,MAAM,CAAC;QACZ,QAAQ,EAAE,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,CAAC;QAC1E,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO,EAAE;QAC/E,wEAAwE;QACxE,oEAAoE;QACpE,sEAAsE;QACtE,eAAe,EAAE,CAAC;QAClB,SAAS,EAAE,IAAI;QACf,YAAY,EAAE,IAAI;QAClB,eAAe,EAAE,CAAC;QAClB,gGAAgG;QAChG,YAAY,EAAE,CAAC;QACf,SAAS,EAAE,CAAC;QACZ,SAAS,EAAE,IAAI;QACf,KAAK,EAAE;YACL,8FAA8F;gBAC5F,4FAA4F;gBAC5F,kFAAkF;SACrF;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAmB;IAC7C,IAAI,EAAE,cAAc;IACpB,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,gEAAgE;IACvE,WAAW,EACT,kGAAkG;QAClG,mGAAmG;QACnG,iGAAiG;QACjG,iGAAiG;QACjG,6EAA6E;IAC/E,WAAW,EAAE,MAA4C;IACzD,GAAG;CACJ,CAAC"}

package/dist/tools/workspace.d.ts

@@ -1,28 +0,0 @@
-/**
- * `workspace` — merges `analyze`, `analyze_workspace` and `link_workspace`
- * behind one `verb` (documents/plans/mcp-surface-consolidation.md §2, group 1).
- * All three are `stateful-read`/`evidence`, so the merge crosses neither
- * boundary.
- *
- * Dispatch only. Each verb's own `run()` body is untouched and stays in its
- * own module (`analyze.ts` / `analyze-workspace.ts` / `link-workspace.ts`) —
- * this file never holds a second copy of that logic, it only routes to it
- * after `selectVerb` has re-established, per verb, the argument strength a
- * flat union schema loses (`verb.ts`'s own header explains why that is
- * mandatory once a schema covers more than one verb).
- */
-import type { ToolDefinition } from "./kit.ts";
-import type { AnalyzeData } from "./analyze.ts";
-import type { AnalyzeWorkspaceData } from "./analyze-workspace.ts";
-import type { LinkWorkspaceData } from "./link-workspace.ts";
-/**
- * What this tool answers with: one verb's shape, never a merged one.
- *
- * The merge cost this its single concrete output type, and `unknown` would have
- * silently retired `output-shapes.test.ts`'s check that a declared shape is tied
- * to the code producing it. A union keeps that tie: a verb added without its
- * shape here stops compiling.
- */
-export type WorkspaceData = AnalyzeData | AnalyzeWorkspaceData | LinkWorkspaceData;
-export declare const workspaceTool: ToolDefinition;
-//# sourceMappingURL=workspace.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"workspace.d.ts","sourceRoot":"","sources":["../../src/tools/workspace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,KAAK,EAAe,cAAc,EAAE,MAAM,UAAU,CAAC;AAM5D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAE7D;;;;;;;GAOG;AACH,MAAM,MAAM,aAAa,GACrB,WAAW,GACX,oBAAoB,GACpB,iBAAiB,CAAC;AAiFtB,eAAO,MAAM,aAAa,EAAE,cAa3B,CAAC"}

package/dist/tools/workspace.js

@@ -1,101 +0,0 @@
-/**
- * `workspace` — merges `analyze`, `analyze_workspace` and `link_workspace`
- * behind one `verb` (documents/plans/mcp-surface-consolidation.md §2, group 1).
- * All three are `stateful-read`/`evidence`, so the merge crosses neither
- * boundary.
- *
- * Dispatch only. Each verb's own `run()` body is untouched and stays in its
- * own module (`analyze.ts` / `analyze-workspace.ts` / `link-workspace.ts`) —
- * this file never holds a second copy of that logic, it only routes to it
- * after `selectVerb` has re-established, per verb, the argument strength a
- * flat union schema loses (`verb.ts`'s own header explains why that is
- * mandatory once a schema covers more than one verb).
- */
-import { selectVerb } from "./verb.js";
-import { analyzeTool } from "./analyze.js";
-import { analyzeWorkspaceTool } from "./analyze-workspace.js";
-import { linkWorkspaceTool } from "./link-workspace.js";
-const VERBS = ["analyze", "index", "link"];
-const VERB_SPECS = [
-    { verb: "analyze", accepts: ["includeHistory", "maxCommits", "reload"] },
-    { verb: "index", accepts: ["includeHistory", "maxCommits"] },
-    { verb: "link", accepts: ["workspace", "repos"] },
-];
-const SCHEMA = {
-    type: "object",
-    properties: {
-        verb: {
-            type: "string",
-            enum: [...VERBS],
-            description: '"analyze" — read this repository into the code graph. "index" — read every repository a ' +
-                'prior "link" declared into one shared graph. "link" — declare which repositories share a ' +
-                "workspace.",
-        },
-        includeHistory: {
-            type: "boolean",
-            description: "analyze/index. Read git history for co-change coupling. Default true.",
-        },
-        maxCommits: {
-            type: "integer",
-            minimum: 1,
-            description: "analyze/index. Cap on commits read from history. Default 2000.",
-        },
-        reload: {
-            type: "boolean",
-            description: "analyze only. Re-read .descry/config.json from disk before this run, instead of the " +
-                "configuration this server started with.",
-        },
-        workspace: {
-            type: "string",
-            description: 'link only. The workspace id to write into every repository in "repos", byte-identical.',
-        },
-        repos: {
-            type: "array",
-            minItems: 2,
-            items: {
-                type: "object",
-                properties: {
-                    path: { type: "string", description: "Absolute path to the repository on disk." },
-                    repo: { type: "string", description: "This repository's identity, written explicitly." },
-                },
-                required: ["path", "repo"],
-                additionalProperties: false,
-            },
-            description: "link only. Every repository that should share this workspace, including the current one " +
-                "if it should join. Only ones the user has explicitly confirmed belong together — never " +
-                "inferred.",
-        },
-    },
-    required: ["verb"],
-    additionalProperties: false,
-};
-const DISPATCH = {
-    analyze: analyzeTool,
-    index: analyzeWorkspaceTool,
-    link: linkWorkspaceTool,
-};
-async function run(args, ctx) {
-    const verb = selectVerb(args, "verb", VERB_SPECS);
-    // `ToolDefinition` erases its answer's type parameter — it has to, the
-    // registry is one array of many shapes — so the delegated call comes back as
-    // an erased answer type. The verb table is what makes the union true: every
-    // entry's own `run` is declared against one of WorkspaceData's members, and a verb
-    // added without its shape stops compiling at the union. The assertion
-    // re-applies what the table already guarantees rather than asserting
-    // something unchecked.
-    return (await DISPATCH[verb].run(args, ctx));
-}
-export const workspaceTool = {
-    name: "workspace",
-    class: "stateful-read",
-    tier: "evidence",
-    version: "1.0.0",
-    title: "Analyse a repository or workspace into the code graph",
-    description: "Read source into the code graph, or declare which repositories share a workspace, by verb: " +
-        '"analyze" (one repository, with its configured adapters), "index" (every repository a prior ' +
-        '"link" call declared, into one shared graph), "link" (write a workspace id into each named ' +
-        "repository's config — only after the user has explicitly confirmed they belong together).",
-    inputSchema: SCHEMA,
-    run,
-};
-//# sourceMappingURL=workspace.js.map

package/dist/tools/workspace.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"workspace.js","sourceRoot":"","sources":["../../src/tools/workspace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,UAAU,EAAiB,MAAM,WAAW,CAAC;AAItD,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAkBxD,MAAM,KAAK,GAAG,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAU,CAAC;AAGpD,MAAM,UAAU,GAA8B;IAC5C,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,gBAAgB,EAAE,YAAY,EAAE,QAAQ,CAAC,EAAE;IACxE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,gBAAgB,EAAE,YAAY,CAAC,EAAE;IAC5D,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE;CAClD,CAAC;AAEF,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,IAAI,EAAE;YACJ,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC;YAChB,WAAW,EACT,0FAA0F;gBAC1F,2FAA2F;gBAC3F,YAAY;SACf;QACD,cAAc,EAAE;YACd,IAAI,EAAE,SAAS;YACf,WAAW,EAAE,uEAAuE;SACrF;QACD,UAAU,EAAE;YACV,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,gEAAgE;SAC9E;QACD,MAAM,EAAE;YACN,IAAI,EAAE,SAAS;YACf,WAAW,EACT,sFAAsF;gBACtF,yCAAyC;SAC5C;QACD,SAAS,EAAE;YACT,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,wFAAwF;SACtG;QACD,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,CAAC;YACX,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,0CAA0C,EAAE;oBACjF,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,iDAAiD,EAAE;iBACzF;gBACD,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;gBAC1B,oBAAoB,EAAE,KAAK;aAC5B;YACD,WAAW,EACT,0FAA0F;gBAC1F,yFAAyF;gBACzF,WAAW;SACd;KACF;IACD,QAAQ,EAAE,CAAC,MAAM,CAAC;IAClB,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAEX,MAAM,QAAQ,GAA2C;IACvD,OAAO,EAAE,WAAW;IACpB,KAAK,EAAE,oBAAoB;IAC3B,IAAI,EAAE,iBAAiB;CACxB,CAAC;AAEF,KAAK,UAAU,GAAG,CAAC,IAA6B,EAAE,GAAgB;IAChE,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IAClD,uEAAuE;IACvE,6EAA6E;IAC7E,4EAA4E;IAC5E,mFAAmF;IACnF,sEAAsE;IACtE,qEAAqE;IACrE,uBAAuB;IACvB,OAAO,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAA8B,CAAC;AAC5E,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAmB;IAC3C,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,eAAe;IACtB,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,uDAAuD;IAC9D,WAAW,EACT,6FAA6F;QAC7F,8FAA8F;QAC9F,6FAA6F;QAC7F,2FAA2F;IAC7F,WAAW,EAAE,MAA4C;IACzD,GAAG;CACJ,CAAC"}