@isaacriehm/cairn-core 0.1.0

package/dist/mcp/tools/drop-task.d.ts

@@ -0,0 +1,12 @@
+import type { ToolDef } from "./types.js";
+interface Input {
+    title: string;
+    body: string;
+    intent: "run_pilot" | "review_module" | "fix_issue" | "eval" | "staleness_scan" | "unknown";
+    target_path_globs?: string[];
+    priority?: number;
+    parent_task_id?: string;
+    source?: string;
+}
+export declare const dropTaskTool: ToolDef<Input>;
+export {};

package/dist/mcp/tools/drop-task.js

@@ -0,0 +1,68 @@
+import { mkdirSync, writeFileSync } from "node:fs";
+import { join } from "node:path";
+import { stringify as stringifyYaml } from "yaml";
+import { writeInvalidationEvent } from "../../events/index.js";
+import { withWriteLock } from "../../lock.js";
+import { requireBootstrap } from "../bootstrap-guard.js";
+import { dropTaskInput } from "../schemas.js";
+async function handler(ctx, input) {
+    const block = requireBootstrap(ctx.repoRoot);
+    if (block !== null)
+        return block;
+    return withWriteLock(ctx.repoRoot, () => {
+        const today = new Date().toISOString().slice(0, 10);
+        const slug = input.title
+            .toLowerCase()
+            .replace(/[^a-z0-9]+/g, "-")
+            .replace(/^-+|-+$/g, "")
+            .slice(0, 60);
+        // ms-suffix gives uniqueness when the same agent files multiple tasks per second.
+        const id = `TSK-${today}-${slug || "task"}-${Date.now() % 100000}`;
+        const dir = join(ctx.repoRoot, ".cairn", "tasks", "active", id);
+        mkdirSync(dir, { recursive: true });
+        const frontmatter = {
+            id,
+            type: "spec",
+            status: "tightening",
+            audience: "dual",
+            generated: new Date().toISOString(),
+            source: input.source ?? "agent_spawned",
+            intent: input.intent,
+            priority: input.priority ?? 5,
+            ...(input.parent_task_id !== undefined ? { parent_task_id: input.parent_task_id } : {}),
+            ...(input.target_path_globs !== undefined
+                ? { target_path_globs: input.target_path_globs }
+                : {}),
+            trust_class: "code",
+        };
+        const spec = `---\n${stringifyYaml(frontmatter)}---\n\n# ${input.title}\n\n${input.body}\n`;
+        writeFileSync(join(dir, "spec.md"), spec, "utf8");
+        const status = {
+            phase: "tightening",
+            attempts: 0,
+            last_event_at: new Date().toISOString(),
+            queued_position: null,
+            related_run_ids: [],
+        };
+        writeFileSync(join(dir, "status.yaml"), stringifyYaml(status), "utf8");
+        try {
+            writeInvalidationEvent(ctx.repoRoot, {
+                kind: "task_created",
+                refs: [{ kind: "task", id }],
+                path: `.cairn/tasks/active/${id}/spec.md`,
+                source: { session_id: ctx.sessionId ?? null, tool: "cairn_drop_task" },
+            });
+        }
+        catch {
+            // Event emission must never roll back the task spec write.
+        }
+        return { ok: true, id, path: `.cairn/tasks/active/${id}/spec.md` };
+    });
+}
+export const dropTaskTool = {
+    name: "cairn_drop_task",
+    description: "Create a new active task — writes spec.md + status.yaml under .cairn/tasks/active/<id>/. Used by spec-planner subagent. Operator-issued tasks come via the frontend adapter, not this tool.",
+    inputSchema: dropTaskInput,
+    handler,
+};
+//# sourceMappingURL=drop-task.js.map

package/dist/mcp/tools/drop-task.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"drop-task.js","sourceRoot":"","sources":["../../../src/mcp/tools/drop-task.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,SAAS,IAAI,aAAa,EAAE,MAAM,MAAM,CAAC;AAElD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAa9C,KAAK,UAAU,OAAO,CAAC,GAAe,EAAE,KAAY;IAClD,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACjC,OAAO,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK;aACrB,WAAW,EAAE;aACb,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;aAC3B,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;aACvB,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChB,kFAAkF;QAClF,MAAM,EAAE,GAAG,OAAO,KAAK,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,MAAM,EAAE,CAAC;QACnE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;QAChE,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAEpC,MAAM,WAAW,GAAG;YAClB,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,YAAY;YACpB,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,eAAe;YACvC,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,CAAC;YAC7B,GAAG,CAAC,KAAK,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvF,GAAG,CAAC,KAAK,CAAC,iBAAiB,KAAK,SAAS;gBACvC,CAAC,CAAC,EAAE,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,EAAE;gBAChD,CAAC,CAAC,EAAE,CAAC;YACP,WAAW,EAAE,MAAM;SACpB,CAAC;QAEF,MAAM,IAAI,GAAG,QAAQ,aAAa,CAAC,WAAW,CAAC,YAAY,KAAK,CAAC,KAAK,OAAO,KAAK,CAAC,IAAI,IAAI,CAAC;QAC5F,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAElD,MAAM,MAAM,GAAG;YACb,KAAK,EAAE,YAAY;YACnB,QAAQ,EAAE,CAAC;YACX,aAAa,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACvC,eAAe,EAAE,IAAI;YACrB,eAAe,EAAE,EAAE;SACpB,CAAC;QACF,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;QAEvE,IAAI,CAAC;YACH,sBAAsB,CAAC,GAAG,CAAC,QAAQ,EAAE;gBACnC,IAAI,EAAE,cAAc;gBACpB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;gBAC5B,IAAI,EAAE,uBAAuB,EAAE,UAAU;gBACzC,MAAM,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,SAAS,IAAI,IAAI,EAAE,IAAI,EAAE,iBAAiB,EAAE;aACvE,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACP,2DAA2D;QAC7D,CAAC;QAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,uBAAuB,EAAE,UAAU,EAAE,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAmB;IAC1C,IAAI,EAAE,iBAAiB;IACvB,WAAW,EACT,6LAA6L;IAC/L,WAAW,EAAE,aAAa;IAC1B,OAAO;CACR,CAAC"}

package/dist/mcp/tools/get-full.d.ts

@@ -0,0 +1,7 @@
+import type { ToolDef } from "./types.js";
+interface Input {
+    id: string;
+    kind: "decision" | "invariant" | "task" | "run";
+}
+export declare const getFullTool: ToolDef<Input>;
+export {};

package/dist/mcp/tools/get-full.js

@@ -0,0 +1,46 @@
+import { existsSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import { decisionsDir, invariantsDir } from "../../ground/index.js";
+import { mcpError } from "../errors.js";
+import { getFullInput } from "../schemas.js";
+async function handler(ctx, input) {
+    switch (input.kind) {
+        case "decision": {
+            const path = join(decisionsDir(ctx.repoRoot), `${input.id}.md`);
+            if (!existsSync(path)) {
+                return mcpError("DECISION_NOT_FOUND", `No decision file at ${path}`);
+            }
+            return { id: input.id, kind: input.kind, content: readFileSync(path, "utf8") };
+        }
+        case "invariant": {
+            const path = join(invariantsDir(ctx.repoRoot), `${input.id}.md`);
+            if (!existsSync(path)) {
+                return mcpError("INVARIANT_NOT_FOUND", `No invariant file at ${path}`);
+            }
+            return { id: input.id, kind: input.kind, content: readFileSync(path, "utf8") };
+        }
+        case "task": {
+            const path = join(ctx.repoRoot, ".cairn", "tasks", "active", input.id, "spec.tightened.md");
+            const fallback = join(ctx.repoRoot, ".cairn", "tasks", "active", input.id, "spec.md");
+            const target = existsSync(path) ? path : existsSync(fallback) ? fallback : null;
+            if (!target) {
+                return mcpError("TASK_NOT_FOUND", `No active task ${input.id}`);
+            }
+            return { id: input.id, kind: input.kind, content: readFileSync(target, "utf8") };
+        }
+        case "run": {
+            const meta = join(ctx.repoRoot, ".cairn", "runs", "active", input.id, "meta.json");
+            if (!existsSync(meta)) {
+                return mcpError("RUN_NOT_FOUND", `No active run ${input.id}`);
+            }
+            return { id: input.id, kind: input.kind, content: readFileSync(meta, "utf8") };
+        }
+    }
+}
+export const getFullTool = {
+    name: "cairn_get_full",
+    description: "Fetch full content of an artifact by id + kind (decision | invariant | task | run). Used after cairn_search/timeline narrows candidates.",
+    inputSchema: getFullInput,
+    handler,
+};
+//# sourceMappingURL=get-full.js.map

package/dist/mcp/tools/get-full.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"get-full.js","sourceRoot":"","sources":["../../../src/mcp/tools/get-full.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAQ7C,KAAK,UAAU,OAAO,CAAC,GAAe,EAAE,KAAY;IAClD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;YAChE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,OAAO,QAAQ,CAAC,oBAAoB,EAAE,uBAAuB,IAAI,EAAE,CAAC,CAAC;YACvE,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QACjF,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;YACjE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,OAAO,QAAQ,CAAC,qBAAqB,EAAE,wBAAwB,IAAI,EAAE,CAAC,CAAC;YACzE,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QACjF,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;YAC5F,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;YACtF,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;YAChF,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,QAAQ,CAAC,gBAAgB,EAAE,kBAAkB,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;YAClE,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QACnF,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YACnF,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,OAAO,QAAQ,CAAC,eAAe,EAAE,iBAAiB,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;YAChE,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QACjF,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAmB;IACzC,IAAI,EAAE,gBAAgB;IACtB,WAAW,EACT,0IAA0I;IAC5I,WAAW,EAAE,YAAY;IACzB,OAAO;CACR,CAAC"}

package/dist/mcp/tools/ground-get.d.ts

@@ -0,0 +1,7 @@
+import type { ToolDef } from "./types.js";
+interface Input {
+    category: "schema" | "routes" | "events" | "quality_grades" | "glossary" | "manifest";
+    key?: string;
+}
+export declare const groundGetTool: ToolDef<Input>;
+export {};

package/dist/mcp/tools/ground-get.js

@@ -0,0 +1,77 @@
+import { existsSync, readdirSync, readFileSync, statSync } from "node:fs";
+import { join } from "node:path";
+import { groundDir, manifestPath, qualityGradesPath, } from "../../ground/index.js";
+import { mcpError } from "../errors.js";
+import { groundGetInput } from "../schemas.js";
+async function handler(ctx, input) {
+    const root = groundDir(ctx.repoRoot);
+    switch (input.category) {
+        case "manifest": {
+            const path = manifestPath(ctx.repoRoot);
+            if (!existsSync(path)) {
+                return mcpError("FILE_NOT_FOUND", "manifest.yaml not present (daemon not run yet?)");
+            }
+            return { path: ".cairn/ground/manifest.yaml", content: readFileSync(path, "utf8") };
+        }
+        case "quality_grades": {
+            const path = qualityGradesPath(ctx.repoRoot);
+            if (!existsSync(path)) {
+                return mcpError("FILE_NOT_FOUND", "quality-grades.yaml not present (daemon not run yet?)");
+            }
+            return { path: ".cairn/ground/quality-grades.yaml", content: readFileSync(path, "utf8") };
+        }
+        case "glossary": {
+            const path = join(root, "glossary.md");
+            if (!existsSync(path)) {
+                return mcpError("FILE_NOT_FOUND", "glossary.md not present");
+            }
+            return { path: ".cairn/ground/glossary.md", content: readFileSync(path, "utf8") };
+        }
+        case "schema":
+        case "routes":
+        case "events": {
+            const dir = join(root, input.category);
+            if (!existsSync(dir) || !statSync(dir).isDirectory()) {
+                return mcpError("FILE_NOT_FOUND", `${input.category}/ extracts not present (no profile extractor for this stack?)`);
+            }
+            if (input.key !== undefined) {
+                const candidate = join(dir, `${input.key}.md`);
+                const fallback = join(dir, `${input.key}.yaml`);
+                const target = existsSync(candidate)
+                    ? candidate
+                    : existsSync(fallback)
+                        ? fallback
+                        : null;
+                if (!target) {
+                    return mcpError("FILE_NOT_FOUND", `No ${input.category} entry for key "${input.key}"`);
+                }
+                return {
+                    path: `.cairn/ground/${input.category}/${input.key}${target.endsWith(".yaml") ? ".yaml" : ".md"}`,
+                    content: readFileSync(target, "utf8"),
+                };
+            }
+            // No key — return the directory listing.
+            return {
+                path: `.cairn/ground/${input.category}/`,
+                listing: readDirShallow(dir),
+            };
+        }
+    }
+}
+function readDirShallow(dir) {
+    try {
+        return readdirSync(dir, { withFileTypes: true, encoding: "utf8" })
+            .filter((d) => d.isFile())
+            .map((d) => d.name);
+    }
+    catch {
+        return [];
+    }
+}
+export const groundGetTool = {
+    name: "cairn_ground_get",
+    description: "Read a generated ground extract. Categories: schema | routes | events | quality_grades | glossary | manifest. `key` narrows within a category (e.g., schema → table name).",
+    inputSchema: groundGetInput,
+    handler,
+};
+//# sourceMappingURL=ground-get.js.map

package/dist/mcp/tools/ground-get.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ground-get.js","sourceRoot":"","sources":["../../../src/mcp/tools/ground-get.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EACL,SAAS,EACT,YAAY,EACZ,iBAAiB,GAClB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAQ/C,KAAK,UAAU,OAAO,CAAC,GAAe,EAAE,KAAY;IAClD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACrC,QAAQ,KAAK,CAAC,QAAQ,EAAE,CAAC;QACvB,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACxC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,OAAO,QAAQ,CAAC,gBAAgB,EAAE,iDAAiD,CAAC,CAAC;YACvF,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,6BAA6B,EAAE,OAAO,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QACtF,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC7C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,OAAO,QAAQ,CACb,gBAAgB,EAChB,uDAAuD,CACxD,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,mCAAmC,EAAE,OAAO,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QAC5F,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;YACvC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,OAAO,QAAQ,CAAC,gBAAgB,EAAE,yBAAyB,CAAC,CAAC;YAC/D,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,2BAA2B,EAAE,OAAO,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QACpF,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YACvC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;gBACrD,OAAO,QAAQ,CACb,gBAAgB,EAChB,GAAG,KAAK,CAAC,QAAQ,+DAA+D,CACjF,CAAC;YACJ,CAAC;YACD,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;gBAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC;gBAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,OAAO,CAAC,CAAC;gBAChD,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC;oBAClC,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;wBACpB,CAAC,CAAC,QAAQ;wBACV,CAAC,CAAC,IAAI,CAAC;gBACX,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,OAAO,QAAQ,CACb,gBAAgB,EAChB,MAAM,KAAK,CAAC,QAAQ,mBAAmB,KAAK,CAAC,GAAG,GAAG,CACpD,CAAC;gBACJ,CAAC;gBACD,OAAO;oBACL,IAAI,EAAE,iBAAiB,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE;oBACjG,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC;iBACtC,CAAC;YACJ,CAAC;YACD,yCAAyC;YACzC,OAAO;gBACL,IAAI,EAAE,iBAAiB,KAAK,CAAC,QAAQ,GAAG;gBACxC,OAAO,EAAE,cAAc,CAAC,GAAG,CAAC;aAC7B,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,GAAW;IACjC,IAAI,CAAC;QACH,OAAO,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;aAC/D,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;aACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAmB;IAC3C,IAAI,EAAE,kBAAkB;IACxB,WAAW,EACT,4KAA4K;IAC9K,WAAW,EAAE,cAAc;IAC3B,OAAO;CACR,CAAC"}

package/dist/mcp/tools/index.d.ts

@@ -0,0 +1,3 @@
+import type { ToolDef } from "./types.js";
+export declare const allTools: ToolDef<unknown>[];
+export type { ToolDef };

package/dist/mcp/tools/index.js

@@ -0,0 +1,40 @@
+import { appendRunNoteTool } from "./append-run-note.js";
+import { archiveTool } from "./archive.js";
+import { canonicalForTopicTool } from "./canonical-for-topic.js";
+import { decisionGetTool } from "./decision-get.js";
+import { decisionsForSymbolTool } from "./decisions-for-symbol.js";
+import { decisionsInScopeTool } from "./decisions-in-scope.js";
+import { getFullTool } from "./get-full.js";
+import { groundGetTool } from "./ground-get.js";
+import { invariantGetTool } from "./invariant-get.js";
+import { invariantsInScopeTool } from "./invariants-in-scope.js";
+import { queryHistoryTool } from "./query-history.js";
+import { recordDecisionTool } from "./record-decision.js";
+import { resolveAttentionTool } from "./resolve-attention.js";
+import { searchTool } from "./search.js";
+import { supersedesChainTool } from "./supersedes-chain.js";
+import { timelineTool } from "./timeline.js";
+export const allTools = [
+    // Read — graph traversal
+    decisionGetTool,
+    decisionsInScopeTool,
+    decisionsForSymbolTool,
+    canonicalForTopicTool,
+    groundGetTool,
+    supersedesChainTool,
+    invariantGetTool,
+    invariantsInScopeTool,
+    // Read — 3-layer progressive
+    searchTool,
+    timelineTool,
+    getFullTool,
+    // Read — historical (gated)
+    queryHistoryTool,
+    // Write
+    recordDecisionTool,
+    appendRunNoteTool,
+    archiveTool,
+    // Write — plugin-era
+    resolveAttentionTool,
+];
+//# sourceMappingURL=index.js.map

package/dist/mcp/tools/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/mcp/tools/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,MAAM,CAAC,MAAM,QAAQ,GAAuB;IAC1C,yBAAyB;IACzB,eAAmC;IACnC,oBAAwC;IACxC,sBAA0C;IAC1C,qBAAyC;IACzC,aAAiC;IACjC,mBAAuC;IACvC,gBAAoC;IACpC,qBAAyC;IACzC,6BAA6B;IAC7B,UAA8B;IAC9B,YAAgC;IAChC,WAA+B;IAC/B,4BAA4B;IAC5B,gBAAoC;IACpC,QAAQ;IACR,kBAAsC;IACtC,iBAAqC;IACrC,WAA+B;IAC/B,qBAAqB;IACrB,oBAAwC;CACzC,CAAC"}

package/dist/mcp/tools/invariant-get.d.ts

@@ -0,0 +1,6 @@
+import type { ToolDef } from "./types.js";
+interface Input {
+    id: string;
+}
+export declare const invariantGetTool: ToolDef<Input>;
+export {};

package/dist/mcp/tools/invariant-get.js

@@ -0,0 +1,49 @@
+import { existsSync, readdirSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import { invariantsDir, parseFrontmatter } from "../../ground/index.js";
+import { InvariantFrontmatter } from "../../ground/index.js";
+import { mcpError } from "../errors.js";
+import { invariantGetInput } from "../schemas.js";
+async function handler(ctx, input) {
+    const dir = invariantsDir(ctx.repoRoot);
+    if (!existsSync(dir)) {
+        return mcpError("INVARIANT_NOT_FOUND", `No invariants directory`);
+    }
+    for (const entry of readdirSync(dir, { withFileTypes: true, encoding: "utf8" })) {
+        if (!entry.isFile() || !entry.name.endsWith(".md"))
+            continue;
+        const parsed = parseFrontmatter(readFileSync(join(dir, entry.name), "utf8"));
+        const fm = InvariantFrontmatter.safeParse(parsed.frontmatter);
+        if (!fm.success)
+            continue;
+        if (fm.data.id !== input.id)
+            continue;
+        return {
+            id: fm.data.id,
+            title: fm.data.title,
+            status: fm.data.status ?? "active",
+            ...(fm.data.source_run !== undefined ? { source_run: fm.data.source_run } : {}),
+            ...(fm.data.source_decision !== undefined
+                ? { source_decision: fm.data.source_decision }
+                : {}),
+            ...(fm.data.introduced_for_bug !== undefined
+                ? { introduced_for_bug: fm.data.introduced_for_bug }
+                : {}),
+            ...(fm.data.sensor !== undefined ? { sensor: fm.data.sensor } : {}),
+            ...(fm.data.e2e !== undefined ? { e2e: fm.data.e2e } : {}),
+            ...(fm.data.naming_convention !== undefined
+                ? { naming_convention: fm.data.naming_convention }
+                : {}),
+            ...(fm.data.superseded_by !== undefined ? { superseded_by: fm.data.superseded_by } : {}),
+            body_markdown: parsed.body,
+        };
+    }
+    return mcpError("INVARIANT_NOT_FOUND", `No invariant with id ${input.id}`);
+}
+export const invariantGetTool = {
+    name: "cairn_invariant_get",
+    description: "Returns §V invariant body + linked sensor + linked e2e by id.",
+    inputSchema: invariantGetInput,
+    handler,
+};
+//# sourceMappingURL=invariant-get.js.map

package/dist/mcp/tools/invariant-get.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariant-get.js","sourceRoot":"","sources":["../../../src/mcp/tools/invariant-get.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACxE,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAOlD,KAAK,UAAU,OAAO,CAAC,GAAe,EAAE,KAAY;IAClD,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACxC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,QAAQ,CAAC,qBAAqB,EAAE,yBAAyB,CAAC,CAAC;IACpE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QAChF,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QAC7D,MAAM,MAAM,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QAC7E,MAAM,EAAE,GAAG,oBAAoB,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAC9D,IAAI,CAAC,EAAE,CAAC,OAAO;YAAE,SAAS;QAC1B,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE;YAAE,SAAS;QACtC,OAAO;YACL,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE;YACd,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK;YACpB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,QAAQ;YAClC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,eAAe,KAAK,SAAS;gBACvC,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE,CAAC,IAAI,CAAC,eAAe,EAAE;gBAC9C,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,kBAAkB,KAAK,SAAS;gBAC1C,CAAC,CAAC,EAAE,kBAAkB,EAAE,EAAE,CAAC,IAAI,CAAC,kBAAkB,EAAE;gBACpD,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1D,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,iBAAiB,KAAK,SAAS;gBACzC,CAAC,CAAC,EAAE,iBAAiB,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,EAAE;gBAClD,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxF,aAAa,EAAE,MAAM,CAAC,IAAI;SAC3B,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC,qBAAqB,EAAE,wBAAwB,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAmB;IAC9C,IAAI,EAAE,qBAAqB;IAC3B,WAAW,EAAE,+DAA+D;IAC5E,WAAW,EAAE,iBAAiB;IAC9B,OAAO;CACR,CAAC"}

package/dist/mcp/tools/invariants-in-scope.d.ts

@@ -0,0 +1,7 @@
+import type { ToolDef } from "./types.js";
+interface Input {
+    path_globs: string[];
+    status?: ("active" | "superseded")[];
+}
+export declare const invariantsInScopeTool: ToolDef<Input>;
+export {};

package/dist/mcp/tools/invariants-in-scope.js

@@ -0,0 +1,62 @@
+import { existsSync, readdirSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import { decisionsDir, invariantsDir, matchAnyGlob, parseFrontmatter } from "../../ground/index.js";
+import { DecisionFrontmatter, InvariantFrontmatter } from "../../ground/index.js";
+import { invariantsInScopeInput } from "../schemas.js";
+/**
+ * Invariants don't carry their own scope_globs — they inherit scope from the
+ * decision that introduced them (source_decision). To answer "which invariants
+ * apply to globs X?", we look up each invariant's source decision and check
+ * its scope_globs against the requested globs.
+ */
+async function handler(ctx, input) {
+    const wantStatus = new Set(input.status ?? ["active"]);
+    const decisionScopeById = new Map();
+    const dDir = decisionsDir(ctx.repoRoot);
+    if (existsSync(dDir)) {
+        for (const entry of readdirSync(dDir, { withFileTypes: true, encoding: "utf8" })) {
+            if (!entry.isFile() || !entry.name.endsWith(".md"))
+                continue;
+            const parsed = parseFrontmatter(readFileSync(join(dDir, entry.name), "utf8"));
+            const fm = DecisionFrontmatter.safeParse(parsed.frontmatter);
+            if (!fm.success)
+                continue;
+            decisionScopeById.set(fm.data.id, fm.data.scope_globs ?? []);
+        }
+    }
+    const iDir = invariantsDir(ctx.repoRoot);
+    if (!existsSync(iDir))
+        return [];
+    const out = [];
+    for (const entry of readdirSync(iDir, { withFileTypes: true, encoding: "utf8" })) {
+        if (!entry.isFile() || !entry.name.endsWith(".md"))
+            continue;
+        const parsed = parseFrontmatter(readFileSync(join(iDir, entry.name), "utf8"));
+        const fm = InvariantFrontmatter.safeParse(parsed.frontmatter);
+        if (!fm.success)
+            continue;
+        const status = fm.data.status ?? "active";
+        if (!wantStatus.has(status))
+            continue;
+        const sourceDecision = fm.data.source_decision ?? null;
+        const scope = sourceDecision ? decisionScopeById.get(sourceDecision) ?? [] : [];
+        const overlap = scope.some((scopeGlob) => input.path_globs.some((req) => matchAnyGlob(scopeGlob, [req]) || matchAnyGlob(req, [scopeGlob])));
+        if (!overlap)
+            continue;
+        out.push({
+            id: fm.data.id,
+            title: fm.data.title,
+            status,
+            source_decision: sourceDecision,
+        });
+    }
+    out.sort((a, b) => a.id.localeCompare(b.id));
+    return out;
+}
+export const invariantsInScopeTool = {
+    name: "cairn_invariants_in_scope",
+    description: "List active invariants whose source_decision scope overlaps the given path_globs.",
+    inputSchema: invariantsInScopeInput,
+    handler,
+};
+//# sourceMappingURL=invariants-in-scope.js.map

package/dist/mcp/tools/invariants-in-scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariants-in-scope.js","sourceRoot":"","sources":["../../../src/mcp/tools/invariants-in-scope.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACpG,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAevD;;;;;GAKG;AACH,KAAK,UAAU,OAAO,CAAC,GAAe,EAAE,KAAY;IAClD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACvD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAoB,CAAC;IACtD,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACxC,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;YACjF,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC7D,MAAM,MAAM,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YAC9E,MAAM,EAAE,GAAG,mBAAmB,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YAC7D,IAAI,CAAC,EAAE,CAAC,OAAO;gBAAE,SAAS;YAC1B,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QACjF,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QAC7D,MAAM,MAAM,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QAC9E,MAAM,EAAE,GAAG,oBAAoB,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAC9D,IAAI,CAAC,EAAE,CAAC,OAAO;YAAE,SAAS;QAC1B,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,QAAQ,CAAC;QAC1C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAS;QACtC,MAAM,cAAc,GAAG,EAAE,CAAC,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC;QACvD,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACvC,KAAK,CAAC,UAAU,CAAC,IAAI,CACnB,CAAC,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,YAAY,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAC1E,CACF,CAAC;QACF,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,GAAG,CAAC,IAAI,CAAC;YACP,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE;YACd,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK;YACpB,MAAM;YACN,eAAe,EAAE,cAAc;SAChC,CAAC,CAAC;IACL,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,MAAM,qBAAqB,GAAmB;IACnD,IAAI,EAAE,2BAA2B;IACjC,WAAW,EACT,mFAAmF;IACrF,WAAW,EAAE,sBAAsB;IACnC,OAAO;CACR,CAAC"}

package/dist/mcp/tools/query-history.d.ts

@@ -0,0 +1,20 @@
+/**
+ * cairn_query_history — the only sanctioned read path into .archive/.
+ *
+ * Walks .archive/ matching path_hint + date window, runs a Tier-1 (Haiku)
+ * summarizer over the matched files, returns structured per-claim
+ * records with source citations and supersedes-tags. The agent never
+ * sees raw stale content — only the summary.
+ *
+ * Per MCP_SURFACE.md §"cairn_query_history". Implementation lives in
+ * src/mcp/history/.
+ */
+import type { ToolDef } from "./types.js";
+interface Input {
+    scope: string;
+    path_hint?: string;
+    since?: string;
+    until?: string;
+}
+export declare const queryHistoryTool: ToolDef<Input>;
+export {};

package/dist/mcp/tools/query-history.js

@@ -0,0 +1,51 @@
+/**
+ * cairn_query_history — the only sanctioned read path into .archive/.
+ *
+ * Walks .archive/ matching path_hint + date window, runs a Tier-1 (Haiku)
+ * summarizer over the matched files, returns structured per-claim
+ * records with source citations and supersedes-tags. The agent never
+ * sees raw stale content — only the summary.
+ *
+ * Per MCP_SURFACE.md §"cairn_query_history". Implementation lives in
+ * src/mcp/history/.
+ */
+import { mcpError } from "../errors.js";
+import { isQuotaKind, ClaudeError, classifyClaudeError, } from "../../claude/index.js";
+import { runQueryHistory } from "../history/summarizer.js";
+import { queryHistoryInput } from "../schemas.js";
+async function handler(ctx, input) {
+    try {
+        const args = {
+            repoRoot: ctx.repoRoot,
+            scope: input.scope,
+        };
+        if (input.path_hint !== undefined)
+            args.pathHint = input.path_hint;
+        if (input.since !== undefined)
+            args.since = input.since;
+        if (input.until !== undefined)
+            args.until = input.until;
+        return await runQueryHistory(args);
+    }
+    catch (err) {
+        if (err instanceof ClaudeError) {
+            if (isQuotaKind(err.kind)) {
+                return mcpError("DAEMON_UNAVAILABLE", `history summarizer quota / rate-limit issue: ${err.message}`, { kind: err.kind, exit_code: err.exitCode ?? null });
+            }
+            return mcpError("OPERATION_TIMEOUT", `history summarizer call failed: ${err.message}`, { kind: err.kind, exit_code: err.exitCode ?? null });
+        }
+        const kind = classifyClaudeError({
+            message: err instanceof Error ? err.message : String(err),
+            exitCode: null,
+            stderr: "",
+        });
+        return mcpError("OPERATION_TIMEOUT", `history summarizer threw: ${err instanceof Error ? err.message : String(err)}`, { kind });
+    }
+}
+export const queryHistoryTool = {
+    name: "cairn_query_history",
+    description: "Returns summarized historical claims from .archive/ via Tier-1 LLM. Walks the archive by path_hint + since/until, summarizes per-claim with source citations and supersedes-tags. Raw archive content never enters agent context — only the structured summary does. The only sanctioned path into .archive/.",
+    inputSchema: queryHistoryInput,
+    handler,
+};
+//# sourceMappingURL=query-history.js.map

package/dist/mcp/tools/query-history.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-history.js","sourceRoot":"","sources":["../../../src/mcp/tools/query-history.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EACL,WAAW,EACX,WAAW,EACX,mBAAmB,GACpB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAUlD,KAAK,UAAU,OAAO,CAAC,GAAe,EAAE,KAAY;IAClD,IAAI,CAAC;QACH,MAAM,IAAI,GAA0C;YAClD,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,KAAK,EAAE,KAAK,CAAC,KAAK;SACnB,CAAC;QACF,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;YAAE,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC;QACnE,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;QACxD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;QACxD,OAAO,MAAM,eAAe,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,WAAW,EAAE,CAAC;YAC/B,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,OAAO,QAAQ,CACb,oBAAoB,EACpB,gDAAgD,GAAG,CAAC,OAAO,EAAE,EAC7D,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,QAAQ,IAAI,IAAI,EAAE,CACpD,CAAC;YACJ,CAAC;YACD,OAAO,QAAQ,CACb,mBAAmB,EACnB,mCAAmC,GAAG,CAAC,OAAO,EAAE,EAChD,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,QAAQ,IAAI,IAAI,EAAE,CACpD,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,mBAAmB,CAAC;YAC/B,OAAO,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACzD,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,EAAE;SACX,CAAC,CAAC;QACH,OAAO,QAAQ,CACb,mBAAmB,EACnB,6BAA6B,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAC/E,EAAE,IAAI,EAAE,CACT,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAmB;IAC9C,IAAI,EAAE,qBAAqB;IAC3B,WAAW,EACT,+SAA+S;IACjT,WAAW,EAAE,iBAAiB;IAC9B,OAAO;CACR,CAAC"}

package/dist/mcp/tools/record-decision.d.ts

@@ -0,0 +1,14 @@
+import type { ToolDef } from "./types.js";
+interface Input {
+    id?: string;
+    title: string;
+    summary: string;
+    scope_globs: string[];
+    supersedes?: string;
+    assertions?: unknown[];
+    human_review_hint?: string;
+    body_markdown?: string;
+    target?: "inbox" | "accepted";
+}
+export declare const recordDecisionTool: ToolDef<Input>;
+export {};

package/dist/mcp/tools/record-decision.js

@@ -0,0 +1,98 @@
+import { mkdirSync, writeFileSync } from "node:fs";
+import { join } from "node:path";
+import { stringify as stringifyYaml } from "yaml";
+import { allocateDecisionId, scanExistingDecisionIds, } from "../../decision-capture/index.js";
+import { writeInvalidationEvent } from "../../events/index.js";
+import { decisionsDir } from "../../ground/index.js";
+import { DecisionAssertion } from "../../ground/index.js";
+import { withWriteLock } from "../../lock.js";
+import { requireBootstrap } from "../bootstrap-guard.js";
+import { mcpError } from "../errors.js";
+import { recordDecisionInput } from "../schemas.js";
+async function handler(ctx, input) {
+    const block = requireBootstrap(ctx.repoRoot);
+    if (block !== null)
+        return block;
+    const dir = decisionsDir(ctx.repoRoot);
+    const inboxDir = join(dir, "_inbox");
+    // Validate assertions, if provided. (Pre-lock — pure schema check.)
+    if (input.assertions !== undefined) {
+        for (const a of input.assertions) {
+            const result = DecisionAssertion.safeParse(a);
+            if (!result.success) {
+                return mcpError("INVALID_ASSERTION_KIND", "assertion failed schema", {
+                    assertion: a,
+                    issues: result.error.issues,
+                });
+            }
+        }
+    }
+    return withWriteLock(ctx.repoRoot, () => {
+        // Re-scan inside the lock so concurrent allocators see each other's writes.
+        const existingIds = scanExistingDecisionIds(ctx.repoRoot);
+        let id;
+        if (input.id !== undefined) {
+            if (existingIds.has(input.id)) {
+                return mcpError("DECISION_ID_TAKEN", `${input.id} already exists`);
+            }
+            id = input.id;
+        }
+        else {
+            id = allocateDecisionId(ctx.repoRoot, existingIds);
+        }
+        if (input.supersedes !== undefined && !existingIds.has(input.supersedes)) {
+            return mcpError("SUPERSEDES_NOT_FOUND", `supersedes target "${input.supersedes}" not found`);
+        }
+        const target = input.target ?? "inbox";
+        const outDir = target === "accepted" ? dir : inboxDir;
+        mkdirSync(outDir, { recursive: true });
+        const frontmatter = {
+            id,
+            title: input.title,
+            type: "adr",
+            status: target === "accepted" ? "accepted" : "draft",
+            audience: "dual",
+            generated: new Date().toISOString(),
+            "verified-at": new Date().toISOString(),
+            decided_at: new Date().toISOString().slice(0, 10),
+            scope_globs: input.scope_globs,
+            ...(input.supersedes !== undefined ? { supersedes: input.supersedes } : {}),
+            ...(input.assertions !== undefined ? { assertions: input.assertions } : {}),
+            ...(input.human_review_hint !== undefined
+                ? { human_review_hint: input.human_review_hint }
+                : {}),
+        };
+        const body = input.body_markdown ?? `# ${id} — ${input.title}\n\n## Summary\n\n${input.summary}\n`;
+        const filename = target === "accepted" ? `${id}.md` : `${id}.draft.md`;
+        const path = join(outDir, filename);
+        const content = `---\n${stringifyYaml(frontmatter)}---\n\n${body}`;
+        writeFileSync(path, content, "utf8");
+        const relPath = target === "accepted"
+            ? `.cairn/ground/decisions/${filename}`
+            : `.cairn/ground/decisions/_inbox/${filename}`;
+        try {
+            writeInvalidationEvent(ctx.repoRoot, {
+                kind: target === "accepted" ? "decision_accepted" : "decision_drafted",
+                refs: [
+                    { kind: "decision", id },
+                    ...(input.supersedes !== undefined
+                        ? [{ kind: "decision", id: input.supersedes }]
+                        : []),
+                ],
+                path: relPath,
+                source: { session_id: ctx.sessionId ?? null, tool: "cairn_record_decision" },
+            });
+        }
+        catch {
+            // Event emission must never roll back the underlying write.
+        }
+        return { ok: true, id, target, path: relPath };
+    });
+}
+export const recordDecisionTool = {
+    name: "cairn_record_decision",
+    description: "Drop a decision draft to .cairn/ground/decisions/_inbox/ (target=inbox, default) or canonical (target=accepted; operator-only override). Validates assertion schemas. Allocates the next DEC-NNNN if id omitted.",
+    inputSchema: recordDecisionInput,
+    handler,
+};
+//# sourceMappingURL=record-decision.js.map