ctxr-cli 0.1.0

package/dist/core/catalog/build.js

@@ -0,0 +1,113 @@
+import { mkdir, readFile } from 'node:fs/promises';
+import path from 'node:path';
+import { contentHashOfBody } from '../content/canonicalize.js';
+import { upsertFencedRegionInFile } from '../fs/fenced-region.js';
+import { htmlCommentFence } from '../markers.js';
+import { listNotes } from '../notes/list.js';
+import { catalogSectionsFor, parseCatalogGlosses, renderCatalogEntry, sectionFileName, sectionForNote, } from './model.js';
+export const CATALOG_FENCE = htmlCommentFence('catalog');
+async function readIfExists(filePath) {
+    try {
+        return await readFile(filePath, 'utf8');
+    }
+    catch (err) {
+        if (err.code === 'ENOENT')
+            return '';
+        throw err;
+    }
+}
+function groupBySection(notes, sections) {
+    const grouped = new Map();
+    for (const section of sections)
+        grouped.set(section.id, []);
+    for (const note of notes) {
+        grouped.get(sectionForNote(sections, note.path).id).push(note);
+    }
+    return grouped;
+}
+/**
+ * context-catalog spec: regenerates each section's fenced identity/path
+ * entries, preserving any already-authored gloss. Re-running with no
+ * underlying change is byte-identical (upsertFencedRegionInFile only writes
+ * when content actually differs).
+ */
+export async function buildCatalog(store) {
+    const notes = await listNotes(store.root, store.config);
+    const sections = catalogSectionsFor(store.config);
+    const catalogDir = path.join(store.root, store.config.catalog.path);
+    await mkdir(catalogDir, { recursive: true });
+    const notesBySection = groupBySection(notes, sections);
+    const results = [];
+    for (const section of sections) {
+        const sectionNotes = notesBySection.get(section.id) ?? [];
+        const filePath = path.join(catalogDir, sectionFileName(section));
+        const existingGlosses = parseCatalogGlosses(await readIfExists(filePath));
+        const lines = sectionNotes.map((note) => renderCatalogEntry(note, existingGlosses));
+        const { changed } = await upsertFencedRegionInFile(filePath, CATALOG_FENCE, lines);
+        results.push({ id: section.id, file: path.relative(store.root, filePath), noteCount: sectionNotes.length, changed });
+    }
+    return { sections: results, totalNotes: notes.length };
+}
+/**
+ * context-catalog spec: coverage is a hard invariant in BOTH directions —
+ * every retrievable note must have an entry (missing), and every entry must
+ * still reference a real, retrievable note (dangling). A deleted note whose
+ * stale entry survives a build is exactly the failure this second half
+ * catches — `catalog build` only ever ADDS/preserves entries, so removal
+ * must be caught here rather than silently left to rot.
+ */
+export async function checkCatalogCoverage(store) {
+    const notes = await listNotes(store.root, store.config);
+    const notePaths = new Set(notes.map((n) => n.path));
+    const sections = catalogSectionsFor(store.config);
+    const catalogDir = path.join(store.root, store.config.catalog.path);
+    const cataloged = new Set();
+    for (const section of sections) {
+        const body = await readIfExists(path.join(catalogDir, sectionFileName(section)));
+        for (const notePath of parseCatalogGlosses(body).keys())
+            cataloged.add(notePath);
+    }
+    return {
+        missing: notes.map((n) => n.path).filter((p) => !cataloged.has(p)),
+        dangling: [...cataloged].filter((p) => !notePaths.has(p)).sort(),
+    };
+}
+/** context-catalog spec: an entry whose note has changed since its gloss was confirmed needs review. */
+export async function checkCatalogStale(store) {
+    const notes = await listNotes(store.root, store.config);
+    const notesByPath = new Map(notes.map((n) => [n.path, n]));
+    const sections = catalogSectionsFor(store.config);
+    const catalogDir = path.join(store.root, store.config.catalog.path);
+    const stale = [];
+    for (const section of sections) {
+        const body = await readIfExists(path.join(catalogDir, sectionFileName(section)));
+        for (const [notePath, entry] of parseCatalogGlosses(body)) {
+            if (!entry.hash)
+                continue; // no confirmed gloss yet — nothing to go stale
+            const note = notesByPath.get(notePath);
+            if (!note)
+                continue; // handled by coverage, not staleness
+            if (contentHashOfBody(note.body) !== entry.hash) {
+                stale.push({ path: notePath, section: section.id });
+            }
+        }
+    }
+    return stale;
+}
+/**
+ * Returns null ONLY when `sectionId` doesn't name a configured section — a
+ * real section that simply hasn't been built yet (or has no notes) returns
+ * an empty string, which is a valid, uninteresting result, not an error.
+ */
+export async function readCatalogSection(store, sectionId, asContext) {
+    const sections = catalogSectionsFor(store.config);
+    const section = sections.find((s) => s.id === sectionId);
+    if (!section)
+        return null;
+    void asContext; // visibility filtering wired in Phase 5
+    return readIfExists(path.join(store.root, store.config.catalog.path, sectionFileName(section)));
+}
+export function catalogSectionPath(store, section) {
+    return path.join(store.root, store.config.catalog.path, sectionFileName(section));
+}
+//# sourceMappingURL=build.js.map

package/dist/core/catalog/build.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"build.js","sourceRoot":"","sources":["../../../src/core/catalog/build.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,SAAS,EAAa,MAAM,kBAAkB,CAAC;AAExD,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,eAAe,EACf,cAAc,GAEf,MAAM,YAAY,CAAC;AAEpB,MAAM,CAAC,MAAM,aAAa,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;AAEzD,KAAK,UAAU,YAAY,CAAC,QAAgB;IAC1C,IAAI,CAAC;QACH,OAAO,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC1C,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAK,GAA6B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAC;QAChE,MAAM,GAAG,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAsB,EAAE,QAAmC;IACjF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,OAAO,IAAI,QAAQ;QAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC5D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAcD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,KAAY;IAC7C,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACpE,MAAM,KAAK,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAE7C,MAAM,cAAc,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACvD,MAAM,OAAO,GAAgC,EAAE,CAAC;IAEhD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,YAAY,GAAG,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;QACjE,MAAM,eAAe,GAAG,mBAAmB,CAAC,MAAM,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC;QACpF,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,wBAAwB,CAAC,QAAQ,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;QACnF,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,SAAS,EAAE,YAAY,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IACvH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;AACzD,CAAC;AASD;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,KAAY;IACrD,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEpE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACjF,KAAK,MAAM,QAAQ,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;YAAE,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnF,CAAC;IAED,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClE,QAAQ,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;KACjE,CAAC;AACJ,CAAC;AAOD,wGAAwG;AACxG,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,KAAY;IAClD,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEpE,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACjF,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1D,IAAI,CAAC,KAAK,CAAC,IAAI;gBAAE,SAAS,CAAC,+CAA+C;YAC1E,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACvC,IAAI,CAAC,IAAI;gBAAE,SAAS,CAAC,qCAAqC;YAC1D,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;gBAChD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,KAAY,EAAE,SAAiB,EAAE,SAAkB;IAC1F,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC;IACzD,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,KAAK,SAAS,CAAC,CAAC,wCAAwC;IACxD,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClG,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAY,EAAE,OAAuB;IACtE,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;AACpF,CAAC"}

package/dist/core/catalog/model.d.ts

@@ -0,0 +1,33 @@
+import type { StoreConfig } from '../../config/schema.js';
+import type { Note } from '../notes/list.js';
+/**
+ * context-catalog spec: one section per configured taxonomy layer, plus a
+ * catch-all "uncategorized" (or, for a zero-layer profile like
+ * Zettelkasten, a single "notes" section covering everything) — so every
+ * retrievable note always has exactly one section to belong to, never zero.
+ */
+export interface CatalogSection {
+    id: string;
+    /** The taxonomy layer path this section corresponds to, or null for the catch-all. */
+    layerPath: string | null;
+}
+export declare function catalogSectionsFor(config: StoreConfig): CatalogSection[];
+export declare function sectionForNote(sections: readonly CatalogSection[], notePath: string): CatalogSection;
+export declare function sectionFileName(section: CatalogSection): string;
+export interface CatalogGlossEntry {
+    gloss: string;
+    /** The content hash at the moment the gloss was last confirmed non-empty — frozen, like source-hash. */
+    hash?: string;
+}
+/** Extracts existing entries' glosses (and confirmed hashes) keyed by note path, so a rebuild can preserve them. */
+export declare function parseCatalogGlosses(body: string): Map<string, CatalogGlossEntry>;
+/**
+ * Structure (identity + path) is always freshly generated; the gloss is
+ * preserved from `existing` when present, and left empty for a note that
+ * has never appeared before — never fabricated (context-catalog spec). The
+ * confirmed hash is stamped the first time a gloss becomes non-empty, then
+ * frozen — the same "frozen at confirmation, not live" discipline
+ * context-ingest applies to source-hash.
+ */
+export declare function renderCatalogEntry(note: Note, existing: ReadonlyMap<string, CatalogGlossEntry>): string;
+//# sourceMappingURL=model.d.ts.map

package/dist/core/catalog/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../../src/core/catalog/model.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAE1D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAE7C;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,sFAAsF;IACtF,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,WAAW,GAAG,cAAc,EAAE,CAQxE;AAED,wBAAgB,cAAc,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,cAAc,CAQpG;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,cAAc,GAAG,MAAM,CAE/D;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,wGAAwG;IACxG,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAID,oHAAoH;AACpH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAShF;AAQD;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,GAAG,MAAM,CAMvG"}

package/dist/core/catalog/model.js

@@ -0,0 +1,58 @@
+import path from 'node:path';
+import { contentHashOfBody } from '../content/canonicalize.js';
+export function catalogSectionsFor(config) {
+    if (config.taxonomy.layers.length === 0) {
+        return [{ id: 'notes', layerPath: null }];
+    }
+    return [
+        ...config.taxonomy.layers.map((layer) => ({ id: layer.path.replace(/\/+$/, ''), layerPath: layer.path })),
+        { id: 'uncategorized', layerPath: null },
+    ];
+}
+export function sectionForNote(sections, notePath) {
+    for (const section of sections) {
+        if (section.layerPath) {
+            const prefix = section.layerPath.endsWith('/') ? section.layerPath : `${section.layerPath}/`;
+            if (notePath.startsWith(prefix))
+                return section;
+        }
+    }
+    return sections[sections.length - 1]; // the catch-all is always last
+}
+export function sectionFileName(section) {
+    return `${section.id}.md`;
+}
+const ENTRY_RE = /^- \[\[(.*?)\]\] \(`([^`]+)`\) — (.*?)(?:\s*<!-- hash:([0-9a-f]{16}) -->)?$/;
+/** Extracts existing entries' glosses (and confirmed hashes) keyed by note path, so a rebuild can preserve them. */
+export function parseCatalogGlosses(body) {
+    const entries = new Map();
+    for (const line of body.split('\n')) {
+        const match = ENTRY_RE.exec(line);
+        if (match) {
+            entries.set(match[2], { gloss: match[3] ?? '', hash: match[4] });
+        }
+    }
+    return entries;
+}
+function titleFor(note) {
+    const fmTitle = note.frontmatter?.title;
+    if (typeof fmTitle === 'string' && fmTitle.length > 0)
+        return fmTitle;
+    return path.basename(note.path, '.md');
+}
+/**
+ * Structure (identity + path) is always freshly generated; the gloss is
+ * preserved from `existing` when present, and left empty for a note that
+ * has never appeared before — never fabricated (context-catalog spec). The
+ * confirmed hash is stamped the first time a gloss becomes non-empty, then
+ * frozen — the same "frozen at confirmation, not live" discipline
+ * context-ingest applies to source-hash.
+ */
+export function renderCatalogEntry(note, existing) {
+    const prior = existing.get(note.path);
+    const gloss = prior?.gloss ?? '';
+    const hash = gloss.length > 0 ? (prior?.hash ?? contentHashOfBody(note.body)) : undefined;
+    const hashSuffix = hash ? ` <!-- hash:${hash} -->` : '';
+    return `- [[${titleFor(note)}]] (\`${note.path}\`) — ${gloss}${hashSuffix}`;
+}
+//# sourceMappingURL=model.js.map

package/dist/core/catalog/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../src/core/catalog/model.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAe/D,MAAM,UAAU,kBAAkB,CAAC,MAAmB;IACpD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO;QACL,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACzG,EAAE,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE,IAAI,EAAE;KACzC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,QAAmC,EAAE,QAAgB;IAClF,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,SAAS,GAAG,CAAC;YAC7F,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC;gBAAE,OAAO,OAAO,CAAC;QAClD,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,CAAC,+BAA+B;AACxE,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,OAAuB;IACrD,OAAO,GAAG,OAAO,CAAC,EAAE,KAAK,CAAC;AAC5B,CAAC;AAQD,MAAM,QAAQ,GAAG,6EAA6E,CAAC;AAE/F,oHAAoH;AACpH,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6B,CAAC;IACrD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,QAAQ,CAAC,IAAU;IAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC;IACxC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC;IACtE,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACzC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAU,EAAE,QAAgD;IAC7F,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1F,MAAM,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,cAAc,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,OAAO,OAAO,QAAQ,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,SAAS,KAAK,GAAG,UAAU,EAAE,CAAC;AAC9E,CAAC"}

package/dist/core/checks/catalog-checks.d.ts

@@ -0,0 +1,4 @@
+export declare const catalogCoverageCheck: import("./types.js").CheckDefinition;
+export declare const catalogSectionSizeCheck: import("./types.js").CheckDefinition;
+export declare const CATALOG_CHECKS: import("./types.js").CheckDefinition[];
+//# sourceMappingURL=catalog-checks.d.ts.map

package/dist/core/checks/catalog-checks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-checks.d.ts","sourceRoot":"","sources":["../../../src/core/checks/catalog-checks.ts"],"names":[],"mappings":"AAOA,eAAO,MAAM,oBAAoB,sCAyB/B,CAAC;AAEH,eAAO,MAAM,uBAAuB,sCA8BlC,CAAC;AAEH,eAAO,MAAM,cAAc,wCAAkD,CAAC"}

package/dist/core/checks/catalog-checks.js

@@ -0,0 +1,65 @@
+import { stat } from 'node:fs/promises';
+import path from 'node:path';
+import { catalogSectionPath, checkCatalogCoverage } from '../catalog/build.js';
+import { catalogSectionsFor } from '../catalog/model.js';
+import { defineCheck } from './types.js';
+export const catalogCoverageCheck = defineCheck({
+    id: 'catalog.coverage',
+    title: 'Every retrievable note has a catalog entry',
+    severity: 'invariant',
+    capability: 'context-catalog',
+    scopes: ['store'],
+    async run(ctx) {
+        const store = { root: ctx.storeRoot, config: ctx.config };
+        const { missing, dangling } = await checkCatalogCoverage(store);
+        const findings = [
+            ...missing.map((notePath) => ({
+                code: 'catalog.coverage.missing',
+                severity: 'error',
+                message: `"${notePath}" is retrievable but has no catalog entry.`,
+                subject: notePath,
+            })),
+            ...dangling.map((notePath) => ({
+                code: 'catalog.coverage.dangling',
+                severity: 'error',
+                message: `A catalog entry references "${notePath}", which no longer exists.`,
+                subject: notePath,
+            })),
+        ];
+        return { status: findings.length > 0 ? 'fail' : 'pass', findings };
+    },
+});
+export const catalogSectionSizeCheck = defineCheck({
+    id: 'catalog.section_size',
+    title: 'No catalog section exceeds its configured size budget',
+    severity: 'invariant',
+    capability: 'context-catalog',
+    scopes: ['store'],
+    async run(ctx) {
+        const store = { root: ctx.storeRoot, config: ctx.config };
+        const sections = catalogSectionsFor(ctx.config);
+        const findings = [];
+        for (const section of sections) {
+            const filePath = catalogSectionPath(store, section);
+            let size = 0;
+            try {
+                size = (await stat(filePath)).size;
+            }
+            catch {
+                continue; // section file doesn't exist yet — nothing to measure
+            }
+            if (size > ctx.config.catalog.section_max_bytes) {
+                findings.push({
+                    code: 'catalog.section_size.exceeded',
+                    severity: 'error',
+                    message: `Catalog section "${section.id}" (${path.relative(store.root, filePath)}) is ${size} bytes, exceeding the configured budget of ${ctx.config.catalog.section_max_bytes}. Split it.`,
+                    subject: section.id,
+                    details: { size, budget: ctx.config.catalog.section_max_bytes },
+                });
+            }
+        }
+        return { status: findings.length > 0 ? 'fail' : 'pass', findings };
+    },
+});
+export const CATALOG_CHECKS = [catalogCoverageCheck, catalogSectionSizeCheck];
+//# sourceMappingURL=catalog-checks.js.map

package/dist/core/checks/catalog-checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-checks.js","sourceRoot":"","sources":["../../../src/core/checks/catalog-checks.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC/E,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAEzD,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC,MAAM,CAAC,MAAM,oBAAoB,GAAG,WAAW,CAAC;IAC9C,EAAE,EAAE,kBAAkB;IACtB,KAAK,EAAE,4CAA4C;IACnD,QAAQ,EAAE,WAAW;IACrB,UAAU,EAAE,iBAAiB;IAC7B,MAAM,EAAE,CAAC,OAAO,CAAC;IACjB,KAAK,CAAC,GAAG,CAAC,GAAG;QACX,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;QAC1D,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,MAAM,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAChE,MAAM,QAAQ,GAAc;YAC1B,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;gBAC5B,IAAI,EAAE,0BAA0B;gBAChC,QAAQ,EAAE,OAAgB;gBAC1B,OAAO,EAAE,IAAI,QAAQ,4CAA4C;gBACjE,OAAO,EAAE,QAAQ;aAClB,CAAC,CAAC;YACH,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;gBAC7B,IAAI,EAAE,2BAA2B;gBACjC,QAAQ,EAAE,OAAgB;gBAC1B,OAAO,EAAE,+BAA+B,QAAQ,4BAA4B;gBAC5E,OAAO,EAAE,QAAQ;aAClB,CAAC,CAAC;SACJ,CAAC;QACF,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC;IACrE,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,uBAAuB,GAAG,WAAW,CAAC;IACjD,EAAE,EAAE,sBAAsB;IAC1B,KAAK,EAAE,uDAAuD;IAC9D,QAAQ,EAAE,WAAW;IACrB,UAAU,EAAE,iBAAiB;IAC7B,MAAM,EAAE,CAAC,OAAO,CAAC;IACjB,KAAK,CAAC,GAAG,CAAC,GAAG;QACX,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;QAC1D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACpD,IAAI,IAAI,GAAG,CAAC,CAAC;YACb,IAAI,CAAC;gBACH,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;YACrC,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS,CAAC,sDAAsD;YAClE,CAAC;YACD,IAAI,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC;gBAChD,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,+BAA+B;oBACrC,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,oBAAoB,OAAO,CAAC,EAAE,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,IAAI,8CAA8C,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,iBAAiB,aAAa;oBAC3L,OAAO,EAAE,OAAO,CAAC,EAAE;oBACnB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,iBAAiB,EAAE;iBAChE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC;IACrE,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,oBAAoB,EAAE,uBAAuB,CAAC,CAAC"}

package/dist/core/checks/identity-checks.d.ts

@@ -0,0 +1,11 @@
+/**
+ * agent-identity spec: "Identity files... SHALL live under a path declared
+ * in the store's retrieval exclusion configuration." Catalog and graph
+ * already can't surface anything under an excluded prefix (they're both
+ * built from listNotes()) — this check guards the one way that guarantee
+ * could quietly break: an operator editing config.retrieval.exclude_paths
+ * and dropping the identity path from it.
+ */
+export declare const identityExclusionCheck: import("./types.js").CheckDefinition;
+export declare const IDENTITY_CHECKS: import("./types.js").CheckDefinition[];
+//# sourceMappingURL=identity-checks.d.ts.map

package/dist/core/checks/identity-checks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity-checks.d.ts","sourceRoot":"","sources":["../../../src/core/checks/identity-checks.ts"],"names":[],"mappings":"AAEA;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB,sCA2BjC,CAAC;AAEH,eAAO,MAAM,eAAe,wCAA2B,CAAC"}

package/dist/core/checks/identity-checks.js

@@ -0,0 +1,39 @@
+import { defineCheck } from './types.js';
+/**
+ * agent-identity spec: "Identity files... SHALL live under a path declared
+ * in the store's retrieval exclusion configuration." Catalog and graph
+ * already can't surface anything under an excluded prefix (they're both
+ * built from listNotes()) — this check guards the one way that guarantee
+ * could quietly break: an operator editing config.retrieval.exclude_paths
+ * and dropping the identity path from it.
+ */
+export const identityExclusionCheck = defineCheck({
+    id: 'identity.excluded_from_retrieval',
+    title: 'The identity path is excluded from retrieval',
+    severity: 'invariant',
+    capability: 'agent-identity',
+    scopes: ['store'],
+    async run(ctx) {
+        const identityPath = ctx.config.identity.path.replace(/\/+$/, '');
+        const covered = ctx.config.retrieval.exclude_paths.some((prefix) => {
+            const trimmed = prefix.replace(/\/+$/, '');
+            return identityPath === trimmed || identityPath.startsWith(`${trimmed}/`);
+        });
+        if (covered) {
+            return { status: 'pass', findings: [] };
+        }
+        return {
+            status: 'fail',
+            findings: [
+                {
+                    code: 'identity.not_excluded',
+                    severity: 'error',
+                    message: `The identity path "${ctx.config.identity.path}" is not covered by retrieval.exclude_paths — identity content could leak into the catalog or graph.`,
+                    subject: ctx.config.identity.path,
+                },
+            ],
+        };
+    },
+});
+export const IDENTITY_CHECKS = [identityExclusionCheck];
+//# sourceMappingURL=identity-checks.js.map

package/dist/core/checks/identity-checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity-checks.js","sourceRoot":"","sources":["../../../src/core/checks/identity-checks.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,WAAW,CAAC;IAChD,EAAE,EAAE,kCAAkC;IACtC,KAAK,EAAE,8CAA8C;IACrD,QAAQ,EAAE,WAAW;IACrB,UAAU,EAAE,gBAAgB;IAC5B,MAAM,EAAE,CAAC,OAAO,CAAC;IACjB,KAAK,CAAC,GAAG,CAAC,GAAG;QACX,MAAM,YAAY,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAClE,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE;YACjE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAC3C,OAAO,YAAY,KAAK,OAAO,IAAI,YAAY,CAAC,UAAU,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC;QAC5E,CAAC,CAAC,CAAC;QACH,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QAC1C,CAAC;QACD,OAAO;YACL,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,uBAAuB;oBAC7B,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,sBAAsB,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,sGAAsG;oBAC7J,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI;iBAClC;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,sBAAsB,CAAC,CAAC"}

package/dist/core/checks/integrity-checks.d.ts

@@ -0,0 +1,23 @@
+/**
+ * store-integrity spec (task 9.3): "derived-artifact staleness." Covers
+ * both derived legs in one check — the catalog's confirmed-gloss hash
+ * (Phase 3) and the persisted graph compared against a fresh rebuild from
+ * the store's current notes. Neither sub-condition being "not built yet"
+ * is treated as a failure — there's nothing stale about an artifact that
+ * has simply never been built.
+ */
+export declare const derivedArtifactStalenessCheck: import("./types.js").CheckDefinition;
+/**
+ * store-integrity spec: "dangling links... (per context-retrieval)." A
+ * genuine identity collision is NOT re-checked here — buildGraphFromNotes
+ * refuses to persist a graph that has one (core/graph/model.ts), so a
+ * persisted graph.json is proof by construction that none exists; there is
+ * nothing for a doctor check to find after the fact.
+ */
+export declare const graphDanglingLinksCheck: import("./types.js").CheckDefinition;
+/** store-integrity spec: "schema version currency (per store-lifecycle)." */
+export declare const schemaVersionCurrencyCheck: import("./types.js").CheckDefinition;
+/** store-integrity spec: "adapter compatibility (per adapters)." */
+export declare const adapterCompatibilityCheck: import("./types.js").CheckDefinition;
+export declare const INTEGRITY_CHECKS: import("./types.js").CheckDefinition[];
+//# sourceMappingURL=integrity-checks.d.ts.map

package/dist/core/checks/integrity-checks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"integrity-checks.d.ts","sourceRoot":"","sources":["../../../src/core/checks/integrity-checks.ts"],"names":[],"mappings":"AAOA;;;;;;;GAOG;AACH,eAAO,MAAM,6BAA6B,sCAkCxC,CAAC;AAEH;;;;;;GAMG;AAGH,eAAO,MAAM,uBAAuB,sCAoBlC,CAAC;AAEH,6EAA6E;AAC7E,eAAO,MAAM,0BAA0B,sCAsBrC,CAAC;AAEH,oEAAoE;AACpE,eAAO,MAAM,yBAAyB,sCAuBpC,CAAC;AAEH,eAAO,MAAM,gBAAgB,wCAK5B,CAAC"}

package/dist/core/checks/integrity-checks.js

@@ -0,0 +1,132 @@
+import { resolveAdapter } from '../../adapters/registry.js';
+import { SUPPORTED_SCHEMA_VERSION } from '../../config/schema.js';
+import { checkCatalogStale } from '../catalog/build.js';
+import { buildGraphFromNotes } from '../graph/model.js';
+import { defineCheck } from './types.js';
+/**
+ * store-integrity spec (task 9.3): "derived-artifact staleness." Covers
+ * both derived legs in one check — the catalog's confirmed-gloss hash
+ * (Phase 3) and the persisted graph compared against a fresh rebuild from
+ * the store's current notes. Neither sub-condition being "not built yet"
+ * is treated as a failure — there's nothing stale about an artifact that
+ * has simply never been built.
+ */
+export const derivedArtifactStalenessCheck = defineCheck({
+    id: 'derived_artifacts.stale',
+    title: 'Derived artifacts (catalog, graph) match the store\'s current notes',
+    severity: 'invariant',
+    capability: 'store-integrity',
+    scopes: ['store'],
+    async run(ctx) {
+        const findings = [];
+        const store = { root: ctx.storeRoot, config: ctx.config };
+        const staleCatalogEntries = await checkCatalogStale(store);
+        for (const entry of staleCatalogEntries) {
+            findings.push({
+                code: 'derived_artifacts.catalog_stale',
+                severity: 'error',
+                message: `"${entry.path}" in catalog section "${entry.section}" has changed since its gloss was last confirmed.`,
+                subject: entry.path,
+            });
+        }
+        const persistedGraph = await ctx.graph();
+        if (persistedGraph) {
+            const freshGraph = buildGraphFromNotes(await ctx.notes());
+            if (JSON.stringify(persistedGraph) !== JSON.stringify(freshGraph)) {
+                findings.push({
+                    code: 'derived_artifacts.graph_stale',
+                    severity: 'error',
+                    message: 'The persisted graph does not match what a rebuild would produce from the store\'s current notes. Run `ctxr graph build`.',
+                });
+            }
+        }
+        return { status: findings.length > 0 ? 'fail' : 'pass', findings };
+    },
+});
+/**
+ * store-integrity spec: "dangling links... (per context-retrieval)." A
+ * genuine identity collision is NOT re-checked here — buildGraphFromNotes
+ * refuses to persist a graph that has one (core/graph/model.ts), so a
+ * persisted graph.json is proof by construction that none exists; there is
+ * nothing for a doctor check to find after the fact.
+ */
+// Shares detection with organize-checks.ts:brokenLinksCheck (lint, observation) under a
+// different id (task 9.4: two ids, two severity lanes, one condition, never double-counted).
+export const graphDanglingLinksCheck = defineCheck({
+    id: 'graph.dangling_links',
+    title: 'The graph has no dangling links',
+    severity: 'invariant',
+    capability: 'context-retrieval',
+    scopes: ['store'],
+    async run(ctx) {
+        const graph = await ctx.graph();
+        if (!graph) {
+            return { status: 'skip', skipReason: 'graph has not been built yet — run `ctxr graph build`', findings: [] };
+        }
+        const findings = graph.dangling.map((d) => ({
+            code: 'graph.dangling_link',
+            severity: 'error',
+            message: `"${d.from}" links to "${d.target}", which is ${d.reason === 'ambiguous' ? 'ambiguous' : 'not found'}.`,
+            subject: d.from,
+            details: { target: d.target, reason: d.reason },
+        }));
+        return { status: findings.length > 0 ? 'fail' : 'pass', findings };
+    },
+});
+/** store-integrity spec: "schema version currency (per store-lifecycle)." */
+export const schemaVersionCurrencyCheck = defineCheck({
+    id: 'store.schema_version_currency',
+    title: 'The store is at the current schema version',
+    severity: 'invariant',
+    capability: 'store-lifecycle',
+    scopes: ['store'],
+    async run(ctx) {
+        if (ctx.config.schema_version >= SUPPORTED_SCHEMA_VERSION) {
+            return { status: 'pass', findings: [] };
+        }
+        return {
+            status: 'fail',
+            findings: [
+                {
+                    code: 'store.schema_version_behind',
+                    severity: 'error',
+                    message: `The store is at schema_version ${ctx.config.schema_version}, behind the supported version ${SUPPORTED_SCHEMA_VERSION}. Run \`ctxr migrate\`.`,
+                    details: { current: ctx.config.schema_version, supported: SUPPORTED_SCHEMA_VERSION },
+                },
+            ],
+        };
+    },
+});
+/** store-integrity spec: "adapter compatibility (per adapters)." */
+export const adapterCompatibilityCheck = defineCheck({
+    id: 'adapters.compatibility',
+    title: 'Every configured adapter resolves and matches its supported interface version',
+    severity: 'invariant',
+    capability: 'adapters',
+    scopes: ['store'],
+    async run(ctx) {
+        const findings = [];
+        for (const declaration of ctx.config.adapters) {
+            try {
+                resolveAdapter(declaration);
+            }
+            catch (err) {
+                findings.push({
+                    code: 'adapters.incompatible',
+                    severity: 'error',
+                    message: err instanceof Error ? err.message : String(err),
+                    subject: declaration.id,
+                    details: { kind: declaration.kind },
+                });
+            }
+        }
+        return { status: findings.length > 0 ? 'fail' : 'pass', findings };
+    },
+});
+export const INTEGRITY_CHECKS = [
+    derivedArtifactStalenessCheck,
+    graphDanglingLinksCheck,
+    schemaVersionCurrencyCheck,
+    adapterCompatibilityCheck,
+];
+//# sourceMappingURL=integrity-checks.js.map

package/dist/core/checks/integrity-checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"integrity-checks.js","sourceRoot":"","sources":["../../../src/core/checks/integrity-checks.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,WAAW,CAAC;IACvD,EAAE,EAAE,yBAAyB;IAC7B,KAAK,EAAE,qEAAqE;IAC5E,QAAQ,EAAE,WAAW;IACrB,UAAU,EAAE,iBAAiB;IAC7B,MAAM,EAAE,CAAC,OAAO,CAAC;IACjB,KAAK,CAAC,GAAG,CAAC,GAAG;QACX,MAAM,QAAQ,GAAc,EAAE,CAAC;QAE/B,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;QAC1D,MAAM,mBAAmB,GAAG,MAAM,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAC3D,KAAK,MAAM,KAAK,IAAI,mBAAmB,EAAE,CAAC;YACxC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,iCAAiC;gBACvC,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,IAAI,KAAK,CAAC,IAAI,yBAAyB,KAAK,CAAC,OAAO,mDAAmD;gBAChH,OAAO,EAAE,KAAK,CAAC,IAAI;aACpB,CAAC,CAAC;QACL,CAAC;QAED,MAAM,cAAc,GAAG,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC;QACzC,IAAI,cAAc,EAAE,CAAC;YACnB,MAAM,UAAU,GAAG,mBAAmB,CAAC,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;YAC1D,IAAI,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;gBAClE,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,+BAA+B;oBACrC,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,0HAA0H;iBACpI,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC;IACrE,CAAC;CACF,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,wFAAwF;AACxF,6FAA6F;AAC7F,MAAM,CAAC,MAAM,uBAAuB,GAAG,WAAW,CAAC;IACjD,EAAE,EAAE,sBAAsB;IAC1B,KAAK,EAAE,iCAAiC;IACxC,QAAQ,EAAE,WAAW;IACrB,UAAU,EAAE,mBAAmB;IAC/B,MAAM,EAAE,CAAC,OAAO,CAAC;IACjB,KAAK,CAAC,GAAG,CAAC,GAAG;QACX,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,uDAAuD,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QAC/G,CAAC;QACD,MAAM,QAAQ,GAAc,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACrD,IAAI,EAAE,qBAAqB;YAC3B,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,MAAM,eAAe,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,GAAG;YAChH,OAAO,EAAE,CAAC,CAAC,IAAI;YACf,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;SAChD,CAAC,CAAC,CAAC;QACJ,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC;IACrE,CAAC;CACF,CAAC,CAAC;AAEH,6EAA6E;AAC7E,MAAM,CAAC,MAAM,0BAA0B,GAAG,WAAW,CAAC;IACpD,EAAE,EAAE,+BAA+B;IACnC,KAAK,EAAE,4CAA4C;IACnD,QAAQ,EAAE,WAAW;IACrB,UAAU,EAAE,iBAAiB;IAC7B,MAAM,EAAE,CAAC,OAAO,CAAC;IACjB,KAAK,CAAC,GAAG,CAAC,GAAG;QACX,IAAI,GAAG,CAAC,MAAM,CAAC,cAAc,IAAI,wBAAwB,EAAE,CAAC;YAC1D,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QAC1C,CAAC;QACD,OAAO;YACL,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,6BAA6B;oBACnC,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,kCAAkC,GAAG,CAAC,MAAM,CAAC,cAAc,kCAAkC,wBAAwB,yBAAyB;oBACvJ,OAAO,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,SAAS,EAAE,wBAAwB,EAAE;iBACrF;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,oEAAoE;AACpE,MAAM,CAAC,MAAM,yBAAyB,GAAG,WAAW,CAAC;IACnD,EAAE,EAAE,wBAAwB;IAC5B,KAAK,EAAE,+EAA+E;IACtF,QAAQ,EAAE,WAAW;IACrB,UAAU,EAAE,UAAU;IACtB,MAAM,EAAE,CAAC,OAAO,CAAC;IACjB,KAAK,CAAC,GAAG,CAAC,GAAG;QACX,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,KAAK,MAAM,WAAW,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC9C,IAAI,CAAC;gBACH,cAAc,CAAC,WAAW,CAAC,CAAC;YAC9B,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,uBAAuB;oBAC7B,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;oBACzD,OAAO,EAAE,WAAW,CAAC,EAAE;oBACvB,OAAO,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE;iBACpC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC;IACrE,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,6BAA6B;IAC7B,uBAAuB;IACvB,0BAA0B;IAC1B,yBAAyB;CAC1B,CAAC"}

package/dist/core/checks/manifest.d.ts

@@ -0,0 +1,7 @@
+import type { CheckDefinition } from './types.js';
+/**
+ * The only file later phases append to when they add a doctor/lint check:
+ * one import, one array entry. Nothing else under checks/ changes.
+ */
+export declare const CHECKS: readonly CheckDefinition[];
+//# sourceMappingURL=manifest.d.ts.map

package/dist/core/checks/manifest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../../src/core/checks/manifest.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE,SAAS,eAAe,EAQ5C,CAAC"}

package/dist/core/checks/manifest.js

@@ -0,0 +1,20 @@
+import { CATALOG_CHECKS } from './catalog-checks.js';
+import { IDENTITY_CHECKS } from './identity-checks.js';
+import { INTEGRITY_CHECKS } from './integrity-checks.js';
+import { failClosedVisibilityCheck, failClosedVisibilityInvariantCheck } from '../notes/checks.js';
+import { ORGANIZE_CHECKS } from './organize-checks.js';
+import { WRITE_LIFECYCLE_CHECKS } from './write-lifecycle-checks.js';
+/**
+ * The only file later phases append to when they add a doctor/lint check:
+ * one import, one array entry. Nothing else under checks/ changes.
+ */
+export const CHECKS = [
+    failClosedVisibilityCheck,
+    failClosedVisibilityInvariantCheck,
+    ...WRITE_LIFECYCLE_CHECKS,
+    ...CATALOG_CHECKS,
+    ...ORGANIZE_CHECKS,
+    ...IDENTITY_CHECKS,
+    ...INTEGRITY_CHECKS,
+];
+//# sourceMappingURL=manifest.js.map

package/dist/core/checks/manifest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.js","sourceRoot":"","sources":["../../../src/core/checks/manifest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,kCAAkC,EAAE,MAAM,oBAAoB,CAAC;AACnG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAGrE;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAA+B;IAChD,yBAAyB;IACzB,kCAAkC;IAClC,GAAG,sBAAsB;IACzB,GAAG,cAAc;IACjB,GAAG,eAAe;IAClB,GAAG,eAAe;IAClB,GAAG,gBAAgB;CACpB,CAAC"}

package/dist/core/checks/organize-checks.d.ts

@@ -0,0 +1,18 @@
+/** context-organize spec: "orphaned notes" — reported by lint, never failed by doctor. */
+export declare const orphanNotesCheck: import("./types.js").CheckDefinition;
+/** context-organize spec: "broken links" — the graph's dangling links (not_found or ambiguous), reported not failed. Shares detection with the doctor-facing invariant checks/integrity-checks.ts:graphDanglingLinksCheck under a different id (task 9.4: two ids, two severity lanes, one condition, never double-counted within a single run). */
+export declare const brokenLinksCheck: import("./types.js").CheckDefinition;
+/** context-ingest / context-organize: material captured but never stamped with source identity. */
+export declare const uningestedInboxCheck: import("./types.js").CheckDefinition;
+/**
+ * context-organize spec: "notes with no catalog entry as covered by
+ * context-catalog" — the same underlying condition as `catalogCoverageCheck`
+ * (doctor, invariant), surfaced here too as its own observation-severity
+ * check id so lint can report it without doctor's invariant double-counting
+ * lint's finding or vice versa (same pattern as the fail-closed-visibility
+ * pair in Phase 5). Only `missing` is in scope here — `dangling` catalog
+ * entries are a stricter integrity concern doctor alone owns.
+ */
+export declare const catalogGapsLintCheck: import("./types.js").CheckDefinition;
+export declare const ORGANIZE_CHECKS: import("./types.js").CheckDefinition[];
+//# sourceMappingURL=organize-checks.d.ts.map

package/dist/core/checks/organize-checks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"organize-checks.d.ts","sourceRoot":"","sources":["../../../src/core/checks/organize-checks.ts"],"names":[],"mappings":"AAQA,0FAA0F;AAC1F,eAAO,MAAM,gBAAgB,sCAiB3B,CAAC;AAEH,oVAAoV;AACpV,eAAO,MAAM,gBAAgB,sCAkB3B,CAAC;AAEH,mGAAmG;AACnG,eAAO,MAAM,oBAAoB,sCAqB/B,CAAC;AAEH;;;;;;;;GAQG;AACH,eAAO,MAAM,oBAAoB,sCAgB/B,CAAC;AAEH,eAAO,MAAM,eAAe,wCAAmF,CAAC"}