End to end
This notebook demonstrates repro — see documentation.
- Seals a run and binds a manuscript claim to the output it produced.
- Declares what the manuscript says in
repro.yaml, and checks it. - Changes the number, and gets a mismatch — the artifact was read and disagreed.
- Changes the address, and gets
not_found— nothing was compared, so nothing disagreed. - Deletes a ledger entry, and watches
reanchorrefuse to record the damage.
Not possible in WebAssembly
Section titled “Not possible in WebAssembly”prereg freeze stamps a plan with the commit it was frozen at. Git is not available here, so
that one command needs a local install.