Saddle 发布：把非确定性本地 LLM 变成可靠编码工具的确定性执行框架

Eliza Halpern 发布 Saddle，一个确定性执行框架，通过约束 DAG 规划、并行 proof-gated worker 和机器校验门控，把非确定性的本地 LLM 变成可靠的编码工具。