Vinoo Ganesh 解释了 Kepler 如何优先保证事实可追溯：模型引用事实，确定性代码负责计算，无法核验的数字则被移除。