@1agh/maude 0.28.1 → 0.30.0

package/apps/studio/test/sync-agent.test.ts

@@ -0,0 +1,575 @@
+// Sync-agent integration tests — Phase 9 Task 4.
+//
+// Uses an in-memory pair of Y.Docs cross-linked via Y.applyUpdate as a stand-in
+// for HocuspocusProvider's transport. The agent under test owns docB; docA
+// represents "another peer talking to the hub". Updates flow:
+//
+//   docA → encode → applyUpdate(docB) → agent observes → write to disk
+//   disk → onRead → applyFromFs → applyHtmlToDoc(docB) → encode → docA
+//
+// This lets us validate the whole bidi loop, echo prevention, and the
+// 100-event stress scenario from the plan without booting a real hub.
+
+import { afterEach, beforeEach, describe, expect, test } from 'bun:test';
+import { mkdirSync, mkdtempSync, readFileSync, rmSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import * as Y from 'yjs';
+
+import { type CanvasSyncAgent, createCanvasSyncAgent } from '../sync/agent.ts';
+import { applyHtmlToDoc, htmlFromDoc } from '../sync/codec.ts';
+import { createEchoGuard, hashBytes } from '../sync/echo-guard.ts';
+import { createFsReader } from '../sync/fs-mirror.ts';
+
+let dir: string;
+let agent: CanvasSyncAgent;
+let docA: Y.Doc;
+let docB: Y.Doc;
+
+function paths() {
+  return {
+    html: join(dir, 'screen.html'),
+    comments: join(dir, '_comments', 'screen.json'),
+    annotations: join(dir, 'screen.annotations.svg'),
+  };
+}
+
+beforeEach(() => {
+  dir = mkdtempSync(join(tmpdir(), 'sync-agent-'));
+  docA = new Y.Doc();
+  docB = new Y.Doc();
+  // Mirror docA→docB and docB→docA, ignoring transient origin objects from
+  // the transport itself (we use a symbol).
+  const TRANSPORT = Symbol('transport');
+  docA.on('update', (update: Uint8Array, origin: unknown) => {
+    if (origin === TRANSPORT) return;
+    Y.applyUpdate(docB, update, TRANSPORT);
+  });
+  docB.on('update', (update: Uint8Array, origin: unknown) => {
+    if (origin === TRANSPORT) return;
+    Y.applyUpdate(docA, update, TRANSPORT);
+  });
+});
+
+afterEach(() => {
+  agent?.stop();
+  rmSync(dir, { recursive: true, force: true });
+});
+
+function makeAgent(extra: { adopt?: boolean; flushMs?: number } = {}): CanvasSyncAgent {
+  const a = createCanvasSyncAgent({
+    slug: 'screen',
+    doc: docB,
+    paths: paths(),
+    echoGuard: createEchoGuard(),
+    flushMs: 0, // synchronous flush; the agent uses queueMicrotask
+    ...extra,
+  });
+  a.start();
+  return a;
+}
+
+describe('CanvasSyncAgent — hub → disk (Flow B)', () => {
+  test('writes HTML to disk when other peer mutates the doc', async () => {
+    agent = makeAgent();
+    // Other peer types into docA — propagates to docB via the in-memory
+    // transport, which our agent observes.
+    applyHtmlToDoc(docA, '<button>v1</button>');
+    await agent.flush();
+
+    expect(readFileSync(paths().html, 'utf8')).toBe('<button>v1</button>');
+  });
+
+  test('debounces multiple rapid peer edits into one disk write', async () => {
+    agent = makeAgent({ flushMs: 30 });
+    for (let i = 0; i < 10; i++) {
+      applyHtmlToDoc(docA, `<button>v${i}</button>`);
+    }
+    await new Promise((res) => setTimeout(res, 80));
+
+    expect(readFileSync(paths().html, 'utf8')).toBe('<button>v9</button>');
+  });
+
+  test('writes comments JSON when Y.Array changes', async () => {
+    agent = makeAgent();
+    docA.transact(() => {
+      docA.getArray('comments').push([{ id: 'c1', body: 'hello' }]);
+    });
+    await agent.flush();
+
+    const written = JSON.parse(readFileSync(paths().comments, 'utf8'));
+    expect(written).toEqual([{ id: 'c1', body: 'hello' }]);
+  });
+
+  test('writes annotations SVG when Y.Map.svg changes', async () => {
+    agent = makeAgent();
+    docA.transact(() => {
+      docA.getMap('annotations').set('svg', '<svg>annot</svg>');
+    });
+    await agent.flush();
+
+    expect(readFileSync(paths().annotations, 'utf8')).toBe('<svg>annot</svg>');
+  });
+});
+
+describe('CanvasSyncAgent — disk → hub (Flow A)', () => {
+  test('applies disk HTML to doc when applyFromFs is called', () => {
+    agent = makeAgent();
+    const bytes = new TextEncoder().encode('<div>local-edit</div>');
+    const changed = agent.applyFromFs({
+      path: paths().html,
+      bytes,
+      hash: hashBytes(bytes),
+    });
+    expect(changed).toBe(true);
+    expect(htmlFromDoc(docA)).toBe('<div>local-edit</div>');
+  });
+
+  test('parses + applies comments JSON from disk', () => {
+    agent = makeAgent();
+    const snap = [{ id: 'c2' }];
+    const str = `${JSON.stringify(snap, null, 2)}\n`;
+    const bytes = new TextEncoder().encode(str);
+    agent.applyFromFs({ path: paths().comments, bytes, hash: hashBytes(bytes) });
+    expect(docA.getArray('comments').toArray()).toEqual(snap);
+  });
+
+  test('applies annotations SVG from disk', () => {
+    agent = makeAgent();
+    const bytes = new TextEncoder().encode('<svg>x</svg>');
+    agent.applyFromFs({ path: paths().annotations, bytes, hash: hashBytes(bytes) });
+    expect(docA.getMap<string>('annotations').get('svg')).toBe('<svg>x</svg>');
+  });
+
+  test('drops the fs-watch echo of its own atomic write', async () => {
+    agent = makeAgent();
+    // Peer edits → agent writes to disk → echo guard recorded.
+    applyHtmlToDoc(docA, '<button>hi</button>');
+    await agent.flush();
+
+    // Simulate the fs.watch firing for the path we just wrote.
+    const bytes = readFileSync(paths().html);
+    const u8 = new Uint8Array(bytes.buffer, bytes.byteOffset, bytes.byteLength);
+    const changed = agent.applyFromFs({
+      path: paths().html,
+      bytes: u8,
+      hash: hashBytes(u8),
+    });
+
+    expect(changed).toBe(false);
+  });
+});
+
+describe('CanvasSyncAgent — cold start reconciliation', () => {
+  test('hub-wins (default): overwrites disk when doc differs', async () => {
+    // Local disk has stale content.
+    writeFileSync(paths().html, '<old>');
+    // Hub state arrives via docA (propagated to docB before reconcile runs).
+    applyHtmlToDoc(docA, '<new>');
+
+    agent = makeAgent();
+    await agent.reconcile();
+
+    expect(readFileSync(paths().html, 'utf8')).toBe('<new>');
+  });
+
+  test('adopt mode: pushes local disk state up to the doc', async () => {
+    writeFileSync(paths().html, '<button>local</button>');
+    // Hub has stale content.
+    applyHtmlToDoc(docA, '<old-hub>');
+
+    agent = makeAgent({ adopt: true });
+    await agent.reconcile();
+
+    expect(htmlFromDoc(docA)).toBe('<button>local</button>');
+    expect(htmlFromDoc(docB)).toBe('<button>local</button>');
+  });
+
+  test('adopt mode is one-shot — second reconcile is hub-wins', async () => {
+    writeFileSync(paths().html, '<button>local-v1</button>');
+    agent = makeAgent({ adopt: true });
+    await agent.reconcile();
+
+    // Hub changes the value.
+    applyHtmlToDoc(docA, '<button>hub-v2</button>');
+
+    // Disk reverts to a stale local-only state.
+    writeFileSync(paths().html, '<button>local-v3</button>');
+    await agent.reconcile();
+
+    // Hub state won this time.
+    expect(htmlFromDoc(docB)).toBe('<button>hub-v2</button>');
+  });
+
+  test('empty hub doc does NOT clobber a non-empty local body — seeds local up instead (data-loss guard)', async () => {
+    // Local holds the real canvas body; the hub is fresh — no state for this
+    // slug yet (docB starts empty → docHtml === ''). The old behaviour wrote
+    // the empty doc over disk and emptied the file; the guard must keep local.
+    writeFileSync(paths().html, '<button>real-canvas</button>');
+
+    let conflicts = 0;
+    agent = createCanvasSyncAgent({
+      slug: 'screen',
+      doc: docB,
+      paths: paths(),
+      echoGuard: createEchoGuard(),
+      flushMs: 0,
+      onConflict: () => {
+        conflicts++;
+      },
+    });
+    agent.start();
+    await agent.reconcile();
+
+    // The local body MUST survive — an empty hub must never empty a real canvas.
+    expect(readFileSync(paths().html, 'utf8')).toBe('<button>real-canvas</button>');
+    // …and it is seeded UP to the hub instead of being discarded (local→doc).
+    expect(htmlFromDoc(docA)).toBe('<button>real-canvas</button>');
+    // An empty-hub seed is not a "hub overwrote your local" conflict.
+    expect(conflicts).toBe(0);
+  });
+
+  test('identical disk + doc states: no disk write', async () => {
+    writeFileSync(paths().html, '<button>same</button>');
+    applyHtmlToDoc(docA, '<button>same</button>');
+
+    agent = makeAgent();
+    let writes = 0;
+    const customAgent = createCanvasSyncAgent({
+      slug: 'screen',
+      doc: docB,
+      paths: paths(),
+      echoGuard: createEchoGuard(),
+      flushMs: 0,
+      writer: () => {
+        writes++;
+      },
+    });
+    customAgent.start();
+    await customAgent.reconcile();
+    customAgent.stop();
+
+    expect(writes).toBe(0);
+  });
+});
+
+describe('CanvasSyncAgent — stress: 100 rapid disk writes converge with no echo loop', () => {
+  test('100-event scenario from plan validate', async () => {
+    // Wire up fs-mirror against the temp dir so this looks like the production
+    // flow: file writes → fs.watch → fs-mirror debounce → agent.applyFromFs.
+    agent = makeAgent({ flushMs: 20 });
+
+    const reader = createFsReader({
+      rootDir: dir,
+      quietMs: 15,
+      accept: (p) => p.endsWith('.html'),
+      onRead: async (evt) => {
+        agent.applyFromFs({
+          path: join(dir, evt.path),
+          bytes: evt.bytes,
+          hash: evt.hash,
+        });
+      },
+    });
+
+    // Track how many times the doc transitioned — should be bounded, no echo
+    // loop multiplying it.
+    let docUpdates = 0;
+    docB.on('update', () => {
+      docUpdates++;
+    });
+
+    for (let i = 0; i < 100; i++) {
+      writeFileSync(paths().html, `<button>${i}</button>`);
+      reader.notify('screen.html');
+    }
+
+    // Let everything settle: reader quiet (15ms), agent flush (20ms) + slack.
+    await new Promise((res) => setTimeout(res, 200));
+    await reader.flush();
+    await agent.flush();
+    reader.stop();
+
+    // Doc + disk + peer all converge on the last write.
+    const last = '<button>99</button>';
+    expect(htmlFromDoc(docB)).toBe(last);
+    expect(htmlFromDoc(docA)).toBe(last);
+    expect(readFileSync(paths().html, 'utf8')).toBe(last);
+
+    // Update count must be bounded — strictly < 100 transitions (debounce did
+    // its job) AND < 200 (no echo loop running 2x amplification).
+    expect(docUpdates).toBeLessThan(200);
+    // Also: it should be > 0 — we DID see real syncs.
+    expect(docUpdates).toBeGreaterThan(0);
+  });
+});
+
+// ---------------------------------------------------------------------------
+// DDR-102 — cold-start conflict protocol (journal-gated fast-forward, dual
+// snapshot, newest-wins, comments id-union).
+describe('CanvasSyncAgent — DDR-102 cold-start conflict protocol', () => {
+  interface SnapCall {
+    content: string;
+    reason: string;
+  }
+
+  function makeJournal(initial: Record<string, { bodyHash: string }> = {}) {
+    const entries = new Map(Object.entries(initial));
+    const records: Array<{ slug: string; hashes: Record<string, string | undefined> }> = [];
+    return {
+      journal: {
+        get: (slug: string) => entries.get(slug) ?? null,
+        record: (slug: string, hashes: { bodyHash?: string; cssHash?: string }) => {
+          records.push({ slug, hashes });
+          const prev = entries.get(slug);
+          entries.set(slug, { bodyHash: hashes.bodyHash ?? prev?.bodyHash ?? '' });
+        },
+        invalidateIfHubChanged: () => {},
+        flush: () => {},
+        stop: () => {},
+        size: () => entries.size,
+      },
+      records,
+    };
+  }
+
+  function protocolAgent(extra: {
+    journal?: ReturnType<typeof makeJournal>['journal'];
+    snapshots?: SnapCall[];
+    conflicts?: unknown[];
+  }) {
+    const a = createCanvasSyncAgent({
+      slug: 'screen',
+      doc: docB,
+      paths: paths(),
+      echoGuard: createEchoGuard(),
+      flushMs: 0,
+      journal: extra.journal,
+      snapshot: extra.snapshots
+        ? async (content, reason) => {
+            extra.snapshots?.push({ content, reason });
+            return `ts-${extra.snapshots?.length}`;
+          }
+        : undefined,
+      onConflict: (info) => {
+        extra.conflicts?.push(info);
+      },
+    });
+    a.start();
+    return a;
+  }
+
+  test('journal match → silent fast-forward: hub overwrites disk, NO snapshot, NO conflict', async () => {
+    const { setHtml } = await import('node:fs').then(() => ({ setHtml: writeFileSync }));
+    setHtml(paths().html, '<button>synced-v1</button>');
+    applyHtmlToDoc(docA, '<button>hub-v2</button>');
+
+    const { journal } = makeJournal({
+      screen: { bodyHash: hashBytes('<button>synced-v1</button>') },
+    });
+    const snapshots: SnapCall[] = [];
+    const conflicts: unknown[] = [];
+    agent = protocolAgent({ journal, snapshots, conflicts });
+    await agent.reconcile();
+
+    expect(readFileSync(paths().html, 'utf8')).toBe('<button>hub-v2</button>');
+    expect(snapshots).toHaveLength(0);
+    expect(conflicts).toHaveLength(0);
+  });
+
+  test('diverged + local newer → local wins, BOTH sides snapshotted, conflict recorded', async () => {
+    writeFileSync(paths().html, '<button>local-newer</button>');
+    // Hub doc carries different body with an OLDER bodyEditAt stamp.
+    docA.transact(() => {
+      applyHtmlToDoc(docA, '<button>hub-older</button>');
+      docA.getMap('syncMeta').set('bodyEditAt', Date.now() - 60_000);
+    });
+
+    const { journal } = makeJournal(); // no entry → divergence
+    const snapshots: SnapCall[] = [];
+    const conflicts: Array<{ kind: string; winner?: string; snapshots?: object }> = [];
+    agent = protocolAgent({ journal, snapshots, conflicts });
+    await agent.reconcile();
+
+    // Local body survives on disk AND is pushed up to the hub.
+    expect(readFileSync(paths().html, 'utf8')).toBe('<button>local-newer</button>');
+    expect(htmlFromDoc(docA)).toBe('<button>local-newer</button>');
+    // Dual snapshot: local first, hub second.
+    expect(snapshots.map((s) => s.reason)).toEqual(['pre-sync-local', 'pre-sync-hub']);
+    expect(snapshots[0].content).toBe('<button>local-newer</button>');
+    expect(snapshots[1].content).toBe('<button>hub-older</button>');
+    // Conflict entry carries winner + snapshot refs.
+    expect(conflicts).toHaveLength(1);
+    expect(conflicts[0].kind).toBe('cold-start-diverged');
+    expect(conflicts[0].winner).toBe('local');
+    expect(conflicts[0].snapshots).toBeDefined();
+  });
+
+  test('diverged + hub newer → hub wins, both sides snapshotted', async () => {
+    writeFileSync(paths().html, '<button>local-older</button>');
+    docA.transact(() => {
+      applyHtmlToDoc(docA, '<button>hub-newer</button>');
+      docA.getMap('syncMeta').set('bodyEditAt', Date.now() + 60_000);
+    });
+
+    const { journal } = makeJournal();
+    const snapshots: SnapCall[] = [];
+    const conflicts: Array<{ winner?: string }> = [];
+    agent = protocolAgent({ journal, snapshots, conflicts });
+    await agent.reconcile();
+
+    expect(readFileSync(paths().html, 'utf8')).toBe('<button>hub-newer</button>');
+    expect(snapshots.map((s) => s.reason)).toEqual(['pre-sync-local', 'pre-sync-hub']);
+    expect(conflicts[0].winner).toBe('hub');
+  });
+
+  test('DDR-064 empty-hub guard is bit-identical: seed-local-up, no snapshot, no conflict', async () => {
+    writeFileSync(paths().html, '<button>real-canvas</button>');
+    // docA/docB empty — fresh hub.
+    const { journal } = makeJournal();
+    const snapshots: SnapCall[] = [];
+    const conflicts: unknown[] = [];
+    agent = protocolAgent({ journal, snapshots, conflicts });
+    await agent.reconcile();
+
+    expect(readFileSync(paths().html, 'utf8')).toBe('<button>real-canvas</button>');
+    expect(htmlFromDoc(docA)).toBe('<button>real-canvas</button>');
+    expect(snapshots).toHaveLength(0);
+    expect(conflicts).toHaveLength(0);
+  });
+
+  test('journal checkpoints: doc→disk flush and disk→doc apply both record', async () => {
+    const { journal, records } = makeJournal();
+    agent = createCanvasSyncAgent({
+      slug: 'screen',
+      doc: docB,
+      paths: paths(),
+      echoGuard: createEchoGuard(),
+      flushMs: 0,
+      journal,
+    });
+    agent.start();
+
+    // Hub edit → disk write → checkpoint.
+    applyHtmlToDoc(docA, '<button>from-hub</button>');
+    await agent.flush();
+    expect(records.some((r) => r.hashes.bodyHash === hashBytes('<button>from-hub</button>'))).toBe(
+      true
+    );
+
+    // Local edit → doc apply → checkpoint.
+    const bytes = new TextEncoder().encode('<button>from-disk</button>');
+    agent.applyFromFs({ path: paths().html, bytes, hash: hashBytes(bytes) });
+    expect(records.some((r) => r.hashes.bodyHash === hashBytes(bytes))).toBe(true);
+  });
+
+  test('comments id-union: doc order first, local-only appended, both sides converge', async () => {
+    // Local file has c1 + c3; hub doc has c1 + c2.
+    const localComments = [
+      { id: 'c1', body: 'shared' },
+      { id: 'c3', body: 'local-only' },
+    ];
+    mkdirSync(join(dir, '_comments'), { recursive: true });
+    writeFileSync(paths().comments, `${JSON.stringify(localComments, null, 2)}\n`);
+    docA.transact(() => {
+      docA.getArray('comments').push([
+        { id: 'c1', body: 'shared' },
+        { id: 'c2', body: 'hub-only' },
+      ]);
+    });
+
+    agent = protocolAgent({});
+    await agent.reconcile();
+
+    const expectUnion = [
+      { id: 'c1', body: 'shared' },
+      { id: 'c2', body: 'hub-only' },
+      { id: 'c3', body: 'local-only' },
+    ];
+    // Doc (and the peer) hold the union…
+    expect(docA.getArray('comments').toArray()).toEqual(expectUnion);
+    // …and the disk file was rewritten to the union too.
+    expect(JSON.parse(readFileSync(paths().comments, 'utf8'))).toEqual(expectUnion);
+  });
+
+  test('comments union with empty hub doc keeps + pushes local comments', async () => {
+    const localComments = [{ id: 'c9', body: 'only-local' }];
+    mkdirSync(join(dir, '_comments'), { recursive: true });
+    writeFileSync(paths().comments, `${JSON.stringify(localComments, null, 2)}\n`);
+
+    agent = protocolAgent({});
+    await agent.reconcile();
+
+    expect(docA.getArray('comments').toArray()).toEqual(localComments);
+    expect(JSON.parse(readFileSync(paths().comments, 'utf8'))).toEqual(localComments);
+  });
+});
+
+// ---------------------------------------------------------------------------
+// DDR-102 fail-closed (security review F1): a hub-wins resolution must NEVER
+// overwrite local when the local snapshot didn't land — keep local + push up.
+describe('CanvasSyncAgent — fail-closed on snapshot failure (DDR-102 F1)', () => {
+  function failClosedAgent(
+    snapshotImpl: (content: string, reason: string) => Promise<string | null>,
+    conflicts: unknown[]
+  ) {
+    const a = createCanvasSyncAgent({
+      slug: 'screen',
+      doc: docB,
+      paths: paths(),
+      echoGuard: createEchoGuard(),
+      flushMs: 0,
+      // No journal → every diff is divergence (conflict path).
+      snapshot: snapshotImpl,
+      onConflict: (info) => {
+        conflicts.push(info);
+      },
+    });
+    a.start();
+    return a;
+  }
+
+  test('hub newer BUT local snapshot returns null → REFUSE overwrite, keep local, push up', async () => {
+    writeFileSync(paths().html, '<button>local-work</button>');
+    // Hub doc carries a NEWER stamp so newest-wins would pick hub.
+    docA.transact(() => {
+      applyHtmlToDoc(docA, '<button>hub-stale</button>');
+      docA.getMap('syncMeta').set('bodyEditAt', Date.now() + 60_000);
+    });
+
+    const conflicts: Array<{ winner?: string; snapshotFailed?: boolean }> = [];
+    // Snapshot writer that FAILS (disk full / read-only _history): returns null.
+    agent = failClosedAgent(async () => null, conflicts);
+    await agent.reconcile();
+
+    // Local work survives on disk (NOT overwritten by hub-stale) …
+    expect(readFileSync(paths().html, 'utf8')).toBe('<button>local-work</button>');
+    // … and is pushed UP to the hub (nothing lost on either side).
+    expect(htmlFromDoc(docA)).toBe('<button>local-work</button>');
+    // The conflict is recorded with the degraded-snapshot flag + flipped winner.
+    expect(conflicts).toHaveLength(1);
+    expect(conflicts[0].winner).toBe('local');
+    expect(conflicts[0].snapshotFailed).toBe(true);
+  });
+
+  test('hub newer + local snapshot SUCCEEDS → normal hub-wins (control)', async () => {
+    writeFileSync(paths().html, '<button>local-work</button>');
+    docA.transact(() => {
+      applyHtmlToDoc(docA, '<button>hub-newer</button>');
+      docA.getMap('syncMeta').set('bodyEditAt', Date.now() + 60_000);
+    });
+
+    const conflicts: Array<{ winner?: string; snapshotFailed?: boolean }> = [];
+    // Only the local snapshot succeeds; hub snapshot can fail without changing
+    // the outcome (local is the loser when hub wins).
+    agent = failClosedAgent(
+      async (_c, reason) => (reason === 'pre-sync-local' ? 'ts-local' : null),
+      conflicts
+    );
+    await agent.reconcile();
+
+    expect(readFileSync(paths().html, 'utf8')).toBe('<button>hub-newer</button>');
+    expect(conflicts[0].winner).toBe('hub');
+    expect(conflicts[0].snapshotFailed).toBeUndefined();
+  });
+});

package/{plugins/design/dev-server → apps/studio}/test/sync-codec.test.ts

@@ -12,8 +12,10 @@ import {
   applyAnnotationsToDoc,
   applyCommentsToDoc,
   applyHtmlToDoc,
+  bodyEditAtFromDoc,
   commentsFromDoc,
   htmlFromDoc,
+  stampBodyEdit,
   Y_SYNC_TYPES,
 } from '../sync/codec.ts';
 
@@ -163,3 +165,66 @@ describe('Annotations codec', () => {
     expect(doc.getMap<string>(Y_TYPES.annotations).get('svg')).toBe('<svg>x</svg>');
   });
 });
+
+// syncMeta lane — DDR-102. The doc-side body-edit stamp the cold-start
+// newest-wins decision reads. Dedicated Y.Map lane because meta's
+// `last_modified` is in META_LOCAL_KEYS (per-machine, never syncs).
+describe('syncMeta codec (DDR-102)', () => {
+  test('bodyEditAtFromDoc returns null on a fresh doc (older-peer interop)', () => {
+    const doc = new Y.Doc();
+    expect(bodyEditAtFromDoc(doc)).toBeNull();
+  });
+
+  test('stampBodyEdit → bodyEditAtFromDoc round-trip with explicit nowMs', () => {
+    const doc = new Y.Doc();
+    stampBodyEdit(doc, undefined, 1_700_000_000_000);
+    expect(bodyEditAtFromDoc(doc)).toBe(1_700_000_000_000);
+    const by = doc.getMap<unknown>(Y_SYNC_TYPES.syncMeta).get('by');
+    expect(typeof by).toBe('string');
+    expect((by as string).length).toBeGreaterThan(0);
+    expect((by as string).length).toBeLessThanOrEqual(32);
+  });
+
+  test('stampBodyEdit defaults to Date.now()', () => {
+    const doc = new Y.Doc();
+    const before = Date.now();
+    stampBodyEdit(doc);
+    const after = Date.now();
+    const at = bodyEditAtFromDoc(doc);
+    expect(at).not.toBeNull();
+    expect(at as number).toBeGreaterThanOrEqual(before);
+    expect(at as number).toBeLessThanOrEqual(after);
+  });
+
+  test('a hostile/garbage bodyEditAt value reads as null', () => {
+    const doc = new Y.Doc();
+    doc.getMap<unknown>(Y_SYNC_TYPES.syncMeta).set('bodyEditAt', 'not-a-number');
+    expect(bodyEditAtFromDoc(doc)).toBeNull();
+    doc.getMap<unknown>(Y_SYNC_TYPES.syncMeta).set('bodyEditAt', Number.POSITIVE_INFINITY);
+    expect(bodyEditAtFromDoc(doc)).toBeNull();
+  });
+
+  test('body apply + stamp wrapped in one transaction emits ONE update', () => {
+    const doc = new Y.Doc();
+    let updates = 0;
+    doc.on('update', () => {
+      updates++;
+    });
+    const origin = { agent: 'test' };
+    doc.transact(() => {
+      applyHtmlToDoc(doc, '<div>v1</div>', origin);
+      stampBodyEdit(doc, origin, 123);
+    }, origin);
+    expect(updates).toBe(1);
+    expect(htmlFromDoc(doc)).toBe('<div>v1</div>');
+    expect(bodyEditAtFromDoc(doc)).toBe(123);
+  });
+
+  test('the stamp syncs to a peer doc via update exchange', () => {
+    const a = new Y.Doc();
+    const b = new Y.Doc();
+    a.on('update', (u: Uint8Array) => Y.applyUpdate(b, u));
+    stampBodyEdit(a, undefined, 456);
+    expect(bodyEditAtFromDoc(b)).toBe(456);
+  });
+});