diff --git a/docs/research/b1_b2_freeze_decision_contract.zh-CN.md b/docs/research/b1_b2_freeze_decision_contract.zh-CN.md
new file mode 100644
index 00000000..6ad1f807
--- /dev/null
+++ b/docs/research/b1_b2_freeze_decision_contract.zh-CN.md
@@ -0,0 +1,80 @@
+# B1/B2 冻结决策合同草案
+
+状态：**DRAFT / NOT_FROZEN / DEVELOPMENT_ONLY**。本文件把已有提案变成可逐项评审的决策单；没有选择新参数、批准试验、取得私有数据、写入台账或改变实盘风险门。追踪 [QRS #632](https://github.com/QuantStrategyLab/QuantRuntimeSettings/issues/632)、[QPK #659](https://github.com/QuantStrategyLab/QuantPlatformKit/issues/659) 和 [UES #588](https://github.com/QuantStrategyLab/UsEquityStrategies/issues/588)。B4另见[独立草案](bayesian_kelly_preregistration_proposal.zh-CN.md)，尾部约束另见[CVaR决策合同](cvar_exposure_constraint_decision_contract.zh-CN.md)；B5不进入本批。
+
+## 原文与已有工程的边界
+
+原《Quant 系统复利数学与工程审计报告》12页现已取得，SHA256 `f60ce29f267722245cf62e308883e11b001f38efc3ee2de9d6c861806acb1bfb`。p4提出连续drawdown/cushion，p5要求HAR-RV与EWMA对照，p9–10明确A2/A3先于B1/B2、预注册冻结后才计算；p6/p10要求新研究计入累计试验、预算只能降低或封顶、Kelly倍数不超过0.5。报告中的示意收益、旧48次声明和当时UNKNOWN的GitHub状态不是本次输入证明。
+
+读取基线UES `0e66469c95a72c6248eae3ea474223d9ff6e1df5`、QPK `b23511cbb28b72743e35512ef4b3c73f1cd43c23`。A2/A3/B3原语与UEs#590默认关闭的历史CLI消费已合并并通过最终PR/main CI；它证明工程合同，不表示B1/B2已执行、实际收费完整或策略具备优势。[QPK原B1/B2提案](https://github.com/QuantStrategyLab/QuantPlatformKit/blob/b23511cbb28b72743e35512ef4b3c73f1cd43c23/docs/b1_b2_preregistration_proposal.zh-CN.md)的未冻结参数继续保留。
+
+现项目次序是测量适用性与冻结事实齐备 → **B1/B2可靠对照 → B4独立研究 → E1**。原PDF把B4称第二波，未写出这条完整额外依赖；这里记录后续批准的执行安排。C2/候选启用和真实数据运行仍有独立准入，本草案不授予。
+
+## 先选择实际路径
+
+以下是已存在的输入/调用合同，不是本次获批候选列表。必须在决策D01/D02选定一条作用域及准确版本，不能将三个路径合并成“已支持全实盘”。
+
+|已有路径|可复用输入与行为|实施B1/B2前要绑定的适用性|
+|---|---|---|
+|[RS-04 core生成器](../../src/us_equity_strategies/research/kelly_core_return_generator.py)：`generate_soxl_core_path` / `generate_tqqq_core_path`、`CorePath`|有序sessions、gross returns、turnover、逐资产returns/weights；raw bars加公司行动；`no_plugin_core`|是多资产核心路径，非完整插件/live parity；现`_replay`的close turnover延后记到下期，不能直接声称已采用A2的at-fill净成本。需同路径时点/末次成交/现金与公司行动适配证明，旧RS结果不回写|
+|[A2 `replay_targets`](../../src/us_equity_strategies/research/execution_model_adapter.py)|调用方冻结的完成收盘目标、单证券、零收益现金、合成或一致复权open/close；同sessions的gross/net及真实fill turnover|不生成信号；不支持raw公司行动、BOXX现金、多证券漂移或完整插件。费用为独立NAV overlay、不反馈gross目标权重，不能当自融资净仓位模型|
+|[Batch A历史报告CLI](../../scripts/run_c3_batch_a_existing_member_baseline.py)、[v2合同](batch_a_v2_contracts.zh-CN.md)|已有typed SMA200控制成员、来源重绑定、净ledger及#590可选十二项report-only诊断|不是RS-04完整核心路径；`ASSUMED_ZERO_USD_CASH`、来源已见development，许可/PIT/OOS未独立成立。同路径gross/完整trial缺失时cost drag/DSR明确不可计算|
+
+旧[RS-04冻结预注册](fractional_kelly_preregistration.zh-CN.md)的252/63/5、5/10/15bps、`next_close`、BOXX、变体许可与历史manifest只提供对照来源，不转授给新B1/B2。不得根据旧默认或报告例子代填新scope的cap、数据或窗口。
+
+## 决策记录与状态
+
+每项冻结记录包含：具体决定、作用域、版本、来源材料及实际内容摘要、责任人/独立reviewer和批准范围、依赖、有效期/停止职责。当前具体值未填，统一`UNSPECIFIED / NOT_FROZEN`；外部证明另标`NOT_ATTESTED`。不存在的内容不填hash，private值保留于受保护位置，公开仅记不敏感的字段/状态/摘要。填表、代码合并或CI成功均不自动变为FROZEN。
+
+|ID|待决定及必须绑定的内容|当前状态|
+|---|---|---|
+|D01|strategy key/profile/variant、单策略或组合scope、core-only与完整插件的精确边界、原始配置与作用域risk/cash cap来源|UNSPECIFIED / NOT_ATTESTED|
+|D02|上述实际consumer/生成器及immutable源码、runner、lock/已安装依赖；输入/输出适用性和A2接入差分|UNSPECIFIED|
+|D03|B1完整候选ID及角色：固定50%、quarter/half Kelly、EWMA、HAR、vol-target+Kelly cap哪些独立行；每行参数和拒绝条件|UNSPECIFIED|
+|D04|B2固定基础sizing与独立对照：原阶梯、连续drawdown、normalized cushion哪些行；禁止默认B1×B2笛卡尔积|UNSPECIFIED|
+|D05|同频净收益/超额收益、现金/FX、日历/年化、初始NAV与完整测试sessions；资产基准及不匹配/丢弃数处理|UNSPECIFIED|
+|D06|target-vol单位/预测期、EWMA零均值或其他形式、decay、初值、warmup、决策更新时点与缺值规则|UNSPECIFIED|
+|D07|HAR真正intraday RV来源/许可、采样/时区/时段/清洗/可用时点、日周月窗口、拟合/重拟合/warmup与失败规则|NOT_ATTESTED；缺合同PARKED|
+|D08|B2原scope `D_max`、阶梯阈值/边界与硬gate来源；净NAV峰值延续、资金流调整、成本反馈、重启/恢复/停放规则|UNSPECIFIED / NOT_ATTESTED|
+|D09|信号可用时点、`next_close`/`next_open`的主/敏感性角色、公司行动/终端未成交/末次fill及实际费时点|UNSPECIFIED|
+|D10|commission/spread/slippage/融资、内部与外层成本/现金归属；成本档位属报告情景还是选择trial，不重复扣费|UNSPECIFIED|
+|D11|真实source/license/PIT/coverage、raw/split/total-return价口径、公司行动与现金可用时点、实际manifest身份|NOT_ATTESTED|
+|D12|train/test/purge/embargo、warmup与尾部未覆盖、untouched holdout边界/实际摘要/隔离管理员和未查看事实|UNSPECIFIED / NOT_ATTESTED|
+|D13|净log增长主终点及paired difference；各指标report/ranking/veto角色、效应/统计阈值、bootstrap/PBO/PSR/DSR/MinTRL假设与停止规则|UNSPECIFIED|
+|D14|CVaR描述与约束分离：tail-budget来源/单位/窗口、成本现金齐次条件、缺覆盖/不可计算规则及B1消费位置|UNSPECIFIED / NOT_ATTESTED|
+|D15|每个候选/模型/参数/成本角色/敏感性/重复的trial单位；失败/拒绝/中断记录、全累计journal及同频net Sharpe方差/无Sharpe处理|UNSPECIFIED / NOT_ATTESTED|
+|D16|研究owner/reviewer真实独立绑定、预注册批准和真实数据运行批准、有效期/输出位置/停止与复审权限|NOT_ATTESTED|
+
+## 比较形式的DRAFT，不能直接运行
+
+B1可复用原提案的零均值EWMA形式 `v_next=lambda*v_current+(1-lambda)*r_t²`，但D06未填前不选lambda/初值/warmup。HAR只在D07真实RV合同齐备后登记；只有日线就PARKED，不把平方close return改称RV，也不静默切换预测器。
+
+B1的vol-target与Kelly组合如被选择，须显式成为D03中的一行，按相同预测期计算 `min(existing_cap,clip(target_vol/forecast_vol,0,1),clip(c*f_star,0,1))`。`c`最多0.5且只消费一次；0.5是Kelly倍数上限，不是所有策略共同50%资金暴露。固定50%对照也受同一作用域硬cap，不因名为baseline而豁免；候选不能提高既有预算。
+
+B2形式沿原提案：净财富`W>0`、包含初始NAV的峰值`M>=W`，`d=1-W/M`、`alpha=1-D_max`；连续drawdown `clip(1-d/D_max,0,1)`与normalized cushion `clip((W-alpha*M)/(D_max*W),0,1)`分别作为待选行。`D_max`必须来自原scope、不能更宽。资金流存在时须先定净投资指数/峰值的具体解释，不能直接混用美元W和资金流调整指数；成本后峰值/决策截止规则冻结后才算。不因亏损重置M，跳空/离散费用可突破floor，不宣称硬回撤保证。
+
+所有候选先受原hard gate、cash reserve、产品上限、breaker和veto约束，未来输出仅`DEVELOPMENT_ONLY/live_ready=False/no_order=True/budget_effect=NONE`的封顶/降低备注。CVaR缺预算/尾部或预测异常不意味着解除既有约束；具体现金处置/恢复需D06/D08/D14明定，否则研究停放。
+
+## 冻结前的三组真实事实
+
+1. **Scope与来源/限额包**：D01/D02/D05/D07/D09–D11/D14的具体candidate、实际输入/许可/PIT、风险/现金/尾部预算及适用runner来源。报告示例和旧数据许可不替代。
+2. **Holdout包**：D12真实边界/内容摘要、隔离管理员/未查看证明及对数据修订/重新冻结的处置。旧已见development不能迁移成未见OOS。
+3. **Journal与责任包**：D15/D16含全部失败等状态的真实累计journal、独立完整性审查、同频Sharpe口径及真实owner/reviewer批准。旧七行48声明不是已核验全集，缺Sharpe不补0。
+
+参数决策也必须填入，三个事实包不自动选择它们。只要求该候选真正用到的指标/数据；逐笔统计、容量等不机械加为共同前置。三包齐备与记录可追溯后，独立review核对批准范围与内容，绑定真实版本再标FROZEN；新增研究或修订登记新身份，不改旧台账行。
+
+## 未来合成验收与停止
+
+以下是**尚未执行**的验收设计；具体fixture/seed、容差、模型及收集命令由冻结后的实现PR绑定，不填一个未经批准的默认seed。
+
+|验收|应证明的合同|
+|---|---|
+|因果预测|未来bar/RV/迟到公司行动扰动不改变此前预测、权重及净收益；观测/可用/信号/fill时点分开|
+|波动与缺失|手算递推、单位/频率相同、warmup/零负或非有限预测处理；失败不自动换HAR/EWMA、不产生无限暴露|
+|回撤状态|两连续函数边界/单调性、原阶梯精确边界、资金流不消除投资亏损、checkpoint恢复/重复事件及峰值延续|
+|成交与净成本|同输入三时点显式差分；entry/exit/末次close费用、无下期fill、现金/公司行动、成本反馈和同路径gross/net对账|
+|原cap优先|fractional只一次且≤0.5；固定50%亦被原cap裁切；breaker/veto不被连续缩放或CVaR缺值覆盖|
+|测量|同sessions含零观察与初始NAV、B3 raw-net ddof1与legacy年化字段分开；缺gross/完整trials则null；周期诊断不当逐笔成绩|
+|试验完整性|预注册先于计算；每个attempt先登记，失败/拒绝/中断保留；不只挑成功结果进入累计统计或删覆盖失败行|
+
+身份漂移、未批准输入、未来泄漏、数量/成本/峰值对账失败、原cap被放宽、冻结范围外候选或缺trial记录均停止研究并保留证据。停止只隔离研究产物，不解除生产breaker、不改pin/预算/候选。实现和研究成功仍需E1独立运营/统计双轴验收，文档/工程CI不是edge或部署批准。
diff --git a/docs/research/bayesian_kelly_preregistration_proposal.zh-CN.md b/docs/research/bayesian_kelly_preregistration_proposal.zh-CN.md
index b6fba110..1c929e6f 100644
--- a/docs/research/bayesian_kelly_preregistration_proposal.zh-CN.md
+++ b/docs/research/bayesian_kelly_preregistration_proposal.zh-CN.md
@@ -11,6 +11,82 @@
 - 跨库依据为 QPK `f8d8b4045276ce9e0c491eefd8506c544c19575b` 的 [B1/B2 草案](https://github.com/QuantStrategyLab/QuantPlatformKit/blob/f8d8b4045276ce9e0c491eefd8506c544c19575b/docs/b1_b2_preregistration_proposal.zh-CN.md)、[A2 成交与成本](https://github.com/QuantStrategyLab/QuantPlatformKit/blob/f8d8b4045276ce9e0c491eefd8506c544c19575b/docs/research_execution_models_v1.zh-CN.md)、[A3 指标语义](https://github.com/QuantStrategyLab/QuantPlatformKit/blob/f8d8b4045276ce9e0c491eefd8506c544c19575b/docs/window_metrics_semantics.zh-CN.md)、[B3 净收益报告](https://github.com/QuantStrategyLab/QuantPlatformKit/blob/f8d8b4045276ce9e0c491eefd8506c544c19575b/docs/unified_net_report.zh-CN.md)和 [Kelly 单位合同](https://github.com/QuantStrategyLab/QuantPlatformKit/blob/f8d8b4045276ce9e0c491eefd8506c544c19575b/docs/kelly_contract_v2.zh-CN.md)。这些版本提供测量依据，不自动成为 B4 运行依赖。
 - 原 B1/B2 文档不包含 B4 的范围约束保持原文；B4 由本独立任务准备。这里不修改旧批准、参数、账本、生产 pin、配置、候选状态或 B5，也不做自动候选扫描。
 
+### 原报告已取得与当前工程接续
+
+原《Quant 系统复利数学与工程审计报告》12页现已取得，SHA256 `f60ce29f267722245cf62e308883e11b001f38efc3ee2de9d6c861806acb1bfb`。p5明确参数不确定性Kelly建议 `f=m/(sigma²+tau²)`，位置为UES RS-04新增方案、“第二波新任务B4”；p6要求新增研究预注册/累计台账，p10限制预算只降低/封顶、Kelly倍数≤0.5。原文没有选先验/似然/超参/更新/状态/效用，不因获得原式自动冻结模型。
+
+上述26e77/f8历史依据保留，不冒称当前安装。当前文档批次读取UES `0e66469c95a72c6248eae3ea474223d9ff6e1df5`，QPK测量参考为 `b23511cbb28b72743e35512ef4b3c73f1cd43c23`。UES#590仅为既有历史CLI的默认关闭B3消费者，四项周期outcome不是B4后验；其独立研究overlay不代表任何B4模型已安装/执行，缺gross/trials仍为不可计算。
+
+原PDFp9–10要求A2/A3先于B1/B2冻结计算；“B1/B2可靠对照 → B4 → E1”是当前#588后续批准的执行安排，不写成原文已明确的完整依赖。当前可先完善[三组事实与B1/B2决策](b1_b2_freeze_decision_contract.zh-CN.md)及[CVaR→B1约束](cvar_exposure_constraint_decision_contract.zh-CN.md)的DRAFT；不调整既定顺序或自动扩入B5。
+
+## B4原式的变量、状态与决策合同补充
+
+本节是依据p5原式提出的**DRAFT语义合同**，不是报告已经冻结的模型。原式可作为二阶增长近似的研究目标，不单独证明任意收益分布下精确最大化预期log效用。
+
+仅当F02/F07定义的财富因子确为`1+f*U`时，有限周期的二阶Taylor为`E[log(1+f*U)|D_t] ≈ f*m_t - (f²/2)*E[U²|D_t]`，其中`E[U²|D_t]=sigma_t²+tau_t²+m_t²`；正有限分母、未加约束时该截断式的驻点为`m_t/(sigma_t²+tau_t²+m_t²)`，仍不是精确log效用的最优解。
+原报告的`m_t/(sigma_t²+tau_t²)`还需忽略`m_t²`等相应小增量/连续时间近似，现金腿与财富因子必须在F02/F07使用同一定义，不能将未归一化的策略减现金简单收益直接代入不同的效用口径；本补充不改原推荐式、不选择模型/参数/额外候选，精确效用决定仍为F07 `UNSPECIFIED`。
+
+### 同频条件方差与均值不确定性
+
+设未来同一预测期的观测为`U_(t+h)`；DRAFT提出以精确scope策略收益相对明确现金腿的超额收益定义U，是否采用、现金/费用/FX口径由决策F01/F02冻结，不能将raw-net与excess混用。`D_t`只含决策截止前实际可用信息，`Theta`为尚未选择模型的参数/状态。先分别定义：
+
+```text
+mu(Theta,D_t) = E[U_(t+h) | Theta,D_t]
+m_t           = E[mu(Theta,D_t) | D_t]
+sigma_t²      = E[Var(U_(t+h) | Theta,D_t) | D_t]
+tau_t²        = Var(mu(Theta,D_t) | D_t)
+V_predictive  = sigma_t² + tau_t² = Var(U_(t+h) | D_t)
+f_uncertain   = m_t / (sigma_t² + tau_t²)
+```
+
+这是全方差分解：sigma²为后验平均条件创新方差，tau²为条件均值不确定性方差；三个量必须同收益基准、预测期及小数单位，方差不是标准差。若输入已经是`V_predictive`，它已含tau²，**不能再加tau²**；也不把不属于同一分解的样本方差与标准误平方直接拼接。`sample_variance/N`只有在冻结模型证明其对应上述tau²时才可使用，不能因实现便利叫作后验。
+
+在合法模型、正有限分母下，m=0可产生真实零原式目标；m<0的原式目标为负，后续long-only处置必须明确，不能新增做空。缺失/非有限、负方差或零分母不算成零风险/无限仓位，标不可计算并研究停放；具体容差/现金/恢复规则仍须冻结。对正m，在其余条件固定时增大tau²不应提高原式目标；这是一条未来算术性质检查，不是已验证策略收益。
+
+### 原式输出与一次fractional
+
+必须在候选记录中分别命名：原式`f_uncertain`、是否已经fractional的研究目标、`c`消费位置、裁切后的资金暴露及原scope cap来源。原式不自带“已乘半Kelly”标签；也不能在上游已经乘c后由下游再次乘c。已定研究家族的fractional倍数最多0.5、只应用一次；0.5不是全策略统一50%资金暴露。若原式内已有其他收缩/效用约束，如何与这一界限结合必须在F07明确，不能以“替代拍定c”解除上限或默认重归一化满仓。
+
+旧hard gate、cash reserve、产品限额、drawdown/breaker/veto及更严scope cap始终优先，未来输出不高于其既有预算上限。本批仅`DEVELOPMENT_ONLY/live_ready=False/no_order=True/budget_effect=NONE`备注；数学目标、研究备注和真实发单分别处理，不增加预算/融资/候选启用。
+
+### 具体冻结表
+
+以下补充原冻结表的可核验记录结构，不代填其仍UNSPECIFIED的值。每行须绑定决定、scope/版本、材料/实际摘要、owner/独立reviewer批准范围、依赖与有效期；private值不进入公开账本。不存在的状态、观察、holdout或批准不填hash。
+
+|ID|必须决定与可审查产物|当前状态|
+|---|---|---|
+|F01|准确candidate/profile/variant及新preregistration/model身份、完整对照/敏感性列表；旧RS-04结果与许可不得覆盖|UNSPECIFIED|
+|F02|U的raw-net或excess选择、现金/FX/成本、观察频率/日历/预测期、观测/发布/决策可用截止与PIT来源|UNSPECIFIED / NOT_ATTESTED|
+|F03|Theta和先验族/支持/proper性/参数化/有效样本量；独立来源或经验Bayes拟合边界，不用holdout调先验|UNSPECIFIED|
+|F04|似然族/支持/尾部/相关性/非平稳、mu与条件方差的函数；若收益支持使log效用无定义必须明定处理，不能静默截尾|UNSPECIFIED|
+|F05|sigma²/tau²具体后验估计器及全方差拆分、输入已有predictive variance的标记；均值/标准差/方差单位核验|UNSPECIFIED|
+|F06|超参/数值算法/精度/收敛/RNG、warmup/空历史是否允许仅prior；任何模型/参数变体的trial角色|UNSPECIFIED|
+|F07|原式是近似目标或精确效用决策何者；效用/损失、fractional状态和唯一消费位置、c≤0.5、负均值/原cap映射|UNSPECIFIED|
+|F08|batch/incremental、更新频率/窗口/遗忘/重拟合、折间prior重置或后验延续、预热及可用观察权重|UNSPECIFIED|
+|F09|稳定观察身份、修订/迟到/重复消费规则、消耗顺序与watermark；不得合并未知重复或倒灌旧决策|UNSPECIFIED|
+|F10|checkpoint版本/模型参数/输入与已消费范围、序列化/原子持久化、重启和旧state拒绝；恢复不能重算成新成功|UNSPECIFIED|
+|F11|缺数/非有限/零负方差、不正规posterior、数值失败/停放/恢复、错误记录；已知零与unknown分开|UNSPECIFIED|
+|F12|原scope风险/现金cap、B1/B2可靠对照与CVaR约束角色/条件、成交/末次fill/净成本/现金反馈|UNSPECIFIED / NOT_ATTESTED|
+|F13|主终点/paired difference/校准与失败诊断、report/ranking/veto角色、统计阈值/依赖假设及停止规则|UNSPECIFIED|
+|F14|untouchedholdout实际内容/隔离/未查看、完整累计journal/计数/无Sharpe处理、immutable runner+安装依赖、真实owner/reviewer与授权期限|NOT_ATTESTED|
+
+### 状态转移的DRAFT验收边界
+
+未来实现应能审查下列动作，具体存储和规则由F08–F11决定，不在本批创建state schema或框架：
+
+|动作|未来验收要验证的边界|
+|---|---|
+|初始化|模型/prior/参数身份绑定；空历史资格显式，不造已更新posterior或自动风险目标|
+|接受新观察|先验证身份、可用截止、次序/权重与覆盖，再按冻结模型更新；保存已消费范围与成功/失败事实|
+|重复/修订/迟到|重复不再计入；修订按预注册规则登记，不能覆盖此前决策或把同训练集既拟prior又更新likelihood两次|
+|更新失败|保留原因/覆盖与明确状态；是否保留旧checkpoint或停止恢复由冻结规则定，不把旧posterior伪装为新成功|
+|持久化/重启|同输入/state重放一致，checkpoint身份漂移拒绝；写成功回执未知不重复消费、不造新批准|
+|跨fold|只按冻结规则重置或carry；不删除亏损fold状态或看到holdout后换先验|
+
+FROZEN模型的合成验收设计至少为：独立手算后验及三个量；正m下tau增大不提高目标与tau=0的合法退化；同模型/有序数据/窗口/权重下明确的batch与incremental关系；未来信息与迟到修订扰动；重复/重启/写入未知；缺数/非有限/零方差/不收敛；一次fractional与原cap/veto优先；同会话净成本/terminal-fill/B3报告对照。带遗忘/窗口/自适应超参不假设天然batch等价。具体fixture/seed/容差/收集命令仍未冻结，**这些设计均未执行**。
+
+外部事实收敛为与[B1/B2合同](b1_b2_freeze_decision_contract.zh-CN.md)相同三组：scope+source许可/PIT+原cap/尾部预算；真实untouchedholdout内容/隔离/未查看；完整累计journal及独立owner/reviewer。B4还需本表具体模型/参数决定；收到三组事实不自动选模型，数学原式与工程CI不替代研究edge或E1。
+
 ## 研究问题与未决定项
 
 拟回答：在相同已冻结候选、时点、现金、成本和风险限制下，用后验表达估计不确定性的研究 sizing，是否相对 B1/B2 的可靠对照改善净对数增长及风险表现？这不是“贝叶斯一定优于样本估计”的结论。
diff --git a/docs/research/cvar_exposure_constraint_decision_contract.zh-CN.md b/docs/research/cvar_exposure_constraint_decision_contract.zh-CN.md
new file mode 100644
index 00000000..1452933c
--- /dev/null
+++ b/docs/research/cvar_exposure_constraint_decision_contract.zh-CN.md
@@ -0,0 +1,70 @@
+# CVaR尾部预算与B1上限决策合同草案
+
+状态：**DRAFT / NOT_FROZEN / REPORT_ONLY**。原审计p6要求“CVaR95从报告升级为约束，按尾部损失预算倒推仓位上限”，位置是B3报告与B1上限。本文件定义可审查输入、适用条件和拒绝边界，不实现约束、不选择预算/阈值、不发出仓位或执行权限。见[B1/B2决策合同](b1_b2_freeze_decision_contract.zh-CN.md)、[B4独立草案](bayesian_kelly_preregistration_proposal.zh-CN.md)，追踪[QPK #659](https://github.com/QuantStrategyLab/QuantPlatformKit/issues/659)及[QRS #632](https://github.com/QuantStrategyLab/QuantRuntimeSettings/issues/632)。B5不进入此范围。
+
+## 原文、现状与不变边界
+
+原PDF12页SHA256 `f60ce29f267722245cf62e308883e11b001f38efc3ee2de9d6c861806acb1bfb`，p6明确尾部约束、p10要求预算只能降低/封顶。已合并[QPK B3](https://github.com/QuantStrategyLab/QuantPlatformKit/blob/b23511cbb28b72743e35512ef4b3c73f1cd43c23/src/quant_platform_kit/research_stats/unified_report.py)的 `cvar95_return_per_period` 是signed-return经验尾均值、`descriptive_only=True`；UES `0e66469c95a72c6248eae3ea474223d9ff6e1df5`的#590只把它接入已有历史CLI，不包含尾部预算或B1约束。
+
+后续接入顺序是**同频净收益与来源/覆盖 → B3尾部描述 → 已冻结tail-budget约束判定 → B1研究目标受限 → 仍取原scope硬cap与veto**。任何一步未知，不用0、null或经验样本“全正”解除原风险门。不存在实际tail-budget内容时保持NOT_FROZEN；文档不把它变成实盘政策。
+
+## 精确统计量及单位的DRAFT
+
+现有B3对N个同频简单净收益每条给质量`1/N`，取最差5%质量并拆分边界观察，不四舍五入成至少一个完整“亏损交易”。零收益观察保留；它是period-return统计，不是closed-trade或人口风险保证。原legacy评估器取最差若干整日的近似定义不偷偷替换，冻结记录须绑定实际统计实现。
+
+建议先区分两种候选单位，**本文件未选其中之一**：
+
+|量|需冻结的含义|
+|---|---|
+|`R(w)`|精确scope、同预测期/窗口、已经计成本与现金/FX的组合简单净收益，资金暴露w的收益路径；初始NAV不是一个收益观察|
+|`L(w)`|与R同频的损失；若决定为`-R(w)`，正表示亏损，负表示收益。是否另采用非负损失变换须另登记，不隐式clip|
+|`ES_0.95(L)`|损失上尾5%质量的经验期望；只有同样本且`L=-R`时，等于`-cvar95_return_per_period(R)`。尾概率0.05是既有统计定义，不是风险通过阈值|
+|`B_tail`|真实原scope的最大允许同频尾部损失预算：净收益小数比例或同币种金额何者、对应NAV/FX/时点，及批准来源。二者不能直接混用|
+|角色|描述report、研究目标cap或veto分别声明；经验ES不自动提供置信度/独立样本量或晋级结论|
+
+为负或零的ES不是可安全除数，也不能证明没有未来尾部风险。样本覆盖、可用截止、重复/修订、有效观察、经验尾质量及缺数规则须逐项报告；不足或未冻结标准时约束不可计算，不把估计器默认30观察当尾部风险准入规则。
+
+## 比例倒推的条件
+
+只有冻结并核验下列条件时，才有本草案的**条件性数学关系**：同样本、同频率/货币、确定零收益现金、非负w、相同单位风险路径，且全部净现金/成本随暴露严格正齐次，使`R(w)=w*R(1)`、`L(w)=w*L(1)`。经验ES满足`ES(wL)=wES(L)`。
+
+在预算已被绑定、`B_tail>=0`、`e=ES(L(1))>0`且有覆盖资格时，数学条件才可写作 `w<=B_tail/e`；研究上限至多为该值与原scope上限的共同最小值，仍受现金、产品、breaker/veto限制。这不是已批准预算或本系统已可运行的上限。`e<=0`、非有限、缺预算/单位不符时不算比例、不输出无限或新增风险目标。
+
+以下任一情况都不能沿用上述比例：非零/随机现金腿、固定/最低佣金、不同暴露导致换手或信号/持仓漂移改变、融资/冲击非线性、公司行动/费用币种未对齐、初始持仓/外部资金流改变路径，或gross/net overlay与自融资权重反馈混用。尤其不能从已经扣费的一个net样本先除/乘w，冒充其他暴露的净损失。
+
+不满足齐次性时，先在同一冻结A2/现金/净成本合同下定义各已登记暴露对应的`R(w)`；是否允许数值求解、单调性/可行集合/精度及失败规则仍须决定。不得默认二分、扫描新候选或以一处可行点代表`[0,w]`都安全；未定义或未验证就标`NOT_APPLICABLE / UNCOMPUTABLE`，保持原cap不放宽，而不是伪造实盘上限。
+
+## 待冻结决策表
+
+每行保存具体值或材料位置、scope/版本、真实来源摘要、owner/reviewer批准范围、依赖与有效期；private金额/账户在受保护位置保存。当前所有具体参数未选，不填写假摘要。
+
+|ID|必须决定/绑定|当前状态|
+|---|---|---|
+|T01|candidate/profile/variant、证券/账户或模型scope、资金暴露单位与原hard/risk/cash/product cap|UNSPECIFIED / NOT_ATTESTED|
+|T02|R/L的净收益/损失符号、频率/预测期/窗口、现金/外部流/FX/NAV分母、未平仓边界|UNSPECIFIED|
+|T03|既有经验fractional-tail实现的版本、alpha是否沿用、真实样本/可用时点与覆盖规则、观察/尾质量身份|UNSPECIFIED / NOT_ATTESTED|
+|T04|tail-budget值/单位/币种/期限、原scope批准来源与风险角色；无预算不填0|NOT_ATTESTED|
+|T05|净路径对w正齐次的实际合同/证明，或精确非齐次路径评估及已登记求解/可行性规则|UNSPECIFIED|
+|T06|费用/价差/冲击/融资/现金随暴露变化、终端fill、成本反馈与真实/假设成本的分界|UNSPECIFIED|
+|T07|缺数、非有限、覆盖不足、e<=0、预算/身份变更时unknown/PARKED、原cap优先及恢复行为|UNSPECIFIED|
+|T08|B3输出记录与B1消费位置、report/cap/veto角色；不得自动进入排序/晋级或live sizing|UNSPECIFIED|
+|T09|如果使用不确定性/压力修正：方法/窗口/seed/置信/效果角色及trial计数，不能擅设额外安全系数|UNSPECIFIED|
+|T10|实际数据/PIT、untouchedholdout、全累计journal、runner依赖和独立owner/reviewer批准与停止职责|NOT_ATTESTED|
+
+## 三组事实与未来验收
+
+外部事实与B1/B2共用三组，不另建平台：①精确scope、实际来源/许可/PIT与原cap/现金/**tail-budget**；②实际holdout内容/边界、隔离管理员与未查看事实；③完整累计含失败等状态的journal、计数口径与独立owner/reviewer。若只验证纯合成算术，不能据此认证真实预算/尾部来源；进入新研究仍先满足其冻结边界。
+
+以下均为**未执行的合成验收设计**：
+
+|案例/性质|预期验证，非真实策略数字|
+|---|---|
+|手排尾部与fractional边界|同一个固定人工净收益样本核对R和L符号、边界权重、含零/无亏损情形，不把正收益日当交易|
+|齐次输入|同样本、零现金和齐次费用的已冻结fixture，核对非负w的ES比例关系；合法B/e仅在正有限e和已绑定budget下成立|
+|非齐次反例|固定佣金/现金收益/动态换手等人工路径违反比例时拒绝shortcut，不添加未登记扫描|
+|缺项/极端|缺预算、尾部覆盖不足、e<=0、非有限/溢出、币种频率错配均明确不可计算，不补0或放宽cap|
+|风险与消费者|同一B3记录被B1消费后不超过原硬cap；unknown/旧veto/breaker优先；不改变legacy/report默认或生产pin|
+|因果与成本|未来/迟到修订不倒灌旧决策；净成本不二扣、entry/exit/末次fill完整，缺gross不假造cost drag|
+|可重放完整性|绑定model/data/runner/budget身份，重复消费/失败/中断有记录；不同候选/敏感性按冻结规则计trial|
+
+未来实现的文件/数值参数、合成fixture、收集命令及实际测试证据由相应冻结后的实现PR给出；本批不创建计算模块。来源或预算身份漂移、单位/齐次证明失败、不可计算被当作通过、原风险被覆盖时停止研究并保留失败，不能为变绿调整预算或drop坏尾部。E1仍独立验收运营正确性与统计边际，本文件不授权paper/live/交易/预算增加/候选启用。