@descryy/mcp 0.11.5 → 0.11.7

package/dist/tools/verification-status.d.ts

@@ -0,0 +1,38 @@
+/** `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 type { ResolutionLevel } from "@descryy/ir";
+import { type ToolDefinition } from "./kit.ts";
+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;
+    }[];
+    /** The runtime half: refs a real test run bore on and how those tests finished. Empty means
+     *  either "nothing covers this" or "no suite run yet" — the notes disambiguate. */
+    readonly verifiedByTests: readonly VerificationStatusTestedItem[];
+}
+export interface VerificationStatusTestedItem {
+    readonly ref: string;
+    /** `false` when reached via a static `TESTS` edge, not observed directly — the run witnessed the
+     *  test execute, not that it touched this ref. Carried per item, not just in a disclosure. */
+    readonly direct: boolean;
+    readonly tests: readonly {
+        readonly qualifiedName: string;
+        readonly outcome: string;
+        readonly runId: string;
+    }[];
+}
+export declare const verificationStatusTool: ToolDefinition;
+//# sourceMappingURL=verification-status.d.ts.map

package/dist/tools/verification-status.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-status.d.ts","sourceRoot":"","sources":["../../src/tools/verification-status.ts"],"names":[],"mappings":"AAAA;;;;;;;mGAOmG;AAUnG,OAAO,KAAK,EAA4B,eAAe,EAAE,MAAM,aAAa,CAAC;AAE7E,OAAO,EAKL,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAqBlB,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;uFACmF;IACnF,QAAQ,CAAC,eAAe,EAAE,SAAS,4BAA4B,EAAE,CAAC;CACnE;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB;kGAC8F;IAC9F,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;AAyLD,eAAO,MAAM,sBAAsB,EAAE,cAkBpC,CAAC"}

package/dist/tools/verification-status.js

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

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

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

@@ -0,0 +1 @@
+{"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;AAuClB;;;;;;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,cAY7B,CAAC"}

package/dist/tools/verify-claim.js

@@ -0,0 +1,218 @@
+/** `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 text. Checked for citation, not wording.",
+                    },
+                    callId: {
+                        type: "string",
+                        description: "The \"id\" field from an earlier reply this session.",
+                    },
+                    path: {
+                        type: "string",
+                        description: "Dot-path into that call's result, e.g. \"data.affected.0.id\".",
+                    },
+                    target: {
+                        type: "string",
+                        description: "Literal string that must appear in the call's result.",
+                    },
+                },
+                required: ["statement", "callId"],
+                additionalProperties: false,
+            },
+            description: "Draft claims to check. Each needs a path, a target, or both.",
+        },
+    },
+    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: "Check draft claims against what this session's earlier calls actually returned, catching an " +
+        "invented path or a target string never actually returned. Voluntary — nothing else reads or " +
+        "enforces the result.",
+    inputSchema: SCHEMA,
+    run,
+};
+//# sourceMappingURL=verify-claim.js.map

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

@@ -0,0 +1 @@
+{"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,sDAAsD;qBACpE;oBACD,MAAM,EAAE;wBACN,IAAI,EAAE,QAAQ;wBACd,WAAW,EAAE,sDAAsD;qBACpE;oBACD,IAAI,EAAE;wBACJ,IAAI,EAAE,QAAQ;wBACd,WAAW,EAAE,gEAAgE;qBAC9E;oBACD,MAAM,EAAE;wBACN,IAAI,EAAE,QAAQ;wBACd,WAAW,EAAE,uDAAuD;qBACrE;iBACF;gBACD,QAAQ,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC;gBACjC,oBAAoB,EAAE,KAAK;aAC5B;YACD,WAAW,EAAE,8DAA8D;SAC5E;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,8FAA8F;QAC9F,8FAA8F;QAC9F,sBAAsB;IACxB,WAAW,EAAE,MAA4C;IACzD,GAAG;CACJ,CAAC"}

package/dist/tools/workspace.d.ts

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

@@ -0,0 +1 @@
+{"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;AAyEtB,eAAO,MAAM,aAAa,EAAE,cAW3B,CAAC"}