TY  - RPRT
TI  - HoldSpec: A Machine-Checked Model and Conformance Suite for the Payment Authorization Hold Lifecycle
AU  - Abhishek Sharma
PY  - 2026
UR  - https://arxiv.org/abs/2610.14419
ID  - 2610.14419
ER  -