@aotter/mantle 0.2.0 → 0.2.1-alpha.1

package/docs/handbook/guides/revisions.md

@@ -0,0 +1,584 @@
+---
+description: Correct published content without taking it offline - a publishing parent that points at one of its operational revisions, an atomic switch Procedure, a preview route, rollback and pruning.
+---
+# Edit published content without downtime
+
+Admin's record form edits a `publishing` row only while it is a draft, so correcting a published post through it means
+unpublish, edit, republish, and the page is gone in between. This page splits the post into a stable parent and its
+revisions, so the public page keeps showing one revision while an editor prepares the next, previews it, and switches
+to it with one atomic batch. A [Schema lock](../reference/schema.md#locks) permanently seals a selected revision
+together with the switch, for every caller. Everything is manifests, one ref handler and one app route; nothing depends on
+generated storage internals.
+
+`packages/mantle/tests/revisions.test.ts` runs these manifests, the handler and the route on bun:sqlite and PostgreSQL
+(the yaml blocks below are its fixture, and the docs check generates them and typechecks the TypeScript), and
+`packages/mantle-admin/tests/native/revisions.test.ts` drives the same app through Admin's routes.
+
+## When to use it
+
+Use it when a published page must stay up while its replacement is written and reviewed: articles, product copy, legal
+text, anything with inbound links or search traffic. It also supports reviewing the content that a successful switch will select, and rollback. A preview URL may
+change while its revision is still editable; the custom Admin page freezes the reviewed content and binds its version.
+
+Without revisions, keep one `publishing` Schema. A personal blog whose admins correct typos can opt into
+`publishing: { liveEdits: true }`: Admin's record form then edits a published post in place, every save goes live on
+commit with no preview, and the post must still pass `publish`'s required-field checks
+([lifecycle](../concepts/lifecycle-and-locales.md)). Without `liveEdits`, unpublish, edit and republish; that is fine for
+content nobody minds being offline for a minute. Both are less to build than this page.
+
+## The shape
+
+- **`posts`** (`lifecycle: publishing`) is the stable identity: the `slug`, and anything else that makes up the URL,
+  plus `current_revision`, a reference to the revision the page shows. Its publishing status alone decides whether the
+  URL is live.
+- **`post_revisions`** (operational) holds the content (`title`, `summary`, `body`) and a `post` reference.
+  `nav.parentField: post` folds them under their post in Admin. A revision edits in place until it is selected for a
+  switch; then the `sealed_revision` lock permanently refuses every update and delete of it, whoever asks (admins
+  included): Admin's routes and the MCP clients that use them, Procedures over REST or MCP, and caller-bound Stores.
+  Historical revisions stay sealed so they remain safe rollback targets.
+- **Public Views** read a post joined to its current revision. Public Views only see published rows, so a draft or
+  unpublished post shows nothing.
+- **`switch-revision`** is an admin-only ref Procedure. It checks the revision belongs to the post and is complete, then
+  binds the revision version seen in preview and atomically seals the candidate and writes `current_revision`
+  through `ctx.store.batch`, with OCC on both rows. Readers see the old revision until that parent write commits and the new one after. A
+  stale candidate or parent version is `CONFLICT`; PostgreSQL serialization/deadlock aborts are also
+  `CONFLICT`, with `kind: "serialization"`. It is a ref handler
+  because a SQL Procedure cannot write a `publishing` Schema.
+- **`new-revision`** copies the current revision into a new row to edit. **`prune-revision`** deletes a revision that is
+  not sealed. **`revision-preview`** reads any revision for the preview route.
+
+## Schemas
+
+`current_revision`, `post` and `sealed` are `readOnly`: Admin's record form shows them but never writes them, so only
+`switch-revision` moves a post to another revision and seals its candidate, and a revision never moves to another post.
+snake_case field names keep the manifest name and the Store's storage name the same (`current_revision`, not
+`currentrevision`).
+
+`current_revision` is `required`, so `publish` refuses a post without one (a draft may still lack it). A new revision
+starts with `sealed: false`; `switch-revision` changes it to true with the revision version it validated. The lock is
+on the revision's own stored row, so the database checks it together with OCC when competing writers reach that row.
+Unlike an `EXISTS` check on another table's current pointer, it cannot admit an in-flight edit using an older parent
+snapshot. A same-row predicate selected by `id` needs no extra index.
+
+```yaml
+apiVersion: cms.mantle.aotter.net/v2
+kind: Schema
+metadata: { name: posts }
+spec:
+  title: Posts
+  lifecycle: publishing
+  uniqueIndexes: [[slug]]
+  schema:
+    type: object
+    additionalProperties: false
+    required: [slug, current_revision]
+    properties:
+      slug: { type: string, pattern: "^[a-z0-9-]+$", maxLength: 100 }
+      # Written only by switch-revision: Admin's record form leaves it alone.
+      current_revision: { type: string, x-mantle-ref: post_revisions, readOnly: true }
+---
+apiVersion: cms.mantle.aotter.net/v2
+kind: Schema
+metadata: { name: post_revisions }
+spec:
+  title: Post revisions
+  lifecycle: operational
+  indexes: [[post, createdAt, id]]
+  lock:
+    - name: sealed_revision
+      on: [update, delete]
+      when: sealed = true
+      message: "This revision is sealed. Start a New revision from its post, edit and preview it, then Switch revision."
+  uiSchema:
+    nav: { parentField: post }
+    list: { primaryField: title, columns: [note] }
+    fields: { body: { widget: textarea } }
+  schema:
+    type: object
+    additionalProperties: false
+    required: [post, sealed, title, summary, body]
+    properties:
+      # Set once by new-revision; a revision never moves to another post.
+      post: { type: string, x-mantle-ref: posts, readOnly: true }
+      sealed: { type: boolean, readOnly: true }
+      title: { type: string }
+      summary: { type: string }
+      body: { type: string }
+      note: { type: string }
+```
+
+The required reference does not fold `posts` under `post_revisions`: the revisions' explicit `nav.parentField` decides
+the direction. An editor's checklist is "switch a revision in, then publish": Admin refuses publishing first with
+`INPUT_VALIDATION_FAILED` naming `current_revision`, and the generated `posts.publish` Procedure with `CONFLICT`.
+
+## Views
+
+The join also requires `r.post = p.id`, so a post never shows another post's revision even if its reference was
+written by other code. A lookup by a unique field ends its `ORDER BY` with the Schema's `id`, which generation needs to
+prove it returns one row. `published_at` is the first publication; `switched_at` (the post's `updated_at`, which the
+switch moves) and `edited_at` give the page's last-modified date.
+
+```yaml
+apiVersion: cms.mantle.aotter.net/v2
+kind: View
+metadata: { name: post-page }
+spec:
+  description: A published post with its current revision, by slug.
+  surface: public
+  input:
+    type: object
+    additionalProperties: false
+    required: [slug]
+    properties:
+      slug: { type: string }
+  sql: |
+    SELECT p.slug, r.title, r.summary, r.body, p.published_at, p.updated_at AS switched_at, r.updated_at AS edited_at
+    FROM posts p JOIN post_revisions r ON r.id = p.current_revision AND r.post = p.id
+    WHERE p.slug = input.slug
+    ORDER BY p.id
+---
+apiVersion: cms.mantle.aotter.net/v2
+kind: View
+metadata: { name: published-posts }
+spec:
+  description: Every published post with the title of its current revision, for the list page and the sitemap.
+  surface: public
+  sql: |
+    SELECT p.id, p.slug, r.title, r.summary
+    FROM posts p JOIN post_revisions r ON r.id = p.current_revision AND r.post = p.id
+    ORDER BY p.id
+---
+apiVersion: cms.mantle.aotter.net/v2
+kind: View
+metadata: { name: revision-preview }
+spec:
+  description: Any revision as its post's page would show it, for the preview route.
+  surface: admin
+  requires: { auth: { all: [ctx.admin] } }
+  uiSchema: { nav: { hidden: true } }
+  input:
+    type: object
+    additionalProperties: false
+    required: [revision]
+    properties:
+      revision: { type: string }
+      # A new query identity for each explicit preview; it does not change the SQL result.
+      request: { type: string }
+  sql: |
+    SELECT r.id, r.version, r.sealed, p.id AS post, p.version AS post_version, p.current_revision, p.slug, r.title, r.summary, r.body, r.updated_at AS edited_at
+    FROM post_revisions r JOIN posts p ON p.id = r.post
+    WHERE r.id = input.revision
+    ORDER BY r.id
+```
+
+`revision-preview` reads drafts and unpublished posts too, because its caller is an admin. It is hidden from the
+sidebar, since it needs an input; the admin MCP endpoint and the preview route still reach it.
+
+## Start a new revision
+
+One SQL statement copies the current revision (or starts empty when the post has none). `target` puts a "New revision"
+button on the post's page in Admin with the post filled in; `collectionAction` also puts it in the revisions list
+header: in the post's Post revisions tab the post is filled in (the input is named like `nav.parentField`), and in the
+standalone list the editor picks it. It runs as one statement on every target, D1 included.
+
+```yaml
+apiVersion: cms.mantle.aotter.net/v2
+kind: Procedure
+metadata: { name: new-revision }
+spec:
+  title: New revision
+  description: Start a new revision of this post from its current one; a post without one starts empty.
+  requires: { auth: { all: [ctx.admin] } }
+  target: { schema: posts, id: post }
+  uiSchema: { collectionAction: post_revisions }
+  input:
+    type: object
+    additionalProperties: false
+    required: [post]
+    properties:
+      post: { type: string }
+  output: { type: object }
+  handler:
+    sql: |
+      INSERT INTO post_revisions (post, sealed, title, summary, body, note)
+        SELECT p.id, false, COALESCE(r.title, ''), COALESCE(r.summary, ''), COALESCE(r.body, ''), CASE WHEN r.id IS NULL THEN 'First revision' ELSE 'Copied from the current revision' END
+        FROM posts p LEFT JOIN post_revisions r ON r.id = p.current_revision AND r.post = p.id
+        WHERE p.id = input.post
+        RETURNING id, version
+```
+
+`INSERT … SELECT` is a set write: an unknown post inserts nothing and returns `results: [[]]` rather than an error.
+
+## Switch, and roll back
+
+The Procedure is bound to the post (`target` with `version: expectedVersion`), so Admin shows "Switch revision" on the
+post's page with the parent version the editor reviewed; `expectedRevisionVersion` comes from the preview and `revision` is a picker over that post's revisions (it folds
+under the post, so Admin lists only the bound post's children).
+
+```yaml
+apiVersion: cms.mantle.aotter.net/v2
+kind: Procedure
+metadata: { name: switch-revision }
+spec:
+  title: Switch revision
+  description: Make one of this post's complete revisions the one its page shows. Also rolls back to an earlier revision.
+  requires: { auth: { all: [ctx.admin] } }
+  target: { schema: posts, id: post, version: expectedVersion }
+  input:
+    type: object
+    additionalProperties: false
+    required: [post, revision, expectedVersion, expectedRevisionVersion]
+    properties:
+      post: { type: string }
+      revision: { type: string, x-mantle-ref: post_revisions }
+      expectedVersion: { type: integer }
+      expectedRevisionVersion: { type: integer }
+  output: { type: object }
+  handler: { ref: switch-revision }
+```
+
+The handler, in `src/handlers.ts`. "Complete" here means every text field is non-blank: an operational `required`
+field is NOT NULL but may be `''`, which `new-revision` writes for a post's first revision. Put your own checks (a
+minimum length, a reviewed flag) in the same place. A revision of another post, or a missing one, is
+`INPUT_VALIDATION_FAILED` (400); a stale parent or preview version is `CONFLICT` (409).
+
+```ts
+import { ContractError } from "@aotter/mantle/contracts";
+import type { Handlers } from "../generated/generated.js";
+
+export const handlers: Handlers = {
+  "switch-revision": async ({ store }, { post, revision, expectedVersion, expectedRevisionVersion }) => {
+    const next = await store.collection("post_revisions").findById(revision);
+    if (!next || next.post !== post) throw new ContractError("INPUT_VALIDATION_FAILED", "That revision is not one of this post's revisions.", "procedures/switch-revision");
+    if (next.version !== expectedRevisionVersion) throw new ContractError("CONFLICT", "The revision changed since preview. Preview it again before switching.", "procedures/switch-revision", { fields: { kind: "row" } });
+    if (![next.title, next.summary, next.body].every(text => text.trim())) throw new ContractError("INPUT_VALIDATION_FAILED", "The revision is incomplete: it needs a title, a summary and a body.", "procedures/switch-revision");
+    const parent = store.collection("posts").update(post, { current_revision: revision }, { lock: expectedVersion });
+    // A sealed revision is immutable; otherwise the revision CAS and parent CAS commit or roll back together.
+    const row = next.sealed ? await parent : (await store.batch([
+      store.collection("post_revisions").update(revision, { sealed: true }, { lock: expectedRevisionVersion }),
+      parent,
+    ]))[1]!;
+    return { id: row.id, version: row.version, current_revision: row.current_revision };
+  },
+};
+```
+
+The preview's revision `id` and `version` are the switch's `revision` and `expectedRevisionVersion`. The handler
+refuses a changed revision rather than silently publishing newer text. A same-row CAS seals the exact previewed
+content and the parent's CAS selects it in one `store.batch`: D1 uses its native atomic batch with row assertions;
+SQLite and PostgreSQL use their native transactions. Inside `store.transaction`, `ctx.store.batch` joins that same
+transaction; it does not open a nested transaction. A failed batch prevents the outer transaction from committing,
+even if application code catches the error. A parent conflict rolls back the seal too, leaving the draft
+editable. A revision edit or delete that wins first makes the seal fail and leaves the public page unchanged. Once
+the seal wins, caller updates and deletes fail, even if they started earlier. PostgreSQL serialization/deadlock aborts become `CONFLICT` with
+`kind: "serialization"`; neither write commits. Re-read and preview again rather than automatically retrying.
+A lost connection during COMMIT can instead be `OUTCOME_UNKNOWN`: reconcile the stored state before another attempt.
+
+The generic operation form remains available to tools, but the [custom Admin page below](#custom-admin-preview-and-switch)
+automatically submits both versions from one reviewed snapshot. Do not re-read and substitute
+a newer revision version on submit, or automatically retry a conflict: require another preview. A preview URL itself
+is mutable until the switch; the guarantee is that a successful switch selects the observed version. The recipe adds
+no separate Prepare step. A stale parent version needs an explicit retry with its fresh version and the same reviewed
+revision version. On a failure or unknown outcome, reconcile the stored parent pointer and both versions before retrying.
+
+A transaction around a read-and-switch handler alone is insufficient on PostgreSQL when other edits remain
+autocommit. The revision CAS participates in the atomic write, so the same-row seal avoids that mixed-isolation race.
+Sealed history stays immutable for safe rollback and cannot be pruned through caller paths; retain it, or use an
+explicitly reviewed system maintenance policy outside this editor workflow.
+
+**Upgrading an existing app:** generated `schema.sql` initializes an empty database; it is not a migration. Rehearse a
+native migration that adds and backfills `sealed` (true for every currently selected revision, and for historical
+revisions you retain as immutable rollback targets; false for editable drafts), then enforces NOT NULL. Coordinate
+the rollout so old switch handlers cannot select an unsealed revision while the new invariant is being installed.
+Pause editor writes or use an equivalent deployment boundary for the migration and handler change. Existing generic
+clients must adopt the new lock projection; the server still enforces the seal for stale clients. See
+[database ownership](../concepts/runtime-and-adapters.md#schema-installation-and-migrations).
+
+Rolling back is the same call with an earlier revision. Wire the handlers as every app does
+(`adminBindings({ handlers })`, `rest(...)`, `mcp(...)` options; see `mantle help native-admin`).
+
+## Prune
+
+Unsealed drafts can be deleted; sealed content history stays immutable. The Procedure is a plain `DELETE`: the
+`sealed_revision` lock adds its condition to the statement, so deleting any sealed revision deletes nothing and is
+`CONFLICT` with `kind: "lock"` and the lock's message. Admin shows "Delete revision" on each revision. Its own Delete
+button on a revision's row (in the Post revisions list and tab) is disabled for sealed revisions, with the lock's
+message, and the server refuses it the same way if it is sent anyway. The Procedure also gives AI clients on
+`/mcp/admin` a delete tool (below).
+
+```yaml
+apiVersion: cms.mantle.aotter.net/v2
+kind: Procedure
+metadata: { name: prune-revision }
+spec:
+  title: Delete revision
+  description: Delete an editable revision that has never been sealed.
+  requires: { auth: { all: [ctx.admin] } }
+  target: { schema: post_revisions, id: id }
+  input:
+    type: object
+    additionalProperties: false
+    required: [id]
+    properties:
+      id: { type: string }
+  output: { type: object }
+  handler:
+    sql: |
+      DELETE FROM post_revisions WHERE id = input.id RETURNING id
+```
+
+Only a trusted write bypasses the lock: the system caller, a system Store or the TTL sweep, for a migration or a
+maintenance script.
+That is the escape hatch, visible in code review, not the editor's path.
+
+## Admin operations
+
+Admin lists an operation only when an admin MCP Trigger exposes it; the same Triggers give an AI client on `/mcp/admin`
+the same three tools.
+
+```yaml
+apiVersion: cms.mantle.aotter.net/v2
+kind: Trigger
+metadata: { name: new-revision-admin }
+spec: { source: { kind: mcp, surface: admin }, target: { procedure: new-revision } }
+---
+apiVersion: cms.mantle.aotter.net/v2
+kind: Trigger
+metadata: { name: switch-revision-admin }
+spec: { source: { kind: mcp, surface: admin }, target: { procedure: switch-revision } }
+---
+apiVersion: cms.mantle.aotter.net/v2
+kind: Trigger
+metadata: { name: prune-revision-admin }
+spec: { source: { kind: mcp, surface: admin }, target: { procedure: prune-revision } }
+```
+
+An editor's flow:
+
+1. Create the post in Posts (a draft with its slug), then **New revision** on its page (or in its Post revisions tab,
+   with the post filled in) and write the revision in the record form. Use **Revisions** in the sidebar to select and preview it, then **Switch to reviewed revision**, then **Publish** the post. Publishing before the switch is refused, naming
+   `current_revision`.
+2. To correct it later: open the live revision and Admin shows "This record is locked." with the lock's message, and
+   Save is disabled; so is the Delete button on its row in the Post revisions list. So: **New revision** (a copy of what is live), edit the copy, then use **Revisions** to preview and switch it; the picker lists only this post's revisions. The page shows the old text until the switch commits;
+   then the copy is the frozen one and the old revision stays sealed for rollback.
+3. To roll back: select and preview the earlier one in **Revisions**, then **Switch to reviewed revision**. **Delete revision** on unsealed drafts you no longer want; sealed history is retained.
+
+A client that skips Admin's form gets the same answer: a patch or delete of a sealed revision through Admin's routes
+(the Admin MCP App and WebMCP use them), a SQL Procedure's `UPDATE` or `DELETE` of it over REST or MCP, or a ref
+handler's `ctx.store` update is `CONFLICT` with `kind: "lock"` and the lock's message.
+
+## Custom Admin preview and switch
+
+Use an application-owned page instead of asking editors to copy version numbers into the generic operation form.
+Generate with `--admin`, then add this `src/admin.tsx`. **Revisions** appears in the sidebar at `/admin/p/revisions`;
+the post's edit form also gets a link with that post selected. The post workspace remains the place to create a new
+revision, edit its draft and publish the post for the first time. Returning to this page does not discard a saved draft.
+
+Each **Preview selected revision** uses a new `request` UUID in the View input. This is an application query identity,
+not a stored field: `useView` caches by input and has no imperative refetch API, so remounting alone could reuse a cached
+preview while a fresh read is in flight. The View reads the revision content, its version, and the parent's version/current
+selection in one statement. The component freezes that result; related-operation refreshes cannot silently replace what was reviewed.
+Versions are converted only after a safe-integer check, including PostgreSQL's int8 text. The explicit switch submits
+those two versions unchanged. A conflict disables the old approval and requires another explicit preview; an uncertain
+outcome also requires reading and reviewing the current selection before another attempt. Nothing retries a write.
+
+```tsx
+// src/admin.tsx
+import * as React from "react";
+import { AdminLink, defineAdmin } from "@aotter/mantle-admin/app";
+import { admin, useEntries, useEntry, useOperation, useView } from "../generated/admin-client.js";
+
+type Review = { revision: string; post: string; current: string | null; slug: string | null;
+  title: string; summary: string; body: string; expectedVersion: number; expectedRevisionVersion: number };
+const version = (value: unknown): number => {
+  const n = Number(value);
+  if (!Number.isSafeInteger(n) || n < 1) throw Error("This version cannot be represented safely.");
+  return n;
+};
+
+function Preview({ input }: { input: { revision: string; request: string } }) {
+  const { rows, status } = useView("revision-preview", input);
+  const change = useOperation("switch-revision", { refresh: ["revision-preview"] });
+  const [review, setReview] = React.useState<Review>();
+  const [phase, setPhase] = React.useState<"loading" | "ready" | "switching" | "failed" | "done">("loading");
+  const [message, setMessage] = React.useState("");
+  React.useEffect(() => {
+    if (phase !== "loading" || status !== "ready") return;
+    const row = rows[0];
+    try {
+      if (!row) throw Error("This revision is unavailable.");
+      setReview({ revision: row.id, post: row.post, current: row.current_revision, slug: row.slug,
+        title: row.title, summary: row.summary, body: row.body,
+        expectedVersion: version(row.post_version), expectedRevisionVersion: version(row.version) });
+      setPhase("ready");
+    } catch (error) { setMessage(String(error)); setPhase("failed"); }
+  }, [rows, status, phase]);
+  const busy = React.useRef(false);
+  const switchRevision = async () => {
+    if (!review || !change.run || busy.current || phase !== "ready") return;
+    busy.current = true; setPhase("switching");
+    try {
+      await change.run({ post: review.post, revision: review.revision,
+        expectedVersion: review.expectedVersion, expectedRevisionVersion: review.expectedRevisionVersion });
+      setMessage("Revision selected. The post's publishing status is unchanged."); setPhase("done");
+    } catch (error) {
+      // This browser page inspects the failed HTTP response body; do not import Admin's internal client.
+      const response = error as { body?: { error?: { code?: string }; diagnostic?: { code?: string } } };
+      const code = response.body?.error?.code ?? response.body?.diagnostic?.code;
+      setMessage(code === "CONFLICT" ? "The post or revision changed. Preview again before switching."
+        : code === "INPUT_VALIDATION_FAILED" ? "The revision is incomplete. Edit it, then preview again."
+        : "Switch outcome is unconfirmed. Preview current state and review its selected revision before another attempt.");
+      setPhase("failed");
+    } finally { busy.current = false; }
+  };
+  return <section aria-label="Frozen revision preview">
+    {phase === "loading" && status === "loading" && <p>Loading preview…</p>}
+    {phase === "loading" && (status === "error" || status === "unavailable") && <p role="alert">Preview unavailable. Try another explicit preview.</p>}
+    {review && <>
+      <p>Reviewed revision {review.revision}, version {review.expectedRevisionVersion}; post version {review.expectedVersion}.</p>
+      <p>Selected when previewed: {review.current ?? "none"}.</p>
+      <article><h2>{review.title}</h2><p>{review.summary}</p>
+        {review.body.split(/\n{2,}/).map((text, i) => <p key={i}>{text}</p>)}</article>
+      <button type="button" disabled={phase !== "ready" || !change.run || review.current === review.revision}
+        onClick={() => void switchRevision()}>Switch to reviewed revision</button>
+      {review.slug && <a href={`/posts/${encodeURIComponent(review.slug)}`} target="_blank" rel="noreferrer">Open public page</a>}
+    </>}
+    {message && <p role={phase === "failed" ? "alert" : "status"}>{message}</p>}
+  </section>;
+}
+
+function PostRevisions({ post, current }: { post: string; current: string | null }) {
+  const list = useEntries("post_revisions", { filter: { field: "post", value: post } });
+  const [selected, setSelected] = React.useState("");
+  const [input, setInput] = React.useState<{ revision: string; request: string }>();
+  const draft = list.items.find(item => item.id === selected);
+  return <>
+    <AdminLink href={`/admin/c/posts/${encodeURIComponent(post)}?child=post_revisions`}>Open post workspace</AdminLink>
+    <label>Revision <select aria-label="Revision" value={selected} onChange={event => { setSelected(event.target.value); setInput(undefined); }}>
+      <option value="">Choose a revision</option>
+      {list.items.map(item => <option key={item.id} value={item.id}>{item.data.title || "Untitled"} · {new Date(item.updated_at).toLocaleString()} · {item.id.slice(0, 8)}
+        {item.id === current ? " — current" : item.data.sealed ? " — sealed history" : " — editable draft"}</option>)}
+    </select></label>
+    {list.status !== "ready" && <p>Revision list: {list.status}</p>}
+    {list.hasMore && <button type="button" disabled={list.loadingMore} onClick={list.loadMore}>More revisions</button>}
+    {draft && !draft.data.sealed && <AdminLink href={`/admin/c/post_revisions/${encodeURIComponent(selected)}/edit`}>Edit draft</AdminLink>}
+    <button type="button" disabled={!selected} onClick={() => setInput({ revision: selected, request: crypto.randomUUID() })}>Preview selected revision</button>
+    {input && <Preview key={input.request} input={input} />}
+  </>;
+}
+
+function SelectedPost({ id }: { id: string }) {
+  const { entry, status } = useEntry("posts", id);
+  return entry ? <><h2>Post: {entry.data.slug || entry.id}</h2>
+    <PostRevisions key={id} post={id} current={entry.data.current_revision ?? null} /></>
+    : <p>Post: {status}</p>;
+}
+
+function RevisionsPage() {
+  const posts = useEntries("posts");
+  const [id, setId] = React.useState(() => new URLSearchParams(window.location.search).get("post") ?? "");
+  return <><h1>Revisions</h1><label>Post <select aria-label="Post" value={id} onChange={event => setId(event.target.value)}>
+    <option value="">Choose a post</option>
+    {id && !posts.items.some(item => item.id === id) && <option value={id}>Selected post {id}</option>}
+    {posts.items.map(item => <option key={item.id} value={item.id}>{item.data.slug || item.id}</option>)}
+  </select></label>
+    {posts.status !== "ready" && <p>Post list: {posts.status}</p>}
+    {posts.hasMore && <button type="button" disabled={posts.loadingMore} onClick={posts.loadMore}>More posts</button>}
+    {id && <SelectedPost key={id} id={id} />}
+  </>;
+}
+
+export default defineAdmin(admin, {
+  pages: [{ path: "revisions", title: "Revisions", element: <RevisionsPage /> }],
+  components: { "record.actions:posts": ({ entry }) =>
+    <AdminLink href={`/admin/p/revisions?post=${encodeURIComponent(entry.id)}`}>Preview and switch revisions</AdminLink> },
+});
+```
+
+This page uses browser-only entry hooks and location state. Keep it out of the MCP App graph with a sibling
+`src/admin.mcp.tsx`; AI clients still have the same three authorized operations and their required version inputs.
+
+```tsx
+// src/admin.mcp.tsx
+import { defineAdmin } from "@aotter/mantle-admin/app";
+import { admin } from "../generated/admin-client.js";
+export default defineAdmin(admin);
+```
+
+Run `mantle bundle` as usual: it picks up these two entries. The example adds no Core workflow or nested transaction.
+The checked UI uses the same content fields as the public template below; put shared presentation in an application
+component if the real site has richer styling. For rollback, select a sealed historical revision, preview it and use the
+same switch button. The current revision cannot be switched to again from this page.
+
+`packages/mantle-admin/test/revisions-example.test.ts` generates and typechecks these exact entries;
+`revisions-browser.test.ts` drives their preview/switch/rollback and conflict recovery against actual native Admin routes.
+
+## Preview route and the public page
+
+Both pages go through one template, so the preview is what will go live. The public route reads as an anonymous
+visitor even when the request carries an admin session; the preview route needs an admin and answers 404 to everyone
+else, so a guessed revision id reveals nothing.
+
+```ts
+import { isAdmin, type Caller } from "@aotter/mantle/contracts";
+import type { Handle } from "@aotter/mantle/driver/d1";
+import postPage from "../generated/views/post-page.js";
+import revisionPreview from "../generated/views/revision-preview.js";
+
+const visitor: Caller = { kind: "anonymous" };
+const escape = (value: unknown) => String(value ?? "").replace(/[&<>"']/g, c => ({ "&": "&amp;", "<": "&lt;", ">": "&gt;", '"': "&quot;", "'": "&#39;" })[c]!);
+
+/** The one template. The canonical URL is always the post's; a preview adds noindex and a banner. */
+export function postHtml(origin: string, post: { slug: string | null; title: string; summary: string; body: string; id?: string; version?: unknown }, preview: boolean): string {
+  const canonical = `${origin}/posts/${post.slug}`;
+  const head = `<title>${escape(post.title)}</title><meta name="description" content="${escape(post.summary)}">`
+    + `<link rel="canonical" href="${escape(canonical)}">`
+    + (preview ? `<meta name="robots" content="noindex, nofollow">`
+      : `<meta property="og:type" content="article"><meta property="og:url" content="${escape(canonical)}">`
+        + `<meta property="og:title" content="${escape(post.title)}"><meta property="og:description" content="${escape(post.summary)}">`);
+  const body = (preview ? `<p role="status">Preview: revision ${escape(post.id)}, version ${escape(post.version)}. This revision may differ from the live page.</p>` : "")
+    + `<article><h1>${escape(post.title)}</h1>${post.body.split(/\n{2,}/).map(text => `<p>${escape(text)}</p>`).join("")}</article>`;
+  return `<!doctype html><html lang="en"><head><meta charset="utf-8">${head}</head><body>${body}</body></html>`;
+}
+
+const html = (status: number, body: string, headers: Record<string, string>) =>
+  new Response(body, { status, headers: { "content-type": "text/html; charset=utf-8", ...headers } });
+
+/** GET /posts/{slug} for visitors and GET /preview/{revisionId} for admins; any other path falls through. */
+export async function postRoutes(request: Request, db: Handle, origin: string, caller: () => Promise<Caller>): Promise<Response | undefined> {
+  const path = new URL(request.url).pathname;
+  const page = /^\/posts\/([a-z0-9-]+)$/.exec(path), preview = /^\/preview\/([^/]+)$/.exec(path);
+  if (!page && !preview) return undefined;
+  if (request.method !== "GET") return new Response(null, { status: 405, headers: { allow: "GET" } });
+  if (page) {
+    const [post] = await postPage(db, visitor, { slug: page[1]! });
+    return post ? html(200, postHtml(origin, post, false), { "cache-control": "no-cache" }) : html(404, "Not found", { "cache-control": "no-store" });
+  }
+  const who = await caller(), hidden = { "cache-control": "private, no-store", "x-robots-tag": "noindex" };
+  if (!isAdmin(who)) return html(404, "Not found", hidden);
+  const [revision] = await revisionPreview(db, who, { revision: preview![1]! });
+  return revision ? html(200, postHtml(origin, revision, true), hidden) : html(404, "Not found", hidden);
+}
+```
+
+Call it from `src/routes.ts`: `return postRoutes(request, env.DB, env.PUBLIC_ORIGIN, context.caller)`. The app shell's
+`/sign-in` page can replace the 404 for signed-out editors if you prefer a redirect.
+
+SEO notes:
+
+- The canonical URL, Open Graph URL, sitemap and `llms.txt` entries name the post (`/posts/{slug}`), never a revision.
+  Switching revisions changes the content under the same URL, so links and rankings carry over.
+- Preview responses carry `<meta name="robots" content="noindex, nofollow">`, `X-Robots-Tag: noindex` and
+  `Cache-Control: private, no-store`, and keep the post's canonical URL. Add `Disallow: /preview/` to `robots.txt`.
+- JSON-LD `datePublished` is `published_at`; `dateModified` and the `Last-Modified` header are the later of
+  `switched_at` and `edited_at`. A CDN in front of the page needs purging on switch, as on publish.
+- Everything else a public page carries is in [public pages](public-pages.md); this example shows only what the
+  revisions change.
+
+## History and audit
+
+The revisions are the content history: who may read them, switch and prune is the Procedures' `requires`. A record of
+who changed what and when, across the whole app, is an observability concern rather than part of this content model;
+it is planned outside the SDK, with Mantle Cloud's observability or the app's own logging when self-hosted, and the
+SDK's part is being discussed as a way to observe writes (aotter/mantle#1796). Until then, a revision's `author_id`
+and `created_at` say who started it and when, and the switch handler is the place to log a switch.