@1agh/maude 1.0.11 → 1.3.0

package/apps/studio/test/sync-cold-start.test.ts

@@ -1,304 +0,0 @@
-// Cold-start decision matrix — hub-sync cold-start safety (DDR-102).
-//
-// Exhaustive table over (local: absent/empty/clean/diverged) × (doc:
-// empty/same/different) × (journal: absent/match/stale), plus both winner
-// directions and the null-timestamp fallbacks. Mirrors the table style of
-// sync-codec.test.ts: every case is a row with explicit inputs + expected
-// action.
-
-import { describe, expect, test } from 'bun:test';
-
-import { type ColdStartInput, decideColdStart, isExactRepeat } from '../sync/cold-start.ts';
-import { hashBytes } from '../sync/echo-guard.ts';
-
-const BODY_LOCAL = '<div>local work — a day of mascot edits</div>';
-const BODY_HUB = '<div>hub state</div>';
-
-/** Convenience: build an input with safe defaults, override per case. */
-function input(over: Partial<ColdStartInput>): ColdStartInput {
-  return {
-    localBody: null,
-    docBody: '',
-    journalHash: null,
-    localMtimeMs: null,
-    docBodyEditAtMs: null,
-    ...over,
-  };
-}
-
-describe('decideColdStart — empty/absent sides', () => {
-  test('local absent + doc empty → noop', () => {
-    expect(decideColdStart(input({})).action).toBe('noop');
-  });
-
-  test('local empty-string + doc empty → noop', () => {
-    expect(decideColdStart(input({ localBody: '' })).action).toBe('noop');
-  });
-
-  test('whitespace-only local counts as empty (mirrors the trim guard)', () => {
-    const d = decideColdStart(input({ localBody: '  \n\t ', docBody: BODY_HUB }));
-    expect(d.action).toBe('materialize-hub');
-  });
-
-  test('local absent + doc non-empty → materialize-hub (clean first sync)', () => {
-    const d = decideColdStart(input({ docBody: BODY_HUB }));
-    expect(d.action).toBe('materialize-hub');
-  });
-
-  test('local empty + doc non-empty → materialize-hub', () => {
-    const d = decideColdStart(input({ localBody: '', docBody: BODY_HUB }));
-    expect(d.action).toBe('materialize-hub');
-  });
-
-  test('local non-empty + doc empty → seed-local-up (DDR-064 guard as a named case)', () => {
-    const d = decideColdStart(input({ localBody: BODY_LOCAL, docBody: '' }));
-    expect(d.action).toBe('seed-local-up');
-  });
-
-  test('local non-empty + whitespace-only doc → seed-local-up', () => {
-    const d = decideColdStart(input({ localBody: BODY_LOCAL, docBody: ' \n ' }));
-    expect(d.action).toBe('seed-local-up');
-  });
-
-  test('seed-local-up holds regardless of journal state (stale journal must not block it)', () => {
-    const d = decideColdStart(
-      input({ localBody: BODY_LOCAL, docBody: '', journalHash: 'stale-hash' })
-    );
-    expect(d.action).toBe('seed-local-up');
-  });
-});
-
-describe('decideColdStart — identical sides', () => {
-  test('local == doc → noop (caller records journal)', () => {
-    const d = decideColdStart(input({ localBody: BODY_HUB, docBody: BODY_HUB }));
-    expect(d.action).toBe('noop');
-  });
-
-  test('local == doc with a stale journal is still a noop (content equality wins)', () => {
-    const d = decideColdStart(
-      input({ localBody: BODY_HUB, docBody: BODY_HUB, journalHash: 'stale' })
-    );
-    expect(d.action).toBe('noop');
-  });
-});
-
-describe('decideColdStart — concurrent cold-seed duplication (F1)', () => {
-  const BODY = '<div>export default fn — one copy</div>';
-
-  test('doc == local repeated twice → recover-seed-dup (collapse, not conflict)', () => {
-    const d = decideColdStart(input({ localBody: BODY, docBody: BODY + BODY }));
-    expect(d.action).toBe('recover-seed-dup');
-  });
-
-  test('doc == local repeated three times (3-way seed) → recover-seed-dup', () => {
-    const d = decideColdStart(input({ localBody: BODY, docBody: BODY.repeat(3) }));
-    expect(d.action).toBe('recover-seed-dup');
-  });
-
-  test('duplication recovery beats the conflict path even with divergent timestamps', () => {
-    // A doubled body is NOT new content — newest-wins must not get to pick it.
-    const d = decideColdStart(
-      input({
-        localBody: BODY,
-        docBody: BODY + BODY,
-        localMtimeMs: 1_000,
-        docBodyEditAtMs: 9_999,
-      })
-    );
-    expect(d.action).toBe('recover-seed-dup');
-  });
-
-  test('duplication recovery fires even with a stale journal', () => {
-    const d = decideColdStart(
-      input({ localBody: BODY, docBody: BODY + BODY, journalHash: 'stale' })
-    );
-    expect(d.action).toBe('recover-seed-dup');
-  });
-
-  test('doc = local + genuinely different bytes is NOT a repeat → conflict (snapshots both)', () => {
-    const d = decideColdStart(
-      input({
-        localBody: BODY,
-        docBody: `${BODY}<div>a real concurrent edit</div>`,
-        localMtimeMs: 2_000,
-        docBodyEditAtMs: 1_000,
-      })
-    );
-    expect(d.action).toBe('conflict');
-  });
-
-  test('exact equality (×1) stays a noop, never recover-seed-dup', () => {
-    expect(decideColdStart(input({ localBody: BODY, docBody: BODY })).action).toBe('noop');
-  });
-
-  test('isExactRepeat — exact multiples only', () => {
-    expect(isExactRepeat(BODY + BODY, BODY)).toBe(true);
-    expect(isExactRepeat(BODY.repeat(4), BODY)).toBe(true);
-    expect(isExactRepeat(BODY, BODY)).toBe(false); // ×1 is equality, not duplication
-    expect(isExactRepeat(`${BODY}x`, BODY)).toBe(false); // not a clean multiple
-    expect(isExactRepeat(`${BODY}${BODY}x`, BODY)).toBe(false);
-    expect(isExactRepeat('', BODY)).toBe(false);
-    expect(isExactRepeat(BODY, '')).toBe(false);
-  });
-});
-
-describe('decideColdStart — journal-gated fast-forward', () => {
-  test('local ≠ doc, journal matches hash(local) → fast-forward-hub (no conflict)', () => {
-    const d = decideColdStart(
-      input({
-        localBody: BODY_LOCAL,
-        docBody: BODY_HUB,
-        journalHash: hashBytes(BODY_LOCAL),
-      })
-    );
-    expect(d.action).toBe('fast-forward-hub');
-    expect(d.winner).toBeUndefined();
-  });
-
-  test('journal match overrides timestamps — even a NEWER local mtime fast-forwards', () => {
-    // mtime newer than the doc stamp, but the bytes are exactly what we last
-    // synced (e.g. touch / checkout changed mtime only) → not a conflict.
-    const d = decideColdStart(
-      input({
-        localBody: BODY_LOCAL,
-        docBody: BODY_HUB,
-        journalHash: hashBytes(BODY_LOCAL),
-        localMtimeMs: 2_000,
-        docBodyEditAtMs: 1_000,
-      })
-    );
-    expect(d.action).toBe('fast-forward-hub');
-  });
-});
-
-describe('decideColdStart — divergence (conflict + newest-wins)', () => {
-  test('journal ABSENT, local newer → conflict, winner=local (the incident shape)', () => {
-    const d = decideColdStart(
-      input({
-        localBody: BODY_LOCAL,
-        docBody: BODY_HUB,
-        localMtimeMs: 2_000,
-        docBodyEditAtMs: 1_000,
-      })
-    );
-    expect(d.action).toBe('conflict');
-    expect(d.winner).toBe('local');
-  });
-
-  test('journal ABSENT, doc newer → conflict, winner=hub', () => {
-    const d = decideColdStart(
-      input({
-        localBody: BODY_LOCAL,
-        docBody: BODY_HUB,
-        localMtimeMs: 1_000,
-        docBodyEditAtMs: 2_000,
-      })
-    );
-    expect(d.action).toBe('conflict');
-    expect(d.winner).toBe('hub');
-  });
-
-  test('journal STALE (≠ hash(local)), local newer → conflict, winner=local', () => {
-    const d = decideColdStart(
-      input({
-        localBody: BODY_LOCAL,
-        docBody: BODY_HUB,
-        journalHash: hashBytes('<div>some older synced state</div>'),
-        localMtimeMs: 5_000,
-        docBodyEditAtMs: 4_000,
-      })
-    );
-    expect(d.action).toBe('conflict');
-    expect(d.winner).toBe('local');
-  });
-
-  test('journal STALE, doc newer → conflict, winner=hub', () => {
-    const d = decideColdStart(
-      input({
-        localBody: BODY_LOCAL,
-        docBody: BODY_HUB,
-        journalHash: hashBytes('<div>some older synced state</div>'),
-        localMtimeMs: 4_000,
-        docBodyEditAtMs: 5_000,
-      })
-    );
-    expect(d.action).toBe('conflict');
-    expect(d.winner).toBe('hub');
-  });
-
-  test('journal matching hash(DOC) — not local — is still divergence', () => {
-    // The journal proves we once synced what the HUB now holds reverted to;
-    // local moved past it → local is unreconciled work, must conflict.
-    const d = decideColdStart(
-      input({
-        localBody: BODY_LOCAL,
-        docBody: BODY_HUB,
-        journalHash: hashBytes(BODY_HUB),
-        localMtimeMs: 2_000,
-        docBodyEditAtMs: 1_000,
-      })
-    );
-    expect(d.action).toBe('conflict');
-    expect(d.winner).toBe('local');
-  });
-
-  test('doc stamp NULL (older peer never stamped) → hub-wins fallback', () => {
-    const d = decideColdStart(
-      input({
-        localBody: BODY_LOCAL,
-        docBody: BODY_HUB,
-        localMtimeMs: 2_000,
-        docBodyEditAtMs: null,
-      })
-    );
-    expect(d.action).toBe('conflict');
-    expect(d.winner).toBe('hub');
-  });
-
-  test('local mtime NULL → hub-wins fallback', () => {
-    const d = decideColdStart(
-      input({
-        localBody: BODY_LOCAL,
-        docBody: BODY_HUB,
-        localMtimeMs: null,
-        docBodyEditAtMs: 2_000,
-      })
-    );
-    expect(d.action).toBe('conflict');
-    expect(d.winner).toBe('hub');
-  });
-
-  test('both timestamps NULL → hub-wins fallback', () => {
-    const d = decideColdStart(input({ localBody: BODY_LOCAL, docBody: BODY_HUB }));
-    expect(d.action).toBe('conflict');
-    expect(d.winner).toBe('hub');
-  });
-
-  test('timestamps TIED → hub-wins fallback', () => {
-    const d = decideColdStart(
-      input({
-        localBody: BODY_LOCAL,
-        docBody: BODY_HUB,
-        localMtimeMs: 1_000,
-        docBodyEditAtMs: 1_000,
-      })
-    );
-    expect(d.action).toBe('conflict');
-    expect(d.winner).toBe('hub');
-  });
-
-  test('every decision carries a human-readable reason', () => {
-    const cases: ColdStartInput[] = [
-      input({}),
-      input({ docBody: BODY_HUB }),
-      input({ localBody: BODY_LOCAL }),
-      input({ localBody: BODY_HUB, docBody: BODY_HUB }),
-      input({ localBody: BODY_LOCAL, docBody: BODY_HUB, journalHash: hashBytes(BODY_LOCAL) }),
-      input({ localBody: BODY_LOCAL, docBody: BODY_HUB }),
-    ];
-    for (const c of cases) {
-      const d = decideColdStart(c);
-      expect(d.reason.length).toBeGreaterThan(0);
-    }
-  });
-});

package/apps/studio/test/sync-connect-honesty.test.ts

@@ -1,114 +0,0 @@
-// A connect that has not connected must never read as synced.
-//
-// THE FALSIFIER. Written against the pre-fix pipeline and expected to FAIL
-// there — that failure is the evidence that the status signal is optimistic by
-// construction, not merely rendered late. If it ever passes without the
-// monitor changing, the premise of this whole change was wrong and the fix
-// should be dropped rather than the assertion softened.
-//
-// Reported as "vyskočí modal, pak vidím jen syncing canvases, ale reálně se nic
-// nestane": the user was told the truth about an intention and read it as a
-// result.
-//
-// The two monitor-level defects it pins:
-//   1. the monitor is BORN `online` — before a socket exists, before a token is
-//      accepted, before a byte moves. Every surface keys off that value.
-//   2. `docs.synced` can only ever rise — a hub that dies leaves the last count
-//      frozen on screen forever, indistinguishable from a healthy one.
-//
-// The surface-level defects (one connected provider out of many reading green,
-// and the status bar ignoring `docs` entirely) are pinned in
-// `sync-presentation.test.ts`, because they live in the presentation rule
-// rather than in the state machine.
-
-import { describe, expect, test } from 'bun:test';
-
-import { createConnectionMonitor, type SyncStatusSnapshot } from '../sync/connection-state.ts';
-
-/**
- * The rule the shipped status bar applies (`app.jsx` syncSlot, pre-fix):
- * green dot and the word "synced" whenever `state` is `online`.
- *
- * Reproduced verbatim rather than imported, so this test measures what a USER
- * sees and cannot be quietly satisfied by editing the surface.
- */
-function readsAsSynced(snap: SyncStatusSnapshot): boolean {
-  return snap.state === 'online' || snap.flash === 'synced';
-}
-
-function makeMonitor() {
-  const nowMs = 1_000_000;
-  const timers = new Map<number, { fireAt: number; cb: () => void }>();
-  let nextId = 1;
-  const monitor = createConnectionMonitor({
-    now: () => nowMs,
-    setTimer: (cb, ms) => {
-      const id = nextId++;
-      timers.set(id, { fireAt: nowMs + ms, cb });
-      return id as unknown as ReturnType<typeof setTimeout>;
-    },
-    clearTimer: (h) => {
-      timers.delete(h as unknown as number);
-    },
-  });
-  return { monitor };
-}
-
-describe('a connect that has not connected', () => {
-  test('does not read as synced at t=0', () => {
-    // The instant after Connect: the runtime started, providers exist on paper,
-    // nothing has handshaken. This is precisely the moment the user is staring
-    // at the note, and the moment the old pipeline claimed success.
-    const { monitor } = makeMonitor();
-    expect(readsAsSynced(monitor.snapshot())).toBe(false);
-  });
-
-  test('does not read as synced while every document is still pending', () => {
-    const { monitor } = makeMonitor();
-    for (const slug of ['ui-home', 'ui-about', 'ui-welcome']) {
-      monitor.noteDocState(slug, 'pending');
-    }
-    const snap = monitor.snapshot();
-    expect(snap.docs).toEqual({ synced: 0, pending: 3, rejected: 0 });
-    expect(readsAsSynced(snap)).toBe(false);
-  });
-
-  test('does not read as synced when the hub refuses every document', () => {
-    // A rotated credential: providers reach the hub, the hub says no. Nothing
-    // is syncing, and the count that would say so must not claim otherwise.
-    const { monitor } = makeMonitor();
-    for (const slug of ['ui-home', 'ui-about']) {
-      monitor.noteDocState(slug, 'auth-rejected');
-    }
-    expect(monitor.snapshot().docs).toEqual({ synced: 0, pending: 0, rejected: 2 });
-  });
-});
-
-describe('a connect that stops being connected', () => {
-  test('docs.synced falls when the providers drop', () => {
-    // Today nothing demotes a connected document, so a hub that dies leaves
-    // "3 synced" on screen indefinitely — the most convincing possible lie,
-    // because it was true a moment ago.
-    const { monitor } = makeMonitor();
-    for (const slug of ['a', 'b', 'c']) {
-      monitor.noteProviderStatus(slug, 'connected');
-      monitor.noteDocState(slug, 'connected');
-    }
-    expect(monitor.snapshot().docs?.synced).toBe(3);
-
-    for (const slug of ['a', 'b', 'c']) monitor.noteProviderStatus(slug, 'disconnected');
-
-    const snap = monitor.snapshot();
-    expect(snap.docs?.synced).toBe(0);
-    expect(snap.docs?.pending).toBe(3);
-  });
-
-  test('a refusal is not transient — a dropped provider cannot launder it', () => {
-    // `auth-rejected` outranks a disconnect: the hub gave an answer, and losing
-    // the socket does not turn that answer back into "still trying".
-    const { monitor } = makeMonitor();
-    monitor.noteDocState('a', 'auth-rejected');
-    monitor.noteProviderStatus('a', 'disconnected');
-    expect(monitor.snapshot().docs).toEqual({ synced: 0, pending: 0, rejected: 1 });
-  });
-});