Snapshot / Restore Parity

Snapshot restore preserves the expected replay path in the reference scene.

DeterminismBuyer-critical

engine captureadaptive proof playback · event-aware · no synthetic interpolationpublic proof

adaptive proof artifact · public / event / debug

Snapshot restore preserves the expected replay path in the reference scene.

reference sceneproof lanesnapshot parity

What you are seeing

Scene

A forensic proof page centered on capture, restore, and resumed execution parity.

Why it matters

Show that a captured world state can be restored and resumed without diverging from the reference path.

Pass condition

Restored state should continue along the expected reference path within the declared scope.

Proof views

Use Public proof for the clean buyer-facing read, Event focus for adaptive slowdowns around the key moment, and Debug proof for contact cues, overlays, frame numbers, and proof-lane instrumentation.

Metrics strip

ref step timeproof lane

body countreference scene

constraint countreference scene

dtfixed step

iterationsproof config

proof statussnapshot parity

platformWindows / Linux / macOS lanes

benchmark notesee proof logs

Technical drawer

Command / source path

tools\run_determinism_proof.bat build

Systems exercised

snapshot serialization
state hashing
restore path
replay

Known limitations

Cross-platform bit-exact parity remains a separate validation topic.

Recommended context

High-priority scene for rollback and deterministic-simulation buyers.

Determinism status

same build: expected
cross-run: proof-script driven
cross-platform: not universally guaranteed
snapshot / restore: verified focus of the scene

Related proof

Same Seed Same Result

Same seed, same binary, same output path under deterministic mode.

View test

Rollback / Re-sim Demo

Rollback support is tied to replay, snapshots, and deterministic state reconstruction.

View test

Box Stack Stability

Stable stack under repeated runs with consistent contact resolution.

View test