GARPedia
DAGR — visible independent verification

What did the verifier actually compute?

The public workbench replays the verification trace committed with this release. The trace was produced by the pinned verifier against the committed proof bytes. Use the supplied command below to reproduce the run locally. The committed trace retains verifier conclusions, hashes, layer results, transcript digest, revisions, and the stable reproduction command. Wall-clock timestamps, elapsed time, request IDs, and temporary workspace paths are operational metadata and are deliberately not retained in the hash-bound release artifact. Your browser hashes every fetched trace byte against the committed index before displaying anything below.

Mode: Committed release replay

Status

No scenario selected.

Scenario comparison
ScenarioStructural integrityStored/recomputed agreementAuthenticity
pristinenot yet runnot yet runnot yet run
single_claim_mutationnot yet runnot yet runnot yet run
coherent_rewritenot yet runnot yet runnot yet run
Reproduce it yourself

From a checkout of this repository, in tools/heppner_demo:

python3 -B web_bridge.py verify-trace --stage initial