TY  - RPRT
TI  - Type-Safe Is Not Error-Free: Typed Decision Models Follow the Option Name, Not the Definition Bound to It
AU  - Yu Sun
AU  - Junhao Xu
AU  - Jiajia Shi
AU  - Zijin Yang
PY  - 2026
UR  - https://arxiv.org/abs/2609.26758
ID  - 2609.26758
ER  -