Same Seed Same Result
Same seed, same binary, same output path under deterministic mode.
DeterminismBuyer-critical
DeterminismBuyer-critical
engine captureadaptive proof playback · event-aware · no synthetic interpolationpublic proof
Same Seed Same Result
same input, same output
reference configproof lanematch
What you are seeing
Scene
A small repeated-run proof with the lowest possible explanation burden.
Why it matters
Make the determinism story visible in the simplest possible repeated-run example.
Pass condition
Repeated runs should emit matching hashes in the configured proof lane.
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 config
constraint countreference config
dtfixed step
iterationsproof config
proof statusmatch
platformsame machine class
benchmark notesee proof log
Technical drawer
Command / source path
python scripts/run_buyer_determinism_proof.py
Systems exercised
- deterministic stepping
- hash extraction
- proof automation
Known limitations
- This is the strongest current guarantee; broader parity claims are separate.
Recommended context
Use for the very first determinism conversation with a technical reviewer.
Determinism status
- same build: guarantee focus
- cross-run: hash-matched proof target
- cross-platform: not implied
- snapshot / restore: covered by separate scenes