Schwartz 的工具包将“联想”与“计算”两种能力解耦：模型负责提出假设与组织计算流程，精确性由底层可验证代码保证。