test: harden collaboration evidence and clean v2 leftovers

.github/workflows/ci.yml

@@ -31,7 +31,7 @@ jobs:
         run: npm ci --no-audit --no-fund
       - name: Verify active v2 packages
         if: steps.scope.outputs.package_full == 'true'
-        run: npm run archive:check && npm run verify -w @interactive-os/json-document && npm run verify:companions && npm run standard:check && npm run docs:evaluate
+        run: npm run verify -w @interactive-os/json-document && npm run verify:companions && npm run standard:check && npm run docs:evaluate
       - name: Verify package documentation
         if: steps.scope.outputs.package_full != 'true' && (steps.scope.outputs.package_docs == 'true' || steps.scope.outputs.package_smoke == 'true')
         run: |

.github/workflows/collaboration-soak.yml

@@ -0,0 +1,23 @@
+name: Collaboration Soak
+
+on:
+  workflow_dispatch:
+  schedule:
+    - cron: "0 19 * * 1"
+
+permissions:
+  contents: read
+
+jobs:
+  collaboration-soak:
+    name: Deterministic causal convergence
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v6
+      - uses: actions/setup-node@v6
+        with:
+          node-version: "22"
+      - name: Install dependencies
+        run: npm ci --no-audit --no-fund
+      - name: Run the extended collaboration profile
+        run: npm run test:collaboration:soak

apps/site/src/components/MarkdownViewer.tsx

@@ -2,7 +2,7 @@ import ReactMarkdown from "react-markdown";
 import rehypeSlug from "rehype-slug";
 import remarkGfm from "remark-gfm";
 
-export type MarkdownHeading = { id: string; level: number; text: string };
+type MarkdownHeading = { id: string; level: number; text: string };
 
 export function MarkdownViewer({ source, hideTitle = false }: { source: string; hideTitle?: boolean }) {
   return (

package.json

@@ -12,6 +12,7 @@
     "dev": "npm run dev -w @interactive-os/json-document-site",
     "build": "npm run build -w @interactive-os/json-document",
     "test": "npm test -w @interactive-os/json-document",
+    "test:collaboration:soak": "npm run test:soak -w @interactive-os/json-document-collaboration",
     "typecheck": "npm run typecheck -w @interactive-os/json-document",
     "smoke:package": "npm run smoke:package -w @interactive-os/json-document",
     "perf:core": "npm run build -w @interactive-os/json-document && node scripts/benchmark-core.mjs",

packages/json-document-collaboration/README.md

@@ -162,6 +162,33 @@ DOM/native-input publication leasing is likewise separate in
 ingesting model Changes during composition and gates only rendering for the
 leased surface.
 
+## Release evidence
+
+The ordinary package suite includes a provider-neutral task-board host that
+depends only on the six-member `JSONDocument`. The same host commands run
+unchanged against the local and collaboration providers, including a
+concurrent card edit that follows a structural move by stable identity.
+
+It also runs a small deterministic convergence soak on every verification.
+Three replicas author randomized task-board commands and selective
+undo/redo while bundles are partially, out of order, and repeatedly
+delivered. Each case must converge before and after checkpoint restore,
+continue the restored actor lineage without a fork, export one canonical
+checkpoint, and survive new-epoch compaction.
+
+Run the deeper reproducible profile with:
+
+```sh
+npm run test:collaboration:soak
+```
+
+The soak reports its seed in every failure so the exact schedule can be
+replayed with `JSON_DOCUMENT_COLLABORATION_SOAK_SEED` and a case count of one.
+This evidence protects the architecture but does not turn an RC into
+production proof by itself. Stable promotion still requires sustained
+external use, large-document performance evidence, and successful
+offline/checkpoint/epoch operations under a real transport and storage host.
+
 ## Protocol v3 profile
 
 The implemented profile includes:

packages/json-document-collaboration/package.json

@@ -42,6 +42,7 @@
     "build": "npm run clean && tsc -p tsconfig.json",
     "prepack": "npm run build",
     "test": "vitest run --config vitest.config.ts",
+    "test:soak": "JSON_DOCUMENT_COLLABORATION_SOAK_CASES=24 JSON_DOCUMENT_COLLABORATION_SOAK_STEPS=96 vitest run --config vitest.config.ts tests/convergence-soak.test.ts",
     "typecheck": "tsc -p tsconfig.test.json --noEmit",
     "verify": "npm run typecheck && npm test && npm run build"
   },

packages/json-document-collaboration/src/checkpoint.ts

@@ -1,5 +1,6 @@
 import {
   applyPatch,
+  type JSONCapabilityResult,
   type JSONValue,
 } from "@interactive-os/json-document";
 
@@ -21,6 +22,16 @@ type PreparedCheckpoint =
   | { readonly ok: true; readonly checkpoint: CollaborationCheckpoint }
   | { readonly ok: false; readonly reason: string };
 
+type CheckpointVerifier = (
+  checkpoint: CollaborationCheckpoint,
+) => JSONCapabilityResult;
+
+type CheckpointVerificationFailure = {
+  readonly ok: false;
+  readonly code: string;
+  readonly reason: string;
+};
+
 export function createCheckpoint(
   base: JSONValue,
   membership: CollaborationMembership | null,
@@ -162,6 +173,34 @@ export function prepareCheckpoint(input: unknown): PreparedCheckpoint {
   };
 }
 
+export function verifyCheckpointProof(
+  checkpoint: CollaborationCheckpoint,
+  verify: CheckpointVerifier | undefined,
+): CheckpointVerificationFailure | null {
+  if (verify === undefined) return null;
+  try {
+    const result = verify(checkpoint);
+    if (result?.ok === true) return null;
+    if (result?.ok === false && typeof result.code === "string") {
+      return verificationFailure(
+        result.code,
+        result.reason ?? "checkpoint proof verification failed",
+      );
+    }
+    return verificationFailure(
+      "checkpoint_verification_failed",
+      "checkpoint verifier must return a capability result",
+    );
+  } catch (error) {
+    return verificationFailure(
+      "checkpoint_verification_failed",
+      error instanceof Error
+        ? error.message
+        : "checkpoint proof verification failed",
+    );
+  }
+}
+
 function prepareMembership(
   input: unknown,
 ):
@@ -206,6 +245,13 @@ function invalid(reason: string): { readonly ok: false; readonly reason: string
   return { ok: false, reason };
 }
 
+function verificationFailure(
+  code: string,
+  reason: string,
+): CheckpointVerificationFailure {
+  return Object.freeze({ ok: false, code, reason });
+}
+
 function isRecord(value: unknown): value is Record<string, unknown> {
   return value !== null && typeof value === "object" && !Array.isArray(value);
 }

packages/json-document-collaboration/src/compact.ts

@@ -1,8 +1,3 @@
-import type {
-  JSONCapabilityResult,
-  JSONValue,
-} from "@interactive-os/json-document";
-
 import {
   canonicalMembership,
   changeIdKey,
@@ -16,6 +11,7 @@ import {
 import {
   createCheckpoint,
   prepareCheckpoint,
+  verifyCheckpointProof,
 } from "./checkpoint.js";
 import {
   acceptCandidate,
@@ -67,7 +63,7 @@ export function compactCollaborationCheckpoint(
   const invalidOptions = validateOptions(checkpoint, options);
   if (invalidOptions !== null) return invalidOptions;
 
-  const verification = verifyCheckpoint(checkpoint, options);
+  const verification = verifyCheckpointProof(checkpoint, options.verify);
   if (verification !== null) return verification;
 
   const changes = new Map<string, CollaborationChange>();
@@ -132,10 +128,7 @@ export function compactCollaborationCheckpoint(
       initialProjection.reason ?? "checkpoint base is not materializable",
     );
   }
-  const initialAcceptance = safeAccept(
-    options.accepts,
-    initialProjection.value,
-  );
+  const initialAcceptance = acceptCandidate(options.accepts, initialProjection.value);
   if (!initialAcceptance.ok) {
     return failure(
       initialAcceptance.code,
@@ -149,7 +142,7 @@ export function compactCollaborationCheckpoint(
     materialized = materializeChanges(
       initialTree,
       graph.ordered,
-      (candidate) => safeAccept(options.accepts, candidate),
+      (candidate) => acceptCandidate(options.accepts, candidate),
     );
   } catch (error) {
     return failure(
@@ -160,10 +153,7 @@ export function compactCollaborationCheckpoint(
     );
   }
   const nextAccepts = effectiveNextAcceptance(checkpoint, options);
-  const nextAcceptance = safeAccept(
-    nextAccepts,
-    materialized.value,
-  );
+  const nextAcceptance = acceptCandidate(nextAccepts, materialized.value);
   if (!nextAcceptance.ok) {
     return failure(
       nextAcceptance.code,
@@ -308,41 +298,6 @@ function effectiveNextAcceptance(
     : undefined;
 }
 
-function verifyCheckpoint(
-  checkpoint: CollaborationCheckpoint,
-  options: CollaborationCompactionOptions,
-): Extract<CollaborationCompactionResult, { readonly ok: false }> | null {
-  if (options.verify === undefined) return null;
-  try {
-    const result = options.verify(checkpoint);
-    if (result?.ok === true) return null;
-    if (result?.ok === false && typeof result.code === "string") {
-      return failure(
-        result.code,
-        result.reason ?? "checkpoint proof verification failed",
-      );
-    }
-    return failure(
-      "checkpoint_verification_failed",
-      "checkpoint verifier must return a capability result",
-    );
-  } catch (error) {
-    return failure(
-      "checkpoint_verification_failed",
-      error instanceof Error
-        ? error.message
-        : "checkpoint proof verification failed",
-    );
-  }
-}
-
-function safeAccept(
-  accepts: ((candidate: JSONValue) => JSONCapabilityResult) | undefined,
-  candidate: JSONValue,
-): JSONCapabilityResult {
-  return acceptCandidate(accepts, candidate);
-}
-
 function unauthorizedReference(
   change: CollaborationChange,
   membership: CollaborationMembership | null,

packages/json-document-collaboration/src/create.ts

@@ -44,7 +44,6 @@ import {
   projectTree,
   resolveTextMemberSnapshot,
   resolveTextSnapshot,
-  type TreeState,
 } from "./tree.js";
 import {
   authoredTextAtomId,

packages/json-document-collaboration/src/materialize.ts

@@ -26,7 +26,7 @@ type HistoryOperation = Extract<
   { readonly kind: "undo-change" | "redo-change" }
 >;
 
-export interface MaterializedHistoryState {
+interface MaterializedHistoryState {
   readonly disabledByTarget: ReadonlyMap<string, ChangeId>;
   readonly appliedKeys: ReadonlySet<string>;
   readonly appliedUndoTargets: ReadonlyMap<string, ChangeId>;

packages/json-document-collaboration/src/restore.ts

@@ -1,14 +1,16 @@
 import {
   canonicalStringify,
 } from "./change.js";
-import { prepareCheckpoint } from "./checkpoint.js";
+import {
+  prepareCheckpoint,
+  verifyCheckpointProof,
+} from "./checkpoint.js";
 import {
   createRestoredRuntime,
   createRestoredTextRuntime,
 } from "./create.js";
 import type { JSONValue } from "@interactive-os/json-document";
 import type {
-  CollaborationCheckpoint,
   CollaborationHistoryRestoreResult,
   CollaborationHistoryRuntime,
   CollaborationRestoreOptions,
@@ -30,7 +32,7 @@ export function restoreCollaborationRuntime(
   input: unknown,
   options: CollaborationRestoreOptions,
 ): CollaborationRestoreResult {
-  const restored = restoreHistoryRuntime(input, options);
+  const restored = restoreCollaborationHistoryRuntime(input, options);
   if (!restored.ok) return restored;
   const runtime: CollaborationRuntime = Object.freeze({
     document: restored.runtime.document,
@@ -63,13 +65,6 @@ export function restoreCollaborationTextRuntime(
   });
 }
 
-function restoreHistoryRuntime(
-  input: unknown,
-  options: CollaborationRestoreOptions,
-): CollaborationHistoryRestoreResult {
-  return restoreCollaborationHistoryRuntime(input, options);
-}
-
 function restoreProfileRuntime(
   input: unknown,
   options: CollaborationRestoreOptions,
@@ -109,7 +104,7 @@ function restoreProfileRuntime(
       "restore ruleset does not match the checkpoint epoch",
     );
   }
-  const verification = verifyCheckpoint(checkpoint, options);
+  const verification = verifyCheckpointProof(checkpoint, options.verify);
   if (verification !== null) return verification;
 
   try {
@@ -152,34 +147,6 @@ function restoreProfileRuntime(
   }
 }
 
-function verifyCheckpoint(
-  checkpoint: CollaborationCheckpoint,
-  options: CollaborationRestoreOptions,
-): Extract<CollaborationHistoryRestoreResult, { readonly ok: false }> | null {
-  if (options.verify === undefined) return null;
-  try {
-    const result = options.verify(checkpoint);
-    if (result?.ok === true) return null;
-    if (result?.ok === false && typeof result.code === "string") {
-      return failure(
-        result.code,
-        result.reason ?? "checkpoint proof verification failed",
-      );
-    }
-    return failure(
-      "checkpoint_verification_failed",
-      "checkpoint verifier must return a capability result",
-    );
-  } catch (error) {
-    return failure(
-      "checkpoint_verification_failed",
-      error instanceof Error
-        ? error.message
-        : "checkpoint proof verification failed",
-    );
-  }
-}
-
 function failure(
   code: string,
   reason: string,