@misc{indiciae13fb6117e29c,
  title = {HoldSpec: A Machine-Checked Model and Conformance Suite for the Payment Authorization Hold Lifecycle},
  author = {Abhishek Sharma},
  year = {2026},
  url = {https://arxiv.org/abs/2610.14419},
  note = {Source identifier: 2610.14419}
}