@descryy/mcp 0.11.5 → 0.11.7

package/dist/tools/disclosure.js

@@ -0,0 +1,325 @@
+/**
+ * `disclosure` — merges `verification_status` and `refusal_fetch` behind one
+ * `verb` (mcp-surface-consolidation.md group 3, §3.4: both read/evidence, and
+ * both answer the *coverage* axis — what the graph did or did not reach —
+ * rather than a finding's confidence, so the merge preserves the distinction
+ * the five-state model exists to protect).
+ *
+ * `refusal_fetch` is **not** "why a call refused" — read its own section
+ * below before touching the "unresolved" verb. It summarises and paginates
+ * the graph's ledger of references an adapter could not resolve, and this
+ * merge is required to keep three things exactly as they were:
+ *
+ * 1. **The summary-plus-opaque-handle shape.** No `handle` mints a fresh
+ *    summary (count, one exemplar, a handle); a `handle` redeems a page. A
+ *    single flat schema cannot express "these two properties are alternate
+ *    entry points", so the shape lives in the verb's own logic, unchanged.
+ * 2. **The deliberate `{ classified: false }` read.** The default `true`
+ *    would silently drop unclassified rows (DEC-243) — this is not a stray
+ *    argument to simplify away.
+ * 3. **The uncapped population read.** There is no `limit` on "unresolved":
+ *    the population this verb summarises must stay stable across a page's
+ *    lifetime, and a cap here would make that population caller-controlled.
+ *
+ * Both verbs' behaviour is otherwise unchanged from the tool each replaces.
+ */
+import { computeVerificationStatus, fetchRefusalPage, findNodes, getNode, observedTestCoverage, resolutionOfExercised, summariseRefusals, } from "@descryy/core";
+import { answer, optionalInteger, optionalString, optionalStringArray, ToolInputError, } from "./kit.js";
+import { capBySize, sizeCapNote } from "../capped.js";
+import { loadSources } from "../registry.js";
+import { selectVerb } from "./verb.js";
+/** See `verification-status.ts`'s original module header for the full rationale — reproduced only
+ *  where these functions are called, not restated, to keep this file's own header the one place
+ *  that explains why this merge exists. */
+function isInformativeFileNode(n) {
+    return n.type === "FILE" && n.resolution > 0;
+}
+function isResolutionZeroFileStub(n) {
+    return n.type === "FILE" && n.resolution === 0;
+}
+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 };
+}
+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 };
+}
+function brief(ref) {
+    return {
+        fromNodeId: ref.fromNodeId,
+        edgeType: ref.edgeType,
+        rawTarget: ref.rawTarget,
+        file: ref.file,
+        line: ref.line,
+        producedBy: ref.producedBy,
+        reason: ref.reason,
+    };
+}
+/**
+ * `unresolved`'s page has no `limit` (the population must stay stable across
+ * a page's lifetime, per this file's own header) and each row carries a
+ * free-text `reason`/`rawTarget`, so a page can still overflow the reply
+ * budget by row count or by row size. Rows are self-contained; shrinking
+ * means dropping trailing rows of this page — the next page's own
+ * `nextHandle` is unaffected by this drop.
+ */
+function fitUnresolvedPage(rest, shownItems, budgetBytes) {
+    const scaffoldBytes = Buffer.byteLength(JSON.stringify({ ...rest, items: [] }), "utf8");
+    const fit = capBySize(shownItems, budgetBytes, scaffoldBytes);
+    const notes = fit.droppedForSize === 0 ? [] : [sizeCapNote("row", fit.shown.length, shownItems.length, fit.droppedForSize)];
+    return {
+        data: { ...rest, items: fit.shown },
+        notes,
+        ...(fit.droppedForSize === 0
+            ? {}
+            : { truncatedDetail: { shown: fit.shown.length, total: rest.total, more: null } }),
+    };
+}
+// --- per-verb argument ownership, for selectVerb ----------------------------
+const VERB_SPECS = [
+    { verb: "coverage", accepts: ["refs"] },
+    { verb: "unresolved", accepts: ["handle", "pageSize"] },
+];
+const SCHEMA = {
+    type: "object",
+    properties: {
+        verb: {
+            type: "string",
+            enum: ["coverage", "unresolved"],
+            description: "coverage: was this ref reached, and at what resolution. unresolved: page through unresolved references.",
+        },
+        refs: {
+            type: "array",
+            items: { type: "string" },
+            minItems: 1,
+            description: "coverage only, REQUIRED: node ids and/or file paths to check.",
+        },
+        handle: {
+            type: "string",
+            description: "unresolved only: fetch the next page. Omit for a fresh summary and starting handle.",
+        },
+        pageSize: {
+            type: "integer",
+            minimum: 1,
+            description: "unresolved only: rows per page for a fresh handle. Default 50.",
+        },
+    },
+    required: ["verb"],
+    additionalProperties: false,
+};
+function fitCoverage(checked, exercised, notExercised, verifiedByTests, budgetBytes) {
+    const scaffoldBytes = Buffer.byteLength(JSON.stringify({ checked, exercised: [], notExercised: [], verifiedByTests: [] }), "utf8");
+    let budget = Math.max(budgetBytes - scaffoldBytes, 0);
+    const exercisedFit = capBySize(exercised, budget, 0);
+    budget = Math.max(budget - Buffer.byteLength(JSON.stringify(exercisedFit.shown), "utf8"), 0);
+    const testedFit = capBySize(verifiedByTests, budget, 0);
+    budget = Math.max(budget - Buffer.byteLength(JSON.stringify(testedFit.shown), "utf8"), 0);
+    const notExercisedFit = capBySize(notExercised, budget, 0);
+    const notes = [];
+    if (exercisedFit.droppedForSize > 0) {
+        notes.push(sizeCapNote("exercised ref", exercisedFit.shown.length, exercised.length, exercisedFit.droppedForSize));
+    }
+    if (testedFit.droppedForSize > 0) {
+        notes.push(sizeCapNote("test-verified ref", testedFit.shown.length, verifiedByTests.length, testedFit.droppedForSize));
+    }
+    if (notExercisedFit.droppedForSize > 0) {
+        notes.push(sizeCapNote("not-exercised ref", notExercisedFit.shown.length, notExercised.length, notExercisedFit.droppedForSize));
+    }
+    const droppedNow = exercisedFit.droppedForSize + testedFit.droppedForSize + notExercisedFit.droppedForSize;
+    const shownNow = exercisedFit.shown.length + testedFit.shown.length + notExercisedFit.shown.length;
+    const preFitTotal = exercised.length + verifiedByTests.length + notExercised.length;
+    return {
+        data: { checked, exercised: exercisedFit.shown, notExercised: notExercisedFit.shown, verifiedByTests: testedFit.shown },
+        notes,
+        ...(droppedNow === 0 ? {} : { truncatedDetail: { shown: shownNow, total: preFitTotal, more: null } }),
+    };
+}
+async function runCoverage(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));
+    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,
+                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 },
+        fitToBudget: (budgetBytes) => fitCoverage(refs, exercised, status.notExercised, verifiedByTests, budgetBytes),
+        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,
+        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.",
+                ]),
+            ...(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,
+        ],
+    });
+}
+async function runUnresolved(args, ctx) {
+    const handle = optionalString(args, "handle");
+    const pageSize = optionalInteger(args, "pageSize", 1);
+    const base = ctx.session.provider().baseStamp();
+    ctx.progress("Reading the unresolved-reference ledger");
+    const { refs } = ctx.session.provider().unresolvedRefs({ classified: false });
+    const envelopeBase = {
+        resolutionFloor: 0,
+        commitSha: base.commitSha,
+        graphBuiltAt: base.graphBuiltAt,
+        irSchemaVersion: base.irSchemaVersion,
+        commitSpread: base.commitSpread,
+        repoCount: base.repoCount,
+        nameLevel: true,
+    };
+    if (handle === undefined) {
+        ctx.progress(`Summarising ${refs.length} unresolved reference(s)`);
+        const summary = summariseRefusals(refs, pageSize);
+        return answer({
+            ...envelopeBase,
+            state: summary.count === 0 ? "empty" : "ok",
+            headline: summary.count === 0
+                ? "No unresolved references are recorded — nothing for the unresolved verb to page through."
+                : `${summary.count} unresolved reference(s) recorded. Exemplar: "${summary.exemplar}". Call again with { "verb": "unresolved", "handle": "${summary.handle}" } to page through the rest.`,
+            notes: summary.count === 0
+                ? ["The graph has no unresolved-reference rows at all — every edge either resolved or was never attempted."]
+                : [],
+            data: { kind: "summary", count: summary.count, exemplar: summary.exemplar, handle: summary.handle },
+        });
+    }
+    ctx.progress("Redeeming the unresolved-verb handle");
+    const page = fetchRefusalPage(refs, handle);
+    if (page.state === "refused") {
+        return answer({
+            ...envelopeBase,
+            state: "refused",
+            headline: "This handle could not be redeemed.",
+            notes: [page.reason],
+            data: { kind: "page", items: [], total: 0, nextHandle: null },
+        });
+    }
+    const restOfPageData = { kind: "page", total: page.total, nextHandle: page.nextHandle };
+    const shapedItems = page.items.map(brief);
+    return answer({
+        ...envelopeBase,
+        headline: `Page of ${page.items.length} unresolved reference(s), of ${page.total} total.`,
+        notes: [],
+        data: { ...restOfPageData, items: shapedItems },
+        fitToBudget: (budgetBytes) => fitUnresolvedPage(restOfPageData, shapedItems, budgetBytes),
+    });
+}
+async function run(args, ctx) {
+    const verb = selectVerb(args, "verb", VERB_SPECS);
+    switch (verb) {
+        case "coverage":
+            return runCoverage(args, ctx);
+        case "unresolved":
+            return runUnresolved(args, ctx);
+    }
+}
+export const disclosureTool = {
+    name: "disclosure",
+    class: "read",
+    tier: "evidence",
+    version: "1.0.0",
+    title: "Coverage: what the graph reached, and what it could not resolve",
+    description: "coverage: given node ids/file paths, report which were reached, at what resolution, and " +
+        "by which test runs. unresolved: page through references the graph could never resolve.",
+    inputSchema: SCHEMA,
+    run,
+};
+//# sourceMappingURL=disclosure.js.map

package/dist/tools/disclosure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"disclosure.js","sourceRoot":"","sources":["../../src/tools/disclosure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EACL,yBAAyB,EACzB,gBAAgB,EAChB,SAAS,EACT,OAAO,EACP,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,eAAe,CAAC;AAIvB,OAAO,EACL,MAAM,EACN,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,cAAc,GAGf,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEtD,OAAO,EAAE,WAAW,EAAmB,MAAM,gBAAgB,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAiB,MAAM,WAAW,CAAC;AA6BtD;;2CAE2C;AAC3C,SAAS,qBAAqB,CAAC,CAAS;IACtC,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,wBAAwB,CAAC,CAAS;IACzC,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC;AACjD,CAAC;AAED,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;AAQD,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,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;AAgCD,SAAS,KAAK,CAAC,GAQd;IACC,OAAO;QACL,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,MAAM,EAAE,GAAG,CAAC,MAAM;KACnB,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,iBAAiB,CACxB,IAAyC,EACzC,UAA8C,EAC9C,WAAmB;IAEnB,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IACxF,MAAM,GAAG,GAAG,SAAS,CAAC,UAAU,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,GAAG,CAAC,cAAc,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;IAC5H,OAAO;QACL,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE;QACnC,KAAK;QACL,GAAG,CAAC,GAAG,CAAC,cAAc,KAAK,CAAC;YAC1B,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;KACrF,CAAC;AACJ,CAAC;AAED,+EAA+E;AAE/E,MAAM,UAAU,GAAwC;IACtD,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE;IACvC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE;CACxD,CAAC;AAEF,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,IAAI,EAAE;YACJ,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC;YAChC,WAAW,EAAE,yGAAyG;SACvH;QACD,IAAI,EAAE;YACJ,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,QAAQ,EAAE,CAAC;YACX,WAAW,EAAE,+DAA+D;SAC7E;QACD,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,qFAAqF;SACnG;QACD,QAAQ,EAAE;YACR,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,gEAAgE;SAC9E;KACF;IACD,QAAQ,EAAE,CAAC,MAAM,CAAC;IAClB,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAEX,SAAS,WAAW,CAClB,OAA0B,EAC1B,SAAqD,EACrD,YAA4E,EAC5E,eAAwD,EACxD,WAAmB;IAEnB,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,CACrC,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC,EACjF,MAAM,CACP,CAAC;IACF,IAAI,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,GAAG,aAAa,EAAE,CAAC,CAAC,CAAC;IAEtD,MAAM,YAAY,GAAG,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACrD,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7F,MAAM,SAAS,GAAG,SAAS,CAAC,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACxD,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1F,MAAM,eAAe,GAAG,SAAS,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAE3D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,YAAY,CAAC,cAAc,GAAG,CAAC,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,eAAe,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,YAAY,CAAC,cAAc,CAAC,CAAC,CAAC;IACrH,CAAC;IACD,IAAI,SAAS,CAAC,cAAc,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,mBAAmB,EAAE,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC;IACzH,CAAC;IACD,IAAI,eAAe,CAAC,cAAc,GAAG,CAAC,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,mBAAmB,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,YAAY,CAAC,MAAM,EAAE,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC;IAClI,CAAC;IAED,MAAM,UAAU,GAAG,YAAY,CAAC,cAAc,GAAG,SAAS,CAAC,cAAc,GAAG,eAAe,CAAC,cAAc,CAAC;IAC3G,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC;IACnG,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,GAAG,eAAe,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC;IAEpF,OAAO;QACL,IAAI,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC,KAAK,EAAE,YAAY,EAAE,eAAe,CAAC,KAAK,EAAE,eAAe,EAAE,SAAS,CAAC,KAAK,EAAE;QACvH,KAAK;QACL,GAAG,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;KACtG,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,IAA6B,EAAE,GAAgB;IACxE,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,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,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,WAAW,EAAE,CAAC,WAAmB,EAAE,EAAE,CACnC,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,YAAY,EAAE,eAAe,EAAE,WAAW,CAAC;QACjF,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,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,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,KAAK,UAAU,aAAa,CAAC,IAA6B,EAAE,GAAgB;IAC1E,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;IAEtD,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,SAAS,EAAE,CAAC;IAChD,GAAG,CAAC,QAAQ,CAAC,yCAAyC,CAAC,CAAC;IACxD,MAAM,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,cAAc,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;IAE9E,MAAM,YAAY,GAAG;QACnB,eAAe,EAAE,CAAU;QAC3B,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,SAAS,EAAE,IAAI;KAChB,CAAC;IAEF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,GAAG,CAAC,QAAQ,CAAC,eAAe,IAAI,CAAC,MAAM,0BAA0B,CAAC,CAAC;QACnE,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAClD,OAAO,MAAM,CAAC;YACZ,GAAG,YAAY;YACf,KAAK,EAAE,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;YAC3C,QAAQ,EACN,OAAO,CAAC,KAAK,KAAK,CAAC;gBACjB,CAAC,CAAC,0FAA0F;gBAC5F,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,iDAAiD,OAAO,CAAC,QAAQ,yDAAyD,OAAO,CAAC,MAAM,+BAA+B;YAC7L,KAAK,EACH,OAAO,CAAC,KAAK,KAAK,CAAC;gBACjB,CAAC,CAAC,CAAC,wGAAwG,CAAC;gBAC5G,CAAC,CAAC,EAAE;YACR,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;SACpG,CAAC,CAAC;IACL,CAAC;IAED,GAAG,CAAC,QAAQ,CAAC,sCAAsC,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC;YACZ,GAAG,YAAY;YACf,KAAK,EAAE,SAAS;YAChB,QAAQ,EAAE,oCAAoC;YAC9C,KAAK,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;YACpB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;SAC9D,CAAC,CAAC;IACL,CAAC;IAED,MAAM,cAAc,GAAG,EAAE,IAAI,EAAE,MAAe,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;IACjG,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC1C,OAAO,MAAM,CAAC;QACZ,GAAG,YAAY;QACf,QAAQ,EAAE,WAAW,IAAI,CAAC,KAAK,CAAC,MAAM,gCAAgC,IAAI,CAAC,KAAK,SAAS;QACzF,KAAK,EAAE,EAAE;QACT,IAAI,EAAE,EAAE,GAAG,cAAc,EAAE,KAAK,EAAE,WAAW,EAAE;QAC/C,WAAW,EAAE,CAAC,WAAmB,EAAE,EAAE,CAAC,iBAAiB,CAAC,cAAc,EAAE,WAAW,EAAE,WAAW,CAAC;KAClG,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,IAA6B,EAAE,GAAgB;IAChE,MAAM,IAAI,GAAG,UAAU,CAAiB,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IAClE,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU;YACb,OAAO,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAChC,KAAK,YAAY;YACf,OAAO,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACpC,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAAmB;IAC5C,IAAI,EAAE,YAAY;IAClB,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,iEAAiE;IACxE,WAAW,EACT,0FAA0F;QAC1F,wFAAwF;IAC1F,WAAW,EAAE,MAA4C;IACzD,GAAG;CACJ,CAAC"}

package/dist/tools/draw-conclusion.d.ts

@@ -0,0 +1,55 @@
+/**
+ * `draw_conclusion` — RG-8(a): routes evidence and a graph path through the real finding
+ * funnel (`@descryy/ir`'s G3/G4 gate, `packages/ir/src/finding.ts`) and returns a governed
+ * category, in the same five-category vocabulary (`ReportCategory`) the desktop's pipeline
+ * uses — not a raw evidence tally the caller has to interpret itself.
+ *
+ * This closes the open half of the `FINDING_CAPS` ruling: until this tool existed, nothing on
+ * the MCP surface ever called `reportCategory` — `observe_runtime` writes R4 facts and reports
+ * evidence counts, but never gates them into a category. An MCP client reading `observe_runtime`'s
+ * reply was, at most, "reading the evidence back" — this tool is what makes "the finding" an
+ * honest word for what MCP returns.
+ *
+ * **What this tool does not do.** It does not draw its own graph path or gather its own runtime
+ * evidence — those come from the caller, who already holds them from `impact`/`propagation` (a
+ * `GraphPathHop[]`) and `observe_runtime`/the browser tools (runtime observations). This tool is
+ * the gate alone: the same `reportCategory` arithmetic the architecture specifies, called once,
+ * from one place, so a category MCP returns and a category the desktop's pipeline computes are
+ * never two independently-typed re-implementations agreeing by coincidence.
+ *
+ * `class: "read"` — same as this server's other three conclusion tools (`validate`, `contracts`,
+ * `cross_pr`): it changes nothing and mints no token. A category computed from evidence the
+ * caller already supplied is a read over that evidence, not a new write against the target.
+ */
+import { type ResolutionLevel } from "@descryy/ir";
+import { type ToolContext, type ToolDefinition } from "./kit.ts";
+import type { ToolAnswer } from "../render.ts";
+export interface DrawConclusionData {
+    readonly failurePoint: string;
+    /** §19's five-category vocabulary — the same `ReportCategory` the desktop's report surface renders. */
+    readonly category: string;
+    /** The class (A/B/C) that capped it — rule 3, `reliabilityCap`. */
+    readonly reliabilityClass: string;
+    /** Step 2 alone, uncapped by the structural path — how strongly the evidence says the failure is real. */
+    readonly existence: string;
+    readonly resolution: ResolutionLevel;
+    readonly independentSignalTypes: number;
+    readonly directMechanismEvidence: boolean;
+    readonly hasRuntimeEvidence: boolean;
+    readonly humanAsserted: boolean;
+    /** Echoed back only when the caller supplied one — see the schema's own doc for why this is
+     *  inert unless a future call also names `requireReproductionForConfirmed`. */
+    readonly reproductionCount: number | null;
+}
+/**
+ * Exported so a caller can see the answer's real shape.
+ *
+ * `ToolDefinition` erases the type parameter — it has to, the registry is one
+ * array of many shapes — so reaching this through `drawConclusionTool.run`
+ * hands back an erased `data` and every assertion on a field of it fails to
+ * compile. The tool object stays the registry's entry point; this is the typed
+ * one, for tests and for any in-process caller that needs the shape.
+ */
+export declare function runDrawConclusion(args: Record<string, unknown>, ctx: ToolContext): Promise<ToolAnswer<DrawConclusionData>>;
+export declare const drawConclusionTool: ToolDefinition;
+//# sourceMappingURL=draw-conclusion.d.ts.map

package/dist/tools/draw-conclusion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"draw-conclusion.d.ts","sourceRoot":"","sources":["../../src/tools/draw-conclusion.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAWL,KAAK,eAAe,EAGrB,MAAM,aAAa,CAAC;AAErB,OAAO,EAA4E,KAAK,WAAW,EAAE,KAAK,cAAc,EAAE,MAAM,UAAU,CAAC;AAC3I,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE/C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,uGAAuG;IACvG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,mEAAmE;IACnE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,0GAA0G;IAC1G,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC;mFAC+E;IAC/E,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3C;AAwID;;;;;;;;GAQG;AACH,wBAAsB,iBAAiB,CACrC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,GAAG,EAAE,WAAW,GACf,OAAO,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC,CA+DzC;AAED,eAAO,MAAM,kBAAkB,EAAE,cAWhC,CAAC"}

package/dist/tools/draw-conclusion.js

@@ -0,0 +1,243 @@
+/**
+ * `draw_conclusion` — RG-8(a): routes evidence and a graph path through the real finding
+ * funnel (`@descryy/ir`'s G3/G4 gate, `packages/ir/src/finding.ts`) and returns a governed
+ * category, in the same five-category vocabulary (`ReportCategory`) the desktop's pipeline
+ * uses — not a raw evidence tally the caller has to interpret itself.
+ *
+ * This closes the open half of the `FINDING_CAPS` ruling: until this tool existed, nothing on
+ * the MCP surface ever called `reportCategory` — `observe_runtime` writes R4 facts and reports
+ * evidence counts, but never gates them into a category. An MCP client reading `observe_runtime`'s
+ * reply was, at most, "reading the evidence back" — this tool is what makes "the finding" an
+ * honest word for what MCP returns.
+ *
+ * **What this tool does not do.** It does not draw its own graph path or gather its own runtime
+ * evidence — those come from the caller, who already holds them from `impact`/`propagation` (a
+ * `GraphPathHop[]`) and `observe_runtime`/the browser tools (runtime observations). This tool is
+ * the gate alone: the same `reportCategory` arithmetic the architecture specifies, called once,
+ * from one place, so a category MCP returns and a category the desktop's pipeline computes are
+ * never two independently-typed re-implementations agreeing by coincidence.
+ *
+ * `class: "read"` — same as this server's other three conclusion tools (`validate`, `contracts`,
+ * `cross_pr`): it changes nothing and mints no token. A category computed from evidence the
+ * caller already supplied is a read over that evidence, not a new write against the target.
+ */
+import { directMechanismEvidence, evidencePrecondition, humanAssertedOnPath, independentSignalTypes, minimumResolution, reportCategory, RESOLUTION_LEVELS, RUNTIME_SIGNAL_TYPES, } from "@descryy/ir";
+import { answer, optionalBoolean, optionalInteger, requiredString, ToolInputError } from "./kit.js";
+const EDGE_TYPE_ENUM = [
+    "CALLS",
+    "IMPORTS",
+    "READS",
+    "WRITES",
+    "RETURNS",
+    "IMPLEMENTS",
+    "INHERITS",
+    "USES_API",
+    "SERVES_API",
+    "USES_TYPE",
+    "PROPAGATES_TO",
+    "TESTS",
+    "FIXED_BY",
+    "CHANGES_WITH",
+    "INCIDENT_CORRELATED",
+];
+const SCHEMA = {
+    type: "object",
+    properties: {
+        failurePoint: {
+            type: "string",
+            description: "Node id claimed to have failed; must match a runtime observation's nodeId exactly.",
+        },
+        graphPath: {
+            type: "array",
+            description: "Path this finding rests on, from impact/propagation. Capped by the weakest hop's resolution.",
+            items: {
+                type: "object",
+                properties: {
+                    from: { type: "string" },
+                    to: { type: "string" },
+                    edgeType: { type: "string", enum: [...EDGE_TYPE_ENUM] },
+                    resolution: { type: "integer", enum: [...RESOLUTION_LEVELS] },
+                    humanAsserted: {
+                        type: "boolean",
+                        description: "Confirmed by a person, not analysis.",
+                    },
+                },
+                required: ["from", "to", "edgeType", "resolution"],
+                additionalProperties: false,
+            },
+        },
+        runtimeEvidence: {
+            type: "array",
+            description: "Observations from observe or the browser tools. Empty returns unconfirmed regardless of graphPath.",
+            items: {
+                type: "object",
+                properties: {
+                    signal: { type: "string", enum: [...RUNTIME_SIGNAL_TYPES, null] },
+                    detail: { type: "string" },
+                    nodeId: { type: "string" },
+                    directMechanism: {
+                        type: "boolean",
+                        description: "Directly enacts the failure, not merely co-occurring.",
+                    },
+                },
+                required: ["detail"],
+                additionalProperties: false,
+            },
+        },
+        nameLevel: {
+            type: "boolean",
+            description: "True when the claim is about a name, not a shape. Default false.",
+        },
+        reproductionCount: {
+            type: "integer",
+            description: "Independent times observed. Optional; echoed back, doesn't yet affect reportCategory.",
+        },
+    },
+    required: ["failurePoint", "graphPath", "runtimeEvidence"],
+    additionalProperties: false,
+};
+function readGraphPath(args) {
+    const raw = args["graphPath"];
+    if (!Array.isArray(raw))
+        throw new ToolInputError('"graphPath" must be an array');
+    return raw.map((entry, index) => {
+        if (typeof entry !== "object" || entry === null)
+            throw new ToolInputError(`"graphPath[${String(index)}]" must be an object`);
+        const hop = entry;
+        const from = hop["from"];
+        const to = hop["to"];
+        const edgeType = hop["edgeType"];
+        const resolution = hop["resolution"];
+        if (typeof from !== "string" || from === "")
+            throw new ToolInputError(`"graphPath[${String(index)}].from" is required`);
+        if (typeof to !== "string" || to === "")
+            throw new ToolInputError(`"graphPath[${String(index)}].to" is required`);
+        if (typeof edgeType !== "string" || !EDGE_TYPE_ENUM.includes(edgeType)) {
+            throw new ToolInputError(`"graphPath[${String(index)}].edgeType" must be one of: ${EDGE_TYPE_ENUM.join(", ")}`);
+        }
+        if (typeof resolution !== "number" || !RESOLUTION_LEVELS.includes(resolution)) {
+            throw new ToolInputError(`"graphPath[${String(index)}].resolution" must be one of: ${RESOLUTION_LEVELS.join(", ")}`);
+        }
+        const humanAsserted = hop["humanAsserted"];
+        if (humanAsserted !== undefined && typeof humanAsserted !== "boolean") {
+            throw new ToolInputError(`"graphPath[${String(index)}].humanAsserted" must be a boolean`);
+        }
+        return {
+            from,
+            to,
+            edgeType: edgeType,
+            resolution: resolution,
+            ...(humanAsserted === undefined ? {} : { humanAsserted }),
+        };
+    });
+}
+function readRuntimeEvidence(args) {
+    const raw = args["runtimeEvidence"];
+    if (!Array.isArray(raw))
+        throw new ToolInputError('"runtimeEvidence" must be an array');
+    return raw.map((entry, index) => {
+        if (typeof entry !== "object" || entry === null)
+            throw new ToolInputError(`"runtimeEvidence[${String(index)}]" must be an object`);
+        const item = entry;
+        const detail = item["detail"];
+        if (typeof detail !== "string")
+            throw new ToolInputError(`"runtimeEvidence[${String(index)}].detail" is required`);
+        const signal = item["signal"];
+        if (signal !== undefined && signal !== null && (typeof signal !== "string" || !RUNTIME_SIGNAL_TYPES.includes(signal))) {
+            throw new ToolInputError(`"runtimeEvidence[${String(index)}].signal" must be one of: ${RUNTIME_SIGNAL_TYPES.join(", ")}, or null`);
+        }
+        const nodeId = item["nodeId"];
+        if (nodeId !== undefined && typeof nodeId !== "string")
+            throw new ToolInputError(`"runtimeEvidence[${String(index)}].nodeId" must be a string`);
+        const directMechanism = item["directMechanism"];
+        if (directMechanism !== undefined && typeof directMechanism !== "boolean") {
+            throw new ToolInputError(`"runtimeEvidence[${String(index)}].directMechanism" must be a boolean`);
+        }
+        return {
+            signal: (signal ?? null),
+            detail,
+            ...(nodeId === undefined ? {} : { nodeId }),
+            ...(directMechanism === undefined ? {} : { directMechanism }),
+        };
+    });
+}
+/**
+ * Exported so a caller can see the answer's real shape.
+ *
+ * `ToolDefinition` erases the type parameter — it has to, the registry is one
+ * array of many shapes — so reaching this through `drawConclusionTool.run`
+ * hands back an erased `data` and every assertion on a field of it fails to
+ * compile. The tool object stays the registry's entry point; this is the typed
+ * one, for tests and for any in-process caller that needs the shape.
+ */
+export async function runDrawConclusion(args, ctx) {
+    const failurePoint = requiredString(args, "failurePoint");
+    const graphPath = readGraphPath(args);
+    const runtimeEvidence = readRuntimeEvidence(args);
+    const nameLevel = optionalBoolean(args, "nameLevel") ?? false;
+    const reproductionCount = optionalInteger(args, "reproductionCount", 0) ?? null;
+    const hasRuntimeEvidence = evidencePrecondition(runtimeEvidence);
+    const resolution = minimumResolution(graphPath);
+    const humanAsserted = humanAssertedOnPath(graphPath);
+    const eSignals = independentSignalTypes(runtimeEvidence);
+    const mMechanism = directMechanismEvidence(runtimeEvidence, failurePoint);
+    // The real gate — the one function `@descryy/ir`'s own module doc calls "G3/G4, `ai-
+    // governance-spec.md` §4-5, stage 14". Called with its default config (reproduction
+    // requirement off), the same as every other caller today — see the schema's own doc.
+    const gated = reportCategory({
+        hasRuntimeEvidence,
+        independentSignalTypes: eSignals,
+        directMechanismEvidence: mMechanism,
+        resolution,
+        nameLevel,
+        humanAsserted,
+    });
+    const base = ctx.session.provider().baseStamp();
+    return answer({
+        headline: `"${failurePoint}": ${gated.category}` +
+            (hasRuntimeEvidence ? "" : " (no runtime evidence was supplied — G3 fails unconditionally)") +
+            `. Reliability class ${gated.reliabilityClass}, resolution R${String(resolution)}.`,
+        nameLevel,
+        resolutionFloor: resolution,
+        commitSha: base.commitSha,
+        graphBuiltAt: base.graphBuiltAt,
+        irSchemaVersion: base.irSchemaVersion,
+        commitSpread: base.commitSpread,
+        repoCount: base.repoCount,
+        notes: [
+            "This category is computed by the same reportCategory gate the desktop's pipeline runs " +
+                "(packages/ir/src/finding.ts) — not a second, independent classifier. A caller reading " +
+                "this reply is reading a governed finding, not raw evidence.",
+            ...(graphPath.length === 0
+                ? ["\"graphPath\" was empty, so resolution derives to R0 — the conservative floor, per rule 2."]
+                : []),
+            ...(runtimeEvidence.length === 0
+                ? ["\"runtimeEvidence\" was empty, so G3 fails and this call returns \"unconfirmed\" regardless of graphPath."]
+                : []),
+        ],
+        data: {
+            failurePoint,
+            category: gated.category,
+            reliabilityClass: gated.reliabilityClass,
+            existence: gated.existence,
+            resolution,
+            independentSignalTypes: eSignals,
+            directMechanismEvidence: mMechanism,
+            hasRuntimeEvidence,
+            humanAsserted,
+            reproductionCount,
+        },
+    });
+}
+export const drawConclusionTool = {
+    name: "draw_conclusion",
+    class: "read",
+    tier: "conclusion",
+    version: "1.0.0",
+    title: "Gate evidence and a graph path into a governed finding category",
+    description: "Take a graph path and runtime evidence you already hold, and return the report category " +
+        "the governance gate assigns them. Does not gather evidence itself; states a verdict.",
+    inputSchema: SCHEMA,
+    run: runDrawConclusion,
+};
+//# sourceMappingURL=draw-conclusion.js.map