@sledorze/cairn 0.1.0 → 0.3.0

package/dist/program/links/CheckRefs.d.ts

@@ -0,0 +1,47 @@
+import { Effect } from 'effect';
+import { DocsFs } from '../../io/DocsFs.ts';
+import type { Locale } from '../locale.ts';
+export interface CheckRefsArgs {
+    readonly base: string;
+    readonly roots: readonly string[];
+}
+export interface StaleRef {
+    readonly anchor?: string;
+    readonly currentHash: string;
+    readonly recordedHash: string;
+    readonly target: string;
+}
+export interface FileStaleRefs {
+    readonly file: string;
+    readonly refs: readonly StaleRef[];
+}
+export interface RefsCheckResult {
+    readonly checked: number;
+    readonly stale: readonly FileStaleRefs[];
+}
+export interface StampRefsResult {
+    readonly stamped: number;
+}
+/** 0 when nothing is stale, 1 otherwise — same convention as `linkExitCode`. */
+export declare const refsExitCode: (result: RefsCheckResult) => number;
+/**
+ * Record the current content hash of every real reference each scanned doc
+ * makes. Overwrites any previously-recorded sidecar unconditionally (same
+ * "stamp always writes fresh state" convention as `stampSummaries`) — a doc
+ * with no resolvable references gets no sidecar at all (nothing to compare
+ * against later, and no reason to create an empty one).
+ */
+export declare const stampRefs: ({ base, roots }: CheckRefsArgs) => Effect.Effect<StampRefsResult, never, DocsFs>;
+/**
+ * Compare each scanned doc's recorded reference hashes (if any) against
+ * current target content, reporting drift. A doc with no refs sidecar
+ * (never stamped, or every reference already broken/unrecordable) is
+ * silently skipped — nothing recorded, nothing to compare.
+ */
+export declare const checkRefs: ({ base, roots }: CheckRefsArgs) => Effect.Effect<RefsCheckResult, never, DocsFs>;
+export interface RefsReportOptions {
+    readonly locale?: Locale;
+}
+/** Human-readable report lines (pure, so it can be unit-tested). */
+export declare const formatRefsReport: (result: RefsCheckResult, options?: RefsReportOptions) => string[];
+//# sourceMappingURL=CheckRefs.d.ts.map

package/dist/program/links/CheckRefs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CheckRefs.d.ts","sourceRoot":"","sources":["../../../src/program/links/CheckRefs.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAQ/B,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAK1C,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;CAClC;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,SAAS,QAAQ,EAAE,CAAA;CACnC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAA;CACzC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,gFAAgF;AAChF,eAAO,MAAM,YAAY,WAAY,eAAe,KAAG,MAA2C,CAAA;AAyClG;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,oBAAqB,aAAa,KAAG,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,EAAE,MAAM,CAuBnG,CAAA;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,SAAS,oBAAqB,aAAa,KAAG,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,EAAE,MAAM,CAwCnG,CAAA;AAEJ,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB;AAED,oEAAoE;AACpE,eAAO,MAAM,gBAAgB,WAAY,eAAe,YAAW,iBAAiB,KAAQ,MAAM,EA6BjG,CAAA"}

package/dist/program/links/CheckRefs.js

@@ -0,0 +1,151 @@
+// Effect programs for issue #39 Scenario I: record and check reference
+// content hashes. `stampRefs` records the CURRENT hash of every resolvable
+// reference target a doc makes; `checkRefs` compares the CURRENT hash
+// against what was last recorded, surfacing drift as "may be stale" — a
+// distinct signal from `CheckLinks.ts`'s "broken": the link still resolves,
+// its target just isn't what it was when the reference was authored.
+//
+// Deliberately does NOT touch `CheckSummaries.ts`'s stamping machinery — the
+// summary-tree Merkle/manifest hash computation answers a different
+// question ("does this SUMMARY still reflect its SOURCE") with its own
+// careful bottom-up invariants this file has no reason to entangle with.
+// `stampRefs`/`checkRefs` are opt-in (wired behind `cairn check --refs`, not
+// part of the default `checks.links`/`checks.summaries` gate) — v1 of a
+// scenario the issue itself parks as "ships only after A-H are solid."
+import * as nodePath from 'node:path';
+import { Effect } from 'effect';
+import { extractReferences } from '../../core/links/MarkdownLinks.js';
+import { parseRefs, refsSidecarPathFor, serializeRefs } from '../../core/links/RefStore.js';
+import { hashContent } from '../../core/hashing.js';
+import { isWithinBase } from '../../core/paths.js';
+import { metaRootFor } from '../../core/sidecar.js';
+import { DocsFs } from '../../io/DocsFs.js';
+import { pick } from '../locale.js';
+const path = nodePath.posix;
+/** 0 when nothing is stale, 1 otherwise — same convention as `linkExitCode`. */
+export const refsExitCode = (result) => (result.stale.length > 0 ? 1 : 0);
+/**
+ * Resolve one reference target to its real, CURRENT content — bounded by
+ * `base` exactly like `CheckLinks.ts`'s `resolvePendingCheck` (nothing
+ * outside the checkout root is ever stat'd/read). `null` if the target
+ * doesn't currently exist or isn't readable (e.g. a directory): a target
+ * that no longer resolves is `CheckLinks.ts`'s "broken" concern, not this
+ * file's "stale" concern, so it's silently skipped here rather than
+ * double-reported.
+ */
+const resolveReferenceContent = ({ base, dfs, targetAbs, }) => Effect.gen(function* () {
+    if (!isWithinBase(targetAbs, base)) {
+        return null;
+    }
+    const exists = yield* dfs.exists(targetAbs);
+    if (!exists) {
+        return null;
+    }
+    return yield* dfs.readFile(targetAbs).pipe(Effect.catchDefect(() => Effect.succeed(null)));
+});
+const listMdFiles = (roots) => Effect.gen(function* () {
+    const dfs = yield* DocsFs;
+    const allFiles = yield* dfs.listFiles(roots);
+    return allFiles.filter((f) => f.endsWith('.md'));
+});
+const toRecord = (ref, hash) => ref.anchor === null ? { hash, target: ref.target } : { anchor: ref.anchor, hash, target: ref.target };
+/**
+ * Record the current content hash of every real reference each scanned doc
+ * makes. Overwrites any previously-recorded sidecar unconditionally (same
+ * "stamp always writes fresh state" convention as `stampSummaries`) — a doc
+ * with no resolvable references gets no sidecar at all (nothing to compare
+ * against later, and no reason to create an empty one).
+ */
+export const stampRefs = ({ base, roots }) => Effect.gen(function* () {
+    const dfs = yield* DocsFs;
+    const layout = { base, metaRoot: metaRootFor(base) };
+    const mdFiles = yield* listMdFiles(roots);
+    let stamped = 0;
+    for (const file of mdFiles) {
+        const content = yield* dfs.readFile(file);
+        const fromDir = path.dirname(file);
+        const records = [];
+        for (const ref of extractReferences(content)) {
+            const targetAbs = path.resolve(fromDir, ref.target);
+            const targetContent = yield* resolveReferenceContent({ base, dfs, targetAbs });
+            if (targetContent !== null) {
+                records.push(toRecord(ref, hashContent(targetContent)));
+            }
+        }
+        if (records.length > 0) {
+            yield* dfs.writeFile(refsSidecarPathFor(file, layout), serializeRefs({ refs: records }));
+            stamped += 1;
+        }
+    }
+    return { stamped };
+});
+/**
+ * Compare each scanned doc's recorded reference hashes (if any) against
+ * current target content, reporting drift. A doc with no refs sidecar
+ * (never stamped, or every reference already broken/unrecordable) is
+ * silently skipped — nothing recorded, nothing to compare.
+ */
+export const checkRefs = ({ base, roots }) => Effect.gen(function* () {
+    const dfs = yield* DocsFs;
+    const layout = { base, metaRoot: metaRootFor(base) };
+    const mdFiles = yield* listMdFiles(roots);
+    const stale = [];
+    let checked = 0;
+    for (const file of mdFiles) {
+        const sidecarPath = refsSidecarPathFor(file, layout);
+        const sidecarExists = yield* dfs.exists(sidecarPath);
+        if (!sidecarExists) {
+            continue;
+        }
+        const recorded = parseRefs(yield* dfs.readFile(sidecarPath));
+        if (recorded === null) {
+            continue;
+        }
+        checked += 1;
+        const fromDir = path.dirname(file);
+        const drifted = [];
+        for (const record of recorded.refs) {
+            const targetAbs = path.resolve(fromDir, record.target);
+            const targetContent = yield* resolveReferenceContent({ base, dfs, targetAbs });
+            if (targetContent === null) {
+                continue;
+            }
+            const currentHash = hashContent(targetContent);
+            if (currentHash !== record.hash) {
+                drifted.push(record.anchor === undefined
+                    ? { currentHash, recordedHash: record.hash, target: record.target }
+                    : { anchor: record.anchor, currentHash, recordedHash: record.hash, target: record.target });
+            }
+        }
+        if (drifted.length > 0) {
+            stale.push({ file, refs: drifted });
+        }
+    }
+    return { checked, stale };
+});
+/** Human-readable report lines (pure, so it can be unit-tested). */
+export const formatRefsReport = (result, options = {}) => {
+    const locale = options.locale ?? 'en';
+    const lines = [];
+    if (result.stale.length === 0) {
+        lines.push(pick(locale, {
+            en: `✅ References OK (${result.checked} tracked doc(s)).`,
+            fr: `✅ Références OK (${result.checked} document(s) suivi(s)).`,
+        }));
+        return lines;
+    }
+    const total = result.stale.reduce((n, f) => n + f.refs.length, 0);
+    lines.push(pick(locale, {
+        en: `⚠️  ${total} possibly stale reference(s):`,
+        fr: `⚠️  ${total} référence(s) possiblement obsolète(s) :`,
+    }));
+    for (const { file, refs } of result.stale) {
+        lines.push(`  ${file}`);
+        for (const ref of refs) {
+            const anchorSuffix = ref.anchor !== undefined ? `#${ref.anchor}` : '';
+            lines.push(`    ~ ${ref.target}${anchorSuffix} (${ref.recordedHash.slice(0, 8)} → ${ref.currentHash.slice(0, 8)})`);
+        }
+    }
+    return lines;
+};
+//# sourceMappingURL=CheckRefs.js.map

package/dist/program/links/CheckRefs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CheckRefs.js","sourceRoot":"","sources":["../../../src/program/links/CheckRefs.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,2EAA2E;AAC3E,sEAAsE;AACtE,wEAAwE;AACxE,4EAA4E;AAC5E,qEAAqE;AACrE,EAAE;AACF,6EAA6E;AAC7E,oEAAoE;AACpE,uEAAuE;AACvE,yEAAyE;AACzE,6EAA6E;AAC7E,wEAAwE;AACxE,uEAAuE;AAEvE,OAAO,KAAK,QAAQ,MAAM,WAAW,CAAA;AAErC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAA;AAErE,OAAO,EAAE,SAAS,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAC3F,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAE3C,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAEnC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAA;AA4B3B,gFAAgF;AAChF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAuB,EAAU,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAElG;;;;;;;;GAQG;AACH,MAAM,uBAAuB,GAAG,CAAC,EAC/B,IAAI,EACJ,GAAG,EACH,SAAS,GAKV,EAAgC,EAAE,CACjC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,IAAI,CAAA;IACb,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAC5F,CAAC,CAAC,CAAA;AAEJ,MAAM,WAAW,GAAG,CAAC,KAAwB,EAAmD,EAAE,CAChG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,MAAM,CAAA;IACzB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IAC5C,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAA;AAClD,CAAC,CAAC,CAAA;AAEJ,MAAM,QAAQ,GAAG,CAAC,GAAgE,EAAE,IAAY,EAAa,EAAE,CAC7G,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAA;AAEvG;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAiB,EAAiD,EAAE,CACzG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,MAAM,CAAA;IACzB,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAA;IACpD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAA;IACzC,IAAI,OAAO,GAAG,CAAC,CAAA;IACf,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QACzC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QAClC,MAAM,OAAO,GAAgB,EAAE,CAAA;QAC/B,KAAK,MAAM,GAAG,IAAI,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;YACnD,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,uBAAuB,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAA;YAC9E,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;gBAC3B,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,CAAA;YACzD,CAAC;QACH,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;YACxF,OAAO,IAAI,CAAC,CAAA;QACd,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAA;AACpB,CAAC,CAAC,CAAA;AAEJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAiB,EAAiD,EAAE,CACzG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,MAAM,CAAA;IACzB,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAA;IACpD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAA;IACzC,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,IAAI,OAAO,GAAG,CAAC,CAAA;IACf,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;QACpD,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;QACpD,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,SAAQ;QACV,CAAC;QACD,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAA;QAC5D,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,SAAQ;QACV,CAAC;QACD,OAAO,IAAI,CAAC,CAAA;QACZ,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QAClC,MAAM,OAAO,GAAe,EAAE,CAAA;QAC9B,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;YACnC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;YACtD,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,uBAAuB,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAA;YAC9E,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;gBAC3B,SAAQ;YACV,CAAC;YACD,MAAM,WAAW,GAAG,WAAW,CAAC,aAAa,CAAC,CAAA;YAC9C,IAAI,WAAW,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;gBAChC,OAAO,CAAC,IAAI,CACV,MAAM,CAAC,MAAM,KAAK,SAAS;oBACzB,CAAC,CAAC,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;oBACnE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAC7F,CAAA;YACH,CAAC;QACH,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAA;QACrC,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAA;AAC3B,CAAC,CAAC,CAAA;AAMJ,oEAAoE;AACpE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAuB,EAAE,OAAO,GAAsB,EAAE,EAAY,EAAE;IACrG,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,IAAI,CAAA;IACrC,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CACR,IAAI,CAAC,MAAM,EAAE;YACX,EAAE,EAAE,oBAAoB,MAAM,CAAC,OAAO,mBAAmB;YACzD,EAAE,EAAE,oBAAoB,MAAM,CAAC,OAAO,yBAAyB;SAChE,CAAC,CACH,CAAA;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IACjE,KAAK,CAAC,IAAI,CACR,IAAI,CAAC,MAAM,EAAE;QACX,EAAE,EAAE,OAAO,KAAK,+BAA+B;QAC/C,EAAE,EAAE,OAAO,KAAK,0CAA0C;KAC3D,CAAC,CACH,CAAA;IACD,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAA;QACvB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,YAAY,GAAG,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;YACrE,KAAK,CAAC,IAAI,CACR,SAAS,GAAG,CAAC,MAAM,GAAG,YAAY,KAAK,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CACxG,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA"}

package/dist/program/locale.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"locale.d.ts","sourceRoot":"","sources":["../../src/program/locale.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAE/C,YAAY,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAE/C,6DAA6D;AAC7D,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,QAAQ,MAAM,EAAE,QAAQ;IAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAA;CAAE,KAAG,CAAmB,CAAA;AAExG,mGAAmG;AACnG,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAA;CAAgC,CAAA"}
+{"version":3,"file":"locale.d.ts","sourceRoot":"","sources":["../../src/program/locale.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAE/C,YAAY,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAE/C,6DAA6D;AAC7D,eAAO,MAAM,IAAI,GAAI,CAAC,UAAU,MAAM,UAAU;IAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAA;CAAE,KAAG,CAAmB,CAAA;AAExG,mGAAmG;AACnG,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,CAAC,KAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAA;CAAgC,CAAA"}

package/dist/program/summaries/CheckSummaries.bench.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=CheckSummaries.bench.d.ts.map

package/dist/program/summaries/CheckSummaries.bench.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CheckSummaries.bench.d.ts","sourceRoot":"","sources":["../../../src/program/summaries/CheckSummaries.bench.ts"],"names":[],"mappings":""}

package/dist/program/summaries/CheckSummaries.bench.js

@@ -0,0 +1,94 @@
+// Measures the actual new I/O cost the sidecar move introduces: `checkSummaries`
+// now does an extra `dfs.listFiles([metaRoot])` + one `readFile` per sidecar
+// (`readStamps`), on top of the markdown read `planSummaries()`'s own bench
+// (`SummaryTree.bench.ts`) already covers. This is the realistic end-to-end path
+// (`cairn check`), not just the pure planner, so it's the number that matters for
+// "does the sidecar move keep things fast."
+import { Effect } from 'effect';
+import { bench, describe } from 'vitest';
+import { hashContent } from '../../core/hashing.js';
+import { isSummaryFile, summaryPathFor } from '../../core/summaries/DocSummaries.js';
+import { DIR_SUMMARY, isDirSummary } from '../../core/summaries/SummaryTree.js';
+import { serializeStamp, STAMP_VERSION } from '../../core/summaries/StampStore.js';
+import { isSidecarPath, metaRootFor, sidecarPathFor } from '../../core/sidecar.js';
+import { makeTestDocsFs } from '../../io/DocsFs.js';
+import { checkSummaries } from './CheckSummaries.js';
+const bigContent = (seed) => Array.from({ length: 40 }, (_, i) => `${seed} body line ${i} with some representative prose content`).join('\n');
+const smallContent = (seed) => `${seed} short note`;
+const tf = (content) => ({ content, mtimeMs: 0 });
+/** A fully link-complete, fully sidecar-stamped tree, as `makeTestDocsFs` fixture
+ * data — the "steady state" `cairn check` sees on a clean repo. */
+const buildFreshFixture = (base, { depth, dirsPerLevel, filesPerDir, root }) => {
+    const files = {};
+    const layout = { base, metaRoot: metaRootFor(base) };
+    const visit = (dir, level) => {
+        const docTargets = [];
+        const inputs = [];
+        for (let f = 0; f < filesPerDir; f++) {
+            const docPath = `${dir}/doc-${f}.md`;
+            const big = f % 3 !== 0;
+            const content = big ? bigContent(docPath) : smallContent(docPath);
+            files[docPath] = tf(content);
+            docTargets.push(docPath);
+            if (big) {
+                const sp = summaryPathFor(docPath);
+                files[sp] = tf(`# summary\n\nSee [source](./${docPath.slice(dir.length + 1)}).`);
+                files[sidecarPathFor(sp, layout)] = tf(serializeStamp({ sha256: hashContent(content), version: STAMP_VERSION }));
+                inputs.push(sp);
+            }
+            else {
+                inputs.push(docPath);
+            }
+        }
+        const dirTargets = [];
+        if (level < depth) {
+            for (let d = 0; d < dirsPerLevel; d++) {
+                const sub = `${dir}/sub-${d}`;
+                visit(sub, level + 1);
+                dirTargets.push(sub);
+                inputs.push(`${sub}/${DIR_SUMMARY}`);
+            }
+        }
+        const manifest = inputs
+            .map((input) => `${input.slice(dir.length + 1)}:${hashContent(files[input]?.content ?? '')}`)
+            .toSorted()
+            .join('\n');
+        const links = [...docTargets, ...dirTargets].map((t) => `- [link](${t.slice(dir.length + 1)})`).join('\n');
+        const dsp = `${dir}/${DIR_SUMMARY}`;
+        files[dsp] = tf(links);
+        files[sidecarPathFor(dsp, layout)] = tf(serializeStamp({ sha256: hashContent(manifest), version: STAMP_VERSION }));
+    };
+    visit(root, 0);
+    return files;
+};
+/** Same source docs, no summaries and no `.cairn/**` sidecars anywhere yet —
+ * the "first run" worst case. */
+const sourceOnly = (files, metaRoot) => Object.fromEntries(Object.entries(files).filter(([p]) => !isSummaryFile(p) && !isDirSummary(p) && !isSidecarPath(p, metaRoot)));
+const BASE = '/repo';
+const SMALL = { depth: 1, dirsPerLevel: 9, filesPerDir: 10, root: '/repo/docs' };
+const LARGE = { depth: 4, dirsPerLevel: 3, filesPerDir: 16, root: '/repo/docs' };
+const metaRoot = metaRootFor(BASE);
+const smallFresh = buildFreshFixture(BASE, SMALL);
+const smallRaw = sourceOnly(smallFresh, metaRoot);
+const largeFresh = buildFreshFixture(BASE, LARGE);
+const largeRaw = sourceOnly(largeFresh, metaRoot);
+const run = (files, roots) => {
+    const program = checkSummaries({ base: BASE, roots, thresholdLines: 30 });
+    const layer = makeTestDocsFs(files);
+    return Effect.runPromise(program.pipe(Effect.provide(layer)));
+};
+describe('checkSummaries() (real end-to-end path, sidecar I/O included)', () => {
+    bench('~100 files, first run (no summaries, no .cairn/**)', async () => {
+        await run(smallRaw, [SMALL.root]);
+    });
+    bench('~100 files, steady state (fully stamped, sidecars read from .cairn/**)', async () => {
+        await run(smallFresh, [SMALL.root]);
+    });
+    bench('~2000 files, first run (no summaries, no .cairn/**)', async () => {
+        await run(largeRaw, [LARGE.root]);
+    });
+    bench('~2000 files, steady state (fully stamped, sidecars read from .cairn/**)', async () => {
+        await run(largeFresh, [LARGE.root]);
+    });
+});
+//# sourceMappingURL=CheckSummaries.bench.js.map

package/dist/program/summaries/CheckSummaries.bench.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CheckSummaries.bench.js","sourceRoot":"","sources":["../../../src/program/summaries/CheckSummaries.bench.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,6EAA6E;AAC7E,4EAA4E;AAC5E,iFAAiF;AACjF,kFAAkF;AAClF,4CAA4C;AAE5C,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAExC,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAA;AACpF,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAA;AAC/E,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAA;AAClF,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AAElF,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AASpD,MAAM,UAAU,GAAG,CAAC,IAAY,EAAU,EAAE,CAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,cAAc,CAAC,yCAAyC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAElH,MAAM,YAAY,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,GAAG,IAAI,aAAa,CAAA;AAEnE,MAAM,EAAE,GAAG,CAAC,OAAe,EAAY,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAA;AAEnE;mEACmE;AACnE,MAAM,iBAAiB,GAAG,CACxB,IAAY,EACZ,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,EAAa,EAC3B,EAAE;IAC5B,MAAM,KAAK,GAA6B,EAAE,CAAA;IAC1C,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAA;IAEpD,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,KAAa,EAAQ,EAAE;QACjD,MAAM,UAAU,GAAa,EAAE,CAAA;QAC/B,MAAM,MAAM,GAAa,EAAE,CAAA;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,OAAO,GAAG,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAA;YACpC,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YACvB,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;YACjE,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAA;YAC5B,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACxB,IAAI,GAAG,EAAE,CAAC;gBACR,MAAM,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;gBAClC,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,+BAA+B,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAA;gBAChF,KAAK,CAAC,cAAc,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;gBAChH,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YACjB,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACtB,CAAC;QACH,CAAC;QAED,MAAM,UAAU,GAAa,EAAE,CAAA;QAC/B,IAAI,KAAK,GAAG,KAAK,EAAE,CAAC;YAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,GAAG,GAAG,GAAG,GAAG,QAAQ,CAAC,EAAE,CAAA;gBAC7B,KAAK,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;gBACrB,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBACpB,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,WAAW,EAAE,CAAC,CAAA;YACtC,CAAC;QACH,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM;aACpB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;aAC5F,QAAQ,EAAE;aACV,IAAI,CAAC,IAAI,CAAC,CAAA;QACb,MAAM,KAAK,GAAG,CAAC,GAAG,UAAU,EAAE,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC1G,MAAM,GAAG,GAAG,GAAG,GAAG,IAAI,WAAW,EAAE,CAAA;QACnC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAA;QACtB,KAAK,CAAC,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC,CAAA;IACpH,CAAC,CAAA;IAED,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IACd,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED;iCACiC;AACjC,MAAM,UAAU,GAAG,CAAC,KAA+B,EAAE,QAAgB,EAA4B,EAAE,CACjG,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAC5G,CAAA;AAEH,MAAM,IAAI,GAAG,OAAO,CAAA;AACpB,MAAM,KAAK,GAAc,EAAE,KAAK,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAA;AAC3F,MAAM,KAAK,GAAc,EAAE,KAAK,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAA;AAE3F,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;AAClC,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AACjD,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAA;AACjD,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AACjD,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAA;AAEjD,MAAM,GAAG,GAAG,CAAC,KAA+B,EAAE,KAAwB,EAAoB,EAAE;IAC1F,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,CAAA;IACzE,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAA;IACnC,OAAO,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AAC/D,CAAC,CAAA;AAED,QAAQ,CAAC,+DAA+D,EAAE,GAAG,EAAE;IAC7E,KAAK,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;QACrE,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IACnC,CAAC,CAAC,CAAA;IAEF,KAAK,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACzF,MAAM,GAAG,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IACrC,CAAC,CAAC,CAAA;IAEF,KAAK,CAAC,qDAAqD,EAAE,KAAK,IAAI,EAAE;QACtE,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IACnC,CAAC,CAAC,CAAA;IAEF,KAAK,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QAC1F,MAAM,GAAG,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IACrC,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/dist/program/summaries/CheckSummaries.d.ts

@@ -0,0 +1,58 @@
+import { Effect } from 'effect';
+import type { Naming } from '../../core/summaries/DocSummaries.ts';
+import type { PlanNode, SummaryPlan } from '../../core/summaries/SummaryTree.ts';
+import { DocsFs } from '../../io/DocsFs.ts';
+import type { Locale } from '../locale.ts';
+export { DEFAULT_STAMP_COMMAND } from '../../core/Config.ts';
+export interface CheckSummariesArgs {
+    /** Project root every root/node path and every `.cairn/**` sidecar is
+     * resolved under (see StampStore.ts's `MetaLayout`). Real usage: `process.cwd()`. */
+    readonly base: string;
+    readonly ignore?: readonly string[];
+    readonly naming?: Naming;
+    readonly requireDirSummaries?: boolean;
+    readonly roots: readonly string[];
+    readonly thresholdLines?: number;
+}
+export interface SummaryReportOptions {
+    readonly locale?: Locale;
+    readonly stampCommand?: string;
+}
+export interface StampResult {
+    /** Legacy in-content `<!-- source-sha256 -->` stamps stripped along the way —
+     * an ordinary `--stamp` run (the one every existing `.cairnrc.json`'s
+     * `stampCommand` already points to) self-heals a repo upgrading off the old
+     * scheme with ZERO new command to discover; this count is only surfaced so
+     * that self-healing is visible, not silent-and-unverifiable. */
+    readonly migrated: number;
+    readonly missing: readonly PlanNode[];
+    readonly stamped: number;
+}
+/** Alias kept for the explicit, nameable one-shot migration entry point
+ * (`--migrate-stamps`) — identical shape to `StampResult` now that stripping
+ * is unconditional in `stampFiles`, but naming it distinctly documents intent
+ * at the call site (`cli.ts`) and in reports. */
+export type MigrateResult = StampResult;
+/** 0 when nothing is missing/stale, no orphan summaries, and no deleted-source
+ * stamps remain, 1 otherwise. */
+export declare const summaryExitCode: (plan: SummaryPlan) => number;
+/** Report lines: methodology + the bottom-up update order, for a one-pass fix. */
+export declare const formatSummaryReport: (plan: SummaryPlan, options?: SummaryReportOptions) => string[];
+export declare const checkSummaries: (args: CheckSummariesArgs) => Effect.Effect<SummaryPlan, never, DocsFs>;
+/** `--explain`: why each todo node is not ok (see `explainPlan` for what this can and cannot show). */
+export declare const explainSummaries: (args: CheckSummariesArgs, options?: SummaryReportOptions) => Effect.Effect<string[], never, DocsFs>;
+export declare const stampSummaries: (args: CheckSummariesArgs) => Effect.Effect<StampResult, never, DocsFs>;
+/**
+ * Explicit, nameable one-shot entry point (`--migrate-stamps`) for the SAME
+ * self-healing `stampFiles` already does unconditionally on every `--stamp` —
+ * kept for anyone who wants to run/report the cleanup as its own step, not
+ * because plain `--stamp` needs it to be correct.
+ */
+export declare const migrateStamps: (args: CheckSummariesArgs) => Effect.Effect<MigrateResult, never, DocsFs>;
+/** Delete every orphan summary file (source doc gone) AND every orphan
+ * `.cairn/**` sidecar (deleted-source stamp — see `SummaryPlan.orphanStamps`),
+ * reporting the total count removed. */
+export declare const pruneOrphans: (args: CheckSummariesArgs) => Effect.Effect<number, never, DocsFs>;
+export { isSummaryFile } from '../../core/summaries/DocSummaries.ts';
+export { isDirSummary } from '../../core/summaries/SummaryTree.ts';
+//# sourceMappingURL=CheckSummaries.d.ts.map

package/dist/program/summaries/CheckSummaries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CheckSummaries.d.ts","sourceRoot":"","sources":["../../../src/program/summaries/CheckSummaries.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sCAAsC,CAAA;AAGlE,OAAO,KAAK,EAAY,QAAQ,EAAE,WAAW,EAAE,MAAM,qCAAqC,CAAA;AAI1F,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAG1C,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAA;AAE5D,MAAM,WAAW,kBAAkB;IACjC;yFACqF;IACrF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAA;IACtC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;IACjC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;CACjC;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAC/B;AAED,MAAM,WAAW,WAAW;IAC1B;;;;oEAIgE;IAChE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAA;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED;;;iDAGiD;AACjD,MAAM,MAAM,aAAa,GAAG,WAAW,CAAA;AA8DvC;iCACiC;AACjC,eAAO,MAAM,eAAe,SAAU,WAAW,KAAG,MACqC,CAAA;AAEzF,kFAAkF;AAClF,eAAO,MAAM,mBAAmB,SAAU,WAAW,YAAW,oBAAoB,KAAQ,MAAM,EAwFjG,CAAA;AAoDD,eAAO,MAAM,cAAc,SAAU,kBAAkB,KAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAK9F,CAAA;AAEJ,uGAAuG;AACvG,eAAO,MAAM,gBAAgB,SACrB,kBAAkB,YACf,oBAAoB,KAC5B,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,CAMpC,CAAA;AAwEJ,eAAO,MAAM,cAAc,SAAU,kBAAkB,KAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAI9F,CAAA;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,aAAa,SAAU,kBAAkB,KAAG,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,KAAK,EAAE,MAAM,CAI/F,CAAA;AAEJ;;wCAEwC;AACxC,eAAO,MAAM,YAAY,SAAU,kBAAkB,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAcvF,CAAA;AAGJ,OAAO,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAA;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAA"}