TY  - RPRT
TI  - RosettaBitcoin: An Artifact-Backed Experience Report on Verification Infrastructure for Agent-Assisted Consensus Validators
AU  - Donavon Guyot
PY  - 2026
UR  - https://arxiv.org/abs/2609.01702
ID  - 2609.01702
ER  -