01 // Positioning
模型定位
项目最终目标是尽可能准确地预测真实赛果及具体比分概率。当前 v0.6 以中国体育彩票官方赔率作为第一阶段基线，是因为现阶段它是覆盖稳定、可持续验证的赛前信息源；“市场如何定价”只是输入和起点，不是项目终点。后续是否引入阵容、伤停、赛程、天气和多盘口数据，均由时间外真实赛果评估决定。
数据来源体彩 HAD 胜平负 + CRS 比分赔率
输出去水 1X2 概率 + Top5 具体比分
日常 Token0；采集与评分均为确定性计算
02 // Deterministic Pipeline
确定性计算流程
1. 校验输入胜、平、负赔率必须完整且大于 1。数据不完整时明确拒绝预测，不生成虚假的 33/33/33 或固定比分模板。
2. 赔率转隐含概率qᵢ = 1 / decimal_oddsᵢ。此时概率和通常大于 100%，多出的部分是市场抽水。
3. Power 去水求指数 k 使 Σqᵢᵏ = 1。相比简单同比例归一化，长赔结果承担的抽水不必与短赔结果相同。
4. 解析比分盘口解析所有有效具体比分，并保留“胜其他 / 平其他 / 负其他”，不把未列出的比分概率偷偷分配给 Top5。
5. 跨市场检查比较 HAD 与 CRS 去水后聚合得到的胜/平/负差异。该差异目前只记录，不参与加权。
6. 盘口校准把 CRS 中各胜负组按组缩放，使最终具体比分总量严格对齐 HAD 的主胜、平局和客胜概率。
7. 发布不可变快照按概率排序输出 Top5，并绑定当时赔率快照、模型版本、来源组和完整载荷。
8. 实时赛果与开奖结算体彩比分直播用于及时显示实时比分与完场状态；赛果开奖确认后才结算预测、推荐和票单。重复采集不会重复写复盘。
03 // Market Movement Research
v1.3 市场变化特征
“赔率轨迹快照”是首次采集以及之后每次有效赔率变化时保存的一份时间截面，并不是视频帧。每个快照先使用同一 Power 方法去水，再计算概率点变化。预测载荷只允许读取发布快照及之前的数据，禁止未来赔率泄漏。
概率漂移主胜 / 平局 / 客胜相对开盘变化，单位 pp
净迁移强度½Σ|p_latest − p_open|
累计波动相邻快照总变动的累计值，用于区分平稳移动与来回震荡
跨市场最大偏差HAD 与 CRS 校准前的最大胜平负概率差
当前策略：只记录、展示和评估，不改写 v0.6 的预测概率。只有样本证明某个信号在时间外验证中稳定改善 Brier / Log Loss，才考虑进入下一模型版本。
04 // Experiment Design
开盘组与临场影子组
AUTO_OPENING首次有效赛前赔率建立主实验组，是主要可复现基线。
AUTO_CLOSING仅在开赛前 30 分钟、相对开盘确有新赔率且采集仍新鲜时建立影子组。
两个实验组分开结算，不把临场信息冒充为开盘预测，也不在赛后挑选更有利的版本。
04B // Prematch Context Foundation
第二阶段：赛前赛事上下文快照
每次采集把体彩官方联赛代码、赛事全名、球队排名以及目标比赛日之前的已核验历史赛程冻结成独立快照，并绑定到新发布的预测。只有官方文字明确出现分组、资格赛、附加赛、半决赛或决赛时才标注杯赛阶段；无法确认时保持“未知”。
当前比赛覆盖等待读取…
上下文快照等待读取…
阶段已确认等待读取…
赛程压力完整等待读取…
排名字段完整等待读取…
预测绑定等待读取…
等待下一次采集
当前只建立数据基础，不改变 v0.6、球队模型或任何推荐权重。
时间边界：休息天数与近 14/30 天比赛数只读取目标比赛日期之前、且已核验为90分钟口径的历史赛果。部署前旧预测不会事后补绑上下文，避免未来信息泄漏。
04C // Personnel & Discipline Foundation
第三阶段：人员可用性与纪律压力快照
体彩官方接口不提供伤停、正式阵容和红黄牌历史，因此本阶段使用可替换的外部适配器进行前向采集。赛事必须同时通过双队名、开球时间和唯一候选校验才允许映射；任何缺失都解释为未知，不能解释为零伤停或阵容完整。
数据源状态等待读取…
快照覆盖等待读取…
高置信赛事映射等待读取…
伤停查询已观察等待读取…
正式首发确认等待读取…
双方牌史可用等待读取…
当前只采集和绑定，不改变任何生产模型或推荐权重。
调用策略：赛程和伤停按比赛日批量缓存；正式阵容只在赛前75分钟内限频查询；完场牌事件只补采一次。这样可以控制免费额度和维护成本，也不会消耗模型 Token。
05 // Evaluation
真实赛果评估指标
1X2 命中率概率最大的胜平负结果是否命中，仅反映分类正确率。
Brier Score衡量三分类概率整体误差，越低越好。
Log Loss严厉惩罚对真实结果给出过低概率，越低越好。
Top1 / 3 / 5真实比分是否出现在前 N 个具体比分中。
比分偏差预测与实际主客进球数的曼哈顿距离。
发布门槛完整概率评分样本不足 200 场时不发布正式结论。
95% 置信区间命中率同时展示 Wilson 区间，避免小样本的单一百分比造成误判。
Brier Skill与三结果均匀概率基线比较；正值表示概率预测优于朴素基线。
同场配对验证开盘与临场只在同一批比赛上对比，减少赛程样本不同造成的假提升。
模型升级准则：候选算法必须先冻结规则，再在之后发生的比赛上进行时间外验证；优先改善 Brier 与 Log Loss，同时检查 1X2 和 Top1/3/5，不允许赛后挑参数或只挑有利联赛汇报。
06 // Independent Team Model
TEAM_POISSON_V01 球队影子模型
该模型只读取比赛开赛日之前的体彩官方历史赛果，完全不读取胜平负或比分赔率。它与市场基线同时发布、独立保存、统一结算，用于检验球队状态信息能否带来真实的样本外提升。
近期加权保存约两个赛季历史，训练最多读取 540 天；权重半衰期 120 天。
攻防强度球队跨赛事历史先按每项赛事的主客场进球基线标准化，再向平均强度收缩。
Poisson 比分由主客队期望进球生成完整比分分布，再聚合 1X2 与 Top5。
参赛门槛总训练池至少 20 场，两队赛前历史各至少 5 场；目标赛事不足 20 场时标记全局基线回退。
禁止泄漏训练 SQL 与模型内部均要求历史日期严格早于目标比赛日。
赛马规则只在两模型都预测的同场样本上比较 Brier、Log Loss、1X2 和 Top1/3/5。
当前仍是第一版：赛程密度、人员可用性与纪律压力已开始前向冻结，但尚未进入 Poisson 权重。必须先积累时间外样本，再进入第四阶段动态模型。
07 // Minimum Benchmark
LEAGUE_PRIOR_V01 联赛朴素基准
这一组故意不识别参赛球队，也不读取赔率，只用比赛日前的联赛主客场平均进球生成 Poisson 分布。它不是候选主模型，而是所有复杂模型必须超过的最低及格线。
严格赛前最多读取 540 天历史，日期必须严格早于目标比赛日，半衰期 120 天。
回退规则目标赛事至少 20 场；不足时使用至少 200 场的全局主客场基准并明确标记。
同场判定市场模型和球队模型分别与它做同场 Brier、Log Loss、1X2 和比分误差比较。
升级约束：球队模型若不能在足够的同场时间外样本上持续优于该基准，就不进入下一正式版本；不能只与均匀 33/33/33 比较。
08 // Rolling Evaluation
滚动窗口与分联赛检验
总样本用于观察长期稳定性，近 30 天与近 90 天窗口用于识别状态漂移。榜单按 Brier Score 排序，同时展示 Log Loss、1X2 与 Top1 比分进球误差，不用单一命中率决定模型优劣。
固定窗口窗口按比赛日期自动计算，不允许手工挑选起止日期。
分联赛门槛市场、球队、朴素三组同场结算至少 10 场才展示赛事级结果。
只读排行排行榜仅评估已冻结预测，不会反向修改历史载荷或自动调参。
固定样本趋势按结算时间每20场形成互不重叠的分段，展示 Brier、1X2、Top2、Top5 与比分误差；尾段不足5场时并入上一段。
绝对比分指标四个模型分别展示 Top1、Top2、Top3、Top5，以及主队、客队和总进球误差。
09 // Data Quality Gate
采集与结算一致性审计
模型评分的前提是数据链路可信。系统每次读取状态时都会执行只读审计，检查官方赛果是否超时、赛前预测是否全部结算、冻结实验组是否重复、模型载荷是否完整，以及比赛、预测、复盘之间是否存在孤立记录。
关键异常结算缺口、孤立记录、重复冻结预测或损坏载荷会标记 CRITICAL 并自动展开。
采集警告近 7 天赛果超过 4 小时未回传、当前赔率或稳定 ID 缺失会标记 WARNING。
缺盘分类完整盘口、部分盘口、24小时内仍未开售和24小时外待开售分别统计；正常远期未开售不再冒充采集故障。
覆盖率分别展示当前比赛的赔率、稳定 ID、市场模型、球队模型和朴素基准覆盖。
原则：质量告警只揭示问题，不自动删除、补造或修改历史预测；修复必须保留官方来源与审计痕迹。
唯一结算真值竞彩足球只使用90分钟加伤停补时比分；加时赛、点球大战和最终晋级方不得替代该比分。
强制范围核验比赛、历史训练、预测复盘、策略记录和票单腿都保存 result_scope；未核验为90分钟的记录禁止自动结算。
统计同样截断未来接入射门、xG、红黄牌和犯规时，只允许使用90分钟加补时内事件；120分钟合计不得进入训练。
10 // Correct Score Decision Layer
波胆覆盖组合与策略筛选
这一层服务于每场选择 2—3 个比分的实际使用方式，但不会改写或冒充模型预测概率。系统保留完整比分赔率，先用市场去水概率排序；球队模型有 Top5 支持时，对双方都明确覆盖的比分形成 65% 市场 + 35% 球队模型的共识概率。
覆盖 A共识概率最高，作为每场组合的覆盖锚点。
覆盖 B在最低概率约束内兼顾倍率与独立模型支持，不保证等于概率第二名。
高倍率 C在较高倍率且仍有概率支撑的候选中排序；当前没有正EV门槛，不称为价值策略。
边界：球队模型未取得参赛资格时只做市场内部风险分层，不宣称存在正期望优势；球队 Top5 未覆盖某比分时也不会把它错误当成零概率。四场串关会放大方差，页面默认建议每场使用 A+B，C 只作替换或小比例扩展。
候选门槛热门方概率至少 55%、与第二结果差至少 18pp、A+B 覆盖至少 18%，且比分盘口至少 8 项。
覆盖候选评分热门方强度 30% + 强弱差 20% + A+B 覆盖 30% + 市场稳定 10% + 模型一致 10%。这是排序分，不是命中率。
最多四场按评分跨日期择优，最多取四场；不足门槛时宁可少选，不为了固定串数降低标准。
4串11生存概率四场同时购买2关、3关、4关；页面分别显示恰中0—4场及至少中2场的独立性代理，不再把4场全中当成唯一成功。
票单不可变快照确认购买后保存比赛、所选比分、过关层级和当时赔率；比分复选按各子串展开实际注数，赛后按官方90分钟赛果结算。
系统组合赛马账本中2场结算1组二串一；中3场结算3组二串一和1组三串一；中4场结算6组二串一、4组三串一和1组四串一，并统计投入、返还及ROI。
个人票单隔离系统自动组合用于模型实验；“我的已购彩票”只保存用户明确记录的实际票单，两类投入、返还和命中结果绝不混算。
65/35 市场—球队共识和上述评分权重目前属于冻结的启发式决策层，须用后续真实票单与比赛结果评估；它们尚未获得“预测模型升级”的统计资格。
11 // Recommendation Validation
策略快照的不可变赛马
策略研究区的候选排序属于决策层，不等同于正式概率模型。页面可以提前展示 72 小时内的候选，但正式实验记录只在比赛首次进入开赛前 24 小时且达到全部门槛时冻结；进入开赛前 6 小时后再冻结独立临场影子组。打开页面、点击预测或赔率后续变化都不会改写已发布快照。
72小时候选只决定页面可见范围和跨日期选择空间，不写入正式策略样本。
24小时正式组作为策略实验评分主体，统计 A+B 命中、热门方向、Wilson 区间与冻结赔率模拟回报。
6小时影子组仅与同一比赛的24小时快照配对比较，检验更临场的赔率是否带来改善。
发布纪律：至少结算 50 场前只显示原始积累数据，不据此调整门槛；24小时与6小时只使用双方都已结算的同场样本比较。旧72小时策略保留为历史组，不混入 V2.4。
快照统计按模型来源、版本与冻结时点分别展示记录数、独立比赛数、已结算/待结算和赔率绑定完整度，避免把同一场多版本重复当成多场。
已结算收益投入、返还、净值和 ROI 只计算已结算快照；待结算冻结投入单独展示，不提前记作亏损。
模型 EV逐项显示冻结概率 × 冻结赔率 − 1 的模型期望值，并与真实 ROI 分栏；它依赖概率校准，不是收益保证。
12 // Historical Walk-forward Backtest
严格时间切分的历史滚动回测
线上自然结算样本增长较慢，因此系统使用体彩官方历史赛果对球队 Poisson 与联赛朴素基准做辅助筛选。评估窗口为历史库最新日期之前 180 天，最多按比赛稳定 ID 固定抽取 1,000 场；每一场只允许读取该比赛日期之前、最多 540 天的记录，近期比赛按 120 天半衰期加权。
同场比较只有球队模型与联赛先验都能生成预测的比赛才进入差值，防止覆盖率差异制造假优势。
固定抽样用 source_match_id 的 SHA-256 排序固定样本，重复运行不会为了得到更好结果而换样本。
不使用赔率这组回测只能检验球队历史相对联赛均值的增益，不能替代市场模型的历史回测。
证据边界：历史回测与线上冻结预测账本分开显示。回测通过只代表模型取得继续影子验证资格；正式替换仍需等待预先冻结的线上样本在 Brier、Log Loss 和具体比分指标上共同达标。
13 // Active Improvement Loop
五大联赛主动实验闭环
观察期不再只是累计记录。每个新产生的、已核验90分钟赛果都会自动进入五大联赛专属基线，并按联赛、赛程阶段、热门概率强度和固定20场窗口拆分；挑战模型只在同一场比赛上与开盘基线配对比较。
唯一主指标每场两个核心比分的 Top2 精确比分命中率；阶段研究目标28%，不是结果承诺。
防退化护栏同时检查 Brier、Log Loss、Top5、进球偏差和滚动稳定性，防止局部命中掩盖整体退步。
自动行动队列系统依据样本门槛、数据覆盖和同场差值，明确下一步应先修数据还是开发挑战模型。
分层只用于诊断小样本下不会因为某联赛短期高低就自动改权重，避免观察期过拟合。
人员信号闸门只以功能启用后具备球队代码的比赛计算映射率；首发只以已映射且已进入开球窗口的比赛为分母。映射达到80%、确认首发达到60%以前，人员信号只做影子消融。
两级样本门槛150场允许研究判断；接近300场且数据覆盖合格后，才取得小额验证的证据资格。
14 // Limitations
已知限制
- 当前只有体彩市场，不等同于澳门盘、主流欧洲公司或交易所的多源共识。
- 赛程密度、赛事阶段、人员可用性和纪律压力已开始前向采集，但尚未改变预测；转会、天气与战术变化仍未接入。
- 赔率本身包含大众预期与庄家风控，不等于客观真实概率。
- 足球比分是高噪声小样本事件；即使概率校准良好，单场仍可能明显偏离。
本系统仅供数据研究，不构成投注建议。彩票有风险，投入应保持可承受。