@misc{stephens2026vqsystemdesignconnectingquantumprogramsproofsandresourcereports,
  title={VQ System Design: Connecting Quantum Programs, Proofs, and Resource Reports},
  author={Jamie Stephens},
  year={2026},
  eprint={2608.00030},
  archivePrefix={marXiv},
  primaryClass={cs.PL}
}