把 Prompt 当超参数：拆解 DSPy 的抽象体系与 MIPROv2、OPRO 等优化器的搜索算法，附可跑的优化程序。

提示词不是玄学而是可测量变量：FormatSpread 的 76 点波动、指令模板不稳定性、贝叶斯机制解释、软提示与自动提示优化、注入攻击与工程规范。