@misc{indiciae43cab8b32e86,
  title = {Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus},
  author = {Toby Sharp},
  year = {2025},
  url = {https://arxiv.org/abs/2509.15754},
  note = {Source identifier: 2509.15754}
}