Skip to published state

independent replay / erdos

exact checkout

Reproduce Erdős formalization fidelity

Replay the pinned Git state and compare its exact published roots.

  1. 01CloneObtain the published repository.
  2. 02PinCheckout the exact Git commit.
  3. 03ReplayReduce canonical events locally.
  4. 04CompareMatch the published roots and signals.

Pinned commands

Vela vela.status.v1
shell
git clone https://github.com/vela-science/erdos-frontier.git
cd erdos-frontier
git checkout ce8ba7d934c848408e0d91caca39e938698e3fc7
vela reproduce .
What success proves
  • The pinned Git tree is available.
  • Canonical events reduce to the published state.
  • Reported replay differences match this snapshot.
What success does not prove
  • That every strict signal is resolved.
  • That verifier output is scientifically accepted.
  • That this published commit is the freshest possible state.
Source checkout
The exact Git identity used by these commands.
Remote
https://github.com/vela-science/erdos-frontier.git
Commit
ce8ba7d934c848408e0d91caca39e938698e3fc7
Tree
03f7371b496485f761f91961027fd48198dc7e93
Published
2026-07-20T19:20:20-04:00
Exact source and rootsGit ce8ba7d934c8 and content-addressed ledgers

Source identity

Commit
ce8ba7d934c848408e0d91caca39e938698e3fc7
Tree
03f7371b496485f761f91961027fd48198dc7e93
Committed
2026-07-20T19:20:20-04:00
Repository
Open source

Content roots

Event log
sha256:a06797bc0d1b0e3c88a2f97507fe0832661e3992d8df41187a0aa6d3ceee9bde
Snapshot
sha256:1faedc24f040a60a22177b456c74b969a61ce8836082297b1835797a57b4fa56
Proposals
sha256:e69b38037814f2e8ca826942cfc50ab370993889be2913cac1c0b3e77711160f
Actor registry
sha256:665f3e1c48f0a50fac949681c0af01bdd28de2991f2cdc5cc4cddbe69df6311b
Artifacts
sha256:3d58619c5cfb7e28de2f344476e35c9f0b80709c996b2a1bfdb2e11496f7e1da

A root mismatch is a failed reproduction. Do not repair or reinterpret it in this public reader.