在失败前固定决策：AI 辅助代码生成中未明确选择的 executable records

论文提出 decision pin 机制，先枚举需求中未明确的点，再用两个仅在该点不同的临时实现执行确认分歧输入。40 个任务、两个模型上，92.5% 决策点获得分离输入，85-90% 识别出预期决策；703 个独立实现上 pin 与基准分类一致率 96-97%。210 次生成中 pin 在固定输入处全部被遵守，38 个 held-out 单元上不劣于 prose rule。