@isaacriehm/cairn-core 0.4.3 → 0.6.0

package/dist/align-undo/index.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Layer A undo log + `cairn attention undo` runner. Plan §11.7.
+ */
+export { AlignUndoEntry, alignUndoLogPath, appendAlignUndoEntry, pruneAlignUndoLog, readAlignUndoLog, } from "./log.js";
+export { runAttentionUndo } from "./undo.js";
+export type { UndoArgs, UndoEntryOutcome, UndoResult } from "./undo.js";

package/dist/align-undo/index.js

@@ -0,0 +1,6 @@
+/**
+ * Layer A undo log + `cairn attention undo` runner. Plan §11.7.
+ */
+export { AlignUndoEntry, alignUndoLogPath, appendAlignUndoEntry, pruneAlignUndoLog, readAlignUndoLog, } from "./log.js";
+export { runAttentionUndo } from "./undo.js";
+//# sourceMappingURL=index.js.map

package/dist/align-undo/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/align-undo/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,cAAc,EACd,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC"}

package/dist/align-undo/log.d.ts

@@ -0,0 +1,53 @@
+/**
+ * Layer A audit log for `cairn attention undo` (plan §11.7).
+ *
+ * Every Layer A auto-resolution (Tier 1 cite, Tier 2 same cite, Tier 3
+ * fresh DEC creation, augments-DEC/INV emission) appends one line to
+ * `.cairn/state/align-undo-log.jsonl`. The CLI command
+ * `cairn attention undo [--since <duration>]` reads recent entries and
+ * reverses them.
+ *
+ * The deviation from plan §11.7's literal "reads invalidation events
+ * from `.cairn/events/`" — invalidation events are designed for
+ * cross-session broadcast (kind, refs, source), not for carrying the
+ * (file, offset, original_raw) metadata that undo needs. Keeping the
+ * undo log separate avoids polluting the broadcast surface and lets
+ * the GC retention policy stay independent.
+ *
+ * Truncation policy: `cairn attention undo` rewrites the log keeping
+ * only entries OUTSIDE the undo window so re-running `undo` against
+ * the same window is idempotent.
+ */
+import { z } from "zod";
+export declare const AlignUndoEntry: z.ZodObject<{
+    ts: z.ZodString;
+    session_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    kind: z.ZodEnum<{
+        "tier1-cite": "tier1-cite";
+        "tier2-cite": "tier2-cite";
+        "tier3-creation": "tier3-creation";
+        augments: "augments";
+    }>;
+    file: z.ZodString;
+    start_offset: z.ZodNumber;
+    end_offset: z.ZodNumber;
+    original_raw: z.ZodString;
+    replacement: z.ZodString;
+    primary_id: z.ZodString;
+    primary_kind: z.ZodOptional<z.ZodEnum<{
+        DEC: "DEC";
+        INV: "INV";
+    }>>;
+    augments_existing_id: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type AlignUndoEntry = z.infer<typeof AlignUndoEntry>;
+export declare function alignUndoLogPath(repoRoot: string): string;
+export declare function appendAlignUndoEntry(repoRoot: string, entry: AlignUndoEntry): Promise<void>;
+export declare function readAlignUndoLog(repoRoot: string): AlignUndoEntry[];
+/**
+ * Rewrite the undo log keeping only the entries NOT in `undone`.
+ * Idempotency: running `cairn attention undo --since <window>` twice
+ * on the same window does nothing the second time because the entries
+ * inside the window have already been removed.
+ */
+export declare function pruneAlignUndoLog(repoRoot: string, remaining: AlignUndoEntry[]): Promise<void>;

package/dist/align-undo/log.js

@@ -0,0 +1,162 @@
+/**
+ * Layer A audit log for `cairn attention undo` (plan §11.7).
+ *
+ * Every Layer A auto-resolution (Tier 1 cite, Tier 2 same cite, Tier 3
+ * fresh DEC creation, augments-DEC/INV emission) appends one line to
+ * `.cairn/state/align-undo-log.jsonl`. The CLI command
+ * `cairn attention undo [--since <duration>]` reads recent entries and
+ * reverses them.
+ *
+ * The deviation from plan §11.7's literal "reads invalidation events
+ * from `.cairn/events/`" — invalidation events are designed for
+ * cross-session broadcast (kind, refs, source), not for carrying the
+ * (file, offset, original_raw) metadata that undo needs. Keeping the
+ * undo log separate avoids polluting the broadcast surface and lets
+ * the GC retention policy stay independent.
+ *
+ * Truncation policy: `cairn attention undo` rewrites the log keeping
+ * only entries OUTSIDE the undo window so re-running `undo` against
+ * the same window is idempotent.
+ */
+import { appendFileSync, existsSync, mkdirSync, readFileSync, writeFileSync } from "node:fs";
+import { dirname, join } from "node:path";
+import { z } from "zod";
+import { withWriteLock } from "../lock.js";
+import { logger } from "../logger.js";
+const log = logger("align-undo.log");
+/**
+ * Drop entries older than this on the next append + GC sweep. Operators
+ * who never run `cairn attention undo` would otherwise accumulate one
+ * line per Layer A auto-resolution forever.
+ */
+const MAX_AGE_MS = 7 * 24 * 60 * 60 * 1000;
+/**
+ * Skip the read-rewrite GC pass when the log is below this line count
+ * — steady-state operators don't pay for the read on every append.
+ */
+const GC_THRESHOLD_LINES = 256;
+export const AlignUndoEntry = z.object({
+    ts: z.string(),
+    session_id: z.string().nullish(),
+    kind: z.enum(["tier1-cite", "tier2-cite", "tier3-creation", "augments"]),
+    file: z.string(),
+    start_offset: z.number(),
+    end_offset: z.number(),
+    /** Original prose block raw (incl. comment delimiters) before strip-replace. */
+    original_raw: z.string(),
+    /** Replacement that was inserted (e.g. `// §DEC-1234567`). */
+    replacement: z.string(),
+    /** DEC/INV id cited (tier1/tier2 cite) or freshly emitted (tier3 / augments). */
+    primary_id: z.string(),
+    /** For tier3-creation: was the freshly-emitted entity a DEC or INV? */
+    primary_kind: z.enum(["DEC", "INV"]).optional(),
+    /** For augments: the existing entity id that was augmented (its cite stays). */
+    augments_existing_id: z.string().optional(),
+});
+export function alignUndoLogPath(repoRoot) {
+    return join(repoRoot, ".cairn", "state", "align-undo-log.jsonl");
+}
+export async function appendAlignUndoEntry(repoRoot, entry) {
+    const validated = AlignUndoEntry.parse(entry);
+    const path = alignUndoLogPath(repoRoot);
+    // Wrap the read-trim-append cycle in the project write lock so two
+    // concurrent Layer A invocations (or a session running `cairn
+    // attention undo` in another shell) can't interleave a partial
+    // append against a rewrite.
+    await withWriteLock(repoRoot, () => {
+        try {
+            mkdirSync(dirname(path), { recursive: true });
+            const remaining = sweepStale(path);
+            if (remaining === null) {
+                appendFileSync(path, `${JSON.stringify(validated)}\n`, "utf8");
+                return;
+            }
+            remaining.push(validated);
+            writeFileSync(path, `${remaining.map((e) => JSON.stringify(e)).join("\n")}\n`, "utf8");
+        }
+        catch (err) {
+            log.warn({ err: err instanceof Error ? err.message : String(err) }, "align-undo log append failed");
+        }
+    });
+}
+/**
+ * Read the current log and drop entries older than `MAX_AGE_MS`.
+ * Returns the surviving entries when a GC pass actually ran, or `null`
+ * when the log is small enough to skip the rewrite (cheap append path).
+ */
+function sweepStale(path) {
+    if (!existsSync(path))
+        return null;
+    let text;
+    try {
+        text = readFileSync(path, "utf8");
+    }
+    catch {
+        return null;
+    }
+    if (text.trim().length === 0)
+        return null;
+    const lines = text.split("\n").filter((line) => line.trim().length > 0);
+    if (lines.length < GC_THRESHOLD_LINES)
+        return null;
+    const cutoff = Date.now() - MAX_AGE_MS;
+    const surviving = [];
+    for (const line of lines) {
+        try {
+            const parsed = AlignUndoEntry.parse(JSON.parse(line));
+            const ts = Date.parse(parsed.ts);
+            if (Number.isFinite(ts) && ts >= cutoff)
+                surviving.push(parsed);
+        }
+        catch {
+            // Drop malformed entries on this GC pass.
+        }
+    }
+    return surviving;
+}
+export function readAlignUndoLog(repoRoot) {
+    const path = alignUndoLogPath(repoRoot);
+    if (!existsSync(path))
+        return [];
+    const text = readFileSync(path, "utf8");
+    if (text.trim().length === 0)
+        return [];
+    const out = [];
+    for (const line of text.split("\n")) {
+        const trimmed = line.trim();
+        if (trimmed.length === 0)
+            continue;
+        try {
+            out.push(AlignUndoEntry.parse(JSON.parse(trimmed)));
+        }
+        catch (err) {
+            log.warn({ err: err instanceof Error ? err.message : String(err) }, "skipping malformed align-undo entry");
+        }
+    }
+    return out;
+}
+/**
+ * Rewrite the undo log keeping only the entries NOT in `undone`.
+ * Idempotency: running `cairn attention undo --since <window>` twice
+ * on the same window does nothing the second time because the entries
+ * inside the window have already been removed.
+ */
+export async function pruneAlignUndoLog(repoRoot, remaining) {
+    const path = alignUndoLogPath(repoRoot);
+    // Lock so a concurrent `appendAlignUndoEntry` from a parallel Layer A
+    // hook can't slip a write between our read and rewrite.
+    await withWriteLock(repoRoot, () => {
+        try {
+            mkdirSync(dirname(path), { recursive: true });
+            if (remaining.length === 0) {
+                writeFileSync(path, "", "utf8");
+                return;
+            }
+            writeFileSync(path, `${remaining.map((e) => JSON.stringify(e)).join("\n")}\n`, "utf8");
+        }
+        catch (err) {
+            log.warn({ err: err instanceof Error ? err.message : String(err) }, "align-undo log prune failed");
+        }
+    });
+}
+//# sourceMappingURL=log.js.map

package/dist/align-undo/log.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"log.js","sourceRoot":"","sources":["../../src/align-undo/log.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7F,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC,MAAM,GAAG,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAC;AAErC;;;;GAIG;AACH,MAAM,UAAU,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAE3C;;;GAGG;AACH,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAE/B,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC;IACrC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE;IAChC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,YAAY,EAAE,gBAAgB,EAAE,UAAU,CAAC,CAAC;IACxE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;IACxB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,gFAAgF;IAChF,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;IACxB,8DAA8D;IAC9D,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,iFAAiF;IACjF,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,uEAAuE;IACvE,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC/C,gFAAgF;IAChF,oBAAoB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC5C,CAAC,CAAC;AAGH,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC/C,OAAO,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,sBAAsB,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,QAAgB,EAChB,KAAqB;IAErB,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACxC,mEAAmE;IACnE,8DAA8D;IAC9D,+DAA+D;IAC/D,4BAA4B;IAC5B,MAAM,aAAa,CAAC,QAAQ,EAAE,GAAG,EAAE;QACjC,IAAI,CAAC;YACH,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC9C,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACvB,cAAc,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC/D,OAAO;YACT,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC1B,aAAa,CACX,IAAI,EACJ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EACzD,MAAM,CACP,CAAC;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,EAAE,GAAG,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EACzD,8BAA8B,CAC/B,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACxE,IAAI,KAAK,CAAC,MAAM,GAAG,kBAAkB;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,UAAU,CAAC;IACvC,MAAM,SAAS,GAAqB,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACtD,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACjC,IAAI,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,MAAM;gBAAE,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClE,CAAC;QAAC,MAAM,CAAC;YACP,0CAA0C;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC/C,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACxC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACnC,IAAI,CAAC;YACH,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,EAAE,GAAG,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EACzD,qCAAqC,CACtC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,QAAgB,EAChB,SAA2B;IAE3B,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACxC,sEAAsE;IACtE,wDAAwD;IACxD,MAAM,aAAa,CAAC,QAAQ,EAAE,GAAG,EAAE;QACjC,IAAI,CAAC;YACH,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC9C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,aAAa,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;gBAChC,OAAO;YACT,CAAC;YACD,aAAa,CACX,IAAI,EACJ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EACzD,MAAM,CACP,CAAC;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,EAAE,GAAG,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EACzD,6BAA6B,CAC9B,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/align-undo/undo.d.ts

@@ -0,0 +1,65 @@
+/**
+ * `cairn attention undo` runner (plan §11.7).
+ *
+ * Reverses Layer A auto-resolutions logged at
+ * `.cairn/state/align-undo-log.jsonl`. The CLI passes `--since
+ * <duration>` (default 1h); only entries within the window are
+ * undone, the rest stay in the log.
+ *
+ * Reverses:
+ *
+ *   - `tier1-cite` / `tier2-cite` — find the cite line in the current
+ *     source, swap it back for the original prose block. Idempotent
+ *     when the source has been hand-edited away from the cite already.
+ *
+ *   - `tier3-creation` — delete the freshly-emitted DEC/INV file, drop
+ *     its sot-bindings / sot-cache entries, clear the topic-index
+ *     reference, refresh the affected ledger, and restore the source
+ *     prose at the recorded offsets. All mutations run under
+ *     `withWriteLock` so a parallel Layer A hook can't slip in
+ *     mid-rollback.
+ *
+ *   - `augments` — delete the sibling DEC/INV (steps mirror
+ *     tier3-creation), then trim the double-cite line in source down to
+ *     the existing-id cite (the augmented entity stays referenced).
+ *
+ * Idempotent: the runner truncates undone entries from the log so a
+ * second invocation against the same window is a no-op.
+ */
+import { type AlignUndoEntry } from "./log.js";
+export interface UndoArgs {
+    repoRoot: string;
+    /**
+     * Wall-clock window. Entries with `ts` newer than `now - sinceMs`
+     * are undone. Default 1h.
+     */
+    sinceMs?: number;
+    /** Dry-run: classify entries but do not modify source / log. */
+    dryRun?: boolean;
+}
+export interface UndoEntryOutcome {
+    entry: AlignUndoEntry;
+    /**
+     * - `reverted`        — source was rewritten back to the original prose.
+     * - `already-reverted`— the cite token is no longer in source (operator beat us).
+     * - `not-supported`   — kind requires manual surgery (tier3-creation, augments).
+     * - `source-missing`  — source file no longer exists.
+     * - `error`           — write failed (logged + reported).
+     */
+    status: "reverted" | "already-reverted" | "not-supported" | "source-missing" | "error";
+    detail?: string;
+}
+export interface UndoResult {
+    /** Total entries inside the undo window. */
+    windowEntries: number;
+    /** Entries left in the log because they were outside the window. */
+    outsideWindow: number;
+    /** Per-entry outcomes for everything inside the window. */
+    outcomes: UndoEntryOutcome[];
+    reverted: number;
+    alreadyReverted: number;
+    notSupported: number;
+    sourceMissing: number;
+    errors: number;
+}
+export declare function runAttentionUndo(args: UndoArgs): Promise<UndoResult>;