סוגי-בטיחות אינו חופשי משגיאות: דגמי החלטה מסוגי-מוגדרים עוקבים אחר שם האפשרות, ולא אחר ההגדרה שנקשרה לו

תקציר מקורי באנגליתarXiv:2609.26758v3 Announce Type: replace Abstract: Typed decision models return structured results, but output-type correctness alone does not ensure that decisions follow explicit option definitions. Each option pairs a name with a definition that defines its intended meaning; the name, however, can provide a competing semantic cue. We study this conflict in Jev and two open-weight models by changing only the name-definition mapping, leaving the question, state, and the names and definition texts themselves unchanged. We measure decision flips at the level of the selected definition, rather than the returned name. On 1200 decision tasks with task-specific definitions, decision-flip rates are up to 70.4 pp higher with yes/no names than with the 0/1 control. This gap holds across all 4 bin