从论文机制到推理工程

三个工程专题，包含推导、失败案例与可复现实验规范。