memkin 0.4.2 → 0.4.3

package/dist/apply/engine.js

@@ -0,0 +1,255 @@
+// src/apply/engine.ts
+//
+// The single, target-agnostic apply engine (spec §6.2). It consumes a frozen
+// apply_plan and writes everything in ONE Postgres transaction:
+//   pages + content_chunks (via rematerialize's rechunk) + links + tags +
+//   timeline + handles + contributions + rematerialize + a mutation journal for
+//   the NON-derived writes → commit → record an apply_attempt.
+//
+// Target parameterization (staging | production) is a `SET LOCAL search_path`
+// inside the transaction: data tables (pages, content_chunks, links, tags,
+// timeline_entries, memory_contributions) are written UNQUALIFIED and resolve to
+// the target schema; engine metadata (apply_attempt, apply_mutation_journal,
+// distilled_payload) is always public-qualified.
+//
+// Replay is idempotent and never calls an LLM: the engine is pure plan
+// consumption; contribution_id is the deterministic PK and pages upsert by slug,
+// so re-running a plan that already succeeded is a no-op.
+//
+// CAS: UPDATE/SUPERSEDE/LINK_EXISTING lock the target row and compare its
+// content_hash to the plan snapshot; a mismatch (concurrent write) aborts and
+// the whole apply is retried once. A second conflict parks the attempt in
+// dead_letter (spec §7).
+import { rematerializeCanonicalPage } from "./rematerialize.js";
+const TYPE_FOLDER = {
+    decision: "decisions",
+    task: "tasks",
+    reference: "references",
+    preference: "preferences",
+    knowledge: "knowledge",
+    discovery: "discoveries",
+};
+function deriveSlug(type, normalizedTopic) {
+    const folder = TYPE_FOLDER[type] ?? "notes";
+    return `${folder}/${normalizedTopic}`;
+}
+class CasConflictError extends Error {
+    slug;
+    constructor(slug) {
+        super(`CAS conflict on ${slug}`);
+        this.slug = slug;
+        this.name = "CasConflictError";
+    }
+}
+export class ApplyEngine {
+    ex;
+    constructor(ex) {
+        this.ex = ex;
+    }
+    /**
+     * Apply a frozen plan. Idempotent per plan; target-parameterized; single
+     * transaction; CAS with one retry then dead_letter.
+     */
+    async apply(plan) {
+        // Idempotent replay: a plan that already applied is not re-run (no LLM ever).
+        const prior = await this.ex.query("SELECT id FROM public.apply_attempt WHERE plan_id = $1 AND status = 'applied' ORDER BY id DESC LIMIT 1", [plan.id]);
+        if (prior.rows.length > 0) {
+            return {
+                attemptId: prior.rows[0].id,
+                status: "applied",
+                target: plan.target,
+                applied: [],
+                retried: false,
+                replay: true,
+            };
+        }
+        const meta = await this.loadPayloadMeta(plan.data.payload_id);
+        const attemptId = (await this.ex.query("INSERT INTO public.apply_attempt (plan_id, target, status) VALUES ($1, $2, 'pending') RETURNING id", [plan.id, plan.target])).rows[0].id;
+        let retried = false;
+        for (let pass = 0; pass < 2; pass++) {
+            try {
+                const applied = await this.runTransaction(plan, meta, attemptId);
+                await this.ex.query("UPDATE public.apply_attempt SET status = 'applied', detail = $2::jsonb, completed_at = NOW() WHERE id = $1", [attemptId, JSON.stringify({ retried, count: applied.length })]);
+                return {
+                    attemptId,
+                    status: "applied",
+                    target: plan.target,
+                    applied,
+                    retried,
+                    replay: false,
+                };
+            }
+            catch (err) {
+                const isCas = err instanceof CasConflictError;
+                if (isCas && pass === 0) {
+                    retried = true;
+                    continue; // retry once
+                }
+                const status = isCas ? "dead_letter" : "failed";
+                const message = err instanceof Error ? err.message : String(err);
+                await this.ex.query("UPDATE public.apply_attempt SET status = $2, detail = $3::jsonb, completed_at = NOW() WHERE id = $1", [attemptId, status, JSON.stringify({ retried, error: message })]);
+                return {
+                    attemptId,
+                    status,
+                    target: plan.target,
+                    applied: [],
+                    retried,
+                    replay: false,
+                    error: message,
+                };
+            }
+        }
+        // Unreachable, but satisfies the type checker.
+        return {
+            attemptId,
+            status: "failed",
+            target: plan.target,
+            applied: [],
+            retried,
+            replay: false,
+        };
+    }
+    async loadPayloadMeta(payloadId) {
+        const r = await this.ex.query("SELECT source_instance, session_id, revision_id, created_at::text AS created_at FROM public.distilled_payload WHERE id = $1", [payloadId]);
+        if (r.rows.length === 0)
+            throw new Error(`payload ${payloadId} not found`);
+        const row = r.rows[0];
+        return {
+            sourceInstance: row.source_instance,
+            sessionId: row.session_id,
+            revisionId: row.revision_id,
+            createdAt: row.created_at,
+        };
+    }
+    async runTransaction(plan, meta, attemptId) {
+        return this.ex.transaction(async (tx) => {
+            if (plan.target === "staging") {
+                await tx.query("SET LOCAL search_path TO staging, public");
+            }
+            const applied = [];
+            const journal = new Journal(tx, attemptId);
+            for (const action of plan.data.actions) {
+                const slug = await this.applyAction(tx, action, meta, attemptId, journal);
+                if (slug)
+                    applied.push({ slug, action: action.action });
+            }
+            return applied;
+        });
+    }
+    async applyAction(tx, action, meta, attemptId, journal) {
+        if (action.action === "NOOP")
+            return null;
+        const source = {
+            platform: meta.sourceInstance,
+            channel: meta.sessionId,
+            timestamp: meta.createdAt,
+            raw_hash: "",
+            quote: "",
+        };
+        if (action.action === "NEW") {
+            const slug = deriveSlug(action.signal.type, action.normalized_topic);
+            const pageId = await this.ensurePage(tx, slug, action, journal);
+            await this.attachContribution(tx, action, pageId, meta, source, attemptId);
+            await rematerializeCanonicalPage(tx, pageId);
+            return slug;
+        }
+        if (action.action === "SUPERSEDE") {
+            const oldSlug = action.target_slug;
+            const old = await this.lockForCas(tx, oldSlug, action.target_content_hash);
+            // New page carries the superseding conclusion.
+            const newSlug = deriveSlug(action.signal.type, action.normalized_topic);
+            const newId = await this.ensurePage(tx, newSlug, action, journal);
+            await this.attachContribution(tx, action, newId, meta, source, attemptId);
+            await rematerializeCanonicalPage(tx, newId);
+            // Non-derived writes on the OLD page → journaled for rollback.
+            await this.markSuperseded(tx, old.id, oldSlug, newSlug, journal);
+            await tx.query(`INSERT INTO links (from_page_id, to_page_id, link_type, context, provenance)
+         VALUES ($1, $2, 'supersedes', '', $3::jsonb)
+         ON CONFLICT (from_page_id, to_page_id, link_type) DO NOTHING`, [newId, old.id, JSON.stringify({ auto: "supersede" })]);
+            return newSlug;
+        }
+        // UPDATE | LINK_EXISTING — attach to the existing target and rematerialize.
+        const targetSlug = action.target_slug;
+        const target = await this.lockForCas(tx, targetSlug, action.target_content_hash);
+        await this.attachContribution(tx, action, target.id, meta, source, attemptId);
+        await rematerializeCanonicalPage(tx, target.id);
+        return targetSlug;
+    }
+    /** Lock the target row and enforce the plan-snapshot CAS (spec §7). */
+    async lockForCas(tx, slug, snapshotHash) {
+        const r = await tx.query("SELECT id, content_hash FROM pages WHERE slug = $1 FOR UPDATE", [slug]);
+        if (r.rows.length === 0)
+            throw new Error(`apply target page missing: ${slug}`);
+        const row = r.rows[0];
+        if (snapshotHash !== null && row.content_hash !== snapshotHash) {
+            throw new CasConflictError(slug);
+        }
+        return row;
+    }
+    /** Insert (or reactivate) the page row; journal a brand-new page for rollback. */
+    async ensurePage(tx, slug, action, journal) {
+        const frontmatter = { pipeline: "v2", authority: action.signal.authority };
+        const inserted = await tx.query(`INSERT INTO pages (slug, type, title, compiled_truth, frontmatter, content_hash)
+       VALUES ($1, $2, $3, '', $4::jsonb, '')
+       ON CONFLICT (slug) DO NOTHING
+       RETURNING id`, [slug, action.signal.type, action.signal.topic, JSON.stringify(frontmatter)]);
+        if (inserted.rows.length > 0) {
+            await journal.record("page_created", { slug });
+            return inserted.rows[0].id;
+        }
+        const existing = await tx.query("SELECT id FROM pages WHERE slug = $1", [slug]);
+        return existing.rows[0].id;
+    }
+    async markSuperseded(tx, oldId, oldSlug, newSlug, journal) {
+        const prev = await tx.query("SELECT frontmatter->>'superseded_by' AS superseded_by FROM pages WHERE id = $1", [oldId]);
+        await journal.record("frontmatter_superseded_by", {
+            slug: oldSlug,
+            prev: prev.rows[0]?.superseded_by ?? null,
+        });
+        await tx.query(`UPDATE pages SET frontmatter = frontmatter || jsonb_build_object('superseded_by', $2::text),
+         updated_at = NOW() WHERE id = $1`, [oldId, newSlug]);
+    }
+    async attachContribution(tx, action, pageId, meta, source, attemptId) {
+        // Revision-update semantics (spec §6.1): a new revision of the same family
+        // deactivates prior revisions before this contribution goes active.
+        await tx.query(`UPDATE memory_contributions SET active = false
+        WHERE signal_family_key = $1 AND revision_id <> $2 AND active`, [action.signal_family_key, meta.revisionId]);
+        await tx.query(`INSERT INTO memory_contributions
+         (contribution_id, signal_family_key, canonical_page_id, session_ref, revision_id,
+          authority, signal_type, normalized_topic, signal, source_ref, evidence, active, apply_attempt_id)
+       VALUES ($1, $2, $3, $4, $5, $6, $7, $8, $9::jsonb, $10::jsonb, $11::jsonb, true, $12)
+       ON CONFLICT (contribution_id) DO UPDATE SET
+         canonical_page_id = EXCLUDED.canonical_page_id,
+         active = true,
+         apply_attempt_id = EXCLUDED.apply_attempt_id`, [
+            action.contribution_id,
+            action.signal_family_key,
+            pageId,
+            `${meta.sourceInstance}:${meta.sessionId}`,
+            meta.revisionId,
+            action.signal.authority,
+            action.signal.type,
+            action.normalized_topic,
+            JSON.stringify(action.signal),
+            JSON.stringify(source),
+            JSON.stringify(action.signal.evidence ?? []),
+            attemptId,
+        ]);
+    }
+}
+/** Records inverse ops for NON-derived writes only (rollback safety net). */
+class Journal {
+    tx;
+    attemptId;
+    seq = 0;
+    constructor(tx, attemptId) {
+        this.tx = tx;
+        this.attemptId = attemptId;
+    }
+    async record(kind, inverse) {
+        this.seq += 1;
+        await this.tx.query(`INSERT INTO public.apply_mutation_journal (apply_attempt_id, seq, kind, inverse)
+       VALUES ($1, $2, $3, $4::jsonb)`, [this.attemptId, this.seq, kind, JSON.stringify(inverse)]);
+    }
+}
+//# sourceMappingURL=engine.js.map

package/dist/apply/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/apply/engine.ts"],"names":[],"mappings":"AAAA,sBAAsB;AACtB,EAAE;AACF,6EAA6E;AAC7E,gEAAgE;AAChE,0EAA0E;AAC1E,gFAAgF;AAChF,+DAA+D;AAC/D,EAAE;AACF,8EAA8E;AAC9E,2EAA2E;AAC3E,iFAAiF;AACjF,6EAA6E;AAC7E,iDAAiD;AACjD,EAAE;AACF,uEAAuE;AACvE,iFAAiF;AACjF,0DAA0D;AAC1D,EAAE;AACF,0EAA0E;AAC1E,8EAA8E;AAC9E,0EAA0E;AAC1E,yBAAyB;AAKzB,OAAO,EAAE,0BAA0B,EAAE,MAAM,oBAAoB,CAAC;AAGhE,MAAM,WAAW,GAA2B;IAC1C,QAAQ,EAAE,WAAW;IACrB,IAAI,EAAE,OAAO;IACb,SAAS,EAAE,YAAY;IACvB,UAAU,EAAE,aAAa;IACzB,SAAS,EAAE,WAAW;IACtB,SAAS,EAAE,aAAa;CACzB,CAAC;AAEF,SAAS,UAAU,CAAC,IAAY,EAAE,eAAuB;IACvD,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC;IAC5C,OAAO,GAAG,MAAM,IAAI,eAAe,EAAE,CAAC;AACxC,CAAC;AAED,MAAM,gBAAiB,SAAQ,KAAK;IACb;IAArB,YAAqB,IAAY;QAC/B,KAAK,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC;QADd,SAAI,GAAJ,IAAI,CAAQ;QAE/B,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAmBD,MAAM,OAAO,WAAW;IACO;IAA7B,YAA6B,EAAe;QAAf,OAAE,GAAF,EAAE,CAAa;IAAG,CAAC;IAEhD;;;OAGG;IACH,KAAK,CAAC,KAAK,CAAC,IAAqB;QAC/B,8EAA8E;QAC9E,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,KAAK,CAC/B,wGAAwG,EACxG,CAAC,IAAI,CAAC,EAAE,CAAC,CACV,CAAC;QACF,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO;gBACL,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;gBAC3B,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,OAAO,EAAE,EAAE;gBACX,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,IAAI;aACb,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC9D,MAAM,SAAS,GAAG,CAChB,MAAM,IAAI,CAAC,EAAE,CAAC,KAAK,CACjB,oGAAoG,EACpG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,CACvB,CACF,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAEb,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;YACpC,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBACjE,MAAM,IAAI,CAAC,EAAE,CAAC,KAAK,CACjB,4GAA4G,EAC5G,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAChE,CAAC;gBACF,OAAO;oBACL,SAAS;oBACT,MAAM,EAAE,SAAS;oBACjB,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,OAAO;oBACP,OAAO;oBACP,MAAM,EAAE,KAAK;iBACd,CAAC;YACJ,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,KAAK,GAAG,GAAG,YAAY,gBAAgB,CAAC;gBAC9C,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;oBACxB,OAAO,GAAG,IAAI,CAAC;oBACf,SAAS,CAAC,aAAa;gBACzB,CAAC;gBACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAChD,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACjE,MAAM,IAAI,CAAC,EAAE,CAAC,KAAK,CACjB,qGAAqG,EACrG,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CACjE,CAAC;gBACF,OAAO;oBACL,SAAS;oBACT,MAAM;oBACN,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,OAAO,EAAE,EAAE;oBACX,OAAO;oBACP,MAAM,EAAE,KAAK;oBACb,KAAK,EAAE,OAAO;iBACf,CAAC;YACJ,CAAC;QACH,CAAC;QACD,+CAA+C;QAC/C,OAAO;YACL,SAAS;YACT,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,OAAO,EAAE,EAAE;YACX,OAAO;YACP,MAAM,EAAE,KAAK;SACd,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,eAAe,CAAC,SAAiB;QAC7C,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,KAAK,CAM3B,6HAA6H,EAC7H,CAAC,SAAS,CAAC,CACZ,CAAC;QACF,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAC;QAC3E,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,OAAO;YACL,cAAc,EAAE,GAAG,CAAC,eAAe;YACnC,SAAS,EAAE,GAAG,CAAC,UAAU;YACzB,UAAU,EAAE,GAAG,CAAC,WAAW;YAC3B,SAAS,EAAE,GAAG,CAAC,UAAU;SAC1B,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,cAAc,CAC1B,IAAqB,EACrB,IAAiB,EACjB,SAAiB;QAEjB,OAAO,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE;YACtC,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,EAAE,CAAC,KAAK,CAAC,0CAA0C,CAAC,CAAC;YAC7D,CAAC;YACD,MAAM,OAAO,GAA4C,EAAE,CAAC;YAC5D,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;YAC3C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;gBACvC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;gBAC1E,IAAI,IAAI;oBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YAC1D,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,KAAK,CAAC,WAAW,CACvB,EAAW,EACX,MAAqB,EACrB,IAAiB,EACjB,SAAiB,EACjB,OAAgB;QAEhB,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC;QAE1C,MAAM,MAAM,GAAc;YACxB,QAAQ,EAAE,IAAI,CAAC,cAAc;YAC7B,OAAO,EAAE,IAAI,CAAC,SAAS;YACvB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,QAAQ,EAAE,EAAE;YACZ,KAAK,EAAE,EAAE;SACV,CAAC;QAEF,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,gBAAgB,CAAC,CAAC;YACrE,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YAChE,MAAM,IAAI,CAAC,kBAAkB,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;YAC3E,MAAM,0BAA0B,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAC7C,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAClC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAqB,CAAC;YAC7C,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,mBAAmB,CAAC,CAAC;YAC3E,+CAA+C;YAC/C,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,gBAAgB,CAAC,CAAC;YACxE,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YAClE,MAAM,IAAI,CAAC,kBAAkB,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;YAC1E,MAAM,0BAA0B,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC5C,+DAA+D;YAC/D,MAAM,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACjE,MAAM,EAAE,CAAC,KAAK,CACZ;;sEAE8D,EAC9D,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,CACvD,CAAC;YACF,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,4EAA4E;QAC5E,MAAM,UAAU,GAAG,MAAM,CAAC,WAAqB,CAAC;QAChD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,mBAAmB,CAAC,CAAC;QACjF,MAAM,IAAI,CAAC,kBAAkB,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;QAC9E,MAAM,0BAA0B,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QAChD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,uEAAuE;IAC/D,KAAK,CAAC,UAAU,CACtB,EAAW,EACX,IAAY,EACZ,YAA2B;QAE3B,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC,KAAK,CACtB,+DAA+D,EAC/D,CAAC,IAAI,CAAC,CACP,CAAC;QACF,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,IAAI,EAAE,CAAC,CAAC;QAC/E,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,YAAY,KAAK,IAAI,IAAI,GAAG,CAAC,YAAY,KAAK,YAAY,EAAE,CAAC;YAC/D,MAAM,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,kFAAkF;IAC1E,KAAK,CAAC,UAAU,CACtB,EAAW,EACX,IAAY,EACZ,MAAqB,EACrB,OAAgB;QAEhB,MAAM,WAAW,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;QAC3E,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,KAAK,CAC7B;;;oBAGc,EACd,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAC7E,CAAC;QACF,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/C,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7B,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,KAAK,CAAiB,sCAAsC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAChG,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7B,CAAC;IAEO,KAAK,CAAC,cAAc,CAC1B,EAAW,EACX,KAAa,EACb,OAAe,EACf,OAAe,EACf,OAAgB;QAEhB,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,KAAK,CACzB,gFAAgF,EAChF,CAAC,KAAK,CAAC,CACR,CAAC;QACF,MAAM,OAAO,CAAC,MAAM,CAAC,2BAA2B,EAAE;YAChD,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,aAAa,IAAI,IAAI;SAC1C,CAAC,CAAC;QACH,MAAM,EAAE,CAAC,KAAK,CACZ;0CACoC,EACpC,CAAC,KAAK,EAAE,OAAO,CAAC,CACjB,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,kBAAkB,CAC9B,EAAW,EACX,MAAqB,EACrB,MAAc,EACd,IAAiB,EACjB,MAAiB,EACjB,SAAiB;QAEjB,2EAA2E;QAC3E,oEAAoE;QACpE,MAAM,EAAE,CAAC,KAAK,CACZ;sEACgE,EAChE,CAAC,MAAM,CAAC,iBAAiB,EAAE,IAAI,CAAC,UAAU,CAAC,CAC5C,CAAC;QACF,MAAM,EAAE,CAAC,KAAK,CACZ;;;;;;;sDAOgD,EAChD;YACE,MAAM,CAAC,eAAe;YACtB,MAAM,CAAC,iBAAiB;YACxB,MAAM;YACN,GAAG,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,SAAS,EAAE;YAC1C,IAAI,CAAC,UAAU;YACf,MAAM,CAAC,MAAM,CAAC,SAAS;YACvB,MAAM,CAAC,MAAM,CAAC,IAAI;YAClB,MAAM,CAAC,gBAAgB;YACvB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;YAC7B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;YACtB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC;YAC5C,SAAS;SACV,CACF,CAAC;IACJ,CAAC;CACF;AAED,6EAA6E;AAC7E,MAAM,OAAO;IAGQ;IACA;IAHX,GAAG,GAAG,CAAC,CAAC;IAChB,YACmB,EAAW,EACX,SAAiB;QADjB,OAAE,GAAF,EAAE,CAAS;QACX,cAAS,GAAT,SAAS,CAAQ;IACjC,CAAC;IAEJ,KAAK,CAAC,MAAM,CAAC,IAAY,EAAE,OAAgC;QACzD,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;QACd,MAAM,IAAI,CAAC,EAAE,CAAC,KAAK,CACjB;sCACgC,EAChC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAC1D,CAAC;IACJ,CAAC;CACF"}

package/dist/apply/ids.d.ts

@@ -0,0 +1,9 @@
+/** Deterministic normalized topic (spec §6.1). */
+export declare function normalizeTopic(topic: string): string;
+/** contribution_id = hash(revision_id, type, normalized_topic). */
+export declare function contributionId(revisionId: number, type: string, normalizedTopic: string): string;
+/** signal_family_key = hash(source_instance, session_id, type, normalized_topic). */
+export declare function signalFamilyKey(sourceInstance: string, sessionId: string, type: string, normalizedTopic: string): string;
+/** Stable, human-readable session reference stored on each contribution. */
+export declare function sessionRef(sourceInstance: string, sessionId: string): string;
+//# sourceMappingURL=ids.d.ts.map

package/dist/apply/ids.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ids.d.ts","sourceRoot":"","sources":["../../src/apply/ids.ts"],"names":[],"mappings":"AA6BA,kDAAkD;AAClD,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEpD;AAED,mEAAmE;AACnE,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,MAAM,CAEhG;AAED,qFAAqF;AACrF,wBAAgB,eAAe,CAC7B,cAAc,EAAE,MAAM,EACtB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,MAAM,EACZ,eAAe,EAAE,MAAM,GACtB,MAAM,CAER;AAED,4EAA4E;AAC5E,wBAAgB,UAAU,CAAC,cAAc,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAE5E"}

package/dist/apply/ids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ids.js","sourceRoot":"","sources":["../../src/apply/ids.ts"],"names":[],"mappings":"AAAA,mBAAmB;AACnB,EAAE;AACF,uDAAuD;AACvD,EAAE;AACF,kEAAkE;AAClE,+EAA+E;AAC/E,8EAA8E;AAC9E,mFAAmF;AACnF,4DAA4D;AAC5D,EAAE;AACF,kFAAkF;AAClF,gFAAgF;AAChF,2EAA2E;AAC3E,0DAA0D;AAC1D,EAAE;AACF,+EAA+E;AAC/E,qDAAqD;AAErD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAExD,MAAM,GAAG,GAAG,GAAG,CAAC;AAEhB,SAAS,MAAM,CAAC,KAA0B;IACxC,MAAM,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC/B,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAChD,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACzB,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;AAC7B,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,cAAc,CAAC,UAAkB,EAAE,IAAY,EAAE,eAAuB;IACtF,OAAO,MAAM,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,eAAe,CAC7B,cAAsB,EACtB,SAAiB,EACjB,IAAY,EACZ,eAAuB;IAEvB,OAAO,MAAM,CAAC,CAAC,cAAc,EAAE,SAAS,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,UAAU,CAAC,cAAsB,EAAE,SAAiB;IAClE,OAAO,GAAG,cAAc,IAAI,SAAS,EAAE,CAAC;AAC1C,CAAC"}

package/dist/apply/page-content.d.ts

@@ -0,0 +1,14 @@
+export declare const AUTO_BEGIN = "<!-- memkin:auto:begin -->";
+export declare const AUTO_END = "<!-- memkin:auto:end -->";
+/** Replace (or append) the system-managed region, preserving user content. */
+export declare function replaceAutoSection(compiledTruth: string, autoBody: string): string;
+/** Strip the system-managed region entirely (used when a page is orphaned). */
+export declare function stripAutoSection(compiledTruth: string): string;
+/**
+ * Content hash used by the CAS UPDATE guard (spec §7). Deterministic over the
+ * derived body + frontmatter so a concurrent writer's change is detected.
+ */
+export declare function computeContentHash(compiledTruth: string, frontmatter: Record<string, unknown>): string;
+/** Order-independent JSON stringification so key order never perturbs the hash. */
+export declare function stableStringify(value: unknown): string;
+//# sourceMappingURL=page-content.d.ts.map

package/dist/apply/page-content.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"page-content.d.ts","sourceRoot":"","sources":["../../src/apply/page-content.ts"],"names":[],"mappings":"AAgBA,eAAO,MAAM,UAAU,+BAA+B,CAAC;AACvD,eAAO,MAAM,QAAQ,6BAA6B,CAAC;AAInD,8EAA8E;AAC9E,wBAAgB,kBAAkB,CAAC,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAOlF;AAED,+EAA+E;AAC/E,wBAAgB,gBAAgB,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAE9D;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,aAAa,EAAE,MAAM,EACrB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACnC,MAAM,CAMR;AAED,mFAAmF;AACnF,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAMtD"}

package/dist/apply/page-content.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"page-content.js","sourceRoot":"","sources":["../../src/apply/page-content.ts"],"names":[],"mappings":"AAAA,4BAA4B;AAC5B,EAAE;AACF,4EAA4E;AAC5E,0EAA0E;AAC1E,kCAAkC;AAClC,EAAE;AACF,6DAA6D;AAC7D,+BAA+B;AAC/B,uEAAuE;AACvE,6BAA6B;AAC7B,EAAE;AACF,gFAAgF;AAChF,sEAAsE;AAEtE,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,MAAM,CAAC,MAAM,UAAU,GAAG,4BAA4B,CAAC;AACvD,MAAM,CAAC,MAAM,QAAQ,GAAG,0BAA0B,CAAC;AAEnD,MAAM,OAAO,GAAG,4DAA4D,CAAC;AAE7E,8EAA8E;AAC9E,MAAM,UAAU,kBAAkB,CAAC,aAAqB,EAAE,QAAgB;IACxE,MAAM,KAAK,GAAG,GAAG,UAAU,KAAK,QAAQ,CAAC,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;IAC/D,IAAI,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAChC,OAAO,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC;IAClC,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;AAC9C,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,gBAAgB,CAAC,aAAqB;IACpD,OAAO,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACnD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAChC,aAAqB,EACrB,WAAoC;IAEpC,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CAAC,aAAa,CAAC;SACrB,MAAM,CAAC,GAAG,CAAC;SACX,MAAM,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;SACpC,MAAM,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC7E,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACrC,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAC7F,CAAC"}

package/dist/apply/rematerialize.d.ts

@@ -0,0 +1,13 @@
+import type { SqlConn } from "../store/sql-executor.js";
+export interface RematerializeResult {
+    pageId: number;
+    activeCount: number;
+    orphaned: boolean;
+}
+/**
+ * Regenerate all derivatives of a canonical page from its active contributions,
+ * inside the caller's transaction (spec §6.1). Returns orphaned=true when the
+ * page has no active contributions left.
+ */
+export declare function rematerializeCanonicalPage(tx: SqlConn, pageId: number): Promise<RematerializeResult>;
+//# sourceMappingURL=rematerialize.d.ts.map

package/dist/apply/rematerialize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rematerialize.d.ts","sourceRoot":"","sources":["../../src/apply/rematerialize.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AA0BxD,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAiID;;;;GAIG;AACH,wBAAsB,0BAA0B,CAC9C,EAAE,EAAE,OAAO,EACX,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,mBAAmB,CAAC,CAmD9B"}

package/dist/apply/rematerialize.js

@@ -0,0 +1,150 @@
+// src/apply/rematerialize.ts
+//
+// rematerializeCanonicalPage (spec §6.1) — the v4 core invariant: EVERY
+// derivative of a canonical page (system-managed body, primary frontmatter
+// source, derived links / tags / timeline, tracker state) is regenerated from
+// the page's ACTIVE contributions, inside the caller's transaction. Any
+// operation that changes the active set (a new revision, a rollback) finishes by
+// calling this. Once a contribution is withdrawn (active=false), the page must
+// no longer show its conclusion.
+//
+// A page that has lost ALL active contributions is marked `orphaned` (frontmatter
+// flag) for the consolidator to review — never blind-deleted (spec §3.1 / §6.1),
+// because it may already be referenced by other sessions, user edits, or pages.
+//
+// Table names are unqualified so the write lands in whichever schema the caller
+// put first on search_path (production or staging) — this is what makes the
+// engine target-agnostic.
+import { rechunkTx } from "../store/chunks.js";
+import { computeContentHash, replaceAutoSection, stripAutoSection } from "./page-content.js";
+const AUTO_PROVENANCE = { auto: "contribution" };
+function parseJson(v) {
+    if (v === null || v === undefined)
+        return null;
+    return typeof v === "string" ? JSON.parse(v) : v;
+}
+function toActive(row) {
+    const signal = (parseJson(row.signal) ?? {});
+    const entities = Array.isArray(signal.entities) ? signal.entities : [];
+    return {
+        contributionId: row.contribution_id,
+        type: row.signal_type,
+        authority: row.authority,
+        what: String(signal.what ?? ""),
+        why: signal.why ? String(signal.why) : null,
+        entities,
+        sourceRef: parseJson(row.source_ref),
+        createdAt: row.created_at,
+    };
+}
+/** Render the system-managed body from the active contributions (spec §6.1, §7). */
+function renderAutoBody(pageType, contribs) {
+    const line = (c) => {
+        const why = c.why ? ` — ${c.why}` : "";
+        const auth = c.authority === "user_confirmed" ? "" : ` _(${c.authority})_`;
+        return `- **[${c.type}]** ${c.what}${why}${auth}`;
+    };
+    if (pageType === "project") {
+        // Project tracker (spec §6.1): current state + recent changes, both derived.
+        const recent = [...contribs].sort((a, b) => b.createdAt.localeCompare(a.createdAt));
+        const state = contribs.map(line).join("\n");
+        const changes = recent.map((c) => `- ${c.createdAt.slice(0, 10)} · ${c.what}`).join("\n");
+        return `## 当前状态\n${state}\n\n## 最近变更\n${changes}`;
+    }
+    return contribs.map(line).join("\n");
+}
+/** Pick the primary source (spec §8): first user_confirmed, else earliest. */
+function primarySource(contribs) {
+    const confirmed = contribs.find((c) => c.authority === "user_confirmed" && c.sourceRef);
+    if (confirmed)
+        return confirmed.sourceRef;
+    const withSource = contribs.find((c) => c.sourceRef);
+    return withSource ? withSource.sourceRef : null;
+}
+async function loadActive(tx, pageId) {
+    const rows = await tx.query(`SELECT contribution_id, signal_type, normalized_topic, authority, signal, source_ref, created_at::text AS created_at
+       FROM memory_contributions
+      WHERE canonical_page_id = $1 AND active
+      ORDER BY created_at ASC, contribution_id ASC`, [pageId]);
+    return rows.rows.map(toActive);
+}
+/** Clear all pipeline-derived links/timeline for this page (rebuilt after). */
+async function clearDerived(tx, pageId) {
+    await tx.query(`DELETE FROM links WHERE from_page_id = $1 AND provenance->>'auto' = 'contribution'`, [pageId]);
+    await tx.query(`DELETE FROM timeline_entries WHERE page_id = $1 AND provenance->>'auto' = 'contribution'`, [pageId]);
+}
+async function rebuildTimeline(tx, pageId, contribs) {
+    for (const c of contribs) {
+        const date = c.sourceRef?.timestamp ?? c.createdAt;
+        const provenance = { ...(c.sourceRef ?? {}), ...AUTO_PROVENANCE };
+        await tx.query(`INSERT INTO timeline_entries (page_id, date, summary, detail, source, provenance)
+       VALUES ($1, $2, $3, $4, '', $5::jsonb)
+       ON CONFLICT (page_id, date, summary) DO UPDATE SET
+         detail = EXCLUDED.detail,
+         provenance = EXCLUDED.provenance`, [pageId, date, c.what.slice(0, 200), c.why ?? "", JSON.stringify(provenance)]);
+    }
+}
+async function rebuildLinks(tx, pageId, contribs) {
+    const names = new Set();
+    for (const c of contribs)
+        for (const e of c.entities)
+            if (e.trim())
+                names.add(e.trim());
+    if (names.size === 0)
+        return;
+    // Best-effort: link to entity pages that already exist, matched by slug or title.
+    const targets = await tx.query(`SELECT DISTINCT id FROM pages
+      WHERE (slug = ANY($2::text[]) OR lower(title) = ANY($3::text[])) AND id <> $1`, [pageId, [...names], [...names].map((n) => n.toLowerCase())]);
+    for (const t of targets.rows) {
+        await tx.query(`INSERT INTO links (from_page_id, to_page_id, link_type, context, provenance)
+       VALUES ($1, $2, 'mentions', '', $3::jsonb)
+       ON CONFLICT (from_page_id, to_page_id, link_type) DO UPDATE SET provenance = EXCLUDED.provenance`, [pageId, t.id, JSON.stringify(AUTO_PROVENANCE)]);
+    }
+}
+async function ensureTypeTags(tx, pageId, contribs) {
+    const types = new Set(contribs.map((c) => c.type));
+    for (const t of types) {
+        await tx.query(`INSERT INTO tags (page_id, tag) VALUES ($1, $2) ON CONFLICT (page_id, tag) DO NOTHING`, [pageId, t]);
+    }
+}
+/**
+ * Regenerate all derivatives of a canonical page from its active contributions,
+ * inside the caller's transaction (spec §6.1). Returns orphaned=true when the
+ * page has no active contributions left.
+ */
+export async function rematerializeCanonicalPage(tx, pageId) {
+    const pageRes = await tx.query("SELECT type, compiled_truth, frontmatter FROM pages WHERE id = $1 FOR UPDATE", [pageId]);
+    if (pageRes.rows.length === 0) {
+        return { pageId, activeCount: 0, orphaned: false };
+    }
+    const page = pageRes.rows[0];
+    const frontmatter = (parseJson(page.frontmatter) ?? {});
+    const contribs = await loadActive(tx, pageId);
+    await clearDerived(tx, pageId);
+    if (contribs.length === 0) {
+        // Orphaned: strip the auto section and flag for consolidator review.
+        const compiled = stripAutoSection(page.compiled_truth);
+        const fm = { ...frontmatter, orphaned: true };
+        const hash = computeContentHash(compiled, fm);
+        await tx.query(`UPDATE pages SET compiled_truth = $2, frontmatter = $3::jsonb, content_hash = $4, updated_at = NOW()
+        WHERE id = $1`, [pageId, compiled, JSON.stringify(fm), hash]);
+        await rechunkTx(tx, pageId, compiled);
+        return { pageId, activeCount: 0, orphaned: true };
+    }
+    const autoBody = renderAutoBody(page.type, contribs);
+    const compiled = replaceAutoSection(page.compiled_truth, autoBody);
+    const source = primarySource(contribs);
+    const fm = { ...frontmatter, pipeline: "v2" };
+    delete fm.orphaned;
+    if (source)
+        fm.source = source;
+    const hash = computeContentHash(compiled, fm);
+    await tx.query(`UPDATE pages SET compiled_truth = $2, frontmatter = $3::jsonb, content_hash = $4, updated_at = NOW()
+      WHERE id = $1`, [pageId, compiled, JSON.stringify(fm), hash]);
+    await rechunkTx(tx, pageId, compiled);
+    await rebuildTimeline(tx, pageId, contribs);
+    await rebuildLinks(tx, pageId, contribs);
+    await ensureTypeTags(tx, pageId, contribs);
+    return { pageId, activeCount: contribs.length, orphaned: false };
+}
+//# sourceMappingURL=rematerialize.js.map

package/dist/apply/rematerialize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rematerialize.js","sourceRoot":"","sources":["../../src/apply/rematerialize.ts"],"names":[],"mappings":"AAAA,6BAA6B;AAC7B,EAAE;AACF,wEAAwE;AACxE,2EAA2E;AAC3E,8EAA8E;AAC9E,wEAAwE;AACxE,iFAAiF;AACjF,+EAA+E;AAC/E,iCAAiC;AACjC,EAAE;AACF,kFAAkF;AAClF,iFAAiF;AACjF,gFAAgF;AAChF,EAAE;AACF,gFAAgF;AAChF,4EAA4E;AAC5E,0BAA0B;AAG1B,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAE7F,MAAM,eAAe,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;AA6BjD,SAAS,SAAS,CAAI,CAAoB;IACxC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC/C,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,QAAQ,CAAC,GAAoB;IACpC,MAAM,MAAM,GAAG,CAAC,SAAS,CAA0B,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAA4B,CAAC;IACjG,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAE,MAAM,CAAC,QAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;IACrF,OAAO;QACL,cAAc,EAAE,GAAG,CAAC,eAAe;QACnC,IAAI,EAAE,GAAG,CAAC,WAAW;QACrB,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QAC/B,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI;QAC3C,QAAQ;QACR,SAAS,EAAE,SAAS,CAAY,GAAG,CAAC,UAAU,CAAC;QAC/C,SAAS,EAAE,GAAG,CAAC,UAAU;KAC1B,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,SAAS,cAAc,CAAC,QAAgB,EAAE,QAA8B;IACtE,MAAM,IAAI,GAAG,CAAC,CAAqB,EAAE,EAAE;QACrC,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,KAAK,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,IAAI,CAAC;QAC3E,OAAO,QAAQ,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,GAAG,GAAG,GAAG,IAAI,EAAE,CAAC;IACpD,CAAC,CAAC;IAEF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,6EAA6E;QAC7E,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QACpF,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1F,OAAO,YAAY,KAAK,gBAAgB,OAAO,EAAE,CAAC;IACpD,CAAC;IAED,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACvC,CAAC;AAED,8EAA8E;AAC9E,SAAS,aAAa,CAAC,QAA8B;IACnD,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC;IACxF,IAAI,SAAS;QAAE,OAAO,SAAS,CAAC,SAAS,CAAC;IAC1C,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACrD,OAAO,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AAClD,CAAC;AAED,KAAK,UAAU,UAAU,CAAC,EAAW,EAAE,MAAc;IACnD,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,KAAK,CACzB;;;mDAG+C,EAC/C,CAAC,MAAM,CAAC,CACT,CAAC;IACF,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AACjC,CAAC;AAED,+EAA+E;AAC/E,KAAK,UAAU,YAAY,CAAC,EAAW,EAAE,MAAc;IACrD,MAAM,EAAE,CAAC,KAAK,CACZ,oFAAoF,EACpF,CAAC,MAAM,CAAC,CACT,CAAC;IACF,MAAM,EAAE,CAAC,KAAK,CACZ,0FAA0F,EAC1F,CAAC,MAAM,CAAC,CACT,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,eAAe,CAC5B,EAAW,EACX,MAAc,EACd,QAA8B;IAE9B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,IAAI,GAAI,CAAC,CAAC,SAAS,EAAE,SAAgC,IAAI,CAAC,CAAC,SAAS,CAAC;QAC3E,MAAM,UAAU,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,GAAG,eAAe,EAAE,CAAC;QAClE,MAAM,EAAE,CAAC,KAAK,CACZ;;;;0CAIoC,EACpC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAC9E,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,YAAY,CACzB,EAAW,EACX,MAAc,EACd,QAA8B;IAE9B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,QAAQ;QAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;YAAE,IAAI,CAAC,CAAC,IAAI,EAAE;gBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACxF,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAC7B,kFAAkF;IAClF,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,KAAK,CAC5B;oFACgF,EAChF,CAAC,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAC7D,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,EAAE,CAAC,KAAK,CACZ;;wGAEkG,EAClG,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAChD,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,cAAc,CAC3B,EAAW,EACX,MAAc,EACd,QAA8B;IAE9B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,EAAE,CAAC,KAAK,CACZ,uFAAuF,EACvF,CAAC,MAAM,EAAE,CAAC,CAAC,CACZ,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,EAAW,EACX,MAAc;IAEd,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,KAAK,CAI3B,8EAA8E,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7F,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACrD,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,CAAC,SAAS,CAA0B,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAG9E,CAAC;IAEF,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC9C,MAAM,YAAY,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAE/B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,qEAAqE;QACrE,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACvD,MAAM,EAAE,GAAG,EAAE,GAAG,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC9C,MAAM,EAAE,CAAC,KAAK,CACZ;sBACgB,EAChB,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAC7C,CAAC;QACF,MAAM,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACpD,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACvC,MAAM,EAAE,GAA4B,EAAE,GAAG,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACvE,OAAO,EAAE,CAAC,QAAQ,CAAC;IACnB,IAAI,MAAM;QAAE,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC;IAC/B,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAE9C,MAAM,EAAE,CAAC,KAAK,CACZ;oBACgB,EAChB,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAC7C,CAAC;IACF,MAAM,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACtC,MAAM,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC5C,MAAM,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACzC,MAAM,cAAc,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAE3C,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AACnE,CAAC"}

package/dist/apply/rollback.d.ts

@@ -0,0 +1,20 @@
+import type { SqlExecutor } from "../store/sql-executor.js";
+export declare class ReverseOrderError extends Error {
+    readonly attemptId: number;
+    constructor(attemptId: number);
+}
+export interface RollbackOutcome {
+    attemptId: number;
+    deactivated: number;
+    rematerialized: number;
+    orphaned: string[];
+}
+export declare class ApplyRollback {
+    private readonly ex;
+    constructor(ex: SqlExecutor);
+    rollback(attemptId: number): Promise<RollbackOutcome>;
+    private attemptTarget;
+    /** Undo one journaled NON-derived write. */
+    private applyInverse;
+}
+//# sourceMappingURL=rollback.d.ts.map

package/dist/apply/rollback.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rollback.d.ts","sourceRoot":"","sources":["../../src/apply/rollback.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAW,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAIrE,qBAAa,iBAAkB,SAAQ,KAAK;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM;gBAAjB,SAAS,EAAE,MAAM;CAMvC;AAED,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAWD,qBAAa,aAAa;IACZ,OAAO,CAAC,QAAQ,CAAC,EAAE;gBAAF,EAAE,EAAE,WAAW;IAEtC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC;YA0E7C,aAAa;IAS3B,4CAA4C;YAC9B,YAAY;CAgC3B"}

package/dist/apply/rollback.js

@@ -0,0 +1,117 @@
+// src/apply/rollback.ts
+//
+// Contributions-based rollback of one apply (spec §3.1, §6). The single source
+// of truth for undo is the contribution set — NOT the page bodies:
+//   ① deactivate (active=false) every contribution the apply produced
+//   ② replay the NON-derived mutation journal in reverse (safety net)
+//   ③ rematerialize each affected page → derived links/tags/timeline/body
+//      rebuild from whatever contributions remain active.
+//
+// Invariants:
+//   - Reverse order: a later apply that still has active contributions on an
+//     affected page must be rolled back first (spec §6 "后发先回滚").
+//   - New-page rollback: a page left with zero active contributions is flagged
+//     `orphaned` (by rematerialize) for the consolidator to archive — never
+//     blind-deleted, because other sessions / user edits / links may rely on it.
+//   - Only NON-derived writes are journaled; derived writes are rebuilt by
+//     rematerialize, so the journal never double-touches them.
+import { rematerializeCanonicalPage } from "./rematerialize.js";
+export class ReverseOrderError extends Error {
+    attemptId;
+    constructor(attemptId) {
+        super(`apply_attempt ${attemptId} cannot be rolled back: a later apply still has active contributions on its pages (roll back the later apply first)`);
+        this.attemptId = attemptId;
+        this.name = "ReverseOrderError";
+    }
+}
+function parseInverse(v) {
+    return typeof v === "string" ? JSON.parse(v) : v;
+}
+export class ApplyRollback {
+    ex;
+    constructor(ex) {
+        this.ex = ex;
+    }
+    async rollback(attemptId) {
+        const target = await this.attemptTarget(attemptId);
+        return this.ex.transaction(async (tx) => {
+            if (target === "staging") {
+                await tx.query("SET LOCAL search_path TO staging, public");
+            }
+            // Pages this apply contributed to (captured before deactivation).
+            const pageRows = await tx.query("SELECT DISTINCT canonical_page_id FROM memory_contributions WHERE apply_attempt_id = $1", [attemptId]);
+            const pageIds = pageRows.rows
+                .map((r) => r.canonical_page_id)
+                .filter((id) => id !== null);
+            // Reverse-order guard: no LATER apply may still be active on these pages.
+            if (pageIds.length > 0) {
+                const later = await tx.query(`SELECT 1 AS one FROM memory_contributions
+            WHERE active AND apply_attempt_id > $1 AND canonical_page_id = ANY($2::int[])
+            LIMIT 1`, [attemptId, pageIds]);
+                if (later.rows.length > 0)
+                    throw new ReverseOrderError(attemptId);
+            }
+            // Lock affected pages for the duration of the rollback.
+            if (pageIds.length > 0) {
+                await tx.query("SELECT id FROM pages WHERE id = ANY($1::int[]) FOR UPDATE", [pageIds]);
+            }
+            // ① Deactivate this apply's contributions.
+            const deactivated = await tx.query("UPDATE memory_contributions SET active = false WHERE apply_attempt_id = $1 AND active RETURNING contribution_id", [attemptId]);
+            // ② Replay the non-derived mutation journal in reverse.
+            const journal = await tx.query("SELECT kind, inverse FROM public.apply_mutation_journal WHERE apply_attempt_id = $1 ORDER BY seq DESC", [attemptId]);
+            for (const entry of journal.rows) {
+                await this.applyInverse(tx, entry.kind, parseInverse(entry.inverse));
+            }
+            // ③ Rematerialize every affected page; collect the orphaned ones.
+            const orphaned = [];
+            for (const pageId of pageIds) {
+                const result = await rematerializeCanonicalPage(tx, pageId);
+                if (result.orphaned) {
+                    const slug = await tx.query("SELECT slug FROM pages WHERE id = $1", [
+                        pageId,
+                    ]);
+                    if (slug.rows[0])
+                        orphaned.push(slug.rows[0].slug);
+                }
+            }
+            await tx.query("UPDATE public.apply_attempt SET detail = COALESCE(detail, '{}'::jsonb) || jsonb_build_object('rolled_back', true) WHERE id = $1", [attemptId]);
+            return {
+                attemptId,
+                deactivated: deactivated.rows.length,
+                rematerialized: pageIds.length,
+                orphaned,
+            };
+        });
+    }
+    async attemptTarget(attemptId) {
+        const r = await this.ex.query("SELECT target FROM public.apply_attempt WHERE id = $1", [attemptId]);
+        if (r.rows.length === 0)
+            throw new Error(`apply_attempt ${attemptId} not found`);
+        return r.rows[0].target;
+    }
+    /** Undo one journaled NON-derived write. */
+    async applyInverse(tx, kind, inverse) {
+        switch (kind) {
+            case "frontmatter_superseded_by": {
+                // Restore the previous supersede pointer (or remove it if there was none).
+                const slug = String(inverse.slug);
+                const prev = inverse.prev;
+                if (prev === null || prev === undefined) {
+                    await tx.query("UPDATE pages SET frontmatter = frontmatter - 'superseded_by', updated_at = NOW() WHERE slug = $1", [slug]);
+                }
+                else {
+                    await tx.query("UPDATE pages SET frontmatter = frontmatter || jsonb_build_object('superseded_by', $2::text), updated_at = NOW() WHERE slug = $1", [slug, prev]);
+                }
+                break;
+            }
+            case "page_created":
+                // The page becomes orphaned via rematerialize (step ③) rather than being
+                // deleted — the consolidator archives it. Nothing to undo destructively.
+                break;
+            default:
+                // Unknown kinds are ignored (forward-compatible safety net).
+                break;
+        }
+    }
+}
+//# sourceMappingURL=rollback.js.map