docs: clarify audit research freeze contracts and Bayesian approximation

[Pigbibi]

原审计报告的 B1/B2、CVaR 暴露约束和 B4 贝叶斯建议缺少可执行前置决定，容易把描述性统计、现有回放原语或数学近似误当作已冻结策略。本 PR 记录三条研究合同的边界、必须冻结的决定和未来验收条件，保留所有未提供数据、预算、模型及审批事项为 UNSPECIFIED。

B4 补充全方差与有限周期二阶 Taylor 的适用条件，保留报告原推荐式；B1/B2 区分三条现有回放路径；CVaR 区分收益尾部统计与暴露约束的成立条件。仅修改三份研究文档，无模型实现、候选扫描、参数选择、生产配置或交易动作。

验证：独立审查无未解决问题；原 B4 的 110 行与其他 423 个跟踪文件保留；17 个相对链接存在；CONTRIBUTING 的 unittest 246 项通过，pip check 通过。工程测试不代表后验模型或研究有效性已验收。

关联 QuantRuntimeSettings#632、UsEquityStrategies#588、QuantPlatformKit#659；这些 issue 仍保留实际数据、holdout、完整试验日志及独立审批缺口。