@misc{indiciae2a852f403f74,
  title = {Type-Safe Is Not Error-Free: Typed Decision Models Follow the Option Name, Not the Definition Bound to It},
  author = {Yu Sun and Junhao Xu and Jiajia Shi and Zijin Yang},
  year = {2026},
  url = {https://arxiv.org/abs/2609.26758},
  note = {Source identifier: 2609.26758}
}