Pulse context: temporal-algebraic determinism tests.
Goal
- Prove worldline convergence: same seed + admitted inputs + rule-pack => same terminal commitment, and replay from the recorded boundary artifacts reproduces the same worldline.
Scope
- Add a proptest-driven harness that:
- runs an engine under a pinned seed to produce a sequence of tick patches (and/or receipts),
- replays those patches into a fresh engine,
- asserts per-step
patch_digest sequence matches and terminal state_root/commit_id match.
- On mismatch, emit a minimal repro tuple (seed, inputs, schedule parameters) for deterministic re-run.
Acceptance criteria
- Test suite runs in CI (non-ignored) and is stable across OSes.
- Clear failure output with a repro seed.
Pulse context: temporal-algebraic determinism tests.
Goal
Scope
patch_digestsequence matches and terminalstate_root/commit_idmatch.Acceptance criteria