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

package/MIGRATING-RC47-TO-RC48.md

@@ -0,0 +1,22 @@
+# Syncplay rc.48
+
+This release contains verified performance optimizations for the lag-compensation history and the engine free lists. No public API, wire format, or checksum changes.
+
+## Lag-Compensation History Record
+
+- `createDeterministicLagCompensation3DHistory.recordTargets` merges the normalized batch into the retained window and trims the front, instead of rebuilding and re-sorting the whole window on every record.
+- Measured 54.8x faster on a 128-target / 128-frame window. The win grows with the retained window size.
+- Observable behavior is unchanged: window content, `checksum()`, `snapshot()`, `rewind()`, `validateShot()`, `restore()`, and every error message and throw point are identical.
+
+## Engine Free-List Insert
+
+- The four free lists (slot map, entity ids in both runtimes, frame-heap handles) insert a freed id by binary search instead of push-then-sort.
+- Measured 7.7x faster at 16 free ids and 81.1x faster at 5000.
+- Reuse order stays smallest-id-first, and snapshot free lists stay ascending.
+- A forged ref with a non-numeric id keeps the exact pre-change push-then-sort path, because a NaN comparator has no specified placement.
+
+## Verification
+
+- A frozen checksum record (`tests/golden/js-hotpath-regression.json`) was captured from the pre-change implementation and reproduces byte for byte.
+- Differential tests compare against frozen pre-change oracles on random operation sequences.
+- Mutation checks inject 8 defects into the changed functions and require every test lane to reject them with failing assertions.

package/MIGRATING-RC48-TO-RC49.md

@@ -0,0 +1,11 @@
+# Syncplay rc.49
+
+This release adds first-class contact materials and contact pair overrides to 3D physics:
+
+## First-Class Contact Materials
+- Define material dictionaries with explicit friction, restitution, and rolling resistance.
+- Define pair contact rules with priority and combine overrides.
+- Provide zero-allocation solver input view during contact solve steps.
+- Support moving conveyor surfaces with frame-relative velocity inheritance and portal crossing support.
+- Sensor and trigger contacts evaluate winning pair rules while keeping collision response disabled.
+- Checkpoint wire format version advances to 17 to serialize custom materials and rules.

package/core/native/physics/checkpoint_schema.hpp

@@ -7,7 +7,7 @@
 
 namespace rundot::kinetix::physics {
 
-inline constexpr std::uint32_t kWorldStrongDigestAlgorithmRevision = 1;
+inline constexpr std::uint32_t kWorldStrongDigestAlgorithmRevision = 2;
 inline constexpr char kStrongCheckpointDomain[] = "kinetix.world-checkpoint/1";
 inline constexpr char kStrongRecordDomain[] = "kinetix.geometry-record/1";
 inline constexpr char kStrongRootDomain[] = "kinetix.geometry-root/1";
@@ -43,7 +43,9 @@ static_assert(sizeof(kStrongTileDomain) - 1 == 19);
   X(JointBreaks) \
   X(FluidInteractions) \
   X(DefinitionSignatures) \
-  X(Pose)
+  X(Pose) \
+  X(BodyMaterials) \
+  X(BodyMaterialFrames)
 
 enum class CheckpointField : std::uint8_t {
 #define RUNDOT_CHECKPOINT_FIELD_ENUM(name) name,
@@ -67,6 +69,8 @@ enum class StrongSection : std::uint32_t {
   JointBreaks = 12,
   FluidInteractions = 13,
   DefinitionSignatures = 14,
+  BodyMaterials = 15,
+  BodyMaterialFrames = 16,
 };
 
 // FNV revision 2 order. Supports stays in the list. The visitor omits an empty channel.
@@ -91,6 +95,8 @@ inline constexpr CheckpointField kFnvFieldOrder[] = {
   CheckpointField::JointWarm,
   CheckpointField::DefinitionSignatures,
   CheckpointField::Pose,
+  CheckpointField::BodyMaterials,
+  CheckpointField::BodyMaterialFrames,
 };
 
 // Strong order. Warm state is before the output records.
@@ -117,6 +123,8 @@ inline constexpr CheckpointField kStrongFieldOrder[] = {
   CheckpointField::FluidInteractions,
   CheckpointField::DefinitionSignatures,
   CheckpointField::Pose,
+  CheckpointField::BodyMaterials,
+  CheckpointField::BodyMaterialFrames,
 };
 
 consteval bool checkpointOrderHas(const CheckpointField* order, std::size_t count, CheckpointField field) {
@@ -162,9 +170,19 @@ inline void checkpointRecordSchemaGuard(const WorldSupportForce& value) noexcept
   [[maybe_unused]] const auto& [body, support, force, bodyLocalPoint,
     supportLocalPoint, supportReceivesReaction] = value;
 }
+inline void checkpointRecordSchemaGuard(const WorldContactMaterialSnapshot& value) noexcept {
+  [[maybe_unused]] const auto& [kind, materialId, friction, restitution,
+    rollingResistance, frictionCombine, restitutionCombine, rollingResistanceCombine] = value;
+}
+inline void checkpointRecordSchemaGuard(const WorldContactMaterialResult& value) noexcept {
+  [[maybe_unused]] const auto& [materialA, materialB, friction, restitution,
+    rollingResistance, relativeSurfaceVelocity, matchedRuleIndex, ruleMatched,
+    ruleEnabled, responseEnabled, suppressionReason, resolvedRestitution,
+    effectiveRestitution, normalTarget, closingSpeed] = value;
+}
 inline void checkpointRecordSchemaGuard(const WorldContactEvent& value) noexcept {
   [[maybe_unused]] const auto& [type, bodyA, bodyB, trigger, sensor, normalImpulse,
-    tangentImpulse1, tangentImpulse2, point, normal, penetration, closingSpeed] = value;
+    tangentImpulse1, tangentImpulse2, point, normal, penetration, closingSpeed, material] = value;
 }
 inline void checkpointRecordSchemaGuard(const WorldJointReaction& value) noexcept {
   [[maybe_unused]] const auto& [joint, bodyA, bodyB, force, torque] = value;
@@ -181,7 +199,7 @@ inline void checkpointRecordSchemaGuard(const WorldTickSupports& value) noexcept
 }
 inline void checkpointRecordSchemaGuard(const WorldStatePayload& value) noexcept {
   [[maybe_unused]] const auto& [joints, geometry, contactCache, forces, tickForces,
-    tickSupports, fluids, jointWarmState, topology, frame, surfaceVelocities,
+    tickSupports, fluids, jointWarmState, topology, bodyMaterials, bodyMaterialFrames, frame, surfaceVelocities,
     contactEvents, jointReactions, jointBreakEvents, fluidInteractions, pose] = value;
 }
 inline void checkpointRecordSchemaGuard(const WorldOwnerToken& value) noexcept {
@@ -251,6 +269,10 @@ inline void checkpointDataSchemaGuard(const CheckpointData& data) noexcept {
     fluidsCount,
     surfaceVelocitiesOffset,
     surfaceVelocitiesCount,
+    bodyMaterialsOffset,
+    bodyMaterialsCount,
+    bodyMaterialFramesOffset,
+    bodyMaterialFramesCount,
     jointWarmStateOffset,
     jointWarmStateCount,
     contactEventsOffset,
@@ -304,6 +326,10 @@ inline void checkpointDataSchemaGuard(const CheckpointData& data) noexcept {
   static_cast<void>(fluidsCount);
   static_cast<void>(surfaceVelocitiesOffset);
   static_cast<void>(surfaceVelocitiesCount);
+  static_cast<void>(bodyMaterialsOffset);
+  static_cast<void>(bodyMaterialsCount);
+  static_cast<void>(bodyMaterialFramesOffset);
+  static_cast<void>(bodyMaterialFramesCount);
   static_cast<void>(jointWarmStateOffset);
   static_cast<void>(jointWarmStateCount);
   static_cast<void>(contactEventsOffset);
@@ -365,7 +391,9 @@ static_assert(offsetof(WorldLimits, maxGeometryValues) == 16);
 static_assert(offsetof(WorldLimits, maxSupportRecords) == 40);
 static_assert(sizeof(WorldSupportSpring) == 120);
 static_assert(sizeof(WorldSupportForce) == 96);
-static_assert(sizeof(WorldContactEvent) == 120);
+static_assert(sizeof(WorldContactMaterialSnapshot) == 48);
+static_assert(sizeof(WorldContactMaterialResult) == 184);
+static_assert(sizeof(WorldContactEvent) == 304);
 static_assert(sizeof(WorldJointReaction) == 72);
 static_assert(sizeof(WorldJointBreakEvent) == 16);
 static_assert(sizeof(WorldFluidInteraction) == 128);