概率怎样变成机器｜TapeOut x Jev 系列研究 ver 2.
本文探讨如何将概率决策转化为可验证的硬件电路。核心论点：当决策面可被完整枚举为有限输入输出时，应优先将函数表直接综合成逻辑电路，而非先训练学生模型。文章区分了真值表综合与 DiffLogic/LGN 近似蒸馏两条路线，分析了离散化落差、argmax 造成的概率语义损失、概率 codebook 设计，以及从硬门网络到 NAND 网表的完整编译链（Canonical Boolean IR、Yosys、ABC 等价验证）。通过 LoomEscape-16 案例展示了精确综合的纪律性优势，并指出五种失败条件：输入映射、教师保真、概率校准、实现等价与状态语义。
