Skip to published state

independent replay / formal-conjectures

exact checkout

Reproduce Kernel-verified Lean theorems (prover-in-the-loop)

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/formal-conjectures-frontier.git
cd formal-conjectures-frontier
git checkout 2705e4db4ffb9987c53388c8a89c1450c63afdf8
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/formal-conjectures-frontier.git
Commit
2705e4db4ffb9987c53388c8a89c1450c63afdf8
Tree
a24f2c67b52a5b3c9163438243b95351bbc8e296
Published
2026-07-19T05:13:20Z
Exact source and rootsGit 2705e4db4ffb and content-addressed ledgers

Source identity

Commit
2705e4db4ffb9987c53388c8a89c1450c63afdf8
Tree
a24f2c67b52a5b3c9163438243b95351bbc8e296
Committed
2026-07-19T05:13:20Z
Repository
Open source

Content roots

Event log
sha256:c4a00883ab7468dcce59c368b81fd09e45366b21af8e34979d7a639d73a8d32c
Snapshot
sha256:45fa712bd6d9a8d4c8514a7cba107e7f814f2c1368805abd577e762ccb6123a4
Proposals
sha256:ba47ddf5c16ed567ddf835385066e3fc294b447bc0eabd3f9820f5e707efb39e
Actor registry
sha256:f52d59b1db885f467c66a29335ada68544a09da5f3869723461100eed0aac79e
Artifacts
sha256:fbd7e05b185cd06bc06484e8b0216c17c5263a71d8481ca38e574e9b2c5156d8

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