@omgbase/core 0.21.0 → 0.23.0

package/dist/src/core/store/retention.js

@@ -0,0 +1,409 @@
+import { referencePath } from "../paths.js";
+export const LADDER_KEEPS = ["one per day", "one per week", "one per month", "one per year"];
+/** The defaults (spec/store §7): a month hot, then one a day for a year, then one a month; 200 per document; api commits with a reason. */
+export const DEFAULT_RETENTION = {
+    keep_days: 30,
+    ladder: [
+        { after_days: 30, keep: "one per day" },
+        { after_days: 365, keep: "one per month" },
+    ],
+    per_doc_max: 200,
+    keep_origins: ["api"],
+    overrides: [],
+};
+/** The settings key the policy lives under (`history.retention`, deep-merged over the defaults). */
+export const RETENTION_SETTINGS_KEY = "history";
+/** The repo-settings key naming the last segment this repo recorded (`history.last_segment`). */
+export const LAST_SEGMENT_SETTINGS_KEY = "last_segment";
+const DAY_MS = 86_400_000;
+export class RetentionPolicyError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "RetentionPolicyError";
+    }
+}
+function isRecord(v) {
+    return typeof v === "object" && v !== null && !Array.isArray(v);
+}
+function nonNegativeInt(v, at) {
+    if (typeof v !== "number" || !Number.isInteger(v) || v < 0)
+        throw new RetentionPolicyError(`${at} must be a non-negative integer`);
+    return v;
+}
+function parseLadder(v, at) {
+    if (!Array.isArray(v))
+        throw new RetentionPolicyError(`${at} must be an array of { after_days, keep }`);
+    const rungs = v.map((r, i) => {
+        if (!isRecord(r))
+            throw new RetentionPolicyError(`${at}[${i}] must be an object`);
+        const extra = Object.keys(r).filter((k) => k !== "after_days" && k !== "keep");
+        if (extra.length > 0)
+            throw new RetentionPolicyError(`${at}[${i}]: unknown key ${extra[0]}`);
+        if (!LADDER_KEEPS.includes(r.keep))
+            throw new RetentionPolicyError(`${at}[${i}].keep must be one of ${LADDER_KEEPS.map((k) => JSON.stringify(k)).join(", ")}`);
+        return { after_days: nonNegativeInt(r.after_days, `${at}[${i}].after_days`), keep: r.keep };
+    });
+    // Sorted by after_days; two rungs at the same age would be ambiguous.
+    rungs.sort((a, b) => a.after_days - b.after_days);
+    for (let i = 1; i < rungs.length; i++)
+        if (rungs[i].after_days === rungs[i - 1].after_days)
+            throw new RetentionPolicyError(`${at}: two rungs share after_days ${rungs[i].after_days}`);
+    return rungs;
+}
+function parseOrigins(v, at) {
+    if (!Array.isArray(v) || v.some((o) => typeof o !== "string"))
+        throw new RetentionPolicyError(`${at} must be an array of strings`);
+    return [...v];
+}
+const POLICY_KEYS = new Set(["keep_days", "ladder", "per_doc_max", "keep_origins", "overrides"]);
+const OVERRIDE_KEYS = new Set(["glob", "keep_days", "ladder", "per_doc_max", "keep_origins"]);
+/**
+ * A partial policy (a settings blob, a `--policy` argument) over `base`: every
+ * key given replaces the base's; a malformed value is `RetentionPolicyError`.
+ */
+export function mergeRetentionPolicy(base, partial, at = "history.retention") {
+    if (partial === undefined || partial === null)
+        return { ...base, ladder: [...base.ladder], keep_origins: [...base.keep_origins], overrides: [...base.overrides] };
+    if (!isRecord(partial))
+        throw new RetentionPolicyError(`${at} must be an object`);
+    for (const k of Object.keys(partial))
+        if (!POLICY_KEYS.has(k))
+            throw new RetentionPolicyError(`${at}: unknown key ${k}`);
+    const out = { ...base, ladder: [...base.ladder], keep_origins: [...base.keep_origins], overrides: [...base.overrides] };
+    if ("keep_days" in partial)
+        out.keep_days = nonNegativeInt(partial.keep_days, `${at}.keep_days`);
+    if ("per_doc_max" in partial)
+        out.per_doc_max = nonNegativeInt(partial.per_doc_max, `${at}.per_doc_max`);
+    if ("ladder" in partial)
+        out.ladder = parseLadder(partial.ladder, `${at}.ladder`);
+    if ("keep_origins" in partial)
+        out.keep_origins = parseOrigins(partial.keep_origins, `${at}.keep_origins`);
+    if ("overrides" in partial) {
+        if (!Array.isArray(partial.overrides))
+            throw new RetentionPolicyError(`${at}.overrides must be an array`);
+        out.overrides = partial.overrides.map((o, i) => {
+            const here = `${at}.overrides[${i}]`;
+            if (!isRecord(o))
+                throw new RetentionPolicyError(`${here} must be an object`);
+            for (const k of Object.keys(o))
+                if (!OVERRIDE_KEYS.has(k))
+                    throw new RetentionPolicyError(`${here}: unknown key ${k}`);
+            if (typeof o.glob !== "string" || o.glob === "")
+                throw new RetentionPolicyError(`${here}.glob must be a non-empty string`);
+            const r = { glob: o.glob };
+            if ("keep_days" in o)
+                r.keep_days = nonNegativeInt(o.keep_days, `${here}.keep_days`);
+            if ("per_doc_max" in o)
+                r.per_doc_max = nonNegativeInt(o.per_doc_max, `${here}.per_doc_max`);
+            if ("ladder" in o)
+                r.ladder = parseLadder(o.ladder, `${here}.ladder`);
+            if ("keep_origins" in o)
+                r.keep_origins = parseOrigins(o.keep_origins, `${here}.keep_origins`);
+            return r;
+        });
+    }
+    return out;
+}
+/** A settings blob as stored (`workspace_settings.settings`, `repos.settings`): an object, or `{}` for anything else. */
+export function parseSettingsJson(json) {
+    if (!json)
+        return {};
+    try {
+        const v = JSON.parse(json);
+        return isRecord(v) ? v : {};
+    }
+    catch {
+        return {};
+    }
+}
+/**
+ * The repo's effective settings (`spec/sync` settings: the workspace layer
+ * with the repo's own deep-merged over it at the leaf). Inlined here rather
+ * than imported from `sync/settings.ts` — `core/` does not import its
+ * siblings — and kept to the rule that module states.
+ */
+export function effectiveSettings(store, repoId) {
+    const ws = parseSettingsJson(store.db.prepare("SELECT settings FROM workspace_settings WHERE id = 0").get()?.settings);
+    const own = parseSettingsJson(store.db.prepare("SELECT settings FROM repos WHERE repo_id = ?").get(repoId)?.settings);
+    const merge = (base, over) => {
+        const out = { ...base };
+        for (const [k, v] of Object.entries(over)) {
+            const b = out[k];
+            out[k] = isRecord(b) && isRecord(v) ? merge(b, v) : v;
+        }
+        return out;
+    };
+    return merge(ws, own);
+}
+/** The repo's effective policy: the defaults, the settings' `history.retention` over them, then `override` (a CLI `--policy`). */
+export function retentionPolicy(store, repoId, override) {
+    const settings = effectiveSettings(store, repoId);
+    const history = settings[RETENTION_SETTINGS_KEY];
+    const configured = isRecord(history) ? history.retention : undefined;
+    const base = mergeRetentionPolicy(DEFAULT_RETENTION, configured);
+    return override === undefined ? base : mergeRetentionPolicy(base, override, "policy");
+}
+/**
+ * An override glob against a reference path: `**` any run of characters,
+ * `*` any run without `/`, `?` one character, everything else literal; a glob
+ * without a leading `/` is rooted (`projects/**` ≡ `/projects/**`).
+ */
+export function globToRegExp(glob) {
+    const g = glob.startsWith("/") ? glob : `/${glob}`;
+    let re = "^";
+    for (let i = 0; i < g.length; i++) {
+        const c = g[i];
+        if (c === "*") {
+            if (g[i + 1] === "*") {
+                re += ".*";
+                i++;
+            }
+            else
+                re += "[^/]*";
+        }
+        else if (c === "?")
+            re += "[^/]";
+        else
+            re += c.replace(/[.+^${}()|[\]\\]/g, "\\$&");
+    }
+    return new RegExp(re + "$");
+}
+/** The policy for one document: the first matching override's keys over the base. */
+export function policyFor(base, referencePathOfDoc) {
+    for (const o of base.overrides) {
+        if (!globToRegExp(o.glob).test(referencePathOfDoc))
+            continue;
+        return {
+            keep_days: o.keep_days ?? base.keep_days,
+            per_doc_max: o.per_doc_max ?? base.per_doc_max,
+            ladder: o.ladder ?? base.ladder,
+            keep_origins: o.keep_origins ?? base.keep_origins,
+            overrides: [],
+        };
+    }
+    return base;
+}
+/** Whole days between a commit's `ts` and `now` (negative when the commit is in the future). */
+export function ageDays(ts, nowMs) {
+    return Math.floor((nowMs - Date.parse(ts)) / DAY_MS);
+}
+/** The period key of a timestamp under a rung's grain (UTC; a week starts on Monday). */
+export function periodKey(ts, keep) {
+    const d = new Date(ts);
+    const y = d.getUTCFullYear();
+    const m = String(d.getUTCMonth() + 1).padStart(2, "0");
+    const day = String(d.getUTCDate()).padStart(2, "0");
+    switch (keep) {
+        case "one per day": return `${y}-${m}-${day}`;
+        case "one per month": return `${y}-${m}`;
+        case "one per year": return `${y}`;
+        case "one per week": {
+            // The Monday of the ISO week, as a date.
+            const monday = new Date(Date.UTC(y, d.getUTCMonth(), d.getUTCDate()));
+            const dow = (monday.getUTCDay() + 6) % 7; // Monday = 0
+            monday.setUTCDate(monday.getUTCDate() - dow);
+            return `${monday.getUTCFullYear()}-${String(monday.getUTCMonth() + 1).padStart(2, "0")}-${String(monday.getUTCDate()).padStart(2, "0")}`;
+        }
+    }
+}
+/**
+ * The sizes of the blobs and tree nodes of a store, and the walk that marks
+ * what a set of revisions reaches (spec/store §7: the GC mark, run twice — once
+ * from what stays, once from what goes — to cost a plan).
+ */
+export class ReachMarker {
+    store;
+    treeNode;
+    blobSize;
+    treeSizes = new Map();
+    blobSizes = new Map();
+    constructor(store) {
+        this.store = store;
+        this.treeNode = store.db.prepare("SELECT entries FROM tree_nodes WHERE hash = ?");
+        this.blobSize = store.db.prepare("SELECT size FROM blobs WHERE hash = ?");
+    }
+    /** Mark every tree node and blob reachable from the given roots and frontmatter blobs into `trees`/`blobs` (hex). */
+    mark(revs, trees, blobs) {
+        const walk = (hashHex) => {
+            if (trees.has(hashHex))
+                return;
+            trees.add(hashHex);
+            const node = this.treeNode.get(Buffer.from(hashHex, "hex"));
+            if (!node)
+                return;
+            this.treeSizes.set(hashHex, Buffer.byteLength(node.entries));
+            for (const [, rawHashHex, childHashHex, , , triviaHashHex] of JSON.parse(node.entries)) {
+                blobs.add(rawHashHex);
+                if (triviaHashHex)
+                    blobs.add(triviaHashHex);
+                if (childHashHex)
+                    walk(childHashHex);
+            }
+        };
+        for (const r of revs) {
+            if (r.root_tree)
+                walk(r.root_tree.toString("hex"));
+            if (r.frontmatter_blob)
+                blobs.add(r.frontmatter_blob.toString("hex"));
+        }
+    }
+    /** Bytes of the given tree nodes (their `entries`) and blobs (`size`). */
+    bytesOf(trees, blobs) {
+        let n = 0;
+        for (const t of trees) {
+            let size = this.treeSizes.get(t);
+            if (size === undefined) {
+                const node = this.treeNode.get(Buffer.from(t, "hex"));
+                size = node ? Buffer.byteLength(node.entries) : 0;
+                this.treeSizes.set(t, size);
+            }
+            n += size;
+        }
+        for (const b of blobs) {
+            let size = this.blobSizes.get(b);
+            if (size === undefined) {
+                size = this.blobSize.get(Buffer.from(b, "hex"))?.size ?? 0;
+                this.blobSizes.set(b, size);
+            }
+            n += size;
+        }
+        return n;
+    }
+}
+/**
+ * The plan (spec/store §7 "Retention", the policy as an exact rule). Per
+ * document, over its live revisions oldest → newest: a revision is KEPT when
+ * any rule keeps it — it is the document's current revision (a tombstoned
+ * document's last revision is its current one), a `pending_materializations`
+ * row names it, it is younger than `keep_days`, it is among the newest
+ * `per_doc_max`, its commit's origin is in `keep_origins` with a non-empty
+ * reason, it is not before `before`, no ladder rung applies to its age (the
+ * gap below the first rung keeps everything), or it is the newest revision of
+ * its rung's period; every other revision is ARCHIVED. Bytes are the GC mark
+ * from the archived revisions minus the mark from every revision that stays
+ * live in the store (all repositories — blobs and tree nodes are shared).
+ */
+export function evaluateRetention(store, repoId, opts = {}) {
+    const now = opts.now ?? new Date().toISOString();
+    const nowMs = Date.parse(now);
+    const before = opts.before ?? null;
+    const beforeMs = before === null ? null : Date.parse(before);
+    const base = opts.policy ?? retentionPolicy(store, repoId);
+    const db = store.db;
+    const docs = db
+        .prepare("SELECT doc_id, path, current_rev FROM docs WHERE repo_id = ? ORDER BY path")
+        .all(repoId);
+    const revStmt = db.prepare(`SELECT r.rev_id, r.doc_id, r.seq, r.root_tree, r.frontmatter_blob, r.commit_id, c.ts, c.origin, c.reason, r.archive
+     FROM revisions r JOIN commits c ON c.commit_id = r.commit_id WHERE r.doc_id = ? ORDER BY r.seq`);
+    const pinned = new Set(db.prepare("SELECT rev_id FROM pending_materializations WHERE repo_id = ? AND rev_id IS NOT NULL").all(repoId).map((r) => r.rev_id));
+    const archiveSet = new Set();
+    const perDoc = [];
+    let totalLive = 0;
+    for (const d of docs) {
+        const rows = revStmt.all(d.doc_id).filter((r) => r.archive === null);
+        totalLive += rows.length;
+        if (rows.length === 0)
+            continue;
+        const policy = policyFor(base, referencePath(d.path));
+        const kept = new Set();
+        // Rules 1–6: the per-revision keeps.
+        rows.forEach((r, i) => {
+            const rank = rows.length - i; // 1 = the newest
+            if (r.rev_id === d.current_rev)
+                kept.add(r.rev_id);
+            else if (pinned.has(r.rev_id))
+                kept.add(r.rev_id);
+            else if (ageDays(r.ts, nowMs) < policy.keep_days)
+                kept.add(r.rev_id);
+            else if (rank <= policy.per_doc_max)
+                kept.add(r.rev_id);
+            else if (policy.keep_origins.includes(r.origin) && r.reason !== null && r.reason !== "")
+                kept.add(r.rev_id);
+            else if (beforeMs !== null && Date.parse(r.ts) >= beforeMs)
+                kept.add(r.rev_id);
+        });
+        // Rule 7: the ladder. Each remaining revision belongs to the rung with the
+        // greatest `after_days` not above its age; the newest revision of each
+        // (rung, period) bucket — over every live revision of the document in that
+        // bucket, kept or not — is the bucket's representative and is kept.
+        const representative = new Map();
+        const bucketOf = new Map();
+        for (const r of rows) {
+            const age = ageDays(r.ts, nowMs);
+            if (age < policy.keep_days)
+                continue;
+            let rung;
+            for (const l of policy.ladder)
+                if (l.after_days <= age)
+                    rung = l;
+            if (!rung) {
+                kept.add(r.rev_id); // the gap below the first rung: nothing says to thin it
+                continue;
+            }
+            const key = `${rung.after_days}|${rung.keep}|${periodKey(r.ts, rung.keep)}`;
+            bucketOf.set(r.rev_id, key);
+            const cur = representative.get(key);
+            if (!cur || r.seq > cur.seq)
+                representative.set(key, r);
+        }
+        for (const r of representative.values())
+            kept.add(r.rev_id);
+        const keep = [];
+        const archive = [];
+        for (const r of rows) {
+            if (kept.has(r.rev_id))
+                keep.push(r.rev_id);
+            else {
+                archive.push(r);
+                archiveSet.add(r.rev_id);
+            }
+        }
+        perDoc.push({ doc: d, live: rows, keep, archive });
+    }
+    // Costing: the mark from everything that stays live in the whole store.
+    const marker = new ReachMarker(store);
+    const keptTrees = new Set();
+    const keptBlobs = new Set();
+    const liveRevs = db.prepare("SELECT rev_id, root_tree, frontmatter_blob FROM revisions WHERE archive IS NULL").all();
+    marker.mark(liveRevs.filter((r) => !archiveSet.has(r.rev_id)), keptTrees, keptBlobs);
+    const unionTrees = new Set();
+    const unionBlobs = new Set();
+    const planned = [];
+    let keepTotal = 0;
+    for (const p of perDoc) {
+        keepTotal += p.keep.length;
+        if (p.archive.length === 0)
+            continue;
+        const trees = new Set();
+        const blobs = new Set();
+        marker.mark(p.archive, trees, blobs);
+        const onlyTrees = [...trees].filter((t) => !keptTrees.has(t));
+        const onlyBlobs = [...blobs].filter((b) => !keptBlobs.has(b));
+        for (const t of onlyTrees)
+            unionTrees.add(t);
+        for (const b of onlyBlobs)
+            unionBlobs.add(b);
+        planned.push({
+            id: p.doc.doc_id,
+            path: referencePath(p.doc.path),
+            revisions: p.live.length,
+            keep: p.keep,
+            archive: p.archive.map((r) => r.rev_id),
+            bytes: marker.bytesOf(onlyTrees, onlyBlobs),
+        });
+    }
+    return {
+        policy: base,
+        now,
+        before,
+        docs: planned,
+        totals: {
+            docs: planned.length,
+            revisions: totalLive,
+            keep: keepTotal,
+            archive: archiveSet.size,
+            bytes: marker.bytesOf(unionTrees, unionBlobs),
+        },
+    };
+}
+//# sourceMappingURL=retention.js.map

package/dist/src/core/store/schema.d.ts

@@ -1,4 +1,4 @@
-export declare const SCHEMA_VERSION = 14;
+export declare const SCHEMA_VERSION = 15;
 export declare const FILE_STATS_DDL = "\nCREATE TABLE IF NOT EXISTS file_stats (\n  repo_id  TEXT NOT NULL,\n  path     TEXT NOT NULL,\n  mtime_ns INTEGER NOT NULL,\n  size     INTEGER NOT NULL,\n  hash     BLOB NOT NULL,\n  PRIMARY KEY (repo_id, path)\n);\n";
 export declare const PROPERTIES_DDL = "\nCREATE TABLE IF NOT EXISTS properties (\n  prop_id        TEXT PRIMARY KEY,\n  repo_id        TEXT NOT NULL,\n  doc_id         TEXT NOT NULL,\n  block_id       TEXT,                    -- NULL = document-scoped (frontmatter, computed)\n  source         TEXT NOT NULL CHECK (source IN ('frontmatter','inline','computed')),\n  key            TEXT NOT NULL,           -- dotted, flattened: \"layer\",\"meta.owner\"; computed carry $: \"$title\"\n  card           TEXT NOT NULL CHECK (card IN ('scalar','list')),\n  ord            INTEGER NOT NULL DEFAULT 0,\n  val_text       TEXT,\n  val_num        REAL,\n  val_bool       INTEGER,\n  val_json       TEXT,\n  type           TEXT NOT NULL CHECK (type IN ('string','number','bool','null','json')),\n  created_commit TEXT NOT NULL,\n  deleted_commit TEXT\n);\nCREATE INDEX IF NOT EXISTS idx_props_doc      ON properties(doc_id)                 WHERE deleted_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_props_key_text ON properties(repo_id, key, val_text) WHERE deleted_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_props_key_num  ON properties(repo_id, key, val_num)  WHERE deleted_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_props_src_key  ON properties(repo_id, source, key)   WHERE deleted_commit IS NULL;\n";
 export declare const SYNC_DDL = "\nCREATE TABLE IF NOT EXISTS adapters (\n  name     TEXT PRIMARY KEY,        -- workspace-unique adapter name (e.g. \"fs\")\n  command  TEXT NOT NULL,           -- argv[0] to spawn (e.g. \"omgbase-fs-adapter\")\n  args     TEXT NOT NULL DEFAULT '[]'  -- fixed leading args (JSON string[])\n);\n\nCREATE TABLE IF NOT EXISTS sources (\n  source_id TEXT PRIMARY KEY,\n  name      TEXT NOT NULL UNIQUE,   -- workspace-unique source name\n  adapter   TEXT NOT NULL REFERENCES adapters(name),\n  config    TEXT NOT NULL DEFAULT '{}',  -- JSON object \u2192 rendered to flags (13 \u00A73.1)\n  env       TEXT NOT NULL DEFAULT '{}'   -- JSON object \u2192 spawn env (secrets; 13 \u00A73.2)\n);\n\nCREATE TABLE IF NOT EXISTS attachments (\n  repo_id   TEXT NOT NULL REFERENCES repos(repo_id),\n  source_id TEXT NOT NULL REFERENCES sources(source_id),\n  PRIMARY KEY (repo_id, source_id)\n);\n\nCREATE TABLE IF NOT EXISTS sync_state (\n  repo_id   TEXT NOT NULL,\n  source_id TEXT NOT NULL,\n  path      TEXT NOT NULL,          -- '' reserved for the attachment-level cursor row\n  revision  TEXT,                   -- last-observed source revision for this path\n  cursor    TEXT,                   -- last poll/webhook cursor (attachment-level row)\n  PRIMARY KEY (repo_id, source_id, path)\n);\n";
@@ -6,5 +6,6 @@ export declare const WORKSPACE_SETTINGS_DDL = "\nCREATE TABLE IF NOT EXISTS work
 export declare const NODES_DDL = "\nCREATE TABLE IF NOT EXISTS nodes (\n  node_id    TEXT PRIMARY KEY,\n  repo_id    TEXT NOT NULL,\n  doc_id     TEXT NOT NULL,\n  block_id   TEXT,\n  kind       TEXT NOT NULL,\n  name       TEXT,\n  value      TEXT,\n  span_start INTEGER,\n  span_end   INTEGER,\n  attrs      TEXT NOT NULL DEFAULT '{}'\n);\nCREATE INDEX IF NOT EXISTS idx_nodes_doc  ON nodes(doc_id);\nCREATE INDEX IF NOT EXISTS idx_nodes_kind ON nodes(kind);\nCREATE INDEX IF NOT EXISTS idx_nodes_name ON nodes(name) WHERE name IS NOT NULL;\nCREATE VIRTUAL TABLE IF NOT EXISTS nodes_fts USING fts5(\n  name, value, content='nodes', content_rowid='rowid', tokenize='porter unicode61'\n);\n";
 export declare const DOC_EMBEDDINGS_DDL = "\nCREATE TABLE IF NOT EXISTS doc_embeddings (\n  doc_id     TEXT NOT NULL,\n  model      TEXT NOT NULL,\n  input_hash BLOB NOT NULL,\n  method     TEXT NOT NULL CHECK (method IN ('whole','pooled')),\n  dim        INTEGER NOT NULL,\n  vec        BLOB NOT NULL,\n  PRIMARY KEY (doc_id, model)\n);\n";
 export declare const PENDING_MATERIALIZATIONS_DDL = "\nCREATE TABLE IF NOT EXISTS pending_materializations (\n  repo_id       TEXT NOT NULL REFERENCES repos(repo_id),\n  path          TEXT NOT NULL,                 -- where the file must end up\n  kind          TEXT NOT NULL CHECK (kind IN ('write','rename','remove')),\n  from_path     TEXT,                          -- rename: the old path\n  doc_id        TEXT NOT NULL REFERENCES docs(doc_id),\n  rev_id        TEXT REFERENCES revisions(rev_id),   -- write/rename: the revision the bytes render (NULL for remove)\n  rendered_hash BLOB NOT NULL,                 -- the bytes expected at path (remove: the bytes it is safe to unlink)\n  commit_id     TEXT NOT NULL REFERENCES commits(commit_id),\n  PRIMARY KEY (repo_id, path)\n);\n";
+export declare const ARCHIVES_DDL = "\nCREATE TABLE IF NOT EXISTS archives (\n  segment_id     TEXT PRIMARY KEY,\n  repo_id        TEXT NOT NULL REFERENCES repos(repo_id),\n  path           TEXT NOT NULL,\n  seq_lo         INTEGER NOT NULL,\n  seq_hi         INTEGER NOT NULL,\n  created_at     TEXT NOT NULL,\n  revision_count INTEGER NOT NULL,\n  bytes          INTEGER NOT NULL\n);\n";
 export declare const MIGRATIONS: Record<number, string>;
-export declare const DDL = "\n-- ---- durable tables (02 \u00A73) --------------------------------------------------\nCREATE TABLE IF NOT EXISTS repos (\n  repo_id   TEXT PRIMARY KEY,\n  slug      TEXT NOT NULL UNIQUE,\n  settings  TEXT NOT NULL DEFAULT '{}'\n);\n-- A repo owns identity + history, NOT a filesystem (ADR-014). Where its bytes\n-- come from is a sources row (adapter=fs, config.root) joined via attachments;\n-- the former repos.root_path column was removed in schema v13.\n\nCREATE TABLE IF NOT EXISTS docs (\n  doc_id         TEXT PRIMARY KEY,\n  repo_id        TEXT NOT NULL REFERENCES repos(repo_id),\n  path           TEXT NOT NULL,\n  format         TEXT NOT NULL DEFAULT 'markdown',\n  current_rev    TEXT,\n  file_hash      BLOB,\n  conflicted     INTEGER NOT NULL DEFAULT 0,\n  leading_trivia TEXT NOT NULL DEFAULT '',\n  frontmatter_trivia TEXT,                  -- separator between frontmatter and first body block (NULL = no frontmatter)\n  deleted_commit TEXT,\n  UNIQUE (repo_id, path)\n);\n\nCREATE TABLE IF NOT EXISTS blocks (\n  block_id       TEXT PRIMARY KEY,\n  repo_id        TEXT NOT NULL REFERENCES repos(repo_id),\n  doc_id         TEXT NOT NULL REFERENCES docs(doc_id),\n  parent_block   TEXT,\n  order_key      TEXT NOT NULL,\n  ordinal        INTEGER NOT NULL,\n  depth          INTEGER NOT NULL,\n  ancestor_path  TEXT NOT NULL,\n  type           TEXT NOT NULL,\n  attrs          TEXT NOT NULL DEFAULT '{}',\n  text           TEXT NOT NULL,\n  raw_hash       BLOB NOT NULL,\n  norm_hash      BLOB NOT NULL,\n  trivia_hash    BLOB,                     -- trailing trivia blob hash (NULL = no trivia)\n  created_commit TEXT NOT NULL,\n  deleted_commit TEXT\n);\nCREATE INDEX IF NOT EXISTS idx_blocks_doc      ON blocks(doc_id, parent_block, order_key) WHERE deleted_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_blocks_type     ON blocks(repo_id, type)                   WHERE deleted_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_blocks_rawhash  ON blocks(raw_hash);\nCREATE INDEX IF NOT EXISTS idx_blocks_ancestor ON blocks(doc_id, ancestor_path);\n\nCREATE TABLE IF NOT EXISTS blobs (\n  hash  BLOB PRIMARY KEY,\n  bytes BLOB NOT NULL,\n  size  INTEGER NOT NULL\n);\n\nCREATE TABLE IF NOT EXISTS tree_nodes (\n  hash    BLOB PRIMARY KEY,\n  entries TEXT NOT NULL\n);\n\nCREATE TABLE IF NOT EXISTS revisions (\n  rev_id           TEXT PRIMARY KEY,\n  doc_id           TEXT NOT NULL REFERENCES docs(doc_id),\n  seq              INTEGER NOT NULL,\n  root_tree        BLOB NOT NULL REFERENCES tree_nodes(hash),\n  frontmatter_blob BLOB REFERENCES blobs(hash),\n  rendered_hash    BLOB NOT NULL,\n  path             TEXT NOT NULL,\n  commit_id        TEXT NOT NULL REFERENCES commits(commit_id),\n  UNIQUE (doc_id, seq)\n);\n\nCREATE TABLE IF NOT EXISTS commits (\n  commit_id     TEXT PRIMARY KEY,\n  repo_id       TEXT NOT NULL REFERENCES repos(repo_id),\n  seq           INTEGER NOT NULL,\n  ts            TEXT NOT NULL,\n  origin        TEXT NOT NULL CHECK (origin IN ('api','observed','import','projection')),\n  actor         TEXT,\n  reason        TEXT,\n  checkpoint_id TEXT,\n  ops           TEXT,\n  UNIQUE (repo_id, seq)\n);\n\nCREATE TABLE IF NOT EXISTS dispositions (\n  commit_id  TEXT NOT NULL REFERENCES commits(commit_id),\n  block_id   TEXT NOT NULL,\n  kind       TEXT NOT NULL CHECK (kind IN\n             ('same','edited','moved','edited_moved','inserted','deleted',\n              'split_from','merged_into','copied_from','resurrected','bulk_rewrite')),\n  confidence REAL,\n  reason     TEXT,\n  matcher_v  TEXT,\n  detail     TEXT NOT NULL DEFAULT '{}',\n  PRIMARY KEY (commit_id, block_id, kind)\n);\n\nCREATE TABLE IF NOT EXISTS edges (\n  edge_id     TEXT PRIMARY KEY,\n  repo_id     TEXT NOT NULL,\n  src_doc     TEXT NOT NULL,\n  src_block   TEXT,\n  src_field   TEXT,\n  predicate   TEXT NOT NULL,\n  dst_kind    TEXT NOT NULL CHECK (dst_kind IN ('document','block','external','collection')),\n  dst_node    TEXT NOT NULL,\n  anchor      TEXT,\n  provenance  TEXT NOT NULL CHECK (provenance IN ('link','frontmatter','inline_field','projected',\n               'yaml_ref','yaml_schema','yaml_extends','json_ref','json_schema')),\n  via_node    TEXT,\n  from_commit TEXT NOT NULL,\n  to_commit   TEXT\n);\nCREATE INDEX IF NOT EXISTS idx_edges_src      ON edges(src_doc, predicate) WHERE to_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_edges_dst      ON edges(dst_node, predicate) WHERE to_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_edges_temporal ON edges(from_commit, to_commit);\n\nCREATE TABLE IF NOT EXISTS external_nodes (\n  node_id TEXT PRIMARY KEY,\n  repo_id TEXT NOT NULL,\n  uri     TEXT NOT NULL,\n  title   TEXT,\n  UNIQUE (repo_id, uri)\n);\n\nCREATE TABLE IF NOT EXISTS collections (\n  node_id TEXT PRIMARY KEY,\n  repo_id TEXT NOT NULL,\n  name    TEXT NOT NULL,\n  spec    TEXT NOT NULL DEFAULT '{}'\n);\n\nCREATE TABLE IF NOT EXISTS checkpoints (\n  id       TEXT PRIMARY KEY,\n  repo_id  TEXT NOT NULL,\n  ts       TEXT NOT NULL,\n  files    TEXT NOT NULL,\n  git_head TEXT\n);\n\nCREATE TABLE IF NOT EXISTS resurrection_pool (\n  block_id       TEXT PRIMARY KEY,\n  repo_id        TEXT NOT NULL,\n  doc_id         TEXT NOT NULL,\n  raw_hash       BLOB NOT NULL,\n  norm_hash      BLOB NOT NULL,\n  type           TEXT NOT NULL,\n  deleted_commit TEXT NOT NULL,\n  expires_ts     TEXT NOT NULL\n);\n\nCREATE TABLE IF NOT EXISTS pending_materializations (\n  repo_id       TEXT NOT NULL REFERENCES repos(repo_id),\n  path          TEXT NOT NULL,                 -- where the file must end up\n  kind          TEXT NOT NULL CHECK (kind IN ('write','rename','remove')),\n  from_path     TEXT,                          -- rename: the old path\n  doc_id        TEXT NOT NULL REFERENCES docs(doc_id),\n  rev_id        TEXT REFERENCES revisions(rev_id),   -- write/rename: the revision the bytes render (NULL for remove)\n  rendered_hash BLOB NOT NULL,                 -- the bytes expected at path (remove: the bytes it is safe to unlink)\n  commit_id     TEXT NOT NULL REFERENCES commits(commit_id),\n  PRIMARY KEY (repo_id, path)\n);\n\n-- ---- derived tables (02 \u00A74; rebuildable) ------------------------------------\nCREATE TABLE IF NOT EXISTS sections (\n  heading_block TEXT NOT NULL,\n  doc_id        TEXT NOT NULL,\n  level         INTEGER NOT NULL,\n  first_ordinal INTEGER NOT NULL,\n  last_ordinal  INTEGER NOT NULL,\n  PRIMARY KEY (doc_id, heading_block)\n);\n\nCREATE TABLE IF NOT EXISTS doc_edges (\n  src_doc   TEXT NOT NULL,\n  predicate TEXT NOT NULL,\n  dst_node  TEXT NOT NULL,\n  dst_kind  TEXT NOT NULL,\n  count     INTEGER NOT NULL,\n  samples   TEXT NOT NULL,\n  PRIMARY KEY (src_doc, predicate, dst_node)\n);\n\nCREATE TABLE IF NOT EXISTS block_changes (\n  block_id  TEXT NOT NULL,\n  commit_id TEXT NOT NULL,\n  kind      TEXT NOT NULL,\n  PRIMARY KEY (block_id, commit_id, kind)\n);\n\nCREATE TABLE IF NOT EXISTS inferred_edges (\n  src_node    TEXT NOT NULL,\n  dst_node    TEXT NOT NULL,\n  predicate   TEXT NOT NULL,\n  method      TEXT NOT NULL,\n  score       REAL NOT NULL,\n  model_v     TEXT NOT NULL,\n  computed_at TEXT NOT NULL,\n  PRIMARY KEY (src_node, dst_node, predicate, method)\n);\n\nCREATE TABLE IF NOT EXISTS embeddings (\n  content_hash BLOB NOT NULL,\n  ctx_hash     BLOB NOT NULL,\n  model        TEXT NOT NULL,\n  dim          INTEGER NOT NULL,\n  vec          BLOB NOT NULL,\n  PRIMARY KEY (content_hash, ctx_hash, model)\n);\n\n\nCREATE TABLE IF NOT EXISTS doc_embeddings (\n  doc_id     TEXT NOT NULL,\n  model      TEXT NOT NULL,\n  input_hash BLOB NOT NULL,\n  method     TEXT NOT NULL CHECK (method IN ('whole','pooled')),\n  dim        INTEGER NOT NULL,\n  vec        BLOB NOT NULL,\n  PRIMARY KEY (doc_id, model)\n);\n\n\nCREATE VIRTUAL TABLE IF NOT EXISTS blocks_fts USING fts5(\n  text, content='blocks', content_rowid='rowid', tokenize='porter unicode61'\n);\n\nCREATE TABLE IF NOT EXISTS nodes (\n  node_id    TEXT PRIMARY KEY,\n  repo_id    TEXT NOT NULL,\n  doc_id     TEXT NOT NULL,\n  block_id   TEXT,\n  kind       TEXT NOT NULL,\n  name       TEXT,\n  value      TEXT,\n  span_start INTEGER,\n  span_end   INTEGER,\n  attrs      TEXT NOT NULL DEFAULT '{}'\n);\nCREATE INDEX IF NOT EXISTS idx_nodes_doc  ON nodes(doc_id);\nCREATE INDEX IF NOT EXISTS idx_nodes_kind ON nodes(kind);\nCREATE INDEX IF NOT EXISTS idx_nodes_name ON nodes(name) WHERE name IS NOT NULL;\n\nCREATE VIRTUAL TABLE IF NOT EXISTS nodes_fts USING fts5(\n  name, value, content='nodes', content_rowid='rowid', tokenize='porter unicode61'\n);\n\n\nCREATE TABLE IF NOT EXISTS file_stats (\n  repo_id  TEXT NOT NULL,\n  path     TEXT NOT NULL,\n  mtime_ns INTEGER NOT NULL,\n  size     INTEGER NOT NULL,\n  hash     BLOB NOT NULL,\n  PRIMARY KEY (repo_id, path)\n);\n\n\nCREATE TABLE IF NOT EXISTS properties (\n  prop_id        TEXT PRIMARY KEY,\n  repo_id        TEXT NOT NULL,\n  doc_id         TEXT NOT NULL,\n  block_id       TEXT,                    -- NULL = document-scoped (frontmatter, computed)\n  source         TEXT NOT NULL CHECK (source IN ('frontmatter','inline','computed')),\n  key            TEXT NOT NULL,           -- dotted, flattened: \"layer\",\"meta.owner\"; computed carry $: \"$title\"\n  card           TEXT NOT NULL CHECK (card IN ('scalar','list')),\n  ord            INTEGER NOT NULL DEFAULT 0,\n  val_text       TEXT,\n  val_num        REAL,\n  val_bool       INTEGER,\n  val_json       TEXT,\n  type           TEXT NOT NULL CHECK (type IN ('string','number','bool','null','json')),\n  created_commit TEXT NOT NULL,\n  deleted_commit TEXT\n);\nCREATE INDEX IF NOT EXISTS idx_props_doc      ON properties(doc_id)                 WHERE deleted_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_props_key_text ON properties(repo_id, key, val_text) WHERE deleted_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_props_key_num  ON properties(repo_id, key, val_num)  WHERE deleted_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_props_src_key  ON properties(repo_id, source, key)   WHERE deleted_commit IS NULL;\n\n\nCREATE TABLE IF NOT EXISTS adapters (\n  name     TEXT PRIMARY KEY,        -- workspace-unique adapter name (e.g. \"fs\")\n  command  TEXT NOT NULL,           -- argv[0] to spawn (e.g. \"omgbase-fs-adapter\")\n  args     TEXT NOT NULL DEFAULT '[]'  -- fixed leading args (JSON string[])\n);\n\nCREATE TABLE IF NOT EXISTS sources (\n  source_id TEXT PRIMARY KEY,\n  name      TEXT NOT NULL UNIQUE,   -- workspace-unique source name\n  adapter   TEXT NOT NULL REFERENCES adapters(name),\n  config    TEXT NOT NULL DEFAULT '{}',  -- JSON object \u2192 rendered to flags (13 \u00A73.1)\n  env       TEXT NOT NULL DEFAULT '{}'   -- JSON object \u2192 spawn env (secrets; 13 \u00A73.2)\n);\n\nCREATE TABLE IF NOT EXISTS attachments (\n  repo_id   TEXT NOT NULL REFERENCES repos(repo_id),\n  source_id TEXT NOT NULL REFERENCES sources(source_id),\n  PRIMARY KEY (repo_id, source_id)\n);\n\nCREATE TABLE IF NOT EXISTS sync_state (\n  repo_id   TEXT NOT NULL,\n  source_id TEXT NOT NULL,\n  path      TEXT NOT NULL,          -- '' reserved for the attachment-level cursor row\n  revision  TEXT,                   -- last-observed source revision for this path\n  cursor    TEXT,                   -- last poll/webhook cursor (attachment-level row)\n  PRIMARY KEY (repo_id, source_id, path)\n);\n\n\nCREATE TABLE IF NOT EXISTS workspace_settings (\n  id       INTEGER PRIMARY KEY CHECK (id = 0),\n  settings TEXT NOT NULL DEFAULT '{}'\n);\nINSERT OR IGNORE INTO workspace_settings (id, settings) VALUES (0, '{}');\n\n";
+export declare const DDL = "\n-- ---- durable tables (02 \u00A73) --------------------------------------------------\nCREATE TABLE IF NOT EXISTS repos (\n  repo_id   TEXT PRIMARY KEY,\n  slug      TEXT NOT NULL UNIQUE,\n  settings  TEXT NOT NULL DEFAULT '{}'\n);\n-- A repo owns identity + history, NOT a filesystem (ADR-014). Where its bytes\n-- come from is a sources row (adapter=fs, config.root) joined via attachments;\n-- the former repos.root_path column was removed in schema v13.\n\nCREATE TABLE IF NOT EXISTS docs (\n  doc_id         TEXT PRIMARY KEY,\n  repo_id        TEXT NOT NULL REFERENCES repos(repo_id),\n  path           TEXT NOT NULL,\n  format         TEXT NOT NULL DEFAULT 'markdown',\n  current_rev    TEXT,\n  file_hash      BLOB,\n  conflicted     INTEGER NOT NULL DEFAULT 0,\n  leading_trivia TEXT NOT NULL DEFAULT '',\n  frontmatter_trivia TEXT,                  -- separator between frontmatter and first body block (NULL = no frontmatter)\n  deleted_commit TEXT,\n  UNIQUE (repo_id, path)\n);\n\nCREATE TABLE IF NOT EXISTS blocks (\n  block_id       TEXT PRIMARY KEY,\n  repo_id        TEXT NOT NULL REFERENCES repos(repo_id),\n  doc_id         TEXT NOT NULL REFERENCES docs(doc_id),\n  parent_block   TEXT,\n  order_key      TEXT NOT NULL,\n  ordinal        INTEGER NOT NULL,\n  depth          INTEGER NOT NULL,\n  ancestor_path  TEXT NOT NULL,\n  type           TEXT NOT NULL,\n  attrs          TEXT NOT NULL DEFAULT '{}',\n  text           TEXT NOT NULL,\n  raw_hash       BLOB NOT NULL,\n  norm_hash      BLOB NOT NULL,\n  trivia_hash    BLOB,                     -- trailing trivia blob hash (NULL = no trivia)\n  created_commit TEXT NOT NULL,\n  deleted_commit TEXT\n);\nCREATE INDEX IF NOT EXISTS idx_blocks_doc      ON blocks(doc_id, parent_block, order_key) WHERE deleted_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_blocks_type     ON blocks(repo_id, type)                   WHERE deleted_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_blocks_rawhash  ON blocks(raw_hash);\nCREATE INDEX IF NOT EXISTS idx_blocks_ancestor ON blocks(doc_id, ancestor_path);\n\nCREATE TABLE IF NOT EXISTS blobs (\n  hash  BLOB PRIMARY KEY,\n  bytes BLOB NOT NULL,\n  size  INTEGER NOT NULL\n);\n\nCREATE TABLE IF NOT EXISTS tree_nodes (\n  hash    BLOB PRIMARY KEY,\n  entries TEXT NOT NULL\n);\n\nCREATE TABLE IF NOT EXISTS revisions (\n  rev_id           TEXT PRIMARY KEY,\n  doc_id           TEXT NOT NULL REFERENCES docs(doc_id),\n  seq              INTEGER NOT NULL,\n  root_tree        BLOB,                   -- a tree_nodes.hash; NULL once archived (spec/store \u00A77 \"Retention\", 15.0)\n  frontmatter_blob BLOB,                   -- a blobs.hash, or NULL (no frontmatter, or archived)\n  rendered_hash    BLOB NOT NULL,\n  path             TEXT NOT NULL,\n  commit_id        TEXT NOT NULL REFERENCES commits(commit_id),\n  archive          TEXT,                   -- the archive segment holding the bodies; NULL = live (15.0)\n  UNIQUE (doc_id, seq)\n);\n\nCREATE TABLE IF NOT EXISTS commits (\n  commit_id     TEXT PRIMARY KEY,\n  repo_id       TEXT NOT NULL REFERENCES repos(repo_id),\n  seq           INTEGER NOT NULL,\n  ts            TEXT NOT NULL,\n  origin        TEXT NOT NULL CHECK (origin IN ('api','observed','import','projection')),\n  actor         TEXT,\n  reason        TEXT,\n  checkpoint_id TEXT,\n  ops           TEXT,\n  UNIQUE (repo_id, seq)\n);\n\nCREATE TABLE IF NOT EXISTS dispositions (\n  commit_id  TEXT NOT NULL REFERENCES commits(commit_id),\n  block_id   TEXT NOT NULL,\n  kind       TEXT NOT NULL CHECK (kind IN\n             ('same','edited','moved','edited_moved','inserted','deleted',\n              'split_from','merged_into','copied_from','resurrected','bulk_rewrite')),\n  confidence REAL,\n  reason     TEXT,\n  matcher_v  TEXT,\n  detail     TEXT NOT NULL DEFAULT '{}',\n  PRIMARY KEY (commit_id, block_id, kind)\n);\n\nCREATE TABLE IF NOT EXISTS edges (\n  edge_id     TEXT PRIMARY KEY,\n  repo_id     TEXT NOT NULL,\n  src_doc     TEXT NOT NULL,\n  src_block   TEXT,\n  src_field   TEXT,\n  predicate   TEXT NOT NULL,\n  dst_kind    TEXT NOT NULL CHECK (dst_kind IN ('document','block','external','collection')),\n  dst_node    TEXT NOT NULL,\n  anchor      TEXT,\n  provenance  TEXT NOT NULL CHECK (provenance IN ('link','frontmatter','inline_field','projected',\n               'yaml_ref','yaml_schema','yaml_extends','json_ref','json_schema')),\n  via_node    TEXT,\n  from_commit TEXT NOT NULL,\n  to_commit   TEXT\n);\nCREATE INDEX IF NOT EXISTS idx_edges_src      ON edges(src_doc, predicate) WHERE to_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_edges_dst      ON edges(dst_node, predicate) WHERE to_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_edges_temporal ON edges(from_commit, to_commit);\n\nCREATE TABLE IF NOT EXISTS external_nodes (\n  node_id TEXT PRIMARY KEY,\n  repo_id TEXT NOT NULL,\n  uri     TEXT NOT NULL,\n  title   TEXT,\n  UNIQUE (repo_id, uri)\n);\n\nCREATE TABLE IF NOT EXISTS collections (\n  node_id TEXT PRIMARY KEY,\n  repo_id TEXT NOT NULL,\n  name    TEXT NOT NULL,\n  spec    TEXT NOT NULL DEFAULT '{}'\n);\n\nCREATE TABLE IF NOT EXISTS checkpoints (\n  id       TEXT PRIMARY KEY,\n  repo_id  TEXT NOT NULL,\n  ts       TEXT NOT NULL,\n  files    TEXT NOT NULL,\n  git_head TEXT\n);\n\nCREATE TABLE IF NOT EXISTS resurrection_pool (\n  block_id       TEXT PRIMARY KEY,\n  repo_id        TEXT NOT NULL,\n  doc_id         TEXT NOT NULL,\n  raw_hash       BLOB NOT NULL,\n  norm_hash      BLOB NOT NULL,\n  type           TEXT NOT NULL,\n  deleted_commit TEXT NOT NULL,\n  expires_ts     TEXT NOT NULL\n);\n\nCREATE TABLE IF NOT EXISTS pending_materializations (\n  repo_id       TEXT NOT NULL REFERENCES repos(repo_id),\n  path          TEXT NOT NULL,                 -- where the file must end up\n  kind          TEXT NOT NULL CHECK (kind IN ('write','rename','remove')),\n  from_path     TEXT,                          -- rename: the old path\n  doc_id        TEXT NOT NULL REFERENCES docs(doc_id),\n  rev_id        TEXT REFERENCES revisions(rev_id),   -- write/rename: the revision the bytes render (NULL for remove)\n  rendered_hash BLOB NOT NULL,                 -- the bytes expected at path (remove: the bytes it is safe to unlink)\n  commit_id     TEXT NOT NULL REFERENCES commits(commit_id),\n  PRIMARY KEY (repo_id, path)\n);\n\n\nCREATE TABLE IF NOT EXISTS archives (\n  segment_id     TEXT PRIMARY KEY,\n  repo_id        TEXT NOT NULL REFERENCES repos(repo_id),\n  path           TEXT NOT NULL,\n  seq_lo         INTEGER NOT NULL,\n  seq_hi         INTEGER NOT NULL,\n  created_at     TEXT NOT NULL,\n  revision_count INTEGER NOT NULL,\n  bytes          INTEGER NOT NULL\n);\n\n-- ---- derived tables (02 \u00A74; rebuildable) ------------------------------------\nCREATE TABLE IF NOT EXISTS sections (\n  heading_block TEXT NOT NULL,\n  doc_id        TEXT NOT NULL,\n  level         INTEGER NOT NULL,\n  first_ordinal INTEGER NOT NULL,\n  last_ordinal  INTEGER NOT NULL,\n  PRIMARY KEY (doc_id, heading_block)\n);\n\nCREATE TABLE IF NOT EXISTS doc_edges (\n  src_doc   TEXT NOT NULL,\n  predicate TEXT NOT NULL,\n  dst_node  TEXT NOT NULL,\n  dst_kind  TEXT NOT NULL,\n  count     INTEGER NOT NULL,\n  samples   TEXT NOT NULL,\n  PRIMARY KEY (src_doc, predicate, dst_node)\n);\n\nCREATE TABLE IF NOT EXISTS block_changes (\n  block_id  TEXT NOT NULL,\n  commit_id TEXT NOT NULL,\n  kind      TEXT NOT NULL,\n  PRIMARY KEY (block_id, commit_id, kind)\n);\n\nCREATE TABLE IF NOT EXISTS inferred_edges (\n  src_node    TEXT NOT NULL,\n  dst_node    TEXT NOT NULL,\n  predicate   TEXT NOT NULL,\n  method      TEXT NOT NULL,\n  score       REAL NOT NULL,\n  model_v     TEXT NOT NULL,\n  computed_at TEXT NOT NULL,\n  PRIMARY KEY (src_node, dst_node, predicate, method)\n);\n\nCREATE TABLE IF NOT EXISTS embeddings (\n  content_hash BLOB NOT NULL,\n  ctx_hash     BLOB NOT NULL,\n  model        TEXT NOT NULL,\n  dim          INTEGER NOT NULL,\n  vec          BLOB NOT NULL,\n  PRIMARY KEY (content_hash, ctx_hash, model)\n);\n\n\nCREATE TABLE IF NOT EXISTS doc_embeddings (\n  doc_id     TEXT NOT NULL,\n  model      TEXT NOT NULL,\n  input_hash BLOB NOT NULL,\n  method     TEXT NOT NULL CHECK (method IN ('whole','pooled')),\n  dim        INTEGER NOT NULL,\n  vec        BLOB NOT NULL,\n  PRIMARY KEY (doc_id, model)\n);\n\n\nCREATE VIRTUAL TABLE IF NOT EXISTS blocks_fts USING fts5(\n  text, content='blocks', content_rowid='rowid', tokenize='porter unicode61'\n);\n\nCREATE TABLE IF NOT EXISTS nodes (\n  node_id    TEXT PRIMARY KEY,\n  repo_id    TEXT NOT NULL,\n  doc_id     TEXT NOT NULL,\n  block_id   TEXT,\n  kind       TEXT NOT NULL,\n  name       TEXT,\n  value      TEXT,\n  span_start INTEGER,\n  span_end   INTEGER,\n  attrs      TEXT NOT NULL DEFAULT '{}'\n);\nCREATE INDEX IF NOT EXISTS idx_nodes_doc  ON nodes(doc_id);\nCREATE INDEX IF NOT EXISTS idx_nodes_kind ON nodes(kind);\nCREATE INDEX IF NOT EXISTS idx_nodes_name ON nodes(name) WHERE name IS NOT NULL;\n\nCREATE VIRTUAL TABLE IF NOT EXISTS nodes_fts USING fts5(\n  name, value, content='nodes', content_rowid='rowid', tokenize='porter unicode61'\n);\n\n\nCREATE TABLE IF NOT EXISTS file_stats (\n  repo_id  TEXT NOT NULL,\n  path     TEXT NOT NULL,\n  mtime_ns INTEGER NOT NULL,\n  size     INTEGER NOT NULL,\n  hash     BLOB NOT NULL,\n  PRIMARY KEY (repo_id, path)\n);\n\n\nCREATE TABLE IF NOT EXISTS properties (\n  prop_id        TEXT PRIMARY KEY,\n  repo_id        TEXT NOT NULL,\n  doc_id         TEXT NOT NULL,\n  block_id       TEXT,                    -- NULL = document-scoped (frontmatter, computed)\n  source         TEXT NOT NULL CHECK (source IN ('frontmatter','inline','computed')),\n  key            TEXT NOT NULL,           -- dotted, flattened: \"layer\",\"meta.owner\"; computed carry $: \"$title\"\n  card           TEXT NOT NULL CHECK (card IN ('scalar','list')),\n  ord            INTEGER NOT NULL DEFAULT 0,\n  val_text       TEXT,\n  val_num        REAL,\n  val_bool       INTEGER,\n  val_json       TEXT,\n  type           TEXT NOT NULL CHECK (type IN ('string','number','bool','null','json')),\n  created_commit TEXT NOT NULL,\n  deleted_commit TEXT\n);\nCREATE INDEX IF NOT EXISTS idx_props_doc      ON properties(doc_id)                 WHERE deleted_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_props_key_text ON properties(repo_id, key, val_text) WHERE deleted_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_props_key_num  ON properties(repo_id, key, val_num)  WHERE deleted_commit IS NULL;\nCREATE INDEX IF NOT EXISTS idx_props_src_key  ON properties(repo_id, source, key)   WHERE deleted_commit IS NULL;\n\n\nCREATE TABLE IF NOT EXISTS adapters (\n  name     TEXT PRIMARY KEY,        -- workspace-unique adapter name (e.g. \"fs\")\n  command  TEXT NOT NULL,           -- argv[0] to spawn (e.g. \"omgbase-fs-adapter\")\n  args     TEXT NOT NULL DEFAULT '[]'  -- fixed leading args (JSON string[])\n);\n\nCREATE TABLE IF NOT EXISTS sources (\n  source_id TEXT PRIMARY KEY,\n  name      TEXT NOT NULL UNIQUE,   -- workspace-unique source name\n  adapter   TEXT NOT NULL REFERENCES adapters(name),\n  config    TEXT NOT NULL DEFAULT '{}',  -- JSON object \u2192 rendered to flags (13 \u00A73.1)\n  env       TEXT NOT NULL DEFAULT '{}'   -- JSON object \u2192 spawn env (secrets; 13 \u00A73.2)\n);\n\nCREATE TABLE IF NOT EXISTS attachments (\n  repo_id   TEXT NOT NULL REFERENCES repos(repo_id),\n  source_id TEXT NOT NULL REFERENCES sources(source_id),\n  PRIMARY KEY (repo_id, source_id)\n);\n\nCREATE TABLE IF NOT EXISTS sync_state (\n  repo_id   TEXT NOT NULL,\n  source_id TEXT NOT NULL,\n  path      TEXT NOT NULL,          -- '' reserved for the attachment-level cursor row\n  revision  TEXT,                   -- last-observed source revision for this path\n  cursor    TEXT,                   -- last poll/webhook cursor (attachment-level row)\n  PRIMARY KEY (repo_id, source_id, path)\n);\n\n\nCREATE TABLE IF NOT EXISTS workspace_settings (\n  id       INTEGER PRIMARY KEY CHECK (id = 0),\n  settings TEXT NOT NULL DEFAULT '{}'\n);\nINSERT OR IGNORE INTO workspace_settings (id, settings) VALUES (0, '{}');\n\n";

package/dist/src/core/store/schema.js

@@ -1,7 +1,7 @@
 // Full DDL — data-model §3 (durable) + §4 (derived). SQLite dialect.
 // Kept as one string so migrations and rebuild-index can apply it verbatim.
 // No dialect-specific SQL leaks above the store module (02 §8).
-export const SCHEMA_VERSION = 14;
+export const SCHEMA_VERSION = 15;
 // file_stats (02 §4; derived, rebuildable by a full re-stat) backs the CLI
 // freshness sweep (11 §3.3): (mtime_ns, size) cheap-change detection so a
 // one-shot command re-ingests only files that changed on disk since last ingest.
@@ -160,10 +160,33 @@ CREATE TABLE IF NOT EXISTS pending_materializations (
   PRIMARY KEY (repo_id, path)
 );
 `;
+// archives (spec/store §7 "Retention", store 15.0). The registry of archive
+// segments — the one-file-per-export SQLite databases `omg history export`
+// writes (`spec/store/archive.sql`) that hold the bodies of the revisions the
+// retention policy squashed: `segment_id` (a minted `s_` id, the manifest's),
+// `path` (the file as recorded; `attach` re-records it), `seq_lo`/`seq_hi`
+// (the `commits.seq` span of the archived commits), `created_at`,
+// `revision_count`, `bytes` (the file's size when recorded). A revision's
+// `archive` column names its segment whether or not the row is here: `detach`
+// deletes the row, the pointer stays, and a read of such a revision is
+// `revision_archived`. Rows are written by the squash transaction and by
+// `attach`; never by a commit.
+export const ARCHIVES_DDL = /* sql */ `
+CREATE TABLE IF NOT EXISTS archives (
+  segment_id     TEXT PRIMARY KEY,
+  repo_id        TEXT NOT NULL REFERENCES repos(repo_id),
+  path           TEXT NOT NULL,
+  seq_lo         INTEGER NOT NULL,
+  seq_hi         INTEGER NOT NULL,
+  created_at     TEXT NOT NULL,
+  revision_count INTEGER NOT NULL,
+  bytes          INTEGER NOT NULL
+);
+`;
 // Additive migrations keyed by the version they upgrade TO. Each runs inside a
 // transaction. Only forward, idempotent DDL (CREATE ... IF NOT EXISTS) — no
 // destructive changes. store.ts applies these in order for an older db.
-// Migrations 3, 4, 6, 7, 9, 11, 13 are programmatic — see store.ts.
+// Migrations 3, 4, 6, 7, 9, 11, 13, 15 are programmatic — see store.ts.
 export const MIGRATIONS = {
     2: FILE_STATS_DDL,
     3: "", // handled programmatically in store.ts
@@ -178,6 +201,7 @@ export const MIGRATIONS = {
     12: DOC_EMBEDDINGS_DDL, // doc-grain semantic vectors
     13: "", // drop repos.root_path (migrate → fs sources), handled programmatically in store.ts
     14: PENDING_MATERIALIZATIONS_DDL, // the api path's recorded file intent (spec/store §5.7)
+    15: "", // revisions.root_tree/frontmatter_blob nullable + `archive`, create `archives` (spec/store §7 "Retention"), handled programmatically in store.ts
 };
 export const DDL = /* sql */ `
 -- ---- durable tables (02 §3) --------------------------------------------------
@@ -242,11 +266,12 @@ CREATE TABLE IF NOT EXISTS revisions (
   rev_id           TEXT PRIMARY KEY,
   doc_id           TEXT NOT NULL REFERENCES docs(doc_id),
   seq              INTEGER NOT NULL,
-  root_tree        BLOB NOT NULL REFERENCES tree_nodes(hash),
-  frontmatter_blob BLOB REFERENCES blobs(hash),
+  root_tree        BLOB,                   -- a tree_nodes.hash; NULL once archived (spec/store §7 "Retention", 15.0)
+  frontmatter_blob BLOB,                   -- a blobs.hash, or NULL (no frontmatter, or archived)
   rendered_hash    BLOB NOT NULL,
   path             TEXT NOT NULL,
   commit_id        TEXT NOT NULL REFERENCES commits(commit_id),
+  archive          TEXT,                   -- the archive segment holding the bodies; NULL = live (15.0)
   UNIQUE (doc_id, seq)
 );
 
@@ -330,6 +355,7 @@ CREATE TABLE IF NOT EXISTS resurrection_pool (
   expires_ts     TEXT NOT NULL
 );
 ${PENDING_MATERIALIZATIONS_DDL}
+${ARCHIVES_DDL}
 -- ---- derived tables (02 §4; rebuildable) ------------------------------------
 CREATE TABLE IF NOT EXISTS sections (
   heading_block TEXT NOT NULL,

package/dist/src/core/store/size.d.ts

@@ -35,12 +35,27 @@ export interface SizeFile {
     /** `freelist_count * page_size`: what `VACUUM` returns to the filesystem. */
     reclaimable: number;
 }
+export interface SizeArchived {
+    /** `revisions` rows whose bodies live in a segment (`archive IS NOT NULL`). */
+    revisions: number;
+    /** Recorded segments (`archives` rows). */
+    segments: number;
+    /** The recorded segments' bytes on disk (a missing file counts 0). */
+    bytes: number;
+}
+/** What the retention policy would archive now (spec/store §7 "Retention"), summed over the store's repositories. */
+export interface SizeRetention {
+    revisions: number;
+    bytes: number;
+}
 export interface SizeReport {
     file: SizeFile;
     /** Always the four categories, in the fixed order content, history, search, sync. */
     categories: SizeCategoryReport[];
     /** spec/store §7 (14.2): `dispositions` rows with `kind = 'same'` — what a store through 14.1 wrote and `omg gc` removes. */
     same_dispositions: number;
+    /** spec/store §7 "Retention" (15.0): archived revisions, recorded segments, and the segments' bytes on disk. */
+    archived: SizeArchived;
     advice: string[];
     /** Present only when the SQLite build lacks `dbstat` (row counts only). */
     detail?: "dbstat unavailable";
@@ -51,6 +66,8 @@ export declare const VACUUM_ADVICE_MIN_SHARE = 10;
 export declare const HISTORY_ADVICE_MIN_SHARE = 50;
 export declare const SAME_ADVICE_MIN_SHARE = 25;
 export declare const EMBEDDINGS_ADVICE_MIN_SHARE = 25;
+/** The retention advice fires when the plan's bytes exceed this share of the `history` category (15.0). */
+export declare const RETENTION_ADVICE_MIN_SHARE = 10;
 /**
  * `<n> B` under 1024, else one decimal of KB/MB/GB/TB (1024-based), the tenths
  * rounded half up — `4096` → `4.0 KB`, `13734297` → `13.1 MB`. Both engines
@@ -62,9 +79,11 @@ export declare function formatShare(share: number): string;
 /** `bytes / total` in percent, one decimal, rounded half up; 0 when the total is 0. */
 export declare function shareOf(bytes: number, total: number): number;
 /** spec/store §7: the advice lines, in this order; `nothing to reclaim` when none applies. */
-export declare function sizeAdvice(file: SizeFile, categories: SizeCategoryReport[], sameDispositions?: number): string[];
+export declare function sizeAdvice(file: SizeFile, categories: SizeCategoryReport[], sameDispositions?: number, retention?: SizeRetention): string[];
 /** The size report of an open store (spec/store §7 "Size"). */
-export declare function sizeReport(store: Store): SizeReport;
+export declare function sizeReport(store: Store, opts?: {
+    now?: string;
+}): SizeReport;
 export interface VacuumResult {
     /** `freelist_count * page_size` before the `VACUUM`: the bytes it returned. */
     reclaimable: number;