RBRosettaBitcoin

03 / Experience report

RosettaBitcoin: An Artifact-Backed Experience Report on Verification Infrastructure for Agent-Assisted Consensus Validators

A snapshot-bounded study of how failures, fixtures, port-owned proofs, validators, and Project reports made agent-assisted consensus work auditable.

arXiv · 2609.01702 · cs.SE · v1 · 1 September 2026View authoritative record ↗

Immutable study boundary · 17 June 2026

What the report establishes

At the archived boundary, all twelve ports had port-owned 45/45 corpus proofs and strict 5k baselines. Nine had canonical clean 50k, 100k, and post-100k lanes. One short Java maintenance artifact was recorded. No port had an empty-state-to-tip proof or passed the binary full-node gate.

The case is observational. Its non-equivalent artifact intervals cannot establish effort, productivity, causality, model dominance, or autonomous full-node development.

Citation

Guyot, Donavon. “RosettaBitcoin: An Artifact-Backed Experience Report on Verification Infrastructure for Agent-Assisted Consensus Validators.” arXiv:2609.01702 [cs.SE], 2026.

Read on arXiv ↗Download local PDF ↓Open directly ↗
Open the PDF directly ↗

Artifact availability

Authoritative software snapshot

RosettaBitcoin v1.0.0

10.5281/zenodo.20738249

The immutable June 17 study object: software, fixtures, Project database, curated evidence, and validators.

Open snapshot ↗
Separate diagnostic supplement

Pure-Mojo diagnostics

10.5281/zenodo.22114337

Hash-preserved, noncanonical and noncomparable evidence. It does not amend the archived Project epoch.

Open supplement ↗
Traceability

Claim–evidence matrix

Docs/paper/claim_evidence_matrix.md

Maps every numerical and status claim to its query, artifact, timestamp, limitations, and reproduction status.

Inspect matrix ↗

Verify the archived evidence

python3 Project/scripts/report.py --db Project/project.db --section port-status
python3 Project/scripts/report.py --db Project/project.db --section benchmark-suite
python3 Project/scripts/report.py --db Project/project.db --section consensus-runway
python3 Project/scripts/preflight_port_baseline.py --db Project/project.db --all --strict
python3 Project/scripts/preflight_consensus_runway.py --db Project/project.db --all --stage corpus --strict
python3 Docs/paper/supplement/verify.py
bash Docs/paper/build.sh

These commands query or verify archived evidence. They do not regenerate the diagnostic runs.