@series-inc/rundot-syncplay 6.0.0-rc.49 → 6.0.0-rc.51

package/MIGRATING-RC49-TO-RC51.md

@@ -0,0 +1,26 @@
+# Syncplay rc.51
+
+This release adds cross-engine determinism verification. No public API, wire format, or checksum changes.
+
+The release also carries two fixes that landed after the rc.50 candidate cut:
+
+- The default retained window never shrinks below its default (#5472).
+- The lag-compensation snapshot detaches occluders, so a rewind can no longer alias a live body (#5487).
+
+rc.50 was never published. rc.51 is the first release after rc.49.
+
+## Cross-engine determinism corpus
+
+- `tests/golden/cross-engine/` is the record of what every JavaScript engine must reproduce byte for byte. Seven session scenarios and a manifest, captured by `scripts/capture-cross-engine.mjs` and verified with `--check`.
+- Scripted sessions run `createSimulatedSyncplayMatch` with real clients on lossy, jittered links, so prediction, rollback and resimulation execute in the engine under test. The recorded corpus shows 94 to 192 rollbacks per scenario at depth 16.
+- Per-frame records carry `getConfirmedStateChecksum(frame)`, the value the wire path commits, so a divergence in the bytes a late joiner hydrates cannot pass.
+- Coverage counters with floors: a scenario that did not produce its rollbacks, its depth or its frames fails instead of passing quietly.
+- `scripts/diff-cross-engine-reports.mjs` is the engine equality gate. Without it, each engine only proves it is self-consistent and two engines that disagree both pass.
+- `scripts/check-cross-engine-corpus-drift.mjs` is the tamper gate: a corpus recapture needs a claim in `allowed-cross-engine-recaptures.json` naming the pull request.
+- CI runs the corpus in the chromium, webkit and firefox lanes and adds a `cross-engine-equality` job that diffs the reports.
+
+## Verification
+
+- `npm run capture:cross-engine -- --check`: `CROSS_ENGINE_CORPUS_OK`.
+- `node scripts/verify-cross-engine.mjs`: `CROSS_ENGINE_VERIFY_OK scenarios=7 mismatches=0`.
+- The gates fail loudly on a divergent report, a missing source digest, an empty or failing report, and an unclaimed corpus change.

package/core/src/physics/physics-profile-wasm-module.generated.mjs

@@ -24,7 +24,7 @@ export const physicsProfileWasmMetadata = Object.freeze({
   "sourceHash": "b722a26af630cb3feb4dd63125ce534ae375fb01a916c013eb779c922a4e4c17",
   "wasmSha256": "f3605958e0292779f909d350c0e7a59ac8d5356c4a4252c7c9f865eb77acf0ac",
   "artifact": "profile",
-  "packageVersion": "6.0.0-rc.49",
+  "packageVersion": "6.0.0-rc.51",
   "compilerFlags": [
     "-std=c++20",
     "-O3",

package/core/src/physics/physics-wasm-module.generated.mjs

@@ -24,7 +24,7 @@ export const physicsWasmMetadata = Object.freeze({
   "sourceHash": "cb3f4f665a22af2922f7f722a03f59bb12b087521faa13cb4b6dd56ebc788683",
   "wasmSha256": "cee9ef345a6f8d42e35b21553fd414f38e17ac9ad3753a1bf9fc3d4c8c61f7c7",
   "artifact": "production",
-  "packageVersion": "6.0.0-rc.49",
+  "packageVersion": "6.0.0-rc.51",
   "compilerFlags": [
     "-std=c++20",
     "-O3",

package/core/src/physics2d/physics2d-wasm-module.generated.mjs

@@ -50,7 +50,7 @@ export const physics2dWasmMetadata = Object.freeze({
   "sourceHash": "faa090a03a6fddaf79c704fb1d76f810955ff35597449c8cec9541a75905a37e",
   "wasmSha256": "49cb90541deed40f5fff1015bb578e13ec9a793d51931c1227e3e5a11bbfa3f7",
   "artifact": "production",
-  "packageVersion": "6.0.0-rc.49",
+  "packageVersion": "6.0.0-rc.51",
   "compilerFlags": [
     "-std=c++20",
     "-O3",

package/dist/engine-runtime.js

@@ -1,3 +1,4 @@
+import { insertSortedFreeId } from './sorted-free-id.js';
 import { canonicalStringify, cloneCanonical, defaultChecksum } from './canonical.js';
 import { DeterministicRandom } from './random.js';
 import { parseDeterministicSchemaDsl, } from './schema-dsl-binary.js';
@@ -1568,41 +1569,6 @@ function compareRuntimeMessages(left, right) {
     /* istanbul ignore next -- runtime message ordering tests cover frame and sequence sort arms. */
     return left.frame - right.frame || left.sequence - right.sequence || compareStrings(left.type, right.type);
 }
-/**
- * Insert a freed id into a free list that is kept ascending at all times, so
- * reuse can take the smallest id with `shift()`. The list never holds a
- * duplicate: every free site frees a live id exactly once. Binary search plus a
- * splice replaces the push-then-sort that re-ordered the whole list per free.
- *
- * A forged ref can reach a free site with a non-numeric id: `assertLiveEntity`
- * accepts a ref whose `generation` is `undefined` when the id has no recorded
- * generation. The pre-change code sorted such an id to the end of the list,
- * because its comparator returns NaN for it, and a later valid id keeps that
- * order. A NaN comparator has no specified result, so this helper cannot
- * reproduce that placement with a binary search. Any list that has seen a
- * forged id therefore keeps the exact pre-change push-then-sort path for good.
- */
-const forgedFreeIdLists = new WeakSet();
-function insertSortedFreeId(list, id) {
-    if (!Number.isInteger(id) || forgedFreeIdLists.has(list)) {
-        forgedFreeIdLists.add(list);
-        list.push(id);
-        list.sort((left, right) => left - right);
-        return;
-    }
-    let low = 0;
-    let high = list.length;
-    while (low < high) {
-        const middle = (low + high) >>> 1;
-        if (list[middle] < id) {
-            low = middle + 1;
-        }
-        else {
-            high = middle;
-        }
-    }
-    list.splice(low, 0, id);
-}
 function createEntity(state) {
     const id = state.freeEntityIds.length === 0 ? state.nextEntityId : state.freeEntityIds.shift();
     if (id === state.nextEntityId) {

package/dist/lag-compensation3d.js

@@ -86,7 +86,7 @@ export function createDeterministicLagCompensation3DHistory(options) {
             const withoutChecksum = {
                 maxStoredFrames,
                 targets: normalizeLagCompensatedTargets3D(targets),
-                occluders,
+                occluders: normalizePhysicsBodies(occluders),
             };
             return {
                 ...withoutChecksum,
@@ -564,7 +564,10 @@ function normalizeLagCompensatedTargets3D(targets) {
     return normalized;
 }
 function normalizePhysicsBodies(bodies) {
-    return [...bodies].sort((left, right) => compareStrings(left.id, right.id)).map((body) => ({ ...body }));
+    return [...bodies].sort((left, right) => compareStrings(left.id, right.id)).map((body) => ({
+        ...body,
+        shape: typeof body.shape === "object" && body.shape !== null ? structuredClone(body.shape) : body.shape,
+    }));
 }
 function lagCompensatedTargetKey(target) {
     return `${target.frame}:${target.targetId}`;

package/dist/networked-client.js

@@ -779,7 +779,24 @@ export function createNetworkedSyncplayClient(options) {
                 playerCount: message.playerCount,
                 defaultInput: options.defaultInput,
                 ...(options.requires === undefined ? {} : { requires: options.requires }),
-                ...(options.snapshotBufferSize === undefined ? {} : { snapshotBufferSize: options.snapshotBufferSize }),
+                // The retained window must cover every reader of a past frame, and it must
+                // never be smaller than the historical default of 256:
+                //   - rollback correction restores up to maxPredictionTicks frames back
+                //     (measured: depth 8 needs 10, depth 16 needs 18).
+                //   - snapshot donation serves the newest tick that EVERY human reporter has
+                //     reported, so the target lags this client by the SLOWEST reporter's round
+                //     trip plus up to one cadence. Latency is unbounded, so that margin
+                //     cannot be derived. The old default of 256 is a margin, not a
+                //     guarantee: it too fails past a lag threshold. It is kept because it
+                //     is the only bound we can state without measuring the peer's RTT.
+                //   - when checksumCadenceTicks + maxPredictionTicks exceeds 254, the
+                //     requirement is genuinely larger than the old default and the window grows.
+                // An explicitly supplied snapshotBufferSize is always honoured as given.
+                ...(options.snapshotBufferSize === undefined
+                    ? {
+                        snapshotBufferSize: Math.max(256, checksumCadenceTicks + maxPredictionTicks + 2),
+                    }
+                    : { snapshotBufferSize: options.snapshotBufferSize }),
                 ...checksumPolicy,
                 ...(options.maxCatchUpFrames === undefined ? {} : { maxCatchUpFrames: options.maxCatchUpFrames }),
             });

package/dist/sorted-free-id.d.ts

@@ -0,0 +1 @@
+export declare function insertSortedFreeId(list: number[], id: number): void;

package/dist/sorted-free-id.js

@@ -0,0 +1,38 @@
+/**
+ * Insert a freed id into a free list that is kept ascending at all times, so
+ * reuse can take the smallest id with `shift()`. The list never holds a
+ * duplicate: every free site frees a live id exactly once. Binary search plus a
+ * splice replaces the push-then-sort that re-ordered the whole list per free.
+ *
+ * A forged ref can reach a free site with a non-numeric id: `assertLiveEntity`
+ * accepts a ref whose `generation` is `undefined` when the id has no recorded
+ * generation. The pre-change code sorted such an id to the end of the list,
+ * because its comparator returns NaN for it, and a later valid id keeps that
+ * order. A NaN comparator has no specified result, so this helper cannot
+ * reproduce that placement with a binary search. Any list that has seen a
+ * forged id therefore keeps the exact pre-change push-then-sort path for good.
+ *
+ * See docs/syncplay-optimization-log.md for the measurements behind this and
+ * for the rules a change here must keep.
+ */
+const forgedFreeIdLists = new WeakSet();
+export function insertSortedFreeId(list, id) {
+    if (!Number.isInteger(id) || forgedFreeIdLists.has(list)) {
+        forgedFreeIdLists.add(list);
+        list.push(id);
+        list.sort((left, right) => left - right);
+        return;
+    }
+    let low = 0;
+    let high = list.length;
+    while (low < high) {
+        const middle = (low + high) >>> 1;
+        if (list[middle] < id) {
+            low = middle + 1;
+        }
+        else {
+            high = middle;
+        }
+    }
+    list.splice(low, 0, id);
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@series-inc/rundot-syncplay",
-  "version": "6.0.0-rc.49",
+  "version": "6.0.0-rc.51",
   "description": "Kinetix orchestration, rollback, replay, late-join, and deterministic networking for RUN.game",
   "repository": {
     "type": "git",
@@ -236,6 +236,7 @@
     "core/src",
     "core/world-kernel.d.ts",
     "dist",
+    "!dist/cross-engine",
     "extensions",
     "hub",
     "plugins",
@@ -256,6 +257,7 @@
     "MIGRATING-RC44-TO-RC45.md",
     "MIGRATING-RC47-TO-RC48.md",
     "MIGRATING-RC48-TO-RC49.md",
+    "MIGRATING-RC49-TO-RC51.md",
     "bench/wreck-yard-sleeping-contacts.json"
   ],
   "sideEffects": [
@@ -269,7 +271,7 @@
     "test:core": "node --expose-gc --import tsx --test --test-concurrency=1 tests/canonical.test.ts tests/canonical-portability.test.ts tests/runtime-session.test.ts tests/kinetix-runtime-session.test.ts tests/runtime-support.test.ts tests/runtime-guards.test.ts tests/r3f-render-adapter.test.ts tests/snapshot-cost.test.ts tests/sdkSession.test.ts tests/input-authority.test.ts tests/session-wire.test.ts tests/runtime-room-metadata.test.ts tests/session-snapshot.test.ts tests/authority-room.test.ts tests/networked-client-snapshot.test.ts tests/runner.test.ts tests/testing.test.ts tests/browser-session.test.ts tests/secret-config.test.ts tests/secret-protocol.test.ts tests/secret-authority.test.ts tests/secret-client.test.ts tests/secret-holder-release.test.ts tests/seat-control-parity.test.ts tests/seat-control.test.ts tests/seat-control-runtime.test.ts tests/late-join-checksum.test.ts tests/late-join-input-backfill.test.ts tests/replay-scoring.test.ts tests/bot-backfill.test.ts tests/latency-simulation.test.ts tests/production-input-budget.test.ts tests/time-sync.test.ts tests/match-log.test.ts tests/spectator.test.ts tests/synctest.test.ts tests/instant-replay.test.ts tests/session-promotion.test.ts tests/entrypoints.test.ts tests/physics-profile-bundle.test.ts tests/physics-profile-init.test.ts tests/export-surface.test.ts tests/module-seam.test.ts tests/module-contract-portability.test.ts tests/module-identity.test.ts tests/module-corpus.test.ts tests/component-model.test.ts tests/component-model-rollback.test.ts tests/component-model-integration.test.ts tests/actors-ai.test.ts tests/character-3d.test.ts tests/character-3d-certification.test.ts tests/combat-modules.test.ts tests/combat-modules-integration.test.ts tests/firearm.test.ts tests/gameplay-effects.test.ts tests/spatial-interaction.test.ts tests/stats-abilities.test.ts tests/inventory-equipment.test.ts tests/inventory-equipment-certification.test.ts tests/platformer-2d.test.ts tests/platformer-2d-certification.test.ts tests/module-promotion.test.ts tests/module-docs.test.ts tests/module-bundle-budget.test.ts tests/published-side-effects.test.ts tests/host-timing.test.ts tests/test-manifest.test.ts tests/coarse-region.test.ts tests/input-codec.test.ts tests/command-ingress.test.ts tests/session-reconfigure.test.ts tests/prediction-mode.test.ts tests/ephemeral-channel.test.ts tests/runner-surface.test.ts tests/runner-harness.test.ts tests/effects-adapter-bounds.test.ts tests/simulated-match-secrets.test.ts tests/run-glue-surface.test.mjs core/tests/core-boundary.test.mjs tests/math-core-parity.test.ts tests/math-profile.test.ts tests/movement3d-kcc-unit-contract.test.ts tests/movement3d-static-ground.test.ts tests/physical-assembly.test.ts tests/physical-assembly-determinism.test.ts tests/physical-assembly-certification.test.ts tests/physical-assembly-multiplayer.test.ts tests/state-digest.test.ts tests/large-blob-state.test.ts tests/math-installation-order.test.ts tests/networked-blob-state.test.ts tests/networked-checksum-burst.test.ts tests/networked-runtime-commit.test.ts tests/physics-helper-motion-reads.test.ts tests/physics-unit-conversions.test.ts tests/portal-physics.test.ts tests/physics-checkpoint-capacity.test.ts tests/runner-cleanup.test.ts tests/runtime-release-outcome.test.ts tests/session-checkpoint-budget.test.ts tests/session-owned-cleanup.test.ts tests/tool-owned-adapter.test.ts tests/tool-runtime-lifetime.test.ts tests/movement3d-revision1-baseline.test.ts tests/movement3d-revision1-corpus.test.ts tests/legacy-query-revision1-corpus.test.ts tests/physics-support-boundary.test.ts tests/kcc-corpus-encoding.test.ts tests/voxel-swept-quad-paint.test.ts tests/physics-support-artifact.test.ts tests/movement3d-revision1-binding.test.ts tests/physics-si-pulley-runtime.test.ts tests/vehicle-2d.test.ts tests/vehicle-2d-rollback.test.ts tests/vehicle-state3d.test.ts tests/vehicle-state3d-artifact.test.ts tests/partner-rc22-codecs-units.test.ts tests/vehicle-acceptance-matrix.test.ts tests/partner-tarball-closure.test.ts tests/physics-si-rope-gear-powertrain-runtime.test.ts tests/voxel-body-state.test.ts tests/voxel-carve-cell-sizes.test.ts tests/wreck-yard-d-features.test.ts tests/wreck-yard-regression.test.ts tests/wreck-yard-rc33-gaps.test.ts tests/query-index-parity.test.ts tests/query-index-maintenance.test.ts tests/query-index-churn.test.ts tests/query-index-drift.test.ts tests/query-index-rollback.test.ts tests/portal-render3d.test.ts tests/portal-view-budget.test.ts tests/portal-queries-inside.test.ts tests/portal-render-state.test.ts tests/portal-host-walls.test.ts tests/portal-queries.test.ts tests/portal-placement.test.ts tests/portal-proxies.test.ts tests/portal-a7.test.ts tests/portal-review.test.ts tests/portal-physics-gaps.test.ts tests/extraction.test.ts tests/plugin-lifecycle.test.ts tests/core-zero-io-boundary.test.ts tests/movement3d-revision3-standing.test.mjs tests/movement3d-revision3-recovery.test.mjs tests/coop-shaped-offline.test.ts tests/physics-debug-overlay.test.ts tests/collider-preparation.test.ts tests/navmesh-geometry-cooking.test.ts tests/presentation-ik.test.ts tests/lag-compensation-history.test.ts tests/js-hotpath-regression.test.ts tests/physics-materials-boundary.test.ts tests/physics-materials.test.ts",
     "test:sdk-contract": "node --import tsx --test tests/sdk-runtime-contract.test.ts",
     "test:soak": "tsx --test tests/runtime-soak.test.ts",
-    "test:extended": "node --expose-gc --import tsx --test --test-concurrency=1 tests/performance-primitives.test.ts tests/portal-straddler-mesh-cost.test.ts && tsx --test tests/animation.test.ts tests/asset-cooking.test.ts tests/backend-proof-checksum-vectors.test.ts tests/bot-documents.test.ts tests/bot-primitives.test.ts tests/collision.test.ts tests/command-timeline.test.ts tests/config-bundle.test.ts tests/deterministic-primitives.test.ts tests/ecs-lite.test.ts tests/effects-adapter.test.ts tests/engine-runtime.test.ts tests/errors.test.ts tests/events.test.ts tests/input-button.test.ts tests/load-128-players.test.ts tests/math.test.ts tests/movement.test.ts tests/movement3d.test.ts tests/multiclient-authority.test.ts tests/navigation.test.ts tests/noise.test.ts tests/physics3d-geometry-limits.test.ts tests/physics3d-shared.test.ts tests/physics3d-static-memoization.test.ts tests/random.test.ts tests/rollback-history.test.ts tests/schema-artifacts.test.ts tests/schema-codegen.test.ts tests/schema-dsl-binary.test.ts tests/schema.test.ts tests/signals.test.ts tests/sparse-set.test.ts tests/static-checker.test.ts tests/system-lifecycle.test.ts tests/wire-canonical-sentinels.test.ts tests/ws-frame.test.ts tests/wreck-yard-defects.test.ts tests/wreck-yard-performance-harness.test.ts tests/wreck-yard-partner-verification-rc15.test.ts tests/query-index-cost.test.ts tests/wreck-yard-vehicle-batch.test.ts tests/engine-runtime-free-list.test.ts",
+    "test:extended": "node --expose-gc --import tsx --test --test-concurrency=1 tests/performance-primitives.test.ts tests/js-hotpath-perf-guard.test.ts tests/portal-straddler-mesh-cost.test.ts && tsx --test tests/animation.test.ts tests/asset-cooking.test.ts tests/backend-proof-checksum-vectors.test.ts tests/bot-documents.test.ts tests/bot-primitives.test.ts tests/collision.test.ts tests/command-timeline.test.ts tests/config-bundle.test.ts tests/deterministic-primitives.test.ts tests/ecs-lite.test.ts tests/effects-adapter.test.ts tests/engine-runtime.test.ts tests/errors.test.ts tests/events.test.ts tests/input-button.test.ts tests/load-128-players.test.ts tests/math.test.ts tests/movement.test.ts tests/movement3d.test.ts tests/multiclient-authority.test.ts tests/navigation.test.ts tests/noise.test.ts tests/physics3d-geometry-limits.test.ts tests/physics3d-shared.test.ts tests/physics3d-static-memoization.test.ts tests/random.test.ts tests/rollback-history.test.ts tests/schema-artifacts.test.ts tests/schema-codegen.test.ts tests/schema-dsl-binary.test.ts tests/schema.test.ts tests/signals.test.ts tests/sparse-set.test.ts tests/static-checker.test.ts tests/system-lifecycle.test.ts tests/wire-canonical-sentinels.test.ts tests/ws-frame.test.ts tests/wreck-yard-defects.test.ts tests/wreck-yard-performance-harness.test.ts tests/wreck-yard-partner-verification-rc15.test.ts tests/query-index-cost.test.ts tests/wreck-yard-vehicle-batch.test.ts tests/engine-runtime-free-list.test.ts",
     "test:ci": "npm run build && npm run test",
     "build:native": "node core/scripts/build-native.mjs",
     "build:wasm-physics": "node core/scripts/build-wasm-physics.mjs",