跳到主要内容

ADR-021 · kelly_cap 退役

背景​

kelly_cap 是当年由 MP-3 · kelly_cap 字段语义与下游消费协议 定义、写进 BimodalPosterior 的一个字段：把多情景后验按"半凯利"公式（0.5 × 期望收益 / sqrt(二阶矩)、上限 0.25）算成一个"仓位上界"数字，再由渲染层翻译成"仓位上界（非仓位建议）"胶囊（ADR-019）。它还被 codify 进不变量 I-06'（KellyCapTaskConditional），并出现在 MP-4 字段矩阵、MP-5 暴露面、glossary。

owner 2026-06-04 判定：这个东西无用且误导，要清掉。原因有两层：

  1. 形态本身是假精确：从一个软的、由 LLM 生成的情景概率，套凯利公式算出一个"仓位上界百分比"，给了用户一个看似可执行、实则没有可靠依据的数字——把"认知层的概率判断"包装成"操作层的仓位指令"，这正是 FinBayes 要避免的。
  2. 它是错误框架的产物：过去半年每个里程碑都在精细化"单次回答里的数字"，kelly_cap 是其中一个典型。FinBayes 现在转向"建一个金融领域的真智能体"（见 CURRENT-MILESTONE §0），这类磨单次回答数字的精细化不再是优先项。

决定​

  1. 从代码彻底移除 kelly_cap 字段及其全部接线，已落地 FinBayes 工程仓 684d69d：schema 字段、合成层估算函数与常量、编排层的 kelly 合规门、渲染层的"仓位上界"胶囊、相关测试与数据集 fixture，全部删除；grep kelly 全局 0 残留，ruff 干净，pytest 157 通过。
  2. 退役 MP-3（status → superseded）：其规定的字段已不存在。
  3. 退役 ADR-019（status → superseded）：其规定的"仓位上界（非仓位建议）"胶囊已删除。
  4. 退役不变量 I-06'（KellyCapTaskConditional）（见 strategic-invariants-codified）：该不变量整条作废。
  5. 传播到仍在用的契约文档：MP-4、MP-5、strategic-invariants 的 I-04' / I-05' 字段清单、glossary 中所有 kelly_cap 相关条目同步作废（已加退役标注 / 删除 token）。

保留什么（重要，不要误删）​

  • posterior 双峰分布本身保留：BimodalPosterior 的 mode_a / mode_b / fit_method / tail_width 是对不确定性的诚实结构表达，不是被否定的对象。被否定的只是"从软概率再算一个凯利仓位百分比"这个形态。
  • 边界不变：I-01'（不下单 / 不替用户决策 / 用户自主判断）不受影响；credential 合规门完整保留。

关于"仓位上限"这个目标​

owner 的判断里，"按把握和风险缩放的仓位上限"这个目标本身不是错的；错的是"从软 LLM 概率算凯利百分比"这个假精确形态。是否、以及如何用诚实的方式重做这个目标，归入金融真智能体骨架蓝图阶段再议，本 ADR 不对此作任何承诺，也不预留接口。

连带影响​

  • 文档：MP-3 / ADR-019 标 superseded；I-06' 标退役；MP-4 / MP-5 / glossary 加退役标注或删除 token。
  • 工程规格（非 ADR，低优先，按需同步）：cognition-1.1-contract、m1_5 / m1_6 engineering-pack、eval-harness-formulas 等仍提到 kelly_cap，留待触及这些 pack 时同步，或随骨架蓝图重订认知契约时一并处理。
  • 历史 review / draft 快照（step9-12、phase2-4、13-不变量 deep-design 草稿等）不修改——它们是时间点记录，改动即篡改历史。