@isaacriehm/cairn-core 0.14.1 → 0.15.0

package/dist/state/rebuild-derived.d.ts

@@ -0,0 +1,45 @@
+/**
+ * `rebuildDerived` — reconstruct the gitignored derived ground-state
+ * indexes from the committed source of truth (DEC/INV `.md` frontmatter
+ * + bodies + source tree).
+ *
+ * As of v0.15.0 the derived ground files are gitignored to kill multi-dev
+ * merge conflicts (every clone used to regenerate and commit divergent
+ * copies). They no longer ship in git, so every clone must be able to
+ * regenerate them locally. This routine is the single rebuild entry
+ * point, wired into:
+ *   - `cairn join`     — a fresh teammate clone has no derived files yet.
+ *   - SessionStart     — refresh on every session open (cheap).
+ *
+ * (CI needs no rebuild: sensors read the committed DEC/INV `.md` directly,
+ * not the derived indexes.)
+ *
+ * Haiku-free and deterministic from committed sources. Covers the
+ * load-bearing set:
+ *   - decisions/invariants ledgers (context injection)
+ *   - scope-index               (cairn_in_scope)
+ *   - manifest                  (inventory)
+ *   - sot-bindings              (lens + sensors + align resolve §DEC → path)
+ *   - sot-cache                 (Layer A Jaccard pre-filter)
+ *
+ * `topic-index.yaml` + `anchor-map.yaml` are discovery-time artifacts
+ * (init builds them with a Haiku dedup walk). We don't re-run discovery,
+ * but we DO reconstruct them Haiku-free on a COLD clone: the accepted
+ * `sot_kind: path` DEC/INV already encode resolved topics, so we walk
+ * the source prose blocks (`walkProseBlocks`, deterministic) and
+ * content-hash-rematch each entity's `sot_content_hash` to its current
+ * location → `anchor-map[slug]` + `topic-index[slug].dec_id`. This only
+ * runs when the files are absent (fresh clone / post-untrack); when
+ * present they are left to the incremental sot-align hook (no repeat of
+ * the full walk on every SessionStart). `file-candidates-map` is a pure
+ * function of the resulting `topic-index`.
+ */
+export interface RebuildDerivedResult {
+    decisions: number;
+    invariants: number;
+    bindings: number;
+    cacheEntries: number;
+    /** `sot_kind: path` entities relocated into topic-index/anchor-map on a cold rebuild. */
+    topicAnchorRebuilt: number;
+}
+export declare function rebuildDerived(repoRoot: string): RebuildDerivedResult;

package/dist/state/rebuild-derived.js

@@ -0,0 +1,221 @@
+/**
+ * `rebuildDerived` — reconstruct the gitignored derived ground-state
+ * indexes from the committed source of truth (DEC/INV `.md` frontmatter
+ * + bodies + source tree).
+ *
+ * As of v0.15.0 the derived ground files are gitignored to kill multi-dev
+ * merge conflicts (every clone used to regenerate and commit divergent
+ * copies). They no longer ship in git, so every clone must be able to
+ * regenerate them locally. This routine is the single rebuild entry
+ * point, wired into:
+ *   - `cairn join`     — a fresh teammate clone has no derived files yet.
+ *   - SessionStart     — refresh on every session open (cheap).
+ *
+ * (CI needs no rebuild: sensors read the committed DEC/INV `.md` directly,
+ * not the derived indexes.)
+ *
+ * Haiku-free and deterministic from committed sources. Covers the
+ * load-bearing set:
+ *   - decisions/invariants ledgers (context injection)
+ *   - scope-index               (cairn_in_scope)
+ *   - manifest                  (inventory)
+ *   - sot-bindings              (lens + sensors + align resolve §DEC → path)
+ *   - sot-cache                 (Layer A Jaccard pre-filter)
+ *
+ * `topic-index.yaml` + `anchor-map.yaml` are discovery-time artifacts
+ * (init builds them with a Haiku dedup walk). We don't re-run discovery,
+ * but we DO reconstruct them Haiku-free on a COLD clone: the accepted
+ * `sot_kind: path` DEC/INV already encode resolved topics, so we walk
+ * the source prose blocks (`walkProseBlocks`, deterministic) and
+ * content-hash-rematch each entity's `sot_content_hash` to its current
+ * location → `anchor-map[slug]` + `topic-index[slug].dec_id`. This only
+ * runs when the files are absent (fresh clone / post-untrack); when
+ * present they are left to the incremental sot-align hook (no repeat of
+ * the full walk on every SessionStart). `file-candidates-map` is a pure
+ * function of the resulting `topic-index`.
+ */
+import { existsSync, readFileSync, readdirSync, statSync } from "node:fs";
+import { join } from "node:path";
+import { DecisionFrontmatter, InvariantFrontmatter, anchorMapPath, bindDec, bodyContentHash, decisionsDir, emptyAnchorMap, emptySotBindings, emptySotCache, emptyTopicIndex, invariantsDir, parseFrontmatter, readTopicIndex, rescanScopeIndex, setAnchor, setSotCacheEntry, setTopic, topicIndexPath, writeAnchorMap, writeDecisionsLedger, writeFileCandidatesMap, writeInvariantsLedger, writeManifest, writeSotBindings, writeSotCache, writeTopicIndex, } from "@isaacriehm/cairn-state";
+import { walkProseBlocks } from "../init/topic-index/walk.js";
+import { tokenize } from "../text/jaccard.js";
+import { logger } from "../logger.js";
+const log = logger("rebuild-derived");
+/** Read every `.md` in a ground entity dir (skipping `_`-prefixed). */
+function listEntityFiles(dir) {
+    if (!existsSync(dir))
+        return [];
+    try {
+        return readdirSync(dir)
+            .filter((n) => n.endsWith(".md") && !n.startsWith("_"))
+            .sort();
+    }
+    catch {
+        return [];
+    }
+}
+export function rebuildDerived(repoRoot) {
+    // 1. Deterministic ledgers + scope-index + manifest. These already had
+    //    writers; SessionStart used to call the ledgers + scope rescan
+    //    directly — now centralized here so join gets the same path.
+    writeDecisionsLedger({ repoRoot });
+    writeInvariantsLedger({ repoRoot });
+    rescanScopeIndex(repoRoot);
+    // 2. sot-bindings + sot-cache, reconstructed from committed DEC/INV
+    //    frontmatter (sot_path) + bodies (tokens). The forward binding is
+    //    one entity → its sot_path; sot-cache holds the tokenized body for
+    //    the Layer A Jaccard pre-filter.
+    let bindings = emptySotBindings();
+    let cache = emptySotCache();
+    const pathEntities = [];
+    let decisions = 0;
+    let invariants = 0;
+    const decDir = decisionsDir(repoRoot);
+    for (const name of listEntityFiles(decDir)) {
+        const abs = join(decDir, name);
+        const parsed = parseFrontmatter(readFileSync(abs, "utf8"));
+        const fm = DecisionFrontmatter.safeParse(parsed.frontmatter);
+        if (!fm.success)
+            continue;
+        if (fm.data.status !== "accepted")
+            continue;
+        if (fm.data.superseded_by)
+            continue;
+        const entry = makeCacheEntry(fm.data.id, fm.data.sot_path, parsed.body, abs);
+        bindings = bindDec(bindings, fm.data.id, fm.data.sot_path);
+        cache = setSotCacheEntry(cache, fm.data.id, entry);
+        if (fm.data.sot_kind === "path") {
+            pathEntities.push({ id: fm.data.id, sotContentHash: fm.data.sot_content_hash });
+        }
+        decisions += 1;
+    }
+    const invDir = invariantsDir(repoRoot);
+    for (const name of listEntityFiles(invDir)) {
+        const abs = join(invDir, name);
+        const parsed = parseFrontmatter(readFileSync(abs, "utf8"));
+        const fm = InvariantFrontmatter.safeParse(parsed.frontmatter);
+        if (!fm.success)
+            continue;
+        if ((fm.data.status ?? "active") !== "active")
+            continue;
+        const entry = makeCacheEntry(fm.data.id, fm.data.sot_path, parsed.body, abs);
+        bindings = bindDec(bindings, fm.data.id, fm.data.sot_path);
+        cache = setSotCacheEntry(cache, fm.data.id, entry);
+        if (fm.data.sot_kind === "path") {
+            pathEntities.push({ id: fm.data.id, sotContentHash: fm.data.sot_content_hash });
+        }
+        invariants += 1;
+    }
+    writeSotBindings(repoRoot, bindings);
+    writeSotCache(repoRoot, cache);
+    // 3. Manifest (inventory over the freshly-written ground files).
+    writeManifest({ repoRoot });
+    // 4. Cold-start only: reconstruct topic-index + anchor-map for
+    //    `sot_kind: path` entities by content-hash rematch. Skip when both
+    //    files already exist — the sot-align hook maintains them warm, and
+    //    a full prose walk on every SessionStart would be wasteful.
+    let topicAnchorRebuilt = 0;
+    const topicMissing = !existsSync(topicIndexPath(repoRoot));
+    const anchorMissing = !existsSync(anchorMapPath(repoRoot));
+    if ((topicMissing || anchorMissing) && pathEntities.length > 0) {
+        topicAnchorRebuilt = rebuildTopicAndAnchor(repoRoot, pathEntities);
+    }
+    // 5. file-candidates-map is a pure function of topic-index.
+    writeFileCandidatesMap(repoRoot, readTopicIndex(repoRoot));
+    const bindingCount = Object.keys(bindings.forward).length;
+    const cacheCount = Object.keys(cache.entries).length;
+    log.debug({
+        repoRoot,
+        decisions,
+        invariants,
+        bindings: bindingCount,
+        cache: cacheCount,
+        topicAnchorRebuilt,
+    }, "rebuilt derived ground state");
+    return {
+        decisions,
+        invariants,
+        bindings: bindingCount,
+        cacheEntries: cacheCount,
+        topicAnchorRebuilt,
+    };
+}
+/**
+ * Cold rebuild of `topic-index` + `anchor-map` for `sot_kind: path`
+ * entities. Walks the source prose blocks once, indexes them by content
+ * hash, and relocates each entity's `sot_content_hash` to its current
+ * block (slug, file, line range, anchor). Haiku-free — discovery already
+ * happened; this just re-resolves known topics. Entities whose SoT block
+ * isn't found (content drifted, or it lives in a source-comment the doc
+ * walker doesn't cover) are skipped and left to the incremental hook.
+ * Returns the number of entities relocated.
+ */
+function rebuildTopicAndAnchor(repoRoot, entities) {
+    let blocksByHash;
+    try {
+        const blocks = walkProseBlocks(repoRoot);
+        blocksByHash = new Map();
+        for (const b of blocks) {
+            if (!blocksByHash.has(b.content_hash))
+                blocksByHash.set(b.content_hash, b);
+        }
+    }
+    catch {
+        return 0; // walk failed (non-repo / IO) — leave maps to the hook
+    }
+    let topic = emptyTopicIndex();
+    let anchors = emptyAnchorMap();
+    let relocated = 0;
+    const now = new Date().toISOString();
+    for (const e of entities) {
+        const b = blocksByHash.get(e.sotContentHash);
+        if (b === undefined)
+            continue;
+        const topicEntry = {
+            slug: b.slug,
+            dec_id: e.id,
+            sot_source: b.file,
+            candidates: [
+                {
+                    file: b.file,
+                    kind: b.kind,
+                    line_range: b.line_range,
+                    ...(b.anchor !== undefined ? { anchor: b.anchor } : {}),
+                },
+            ],
+            created_at: now,
+            content_hash: b.content_hash,
+        };
+        topic = setTopic(topic, b.slug, topicEntry);
+        const anchorEntry = {
+            file: b.file,
+            content_hash: b.content_hash,
+            line_range: b.line_range,
+            kind: b.kind,
+            ...(b.anchor !== undefined ? { current_anchor: b.anchor } : {}),
+        };
+        anchors = setAnchor(anchors, b.slug, anchorEntry);
+        relocated += 1;
+    }
+    writeTopicIndex(repoRoot, topic);
+    writeAnchorMap(repoRoot, anchors);
+    return relocated;
+}
+function makeCacheEntry(id, sotPath, body, abs) {
+    let mtimeMs = 0;
+    try {
+        mtimeMs = statSync(abs).mtimeMs;
+    }
+    catch {
+        /* best-effort — mtime is a local incremental-staleness hint only */
+    }
+    return {
+        dec_id: id,
+        sot_path: sotPath,
+        body_hash: bodyContentHash(body),
+        tokens: Array.from(tokenize(body, { codeAware: true })),
+        shingles: [],
+        mtime_ms: mtimeMs,
+    };
+}
+//# sourceMappingURL=rebuild-derived.js.map

package/dist/state/rebuild-derived.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rebuild-derived.js","sourceRoot":"","sources":["../../src/state/rebuild-derived.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,mBAAmB,EACnB,oBAAoB,EACpB,aAAa,EACb,OAAO,EACP,eAAe,EACf,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,gBAAgB,EAChB,SAAS,EACT,gBAAgB,EAChB,QAAQ,EACR,cAAc,EACd,cAAc,EACd,oBAAoB,EACpB,sBAAsB,EACtB,qBAAqB,EACrB,aAAa,EACb,gBAAgB,EAChB,aAAa,EACb,eAAe,GAMhB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAQtC,MAAM,GAAG,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC;AAWtC,uEAAuE;AACvE,SAAS,eAAe,CAAC,GAAW;IAClC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,IAAI,CAAC;QACH,OAAO,WAAW,CAAC,GAAG,CAAC;aACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;aACtD,IAAI,EAAE,CAAC;IACZ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,uEAAuE;IACvE,mEAAmE;IACnE,iEAAiE;IACjE,oBAAoB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;IACnC,qBAAqB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;IACpC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAE3B,oEAAoE;IACpE,sEAAsE;IACtE,uEAAuE;IACvE,qCAAqC;IACrC,IAAI,QAAQ,GAAgB,gBAAgB,EAAE,CAAC;IAC/C,IAAI,KAAK,GAAa,aAAa,EAAE,CAAC;IACtC,MAAM,YAAY,GAAiB,EAAE,CAAC;IACtC,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACtC,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,gBAAgB,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,mBAAmB,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAC7D,IAAI,CAAC,EAAE,CAAC,OAAO;YAAE,SAAS;QAC1B,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU;YAAE,SAAS;QAC5C,IAAI,EAAE,CAAC,IAAI,CAAC,aAAa;YAAE,SAAS;QACpC,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC7E,QAAQ,GAAG,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3D,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACnD,IAAI,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;YAChC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,cAAc,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC;QAClF,CAAC;QACD,SAAS,IAAI,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,gBAAgB,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,oBAAoB,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAC9D,IAAI,CAAC,EAAE,CAAC,OAAO;YAAE,SAAS;QAC1B,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,QAAQ;YAAE,SAAS;QACxD,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC7E,QAAQ,GAAG,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3D,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACnD,IAAI,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;YAChC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,cAAc,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC;QAClF,CAAC;QACD,UAAU,IAAI,CAAC,CAAC;IAClB,CAAC;IAED,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACrC,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAE/B,iEAAiE;IACjE,aAAa,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;IAE5B,+DAA+D;IAC/D,uEAAuE;IACvE,uEAAuE;IACvE,gEAAgE;IAChE,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAC3B,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC3D,MAAM,aAAa,GAAG,CAAC,UAAU,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC3D,IAAI,CAAC,YAAY,IAAI,aAAa,CAAC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/D,kBAAkB,GAAG,qBAAqB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IACrE,CAAC;IAED,4DAA4D;IAC5D,sBAAsB,CAAC,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;IAE3D,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IAC1D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IACrD,GAAG,CAAC,KAAK,CACP;QACE,QAAQ;QACR,SAAS;QACT,UAAU;QACV,QAAQ,EAAE,YAAY;QACtB,KAAK,EAAE,UAAU;QACjB,kBAAkB;KACnB,EACD,8BAA8B,CAC/B,CAAC;IAEF,OAAO;QACL,SAAS;QACT,UAAU;QACV,QAAQ,EAAE,YAAY;QACtB,YAAY,EAAE,UAAU;QACxB,kBAAkB;KACnB,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,qBAAqB,CAAC,QAAgB,EAAE,QAAsB;IACrE,IAAI,YAAqE,CAAC;IAC1E,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;QACzC,YAAY,GAAG,IAAI,GAAG,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC;gBAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,CAAC,CAAC,uDAAuD;IACnE,CAAC;IAED,IAAI,KAAK,GAAG,eAAe,EAAE,CAAC;IAC9B,IAAI,OAAO,GAAG,cAAc,EAAE,CAAC;IAC/B,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAErC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QAC7C,IAAI,CAAC,KAAK,SAAS;YAAE,SAAS;QAC9B,MAAM,UAAU,GAAoB;YAClC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,MAAM,EAAE,CAAC,CAAC,EAAE;YACZ,UAAU,EAAE,CAAC,CAAC,IAAI;YAClB,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACxD;aACF;YACD,UAAU,EAAE,GAAG;YACf,YAAY,EAAE,CAAC,CAAC,YAAY;SAC7B,CAAC;QACF,KAAK,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAE5C,MAAM,WAAW,GAAmB;YAClC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,YAAY,EAAE,CAAC,CAAC,YAAY;YAC5B,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAChE,CAAC;QACF,OAAO,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAClD,SAAS,IAAI,CAAC,CAAC;IACjB,CAAC;IAED,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACjC,cAAc,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClC,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,cAAc,CACrB,EAAU,EACV,OAAe,EACf,IAAY,EACZ,GAAW;IAEX,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,CAAC;QACH,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,oEAAoE;IACtE,CAAC;IACD,OAAO;QACL,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,OAAO;QACjB,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC;QAChC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,QAAQ,EAAE,EAAE;QACZ,QAAQ,EAAE,OAAO;KAClB,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@isaacriehm/cairn-core",
-  "version": "0.14.1",
+  "version": "0.15.0",
   "description": "Cairn core — state + context layer. Curated `.cairn/ground/` (decisions, §INV invariants, canonical-map, brand, quality-grades), MCP server, init wizard, hook runners, sensors, GC drift sweep.",
   "author": "Isaac Riehm",
   "license": "MIT",
@@ -39,7 +39,7 @@
     "simple-git": "^3.36.0",
     "yaml": "^2.8.4",
     "zod": "^4.4.3",
-    "@isaacriehm/cairn-state": "0.14.1"
+    "@isaacriehm/cairn-state": "0.15.0"
   },
   "devDependencies": {
     "@types/cli-progress": "^3.11.6",

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

@@ -1,6 +0,0 @@
-export { walkArchive } from "./walker.js";
-export type { ArchiveFile, WalkArchiveOptions, WalkArchiveResult } from "./walker.js";
-export { HISTORY_SUMMARIZER_SYSTEM_PROMPT, buildHistorySummarizerUserPrompt, CAIRN_HISTORY_SUMMARIZE_PROMPT_ID, CAIRN_HISTORY_SUMMARIZE_VERSION, } from "./prompt.js";
-export { HISTORY_SUMMARIZER_OUTPUT_SCHEMA } from "./schema.js";
-export { runHistorySummarizer, runQueryHistory, } from "./summarizer.js";
-export type { QueryHistoryResponse, RunQueryHistoryArgs, SummarizedClaim, } from "./summarizer.js";

package/dist/mcp/history/index.js

@@ -1,5 +0,0 @@
-export { walkArchive } from "./walker.js";
-export { HISTORY_SUMMARIZER_SYSTEM_PROMPT, buildHistorySummarizerUserPrompt, CAIRN_HISTORY_SUMMARIZE_PROMPT_ID, CAIRN_HISTORY_SUMMARIZE_VERSION, } from "./prompt.js";
-export { HISTORY_SUMMARIZER_OUTPUT_SCHEMA } from "./schema.js";
-export { runHistorySummarizer, runQueryHistory, } from "./summarizer.js";
-//# sourceMappingURL=index.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/mcp/history/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EACL,gCAAgC,EAChC,gCAAgC,EAChC,iCAAiC,EACjC,+BAA+B,GAChC,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,gCAAgC,EAAE,MAAM,aAAa,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,eAAe,GAChB,MAAM,iBAAiB,CAAC"}

package/dist/mcp/history/prompt.d.ts

@@ -1,33 +0,0 @@
-/**
- * Tier-1 (Haiku) summarizer prompts for cairn_query_history.
- *
- * Constraint: the LLM emits ONLY structured claims; raw historical
- * content never reaches the agent's context. Each claim cites a
- * concrete source_path + source_lines so the operator (and any future
- * audit) can verify the summary against the original.
- *
- * The prompt id + version are committed in source so a behavior change
- * here is a versioned change in the source tree, not a silent runtime
- * update.
- */
-import type { ArchiveFile } from "./walker.js";
-export declare const CAIRN_HISTORY_SUMMARIZE_PROMPT_ID = "cairn.history_summarize.v1";
-export declare const CAIRN_HISTORY_SUMMARIZE_VERSION = "v1";
-export declare const HISTORY_SUMMARIZER_SYSTEM_PROMPT = "You are the **history summarizer** for an agent cairn's two-zone read separation. The agent calling you cannot read .archive/ files directly \u2014 by design. You read those files on its behalf and emit a structured response with cited claims. Only your structured response reaches the agent's context.\n\nYour job: read N historical files and the operator's scope question. Produce per-claim records that capture what the historical files said, with full citation, dates, and supersedes-tags pointing at currently-canonical decisions when they exist.\n\n## Hard contract\n\nEvery claim you emit MUST include:\n\n- `claim` \u2014 one-sentence factual statement of what the historical content said. Past-tense. Imperative voice avoided. Example: \"The project considered using a JSONB expression index on commandPayload->>'userId' for dashboard queries.\" NOT \"The project should use a JSONB index\" \u2014 that is current-tense and reads as canon.\n- `as_of` \u2014 ISO date when the source content was authored / valid. Use the file's frontmatter `generated` or `verified-at`, the bucket date in the path (`.archive/2026-05-pre-cairn/`), or the most explicit date you can find in the body. If genuinely unknown, set the bucket date.\n- `source_path` \u2014 the repo-relative path EXACTLY as given in the file headers. Do not invent a path or a hash.\n- `source_lines` \u2014 line range like \"320-410\" or a single line \"47\". Required so the operator can audit your summary by opening the original file.\n- `superseded_by` \u2014 when an accepted decision in the supplied \"Currently-accepted decisions\" list directly relates to the historical claim, set the DEC-NNNN id. Otherwise set null. Do NOT invent decision ids.\n\n## When you should set `no_relevant_history: true`\n\nThe supplied files don't contain anything relevant to the operator's scope question. Better to short-circuit than to fabricate a summary. The cairn returns an empty claims array with a one-line caveat.\n\n## When you should set `summary_caveat`\n\nAnything important about the input that affects how the agent should treat your output:\n- \"Summary covers 8 files; 3 additional matches were truncated.\"\n- \"All claims are from a single bucket dated 2026-04-23; nothing more recent in scope.\"\n\n## What you must NOT do\n\n- Do NOT issue a recommendation. Your output is descriptive (what was said), not prescriptive (what to do).\n- Do NOT phrase claims as if they are current truth. Always past-tense + cited.\n- Do NOT invent paths, line ranges, decision ids, or dates. If you can't find a value, set what's required by schema and skip the claim.\n- Do NOT emit a free-form preamble before the JSON.\n- Do NOT emit fields not in the schema.\n\nOutput ONLY the JSON object.";
-interface BuildHistoryUserPromptArgs {
-    /** Operator's free-text scope description. */
-    scope: string;
-    /** Repo-relative pathHint glob, when provided. */
-    pathHint?: string;
-    since?: string;
-    until?: string;
-    files: ArchiveFile[];
-    /** Optional ledger of currently-accepted decisions for supersedes inference. */
-    acceptedDecisions: {
-        id: string;
-        title: string;
-        scope_globs?: string[];
-    }[];
-}
-export declare function buildHistorySummarizerUserPrompt(args: BuildHistoryUserPromptArgs): string;
-export {};

package/dist/mcp/history/prompt.js

@@ -1,99 +0,0 @@
-/**
- * Tier-1 (Haiku) summarizer prompts for cairn_query_history.
- *
- * Constraint: the LLM emits ONLY structured claims; raw historical
- * content never reaches the agent's context. Each claim cites a
- * concrete source_path + source_lines so the operator (and any future
- * audit) can verify the summary against the original.
- *
- * The prompt id + version are committed in source so a behavior change
- * here is a versioned change in the source tree, not a silent runtime
- * update.
- */
-export const CAIRN_HISTORY_SUMMARIZE_PROMPT_ID = "cairn.history_summarize.v1";
-export const CAIRN_HISTORY_SUMMARIZE_VERSION = "v1";
-export const HISTORY_SUMMARIZER_SYSTEM_PROMPT = `You are the **history summarizer** for an agent cairn's two-zone read separation. The agent calling you cannot read .archive/ files directly — by design. You read those files on its behalf and emit a structured response with cited claims. Only your structured response reaches the agent's context.
-
-Your job: read N historical files and the operator's scope question. Produce per-claim records that capture what the historical files said, with full citation, dates, and supersedes-tags pointing at currently-canonical decisions when they exist.
-
-## Hard contract
-
-Every claim you emit MUST include:
-
-- \`claim\` — one-sentence factual statement of what the historical content said. Past-tense. Imperative voice avoided. Example: "The project considered using a JSONB expression index on commandPayload->>'userId' for dashboard queries." NOT "The project should use a JSONB index" — that is current-tense and reads as canon.
-- \`as_of\` — ISO date when the source content was authored / valid. Use the file's frontmatter \`generated\` or \`verified-at\`, the bucket date in the path (\`.archive/2026-05-pre-cairn/\`), or the most explicit date you can find in the body. If genuinely unknown, set the bucket date.
-- \`source_path\` — the repo-relative path EXACTLY as given in the file headers. Do not invent a path or a hash.
-- \`source_lines\` — line range like "320-410" or a single line "47". Required so the operator can audit your summary by opening the original file.
-- \`superseded_by\` — when an accepted decision in the supplied "Currently-accepted decisions" list directly relates to the historical claim, set the DEC-NNNN id. Otherwise set null. Do NOT invent decision ids.
-
-## When you should set \`no_relevant_history: true\`
-
-The supplied files don't contain anything relevant to the operator's scope question. Better to short-circuit than to fabricate a summary. The cairn returns an empty claims array with a one-line caveat.
-
-## When you should set \`summary_caveat\`
-
-Anything important about the input that affects how the agent should treat your output:
-- "Summary covers 8 files; 3 additional matches were truncated."
-- "All claims are from a single bucket dated 2026-04-23; nothing more recent in scope."
-
-## What you must NOT do
-
-- Do NOT issue a recommendation. Your output is descriptive (what was said), not prescriptive (what to do).
-- Do NOT phrase claims as if they are current truth. Always past-tense + cited.
-- Do NOT invent paths, line ranges, decision ids, or dates. If you can't find a value, set what's required by schema and skip the claim.
-- Do NOT emit a free-form preamble before the JSON.
-- Do NOT emit fields not in the schema.
-
-Output ONLY the JSON object.`;
-const PER_FILE_HEADER_PREVIEW_LINES = 800;
-export function buildHistorySummarizerUserPrompt(args) {
-    const sections = [];
-    sections.push("## Operator scope question");
-    sections.push(args.scope.trim());
-    sections.push("");
-    sections.push("## Filters applied to the .archive/ walk");
-    sections.push(`path_hint: ${args.pathHint ?? "(none — full archive)"}`);
-    sections.push(`since: ${args.since ?? "(none — beginning of time)"}`);
-    sections.push(`until: ${args.until ?? "(none — present)"}`);
-    sections.push(`matched_files: ${args.files.length}`);
-    if (args.acceptedDecisions.length > 0) {
-        sections.push("");
-        sections.push("## Currently-accepted decisions (for supersedes inference)");
-        sections.push("Each line: `<DEC-id> — <title>  (scope: <globs>)`. If a historical claim directly contradicts or has been replaced by one of these, cite the id in `superseded_by`. Otherwise set null. Do NOT invent ids.");
-        sections.push("");
-        for (const d of args.acceptedDecisions.slice(0, 30)) {
-            const scope = d.scope_globs && d.scope_globs.length > 0 ? d.scope_globs.join(", ") : "(no scope)";
-            sections.push(`- **${d.id}** — ${d.title}  (scope: ${scope})`);
-        }
-        if (args.acceptedDecisions.length > 30) {
-            sections.push(`…(${args.acceptedDecisions.length - 30} additional accepted decisions omitted)`);
-        }
-    }
-    sections.push("");
-    sections.push("## Historical files (line-numbered)");
-    if (args.files.length === 0) {
-        sections.push("(none — return `no_relevant_history: true`)");
-    }
-    for (const f of args.files) {
-        sections.push("");
-        sections.push(`### ${f.relPath}  (bucket: ${f.bucket}, archive_date: ${f.archiveDate}${f.truncated ? ", TRUNCATED" : ""})`);
-        sections.push("```");
-        sections.push(numberLines(f.content, PER_FILE_HEADER_PREVIEW_LINES));
-        sections.push("```");
-    }
-    sections.push("");
-    sections.push("## Your task");
-    sections.push("Emit the JSON object per the schema. Cite source_path EXACTLY as the headers above show. Output ONLY the JSON object.");
-    return sections.join("\n");
-}
-function numberLines(text, maxLines) {
-    const lines = text.split(/\r?\n/);
-    const truncated = lines.length > maxLines;
-    const slice = truncated ? lines.slice(0, maxLines) : lines;
-    const padWidth = String(slice.length).length;
-    const out = slice.map((line, i) => `${String(i + 1).padStart(padWidth, " ")}  ${line}`);
-    if (truncated)
-        out.push(`…[${lines.length - maxLines} more lines elided]`);
-    return out.join("\n");
-}
-//# sourceMappingURL=prompt.js.map

package/dist/mcp/history/prompt.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"prompt.js","sourceRoot":"","sources":["../../../src/mcp/history/prompt.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,MAAM,CAAC,MAAM,iCAAiC,GAAG,4BAA4B,CAAC;AAC9E,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC;AAEpD,MAAM,CAAC,MAAM,gCAAgC,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6BAgCnB,CAAC;AAc9B,MAAM,6BAA6B,GAAG,GAAG,CAAC;AAE1C,MAAM,UAAU,gCAAgC,CAC9C,IAAgC;IAEhC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,QAAQ,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC5C,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAEjC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;IAC1D,QAAQ,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,QAAQ,IAAI,uBAAuB,EAAE,CAAC,CAAC;IACxE,QAAQ,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,KAAK,IAAI,4BAA4B,EAAE,CAAC,CAAC;IACtE,QAAQ,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,KAAK,IAAI,kBAAkB,EAAE,CAAC,CAAC;IAC5D,QAAQ,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAErD,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,QAAQ,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;QAC5E,QAAQ,CAAC,IAAI,CAAC,4MAA4M,CAAC,CAAC;QAC5N,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;YACpD,MAAM,KAAK,GAAG,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;YAClG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,KAAK,aAAa,KAAK,GAAG,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,EAAE,yCAAyC,CAAC,CAAC;QAClG,CAAC;IACH,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IACrD,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IAC/D,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,mBAAmB,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC5H,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,6BAA6B,CAAC,CAAC,CAAC;QACrE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC9B,QAAQ,CAAC,IAAI,CAAC,uHAAuH,CAAC,CAAC;IAEvI,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,QAAgB;IACjD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC;IAC1C,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC3D,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IAC7C,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACxF,IAAI,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,GAAG,QAAQ,qBAAqB,CAAC,CAAC;IAC3E,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC"}

package/dist/mcp/history/schema.d.ts

@@ -1,58 +0,0 @@
-/**
- * JSON Schema enforced by `claude --json-schema` for the history
- * summarizer Tier-1 call.
- *
- * Per MCP_SURFACE.md §"cairn_query_history": every claim MUST carry
- * source_path, source_lines, as_of, and a supersedes-tag (string DEC-id
- * or null). The cairn post-resolves currently_canonical_pointer from
- * the decisions ledger after the LLM returns — keeps the LLM's
- * responsibilities tight (cite + summarize) and makes the canonical
- * cross-reference mechanical.
- */
-export declare const HISTORY_SUMMARIZER_OUTPUT_SCHEMA: {
-    readonly type: "object";
-    readonly additionalProperties: false;
-    readonly properties: {
-        readonly claims: {
-            readonly type: "array";
-            readonly items: {
-                readonly type: "object";
-                readonly additionalProperties: false;
-                readonly properties: {
-                    readonly claim: {
-                        readonly type: "string";
-                        readonly minLength: 1;
-                    };
-                    readonly as_of: {
-                        readonly type: "string";
-                        readonly minLength: 1;
-                    };
-                    readonly source_path: {
-                        readonly type: "string";
-                        readonly minLength: 1;
-                    };
-                    readonly source_lines: {
-                        readonly type: "string";
-                        readonly minLength: 1;
-                    };
-                    readonly superseded_by: {
-                        readonly anyOf: readonly [{
-                            readonly type: "string";
-                            readonly pattern: "^DEC-\\d{4,}$";
-                        }, {
-                            readonly type: "null";
-                        }];
-                    };
-                };
-                readonly required: readonly ["claim", "as_of", "source_path", "source_lines"];
-            };
-        };
-        readonly summary_caveat: {
-            readonly type: "string";
-        };
-        readonly no_relevant_history: {
-            readonly type: "boolean";
-        };
-    };
-    readonly required: readonly ["claims"];
-};

package/dist/mcp/history/schema.js

@@ -1,41 +0,0 @@
-/**
- * JSON Schema enforced by `claude --json-schema` for the history
- * summarizer Tier-1 call.
- *
- * Per MCP_SURFACE.md §"cairn_query_history": every claim MUST carry
- * source_path, source_lines, as_of, and a supersedes-tag (string DEC-id
- * or null). The cairn post-resolves currently_canonical_pointer from
- * the decisions ledger after the LLM returns — keeps the LLM's
- * responsibilities tight (cite + summarize) and makes the canonical
- * cross-reference mechanical.
- */
-export const HISTORY_SUMMARIZER_OUTPUT_SCHEMA = {
-    type: "object",
-    additionalProperties: false,
-    properties: {
-        claims: {
-            type: "array",
-            items: {
-                type: "object",
-                additionalProperties: false,
-                properties: {
-                    claim: { type: "string", minLength: 1 },
-                    as_of: { type: "string", minLength: 1 },
-                    source_path: { type: "string", minLength: 1 },
-                    source_lines: { type: "string", minLength: 1 },
-                    superseded_by: {
-                        anyOf: [
-                            { type: "string", pattern: "^DEC-\\d{4,}$" },
-                            { type: "null" },
-                        ],
-                    },
-                },
-                required: ["claim", "as_of", "source_path", "source_lines"],
-            },
-        },
-        summary_caveat: { type: "string" },
-        no_relevant_history: { type: "boolean" },
-    },
-    required: ["claims"],
-};
-//# sourceMappingURL=schema.js.map

package/dist/mcp/history/schema.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../../src/mcp/history/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG;IAC9C,IAAI,EAAE,QAAQ;IACd,oBAAoB,EAAE,KAAK;IAC3B,UAAU,EAAE;QACV,MAAM,EAAE;YACN,IAAI,EAAE,OAAO;YACb,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,oBAAoB,EAAE,KAAK;gBAC3B,UAAU,EAAE;oBACV,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;oBACvC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;oBACvC,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;oBAC7C,YAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;oBAC9C,aAAa,EAAE;wBACb,KAAK,EAAE;4BACL,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE;4BAC5C,EAAE,IAAI,EAAE,MAAM,EAAE;yBACjB;qBACF;iBACF;gBACD,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,cAAc,CAAC;aAC5D;SACF;QACD,cAAc,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAClC,mBAAmB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;KACzC;IACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;CACZ,CAAC"}

package/dist/mcp/history/summarizer.d.ts

@@ -1,81 +0,0 @@
-/**
- * Composes walker + Tier-1 summarizer + post-resolution of
- * currently_canonical_pointer for cairn_query_history.
- *
- * Flow:
- *   1. walkArchive(repoRoot, pathHint, since, until) → ArchiveFile[]
- *   2. Load currently-accepted decisions ledger.
- *   3. Build summarizer prompt with files + ledger.
- *   4. runClaude(tier=haiku, jsonSchema=HISTORY_SUMMARIZER_OUTPUT_SCHEMA).
- *   5. Validate output structurally.
- *   6. Post-resolve currently_canonical_pointer per claim by looking up
- *      `superseded_by` against the on-disk decisions/ dir.
- *   7. Attach summarizer_model + summarizer_prompt_id metadata.
- *
- * Returns the structured QueryHistoryResponse the MCP tool emits.
- */
-import type { ClaudeTier } from "../../claude/index.js";
-import { type ArchiveFile } from "./walker.js";
-export interface SummarizedClaim {
-    claim: string;
-    as_of: string;
-    source_path: string;
-    source_lines: string;
-    superseded_by: string | null;
-    currently_canonical_pointer: string | null;
-    warning: string;
-}
-export interface QueryHistoryResponse {
-    historical_only: true;
-    claims: SummarizedClaim[];
-    summary_caveat: string;
-    summarizer_model: string;
-    summarizer_prompt_id: string;
-    /** Structural metadata about the walk — useful for telemetry + tests. */
-    walked_files: number;
-    walked_buckets: string[];
-    truncated_walk: boolean;
-}
-export interface RunQueryHistoryArgs {
-    repoRoot: string;
-    scope: string;
-    pathHint?: string;
-    since?: string;
-    until?: string;
-    /** Tier override; default haiku per workflow.md. */
-    tier?: ClaudeTier;
-    /** Per-call timeout. Default 120000 ms. */
-    timeoutMs?: number;
-    /** Smoke override — return canned summarizer output without burning quota. */
-    summarizerOverride?: typeof runHistorySummarizer;
-}
-interface RunSummarizerInput {
-    scope: string;
-    pathHint?: string;
-    since?: string;
-    until?: string;
-    files: ArchiveFile[];
-    acceptedDecisions: {
-        id: string;
-        title: string;
-        scope_globs?: string[];
-    }[];
-    tier: ClaudeTier;
-    timeoutMs: number;
-}
-interface RunSummarizerResult {
-    claims: {
-        claim: string;
-        as_of: string;
-        source_path: string;
-        source_lines: string;
-        superseded_by: string | null;
-    }[];
-    summary_caveat: string;
-    no_relevant_history: boolean;
-    model: string;
-}
-export declare function runQueryHistory(args: RunQueryHistoryArgs): Promise<QueryHistoryResponse>;
-/** Default summarizer implementation — runs the real LLM. */
-export declare function runHistorySummarizer(input: RunSummarizerInput): Promise<RunSummarizerResult>;
-export {};