@descryy/mcp 0.11.5 → 0.11.7

package/dist/tools/mark-incident.js

@@ -0,0 +1,171 @@
+/** `mark_incident` — "that was a bug, I fixed it": the only incident-minting path with
+ *  precision 1.0 (a person asserts it). Needed because automatic detection (reverts,
+ *  `Fixes #123`) found zero incidents in 3 repos, and a fix-forward heuristic scored 25%
+ *  against a 90% threshold and was refused. Stored in `.descry/config.json` (DEC-223,
+ *  DEC-017 — derived tables don't survive rebuilds) and capped at class B; `action` class per DEC-278, gated by the `confirmToken` handshake. */
+import { buildGraph, confirmedIncidentId, createConfirmedIncidentSource, evictStaleConfirmedIncidentNodes, nodesInFiles, persistGraph, } from "@descryy/core";
+import { writeConfirmedIncident } from "../session.js";
+import { answer, optionalString, optionalStringArray, requiredString, ToolInputError, } from "./kit.js";
+const SCHEMA = {
+    type: "object",
+    properties: {
+        summary: {
+            type: "string",
+            description: "What broke, one sentence — the symptom, not the fix. Becomes the incident's name.",
+        },
+        files: {
+            type: "array",
+            items: { type: "string" },
+            minItems: 1,
+            description: "Paths the defect lived in — where the bug was, not every file the fix touched.",
+        },
+        errorText: {
+            type: "string",
+            description: "Error/exception text as seen. Optional.",
+        },
+        fixedAtCommit: {
+            type: "string",
+            description: "Commit that fixed it. Optional.",
+        },
+        confirmedBy: {
+            type: "string",
+            description: "Default \"user\".",
+        },
+        confirmToken: {
+            type: "string",
+            description: "Arguments frozen when the token was minted; a changed field is discarded and disclosed.",
+        },
+    },
+    required: ["summary", "files"],
+    additionalProperties: false,
+};
+async function run(args, ctx) {
+    const { session } = ctx;
+    const summary = requiredString(args, "summary");
+    const files = optionalStringArray(args, "files");
+    if (files === undefined || files.length === 0) {
+        throw new ToolInputError('"files" must name at least one repo-relative path — an incident naming no file has nothing ' +
+            "to attach it to, and would be invisible to every query that looks for one");
+    }
+    const errorText = optionalString(args, "errorText");
+    const fixedAtCommit = optionalString(args, "fixedAtCommit");
+    const confirmedBy = optionalString(args, "confirmedBy") ?? "user";
+    const root = await session.root();
+    const recorded = {
+        repo: session.config.repo,
+        summary,
+        files: [...new Set(files)].sort(),
+        ...(errorText === undefined ? {} : { errorText }),
+        ...(fixedAtCommit === undefined ? {} : { fixedAtCommit }),
+        confirmedBy,
+        confirmedAt: new Date().toISOString(),
+    };
+    const driver = session.store().driver;
+    // Measured before the projection runs — it mints a FILE node for every named path, so
+    // asking after would always say "all in the graph", a tautology.
+    const { missing: filesNotInGraph } = nodesInFiles(driver, recorded.files);
+    ctx.progress(`Recording an incident in ${session.config.repo}`);
+    const written = await writeConfirmedIncident(session.repoPath, recorded);
+    // Projected now, not at next `analyze`, so the incident is visible in the conversation
+    // that recorded it (same reason `questions` merges its just-written fact into its own response).
+    ctx.progress("Projecting it into the graph");
+    const batch = await createConfirmedIncidentSource({
+        repo: session.config.repo,
+        // `written.records` — the already-deduped list on file — not
+        // `session.config.confirmedIncidents` plus `recorded`: when this call
+        // merged into an existing record, `recorded` alone would project a second
+        // `IRNode` sharing that record's id (UAT phase 5, F9).
+        incidents: written.records,
+    }).emit({ root });
+    const built = buildGraph([batch], { nodeExists: (id) => session.provider().node(id) !== undefined });
+    persistGraph(driver, [batch], built);
+    // `written.records` is the full, current list — the source no longer being
+    // resolved with a companion git-history batch, an incident deleted from
+    // config since the last write shares no file with any surviving one, and
+    // the shared writer's file-overlap eviction never fires for it. This is
+    // the "current run's node set" the deletion is measured against.
+    evictStaleConfirmedIncidentNodes(driver, batch.producedBy, new Set(built.nodes.filter((n) => n.producedBy === batch.producedBy).map((n) => n.id)));
+    const stamp = session.provider().baseStamp();
+    const notes = [
+        "Recorded as testimony, not as a reading of the repository. An edge resting on it is capped at " +
+            "reliability class B (DEC-223) however much structure surrounds it — one unaudited assertion " +
+            "is one unaudited assertion.",
+        `The durable record is ${written.path}, which is a file you can read and correct. The graph ` +
+            "holds a projection of it, re-derived by every analyze, so a rebuild never loses it.",
+    ];
+    if (fixedAtCommit === undefined) {
+        notes.push("No fixing commit was named, so no FIX_PATTERN was minted and no FIXED_BY edge exists. " +
+            '"A defect existed" and "this commit fixed it" are separate claims and only the second ' +
+            "licenses that edge.");
+    }
+    if (filesNotInGraph.length > 0) {
+        notes.push(`${filesNotInGraph.length} of the named path(s) have no node in the graph ` +
+            `(${filesNotInGraph.slice(0, 5).join(", ")}). The incident is recorded and correlated to ` +
+            "them anyway — a developer naming a file Descry cannot read is a gap in Descry, not a " +
+            "mistake to discard. Run analyze if the graph predates them.");
+    }
+    if (written.merged) {
+        notes.push(`This exact incident (same summary and error text) was already on record — this is ` +
+            `occurrence ${written.occurrences} of it, not a second incident. A retried submission and ` +
+            "a genuine recurrence are indistinguishable from content alone, so both are merged into " +
+            "one record rather than minting a second INCIDENT node, which would silently double this " +
+            "incident's weight in blast-radius bias and similar_incidents scoring.");
+    }
+    return answer({
+        headline: written.merged
+            ? `This incident in ${session.config.repo} was already on record — recorded as occurrence ` +
+                `${written.occurrences}, correlated to ${recorded.files.length} file(s) this time. ` +
+                `${written.total} confirmed incident(s) on record.`
+            : `Recorded an incident in ${session.config.repo}, correlated to ${recorded.files.length} file(s). ` +
+                `${written.total} confirmed incident(s) now on record.`,
+        // Name-level fact: this defect existed and touched these paths — no claim about program shape.
+        nameLevel: true,
+        // R0, honestly — testimony isn't a point on the R0-R4 ladder (which measures tooling
+        // run); the real ceiling is `humanAsserted`, expressed where a finding is classified.
+        resolutionFloor: 0,
+        commitSha: stamp.commitSha,
+        graphBuiltAt: stamp.graphBuiltAt,
+        irSchemaVersion: stamp.irSchemaVersion,
+        commitSpread: stamp.commitSpread,
+        repoCount: stamp.repoCount,
+        notes,
+        data: {
+            // `written.record` — the merge, when this call matched a record already on
+            // file, never the as-submitted `recorded` alone (which would misreport a
+            // narrower `files` list than what is actually stored).
+            recorded: written.record,
+            incidentNodeId: confirmedIncidentId({ repo: session.config.repo, ...(root.workspace === undefined ? {} : { workspace: root.workspace }) }, recorded),
+            configPath: written.path,
+            totalConfirmed: written.total,
+            filesNotInGraph,
+            merged: written.merged,
+            occurrences: written.occurrences,
+        },
+    });
+}
+/** Always returns a sentence — unlike `questions`'s unconfirmed shape, no argument to this
+ *  tool makes it not write. */
+function describeAction(args) {
+    const summary = args["summary"];
+    const files = args["files"];
+    if (typeof summary !== "string" || !Array.isArray(files) || files.length === 0)
+        return undefined;
+    return (`record a confirmed incident — "${summary}" — correlated to ${files.length} file(s) ` +
+        `(${files.slice(0, 3).join(", ")}${files.length > 3 ? ", …" : ""}). It is written to ` +
+        ".descry/config.json and projected into the graph, where it will bias future blast radii " +
+        "toward those files and can be matched against future failures. Capped at reliability class B.");
+}
+export const markIncidentTool = {
+    name: "mark_incident",
+    class: "action",
+    tier: "evidence",
+    version: "1.0.0",
+    title: "Record a bug you just fixed, so a future failure can match against it",
+    description: "Record a defect and the files it lived in, so similar_incidents can match future failures " +
+        "against it. Capped at reliability B. Gated: first call returns a token; call again with " +
+        "\"confirmToken\" to record it.",
+    inputSchema: SCHEMA,
+    run,
+    describeAction,
+};
+//# sourceMappingURL=mark-incident.js.map

package/dist/tools/mark-incident.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mark-incident.js","sourceRoot":"","sources":["../../src/tools/mark-incident.ts"],"names":[],"mappings":"AAAA;;;;iJAIiJ;AAEjJ,OAAO,EACL,UAAU,EACV,mBAAmB,EACnB,6BAA6B,EAC7B,gCAAgC,EAChC,YAAY,EACZ,YAAY,GACb,MAAM,eAAe,CAAC;AAGvB,OAAO,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EACL,MAAM,EACN,cAAc,EACd,mBAAmB,EACnB,cAAc,EACd,cAAc,GAGf,MAAM,UAAU,CAAC;AAuBlB,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,OAAO,EAAE;YACP,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,mFAAmF;SACjG;QACD,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,QAAQ,EAAE,CAAC;YACX,WAAW,EAAE,gFAAgF;SAC9F;QACD,SAAS,EAAE;YACT,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,yCAAyC;SACvD;QACD,aAAa,EAAE;YACb,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,iCAAiC;SAC/C;QACD,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,mBAAmB;SACjC;QACD,YAAY,EAAE;YACZ,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,yFAAyF;SACvG;KACF;IACD,QAAQ,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC;IAC9B,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAEX,KAAK,UAAU,GAAG,CAAC,IAA6B,EAAE,GAAgB;IAChE,MAAM,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC;IACxB,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,cAAc,CACtB,6FAA6F;YAC3F,2EAA2E,CAC9E,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACpD,MAAM,aAAa,GAAG,cAAc,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,MAAM,CAAC;IAElE,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,IAAI,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAsB;QAClC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI;QACzB,OAAO;QACP,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;QACjC,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;QACjD,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC;QACzD,WAAW;QACX,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACtC,CAAC;IAEF,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC;IACtC,sFAAsF;IACtF,iEAAiE;IACjE,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,GAAG,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAE1E,GAAG,CAAC,QAAQ,CAAC,4BAA4B,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAEzE,uFAAuF;IACvF,iGAAiG;IACjG,GAAG,CAAC,QAAQ,CAAC,8BAA8B,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,MAAM,6BAA6B,CAAC;QAChD,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI;QACzB,6DAA6D;QAC7D,sEAAsE;QACtE,0EAA0E;QAC1E,uDAAuD;QACvD,SAAS,EAAE,OAAO,CAAC,OAAO;KAC3B,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAW,CAAC,CAAC;IAE3B,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC,CAAC;IACrG,YAAY,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IACrC,2EAA2E;IAC3E,wEAAwE;IACxE,yEAAyE;IACzE,wEAAwE;IACxE,iEAAiE;IACjE,gCAAgC,CAC9B,MAAM,EACN,KAAK,CAAC,UAAU,EAChB,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACvF,CAAC;IAEF,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,SAAS,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAa;QACtB,gGAAgG;YAC9F,8FAA8F;YAC9F,6BAA6B;QAC/B,yBAAyB,OAAO,CAAC,IAAI,wDAAwD;YAC3F,qFAAqF;KACxF,CAAC;IACF,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CACR,wFAAwF;YACtF,wFAAwF;YACxF,qBAAqB,CACxB,CAAC;IACJ,CAAC;IACD,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CACR,GAAG,eAAe,CAAC,MAAM,kDAAkD;YACzE,IAAI,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,gDAAgD;YAC1F,uFAAuF;YACvF,6DAA6D,CAChE,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CACR,oFAAoF;YAClF,cAAc,OAAO,CAAC,WAAW,0DAA0D;YAC3F,yFAAyF;YACzF,0FAA0F;YAC1F,uEAAuE,CAC1E,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAmB;QAC9B,QAAQ,EAAE,OAAO,CAAC,MAAM;YACtB,CAAC,CAAC,oBAAoB,OAAO,CAAC,MAAM,CAAC,IAAI,kDAAkD;gBACzF,GAAG,OAAO,CAAC,WAAW,mBAAmB,QAAQ,CAAC,KAAK,CAAC,MAAM,sBAAsB;gBACpF,GAAG,OAAO,CAAC,KAAK,mCAAmC;YACrD,CAAC,CAAC,2BAA2B,OAAO,CAAC,MAAM,CAAC,IAAI,mBAAmB,QAAQ,CAAC,KAAK,CAAC,MAAM,YAAY;gBAClG,GAAG,OAAO,CAAC,KAAK,uCAAuC;QAC3D,+FAA+F;QAC/F,SAAS,EAAE,IAAI;QACf,qFAAqF;QACrF,sFAAsF;QACtF,eAAe,EAAE,CAAC;QAClB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,KAAK;QACL,IAAI,EAAE;YACJ,2EAA2E;YAC3E,yEAAyE;YACzE,uDAAuD;YACvD,QAAQ,EAAE,OAAO,CAAC,MAAM;YACxB,cAAc,EAAE,mBAAmB,CACjC,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,EAAE,EACrG,QAAQ,CACT;YACD,UAAU,EAAE,OAAO,CAAC,IAAI;YACxB,cAAc,EAAE,OAAO,CAAC,KAAK;YAC7B,eAAe;YACf,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,WAAW,EAAE,OAAO,CAAC,WAAW;SACjC;KACF,CAAC,CAAC;AACL,CAAC;AAED;+BAC+B;AAC/B,SAAS,cAAc,CAAC,IAA6B;IACnD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5B,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACjG,OAAO,CACL,kCAAkC,OAAO,qBAAqB,KAAK,CAAC,MAAM,WAAW;QACrF,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,sBAAsB;QACtF,0FAA0F;QAC1F,+FAA+F,CAChG,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAmB;IAC9C,IAAI,EAAE,eAAe;IACrB,KAAK,EAAE,QAAQ;IACf,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,uEAAuE;IAC9E,WAAW,EACT,4FAA4F;QAC5F,0FAA0F;QAC1F,gCAAgC;IAClC,WAAW,EAAE,MAA4C;IACzD,GAAG;IACH,cAAc;CACf,CAAC"}

package/dist/tools/merged-browser.d.ts

@@ -0,0 +1,11 @@
+/**
+ * The registration surface for the `browser` merge — one file the index and
+ * the alias table both import from, so the tool and its eight retired names
+ * cannot drift apart (add a verb here and both sides see it in the same
+ * change).
+ */
+import { type ToolAlias } from "./alias-kit.ts";
+import type { ToolDefinition } from "./kit.ts";
+export declare const BROWSER_GROUP_TOOLS: readonly ToolDefinition[];
+export declare const BROWSER_GROUP_ALIASES: readonly (readonly [string, ToolAlias])[];
+//# sourceMappingURL=merged-browser.d.ts.map

package/dist/tools/merged-browser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merged-browser.d.ts","sourceRoot":"","sources":["../../src/tools/merged-browser.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAY,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAE/C,eAAO,MAAM,mBAAmB,EAAE,SAAS,cAAc,EAAkB,CAAC;AAE5E,eAAO,MAAM,qBAAqB,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,EAS1E,CAAC"}

package/dist/tools/merged-browser.js

@@ -0,0 +1,20 @@
+/**
+ * The registration surface for the `browser` merge — one file the index and
+ * the alias table both import from, so the tool and its eight retired names
+ * cannot drift apart (add a verb here and both sides see it in the same
+ * change).
+ */
+import { browserTool } from "./browser.js";
+import { withVerb } from "./alias-kit.js";
+export const BROWSER_GROUP_TOOLS = [browserTool];
+export const BROWSER_GROUP_ALIASES = [
+    ["browser_start_session", { to: "browser", args: withVerb("start_session") }],
+    ["browser_click", { to: "browser", args: withVerb("click") }],
+    ["browser_type", { to: "browser", args: withVerb("type") }],
+    ["browser_fill", { to: "browser", args: withVerb("fill") }],
+    ["browser_select", { to: "browser", args: withVerb("select") }],
+    ["browser_submit", { to: "browser", args: withVerb("submit") }],
+    ["browser_save_scenario", { to: "browser", args: withVerb("save_scenario") }],
+    ["browser_run_scenario", { to: "browser", args: withVerb("run_scenario") }],
+];
+//# sourceMappingURL=merged-browser.js.map

package/dist/tools/merged-browser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merged-browser.js","sourceRoot":"","sources":["../../src/tools/merged-browser.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAkB,MAAM,gBAAgB,CAAC;AAG1D,MAAM,CAAC,MAAM,mBAAmB,GAA8B,CAAC,WAAW,CAAC,CAAC;AAE5E,MAAM,CAAC,MAAM,qBAAqB,GAA8C;IAC9E,CAAC,uBAAuB,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;IAC7E,CAAC,eAAe,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;IAC7D,CAAC,cAAc,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;IAC3D,CAAC,cAAc,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;IAC3D,CAAC,gBAAgB,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC/D,CAAC,gBAAgB,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC/D,CAAC,uBAAuB,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;IAC7E,CAAC,sBAAsB,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;CAC5E,CAAC"}

package/dist/tools/merged-context.d.ts

@@ -0,0 +1,11 @@
+/**
+ * The three merged tools from mcp-surface-consolidation.md groups 1–3, and
+ * the seven aliases that let their retired names keep dispatching (aliases.ts's
+ * `TOOL_ALIASES` — not wired here; the integrator adds these entries to that
+ * map in the same change that removes the seven old tools from `TOOLS`).
+ */
+import { type ToolAlias } from "./alias-kit.ts";
+import type { ToolDefinition } from "./kit.ts";
+export declare const CONTEXT_GROUP_TOOLS: readonly ToolDefinition[];
+export declare const CONTEXT_GROUP_ALIASES: readonly (readonly [string, ToolAlias])[];
+//# sourceMappingURL=merged-context.d.ts.map

package/dist/tools/merged-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merged-context.d.ts","sourceRoot":"","sources":["../../src/tools/merged-context.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAKH,OAAO,EAAY,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAE/C,eAAO,MAAM,mBAAmB,EAAE,SAAS,cAAc,EAAsD,CAAC;AAEhH,eAAO,MAAM,qBAAqB,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,EAQ1E,CAAC"}

package/dist/tools/merged-context.js

@@ -0,0 +1,21 @@
+/**
+ * The three merged tools from mcp-surface-consolidation.md groups 1–3, and
+ * the seven aliases that let their retired names keep dispatching (aliases.ts's
+ * `TOOL_ALIASES` — not wired here; the integrator adds these entries to that
+ * map in the same change that removes the seven old tools from `TOOLS`).
+ */
+import { codeContextTool } from "./code-context.js";
+import { disclosureTool } from "./disclosure.js";
+import { gitContextTool } from "./git-context.js";
+import { withVerb } from "./alias-kit.js";
+export const CONTEXT_GROUP_TOOLS = [codeContextTool, gitContextTool, disclosureTool];
+export const CONTEXT_GROUP_ALIASES = [
+    ["impact", { to: "code_context", args: withVerb("impact") }],
+    ["history", { to: "code_context", args: withVerb("history") }],
+    ["propagation", { to: "code_context", args: withVerb("propagation") }],
+    ["get_git_diff", { to: "git_context", args: withVerb("diff") }],
+    ["get_git_history", { to: "git_context", args: withVerb("log") }],
+    ["verification_status", { to: "disclosure", args: withVerb("coverage") }],
+    ["refusal_fetch", { to: "disclosure", args: withVerb("unresolved") }],
+];
+//# sourceMappingURL=merged-context.js.map

package/dist/tools/merged-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merged-context.js","sourceRoot":"","sources":["../../src/tools/merged-context.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAkB,MAAM,gBAAgB,CAAC;AAG1D,MAAM,CAAC,MAAM,mBAAmB,GAA8B,CAAC,eAAe,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC;AAEhH,MAAM,CAAC,MAAM,qBAAqB,GAA8C;IAC9E,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC5D,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;IAC9D,CAAC,aAAa,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;IACtE,CAAC,cAAc,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;IAC/D,CAAC,iBAAiB,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;IACjE,CAAC,qBAAqB,EAAE,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;IACzE,CAAC,eAAe,EAAE,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;CACtE,CAAC"}

package/dist/tools/merged-observe.d.ts

@@ -0,0 +1,13 @@
+/**
+ * The two tools `observe.ts` and `browser-read.ts` produce, plus the alias table redirecting the
+ * six retired names they absorb (documents/plans/mcp-surface-consolidation.md, groups 1 and 2).
+ *
+ * `index.ts` and `aliases.ts` are the integrator's to wire — this file only assembles what those
+ * two modules need: `OBSERVE_GROUP_TOOLS` to add to `TOOLS`, `OBSERVE_GROUP_ALIASES` to add to
+ * `TOOL_ALIASES` (see `aliases.ts`'s own doc for why a retired name answers but is not listed).
+ */
+import { type ToolAlias } from "./alias-kit.ts";
+import type { ToolDefinition } from "./kit.ts";
+export declare const OBSERVE_GROUP_TOOLS: readonly ToolDefinition[];
+export declare const OBSERVE_GROUP_ALIASES: readonly (readonly [string, ToolAlias])[];
+//# sourceMappingURL=merged-observe.d.ts.map

package/dist/tools/merged-observe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merged-observe.d.ts","sourceRoot":"","sources":["../../src/tools/merged-observe.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAY,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAI/C,eAAO,MAAM,mBAAmB,EAAE,SAAS,cAAc,EAAmC,CAAC;AAE7F,eAAO,MAAM,qBAAqB,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,EAO1E,CAAC"}

package/dist/tools/merged-observe.js

@@ -0,0 +1,21 @@
+/**
+ * The two tools `observe.ts` and `browser-read.ts` produce, plus the alias table redirecting the
+ * six retired names they absorb (documents/plans/mcp-surface-consolidation.md, groups 1 and 2).
+ *
+ * `index.ts` and `aliases.ts` are the integrator's to wire — this file only assembles what those
+ * two modules need: `OBSERVE_GROUP_TOOLS` to add to `TOOLS`, `OBSERVE_GROUP_ALIASES` to add to
+ * `TOOL_ALIASES` (see `aliases.ts`'s own doc for why a retired name answers but is not listed).
+ */
+import { withVerb } from "./alias-kit.js";
+import { observeTool } from "./observe.js";
+import { browserReadTool } from "./browser-read.js";
+export const OBSERVE_GROUP_TOOLS = [observeTool, browserReadTool];
+export const OBSERVE_GROUP_ALIASES = [
+    ["observe_runtime", { to: "observe", args: withVerb("runtime") }],
+    ["observe_tests", { to: "observe", args: withVerb("tests") }],
+    ["browser_snapshot", { to: "browser_read", args: withVerb("snapshot") }],
+    ["browser_navigate", { to: "browser_read", args: withVerb("navigate") }],
+    ["browser_wait_for", { to: "browser_read", args: withVerb("wait_for") }],
+    ["browser_close_session", { to: "browser_read", args: withVerb("close") }],
+];
+//# sourceMappingURL=merged-observe.js.map

package/dist/tools/merged-observe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merged-observe.js","sourceRoot":"","sources":["../../src/tools/merged-observe.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAkB,MAAM,gBAAgB,CAAC;AAE1D,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,MAAM,CAAC,MAAM,mBAAmB,GAA8B,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC;AAE7F,MAAM,CAAC,MAAM,qBAAqB,GAA8C;IAC9E,CAAC,iBAAiB,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;IACjE,CAAC,eAAe,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;IAC7D,CAAC,kBAAkB,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;IACxE,CAAC,kBAAkB,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;IACxE,CAAC,kBAAkB,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;IACxE,CAAC,uBAAuB,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;CAC3E,CAAC"}

package/dist/tools/merged-workspace.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Assembles what the registry and the alias table need from this session's
+ * two merges (documents/plans/mcp-surface-consolidation.md §2, groups 1 and
+ * 2): `workspace` (absorbs `analyze`, `analyze_workspace`, `link_workspace`)
+ * and `change_scope` (absorbs `scope`, `pre_push`), plus the five retired
+ * names that now answer through them. Wiring this into `tools/index.ts` and
+ * `tools/aliases.ts` happens elsewhere — this module only assembles the
+ * pieces those need.
+ */
+import type { ToolDefinition } from "./kit.ts";
+import { type ToolAlias } from "./alias-kit.ts";
+export declare const WORKSPACE_GROUP_TOOLS: readonly ToolDefinition[];
+export declare const WORKSPACE_GROUP_ALIASES: readonly (readonly [string, ToolAlias])[];
+//# sourceMappingURL=merged-workspace.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"merged-workspace.d.ts","sourceRoot":"","sources":["../../src/tools/merged-workspace.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAC/C,OAAO,EAAY,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAK1D,eAAO,MAAM,qBAAqB,EAAE,SAAS,cAAc,EAAqC,CAAC;AAEjG,eAAO,MAAM,uBAAuB,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,EAM5E,CAAC"}

package/dist/tools/merged-workspace.js

@@ -0,0 +1,21 @@
+/**
+ * Assembles what the registry and the alias table need from this session's
+ * two merges (documents/plans/mcp-surface-consolidation.md §2, groups 1 and
+ * 2): `workspace` (absorbs `analyze`, `analyze_workspace`, `link_workspace`)
+ * and `change_scope` (absorbs `scope`, `pre_push`), plus the five retired
+ * names that now answer through them. Wiring this into `tools/index.ts` and
+ * `tools/aliases.ts` happens elsewhere — this module only assembles the
+ * pieces those need.
+ */
+import { withVerb } from "./alias-kit.js";
+import { workspaceTool } from "./workspace.js";
+import { changeScopeTool } from "./change-scope.js";
+export const WORKSPACE_GROUP_TOOLS = [workspaceTool, changeScopeTool];
+export const WORKSPACE_GROUP_ALIASES = [
+    ["analyze", { to: "workspace", args: withVerb("analyze") }],
+    ["analyze_workspace", { to: "workspace", args: withVerb("index") }],
+    ["link_workspace", { to: "workspace", args: withVerb("link") }],
+    ["scope", { to: "change_scope", args: withVerb("diff") }],
+    ["pre_push", { to: "change_scope", args: withVerb("pre_push") }],
+];
+//# sourceMappingURL=merged-workspace.js.map

package/dist/tools/merged-workspace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merged-workspace.js","sourceRoot":"","sources":["../../src/tools/merged-workspace.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,QAAQ,EAAkB,MAAM,gBAAgB,CAAC;AAE1D,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,MAAM,CAAC,MAAM,qBAAqB,GAA8B,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;AAEjG,MAAM,CAAC,MAAM,uBAAuB,GAA8C;IAChF,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;IAC3D,CAAC,mBAAmB,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;IACnE,CAAC,gBAAgB,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;IAC/D,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;IACzD,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;CACjE,CAAC"}

package/dist/tools/observe-runtime.d.ts

@@ -0,0 +1,262 @@
+/**
+ * `observe_runtime` — boot or attach to a real application, write what was witnessed into the
+ * graph as R4 facts. Composes existing descry-runtime stages, no new mechanism (DEC-NEXT-mcp-
+ * runtime-dependency-boundary-for-r4-evidence). `action`/`evidence` (DEC-278), gated by
+ * confirmToken + profile safetyLevel (DEC-270). Never emits a denial. */
+import type { SignalTypeCount } from "@descryy/ir";
+import { type SqlDriver } from "@descryy/core";
+import type { Evidence, FilesystemPolicy, NetworkPolicy, ProcessHandle, ResourceLimits, ServiceConfiguration } from "@descryy/runtime-contracts";
+import type { RunOptions } from "@descryy/runtime-controller";
+import { type PostgresStatementLogSource } from "@descryy/runtime-database-observation";
+import type { EnvironmentProfile } from "@descryy/runtime-environment-profile";
+import { EvidenceStore } from "@descryy/runtime-evidence-store";
+import { type ToolContext, type ToolDefinition } from "./kit.ts";
+import { type JourneyDriveOutcome } from "./runtime-journey-drive.ts";
+import type { ToolAnswer } from "../render.ts";
+import { type RuntimeAdapterSpec } from "../runtime-registry.ts";
+import { type SavedServiceStart, type SavedStart } from "../session.ts";
+/** One service's readiness declaration, derived from RunOptions rather than imported by
+ *  name — @descryy/runtime-controller doesn't export ServiceReadinessSpec, and deriving
+ *  can't drift from what run() actually accepts, because it *is* what run() accepts. */
+type ServiceReadinessSpec = RunOptions["readiness"][string];
+/** Where evidence lands when the call does not say. Beside the graph, not inside it. */
+export declare const DEFAULT_EVIDENCE_RELATIVE_PATH: string;
+/** What one declared service did, from Execution.processes — not ServiceStartResult, which
+ *  runInstrumentedExecution doesn't return. No ProcessHandle means never-started;
+ *  `executionState` (FAILED_START) says why when known. */
+export interface ObservedService {
+    readonly service: string;
+    /** False when no process handle exists for it at all — it never started. */
+    readonly started: boolean;
+    /** True when this service was attached to rather than spawned. Governs the safety gate — see the header. */
+    readonly attached: boolean;
+    /** The port it actually bound, when it listens on one. Null for a non-network process or before the port is known. */
+    readonly port: number | null;
+    /** Null while still running. Set once it exited and was reaped. */
+    readonly exitedAt: string | null;
+    readonly exitCode: number | null;
+    /** Non-null means killed by this signal, whatever `exitCode` says. */
+    readonly signal: string | null;
+    /**
+     * What this service printed (stdout+stderr) before the run failed, or null
+     * when nothing was captured for it.
+     *
+     * Populated only on a failed run: a healthy dev server's boot log is large,
+     * uninteresting, and would crowd out every other field. Null and `""` are
+     * different answers — `""` is "it ran and said nothing", null is "there is
+     * no capture to show", and the second means look somewhere else.
+     *
+     * This is the field whose absence let a bare `exitCode: 126` be read as a
+     * nested-sandbox failure. It never was one: `prlimit` exits 126 for "found
+     * but not executable" and writes the reason here, while bwrap exits 1 for
+     * every namespace failure there is.
+     */
+    readonly startupOutput: string | null;
+    /** True when `startupOutput` is the tail of a longer capture — so a reader never mistakes a clipped log for the whole of it. */
+    readonly startupOutputTruncated: boolean;
+}
+/** What the correlation pass resolved, by family — counts, not rows (a long run produces
+ *  thousands of items). Rows themselves live in the evidence store, keyed by executionId. */
+export interface CorrelationSummary {
+    readonly considered: number;
+    readonly skipped: number;
+    readonly attributed: number;
+    readonly refused: number;
+    /** Service names carrying symbol evidence no scope named a repository for. Named, never guessed at. */
+    readonly unscopedServices: readonly string[];
+    /** Non-empty means the correlation machinery itself broke, not that it looked and found nothing. */
+    readonly harnessErrors: readonly string[];
+}
+/** The R4 write, in applyRuntimeObservations's own six-way vocabulary so a reader can
+ *  account for every observation without inspecting the store. */
+export interface RuntimeWriteSummary {
+    /** Edges the graph already held below R4, now witnessed and raised to R4. */
+    readonly promoted: readonly string[];
+    /** Edges no static producer found, minted at R4 — §11B.3's "recall gap closed". */
+    readonly created: readonly string[];
+    /** Already at R4 and observed again. Reported, never silently dropped. */
+    readonly confirmed: readonly string[];
+    /** Observations the graph declined to act on, with the resolver's own reason. */
+    readonly refused: readonly string[];
+    /** Always empty today — this tool emits no denial (see header) — kept visible rather
+     *  than unstated. */
+    readonly contradictions: readonly string[];
+    /** A denial aimed at an edge already at R4. Out of scope by construction; reported, not laundered. */
+    readonly staleR4: readonly string[];
+    /** Always empty today, same as `contradictions` above and for the same reason (see header:
+     *  this tool emits no denial) — kept visible rather than unstated. Would carry a denial that
+     *  also landed on an edge a human confirmed (`attrs.humanAsserted`, DEC-223): named separately
+     *  from `contradictions` because the two are different situations, not auto-resolved either
+     *  way. See `applyRuntimeObservations`'s `confirmedFactConflict`. */
+    readonly confirmedFactConflict: readonly string[];
+    /**
+     * Non-null when this run both reached an endpoint (attributed without its own
+     * call-site stack) and, separately, resolved at least one call-site stack to a
+     * real function elsewhere in the same run's evidence — real signal on two
+     * different evidence records that this pass did not join into an edge. See
+     * `writeObservations`'s own doc for why joining them would risk a wrong-direction
+     * edge rather than a missing one. Null when no such split existed this run.
+     */
+    readonly unjoinedSplitEvidence: string | null;
+}
+/**
+ * RG-5(c) — what the database channel did on this call. `observed: false`
+ * always carries a `disclosure` naming why (rule 7); `observed: true` carries
+ * `disclosure: null`. Covers both halves this tool wires: the node:sqlite
+ * preload's read-back (`recordCount` counts real captured queries either
+ * way) and the Postgres statement-log tail, when `database.statementLog` was
+ * declared.
+ */
+export interface DatabaseChannelObservation {
+    readonly observed: boolean;
+    readonly disclosure: string | null;
+    readonly recordCount: number;
+}
+export interface ObserveRuntimeData {
+    /** Null when the run never started — see `services` and the disclosures for why. */
+    readonly executionId: string | null;
+    /** The controller's own terminal state for this execution. */
+    readonly executionState: string | null;
+    /** `RuntimeAdapter.language`, passed through verbatim. Nothing here branches on it (rule 1). */
+    readonly adapterLanguage: string | null;
+    readonly evidencePath: string;
+    readonly services: readonly ObservedService[];
+    /** Every evidence item this run wrote, by `eventType`. */
+    readonly evidenceByType: Readonly<Record<string, number>>;
+    readonly correlation: CorrelationSummary | null;
+    readonly wrote: RuntimeWriteSummary;
+    /** RG-4/RG-6 — non-null only when "journey" was declared and the run reached its readiness
+     *  window. Null means no journey was declared, or the run never got that far — never
+     *  fabricated as an empty-but-"ran" outcome. See `runtime-journey-drive.ts`. */
+    readonly journey: JourneyDriveOutcome | null;
+    /**
+     * RG-5(c). Null only on a refusal path that never attempted this channel
+     * at all (nothing spawned) — a different fact from a channel that ran and
+     * observed nothing, which is `{observed: false, ...}`.
+     */
+    readonly database: DatabaseChannelObservation | null;
+}
+/** One service's declaration, resolved against the repository root. */
+interface DeclaredService {
+    readonly name: string;
+    readonly configuration: ServiceConfiguration;
+    readonly readiness: ServiceReadinessSpec;
+    readonly attached: boolean;
+    /** The shape `writeSavedStart` persists for this service — built once, here, rather than
+     *  re-derived from `configuration` later: `configuration.env` holds real values, and the
+     *  point of a separate shape is that nothing downstream can accidentally write one to disk. */
+    readonly savable: SavedServiceStart;
+}
+/** RG-4's `journey` option — see the schema's own doc. Declared shape only; resolving a named
+ *  scenario file and projecting it onto steps happens in `run()`, which is async and has the
+ *  repo path this parse-only function does not need. */
+export interface DeclaredJourney {
+    readonly service: string | undefined;
+    readonly scenarioName: string | undefined;
+    readonly startUrl: string | undefined;
+    readonly recordVideo: boolean | undefined;
+    readonly headless: boolean | undefined;
+    readonly settleForMs: number | undefined;
+}
+/** RG-5(c)'s `database` option — see the schema's own doc. `undefined` means no Postgres
+ *  channel was declared at all, the "channel absent" case the reply must disclose. */
+export interface DeclaredDatabaseChannel {
+    readonly statementLog: PostgresStatementLogSource;
+    readonly service: string | undefined;
+}
+export declare function readArguments(args: Record<string, unknown>, repoPath: string, savedStart?: SavedStart): {
+    readonly profile: EnvironmentProfile;
+    readonly adapterSpec: RuntimeAdapterSpec;
+    readonly declared: readonly DeclaredService[];
+    /** True when "services" was omitted and this call fell back to a prior successful run's
+     *  saved settings (build item 3) — false whenever the caller supplied its own, even if
+     *  they happen to be identical to what is saved. */
+    readonly usedSavedServices: boolean;
+    /** Saved environment-variable names (never values — see `SavedServiceStart`) with nothing
+     *  currently set under them in this process. Empty whenever `usedSavedServices` is false. */
+    readonly missingSavedEnv: readonly string[];
+    readonly observeForMs: number;
+    readonly timeoutMs: number;
+    readonly fidelityRaw: number;
+    readonly environmentTier: string;
+    readonly evidencePath: string;
+    readonly resourceLimits: ResourceLimits | undefined;
+    readonly filesystemPolicy: FilesystemPolicy | undefined;
+    readonly networkPolicy: NetworkPolicy | undefined;
+    readonly sandboxBackend: "bwrap" | "container" | undefined;
+    readonly journey: DeclaredJourney | undefined;
+    readonly database: DeclaredDatabaseChannel | undefined;
+};
+/** Exported so `observe.ts` can dispatch the "runtime" verb to this exact body — the merge
+ *  reuses this function rather than reimplementing it (mcp-surface-consolidation.md). */
+export declare function run(args: Record<string, unknown>, ctx: ToolContext): Promise<ToolAnswer<ObserveRuntimeData>>;
+/**
+ * The tail of a failed service's captured output that survives into the reply.
+ *
+ * Tail rather than head: a process that dies prints its reason last, so
+ * clipping from the front is the one choice guaranteed to discard the line this
+ * field exists to carry.
+ */
+export declare const STARTUP_OUTPUT_TAIL_LIMIT = 4000;
+/** One row per **declared** service, not per spawned process — a never-started service
+ *  appears with `started: false` rather than vanishing ("it did nothing" vs "it never ran").
+ *
+ *  `startupOutput` is keyed by service name. Callers pass `{}` for a run that did
+ *  not fail; the policy lives at the call site, where the outcome is known, rather
+ *  than in here. Exported for `observe-runtime-startup-output.test.ts`, which pins
+ *  the mapping without needing a runtime new enough to produce real output. */
+export declare function describeServices(processes: readonly ProcessHandle[], declared: readonly {
+    readonly name: string;
+    readonly attached: boolean;
+}[], startupOutput?: Readonly<Record<string, string>>): readonly ObservedService[];
+/** The two fields the channel mapping reads. Narrower than Evidence on purpose: observe_tests
+ *  counts channels before its evidence has an evidenceId/executionId — this lets both tools
+ *  share one implementation rather than a cast that hides the unused fields. */
+type WitnessableEvidence = Pick<Evidence, "eventType" | "source">;
+/** `E` for this run — channels actually seen, via @descryy/ir's independentSignalTypes
+ *  (clamp-to-six and null-drop are that function's rules, not duplicated here). Exported for
+ *  its own test — this mapping decides `strongly supported` vs `unconfirmed`. */
+export declare function witnessedSignalTypes(evidence: readonly WitnessableEvidence[]): SignalTypeCount;
+/**
+ * The R4 write, and the one join this tool performs: for every evidence item resolved to an
+ * endpoint that also carries a call-site stack, ask confirmObservedFrontendCaller. Both come
+ * from one observation — nothing here pairs two separate evidence items, on purpose.
+ *
+ * A stack resolved on some OTHER evidence item (`family === "symbol"`, e.g. a BACKEND_LOG or
+ * EXCEPTION line elsewhere in the same run) is never joined to an endpoint item that lacks its
+ * own stack, even when both exist in the same run's evidence. `resolveObservedFrontendCaller`
+ * takes a stack on faith as "the call site that reached this endpoint" — it does not itself
+ * verify the direction, so the caller supplying the wrong stack is exactly how a wrong edge
+ * gets minted at R4 with full confidence. Nothing on `Evidence` disambiguates that direction
+ * for a cross-record pair: `traceId`/`requestId` can say two items belong to the same request,
+ * never that the stack-bearing one is the endpoint's CALLER rather than code running inside its
+ * own handling of that same request — which is the common shape (a handler's own exception
+ * stack, correlated to the request it was handling, not to whoever issued it). Joining on that
+ * key would systematically mint edges in the SERVES direction mislabelled as CALLS/USES_API —
+ * worse than the gap disclosed below (rule 2). So this is measured and reported via
+ * `unjoinedSplitEvidence`, never inferred into an edge.
+ */
+export declare function writeObservations(input: {
+    readonly driver: SqlDriver;
+    readonly pass: {
+        readonly attributed: readonly {
+            readonly evidenceId: string;
+            readonly graphNodeId: string;
+            readonly family: string;
+        }[];
+    };
+    readonly evidenceStore: EvidenceStore;
+    readonly repo: string;
+    readonly repoRoot: string;
+    readonly runId: string;
+    readonly commitSha: string;
+}): RuntimeWriteSummary;
+/** §7's `willDo` — and, since readArguments runs first, where an invalid call is refused.
+ *  Always returns a string, never undefined: unlike `questions`, no call here has nothing
+ *  to confirm. Reads the *parsed* services so the confirmation sentence matches the run exactly. */
+/** Exported for the same reason as `run` above — `observe.ts` dispatches the "runtime" verb's
+ *  consent sentence to this exact function. */
+export declare function describeAction(args: Record<string, unknown>, ctx: ToolContext): string;
+export declare const observeRuntimeTool: ToolDefinition;
+export {};
+//# sourceMappingURL=observe-runtime.d.ts.map