可预测代码生成需要保持契约

可预测性需要在生成之前声明可观察契约：什么可以变化，什么必须稳定，如何测量每个属性，以及何时拒绝输出。固定提示、随机种子、掩码、语法或潜在码都只是机制。 确定性生成是在固定条件下重复同一个输出。可预测生成则让预先声明的属性可测试，例如 API 签名不变、编辑只发生在指定区域、语法始终有效，或测试套件继续通过。 这一区别很重要，因为控制输入本身并没有定义其效果。锁定潜在位置、固定随机种子或约束语法可以提高可检查性，但解码之后仍必须测量真正要保护的属性。 适用边界： 可预测性取决于具体属性：系统可能在语法上可预测，却在行为上不可预测。 确定性解码也可能重复同一个错误或过度宽泛的编辑。 现有站内实验不能建立超出短函数测量范围的保证。