docs(tasks): 跨午夜 review 修复单（BUG-985）+ aa46da10 review 结论
review aa46da10：核心修复通过。修复后整窗打分与逐候选独立重算 21/21 一致； 非跨午夜分数基线与修复逐位不变（半径 10 六例 + 半径 60 三例，执行方证据 覆盖 19 例 2299 候选）；打分常数一个未动；确认门仍关闭；决策 C 执行正确。 P1 阻塞：新增回归把 121 个浮点分数的 SHA-256 写死成字面量。在本机 ordinal 2/3 红，且基线与修复分支同样红，不是修复所致。该组 121 个分数全无浮点尾噪， 差异是第 4 位真的不同，靠改序列化消不掉。它经 gate bridge 落入快速门 glob， 同 glob 基线 214 passed/0 failed、aa46da10 4 failed，推 staging 会让门禁红。 根因是把相对不变量实现成了绝对不变量。F1 改用生产代码已有的 legacy 回退 路径做同机 A/B 对照，验收要求两台浮点环境不同的机器各跑一次。F3 查证 block_scan 重算是否经过被修 helper，它决定 BUG-984 是否为 BUG-981 的阻塞项。 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0199rbQDTsUbCVw84wc8BTFe
This commit is contained in:
Jesse_Chen
co-authored by
Claude Opus 5
Claude Opus 5
parent
f8e40e5d3d
commit
1b646659e7
@@ -291,7 +291,8 @@
|
||||
| `TASK-owner-case-purge-20260919.md` | `PROGRESS-owner-case-purge-20260919.md` | **上游库主案例与本机路径残留清除（只含本仓）**：镜像同步带进库主本人案例（敏感案例标识与本机路径）并被 `origin/staging` 命中，涉及无引用的 `versions/` 三快照、前端 fixture、Python 测试、整机扫描台账、会话转录及上游 SKILL 快照。运行时无特判不用动。产品拍板整体删除不留匿名版；fixture 统一虚构常量；`import_yinduzhanxing.py` 加隐私排除项 + 新增仓库级隐私守卫测试；上游 SKILL 快照等库主清完再重导入（BLOCKED 记录）。上游仓的清理指令另见 `UPSTREAM-INSTRUCTION-owner-case-purge-20260919.md`（交给库主，不在本仓执行）。BUG-972/973 | **已验收通过（2026-09-20，`497798ac`）；未合入 staging，等产品放行** | 两轮：首轮未通过（1 个隐私守卫冲突：新增路径规则与答案键守卫冲突，该守卫在快速门 glob 内，合入会让门禁红）→ 修复单 `TASK-owner-case-purge-fix2-20260919.md` → `497798ac` 通过。Claude 在 Linux 全依赖环境独立复验：快速门 Python 步 859 passed / 0 failed（上一轮就是这步红），Python 全量 63 红与基线逐条相同、0 新红，收集数与删除清单已记录；tsc 0 / lint 0 error、120 warning 同基线 / `npm test` 失败清单为基线子集（少 1 条工作流 YAML，非回归）/ `○ /` Static、首屏 gzip 与基线字节相同（前端自首轮提交起零改动）。上游指令文件已逐字节还原为基线原文；12 个已删测试名与计数已落进度记录；BLOCKED 两条已划掉。校正 Skill 哈希包、注册表、上游快照、`frontend/src`、主 API 全程 0 改动；库主本机用户名 0 命中。遗留 P3：进度记录和 BUG 状态文字待后续对账修正 |
|
||||
| `TASK-consult-smalltalk-fastpath-20260920.md` | `PROGRESS-consult-smalltalk-fastpath-20260920.md` | **普通对话寒暄轮快速通道**：真机一句「你好」触发完整窗口排盘（活动面板「已完成 4 步」）+ `## 先回答你的问题` + 400 字判词 + 扣 1 点。三层叠加：`index.ts` 两处「every turn 必调排盘」（BUG-922）与 `contractReady()` 的 `requireTool` 把排盘变成硬合同；`product-voice.ts` OPENER SHAPE 标「三种模式共用」；唯一的 chit-chat 豁免句只在 `natalSpokenReportContract` 里、只拼进本命 Agent（BUG-977）。计费侧「写回复」与「扣点」绑在 `complete_consultation_response` 同一次调用，`cancel` 只退款不写消息，所以今天没有「不扣点但保留对话」的通道。**产品拍板 a：不扣点、不排盘、回一句白话**；**分流不得用正则/关键词/长度阈值**，改为进 Agent 之前一次极短的结构化模型调用（复用本轮已选模型），fail-open 一律落回完整路径；BUG-922/923 的三处合同一个字不改；新增 `complete_consultation_free` 迁移。BUG-976/977 | 本地实现及独立审查完成，两项 SDK 隐私/成本问题已修复；Linux 最终全量 3530/3530 → 3566/3566、标准 DB 39/39 → 40/40、tsc 0、lint 0 error/120 既有 warning；两侧首页 Static，首屏 gzip +0.0493%；**已验收通过（2026-09-20，Claude 独立复验 `539d4dae`）**：同机两侧对照 tsc 0 / lint 0 error·120 warning / npm test 基线 3530 与候选 3563 失败名单逐条相同（31 条均为无 Docker）/ 两侧 `○ /` Static、首屏 gzip +299 B（+0.0483%）/ 部署 SHA 与迁移已核对；红线四文件零改动。剩真人模型语义、延迟 P50、余额与刷新走查（无受控账号） | `codex/consult-smalltalk-fastpath-20260920`；实际基线 `fcad06372`；逐项测试对照见 PROGRESS，真人清单见 `docs/testing/consult-smalltalk-fastpath-20260920.md` |
|
||||
| `TASK-rectification-validation-integrity-20260920.md` | `PROGRESS-rectification-validation-20260920.md` | **生时校正验证体系补缺（纯离线评测，不改打分不改产品）**：会议要求把「推断真实出生时间」与「用户认可的参考盘」分开证明。核对结论——**产品口径侧四条已落地**（`accepted`≠`confirmed` 两条写入路径、确认门 fail-closed 且 `holdout` 为 `not_ready` 使 `confirmation_allowed` 不可能为真、采用不写 `reported_birth_time`、无任何把采用率当准确率的指标；运行时也无按生日走捷径的分支）；**缺口全在评测本身**。三条：① 封存契约 `rectification_sealed_holdout.v1.json` 的三个打分哈希互不相同（封存 `f41c298d` / 契约记录 `99730c84` / 基线实测 `b15d9ea1`），`official_eval_trial_count: 0`——当前实现**从未产出过一次有效官方盲测**，唯一跑过那次已被资料审计作废（top-1 `0.15`，发布门要 `0.60`），可见的 `0.45` 自带「不得当发布指标」标记（BUG-978）；② 全部离线评测的候选窗**以真值为圆心**（`_candidate_moments()`、`request_from_case()` 的 `true_time`），生产以申报时间为圆心（`ENGINE_SEARCH_RADIUS_MINUTES = 15`）——「真值掉出窗外」这一失败模式从不可见（BUG-979）；③ v3 封存但每例仅 3 事件、v4 有 7+ 事件却已被看过并用于调参，**无口径干净又贴近真实会话的封存集**；六题回放的 `0.80/0.55/0.35` 是「真值方向最优答」的上帝视角上界，±30/±60 仍低于发布门（BUG-980）。T1 申报偏差敏感性 sweep、T2 有效重跑 + 契约对齐 + **防复发新测试**、T3 只出 v5 采集协议、T4 记录。**硬红线：不得改 12 个打分文件、不得用封存集调参、不得把 `status` 改 `ready`。** 家庭信息（父母职业/兄弟姐妹）在拿到基线数字前不开工——现有七领域全是带日期事件，静态属性没有输入口。前置：owner-case-purge 三提交仍未合入 staging。BUG-978～980 | **已验收通过（2026-09-20，Claude 独立复算）**；独立盲测仍 blocked；门禁/部署待核验 | `932f2fff`。Claude 独立复核：T1 完整重跑 900 组合**逐例 8 字段 0 差异**、summary/specification 全等，另从 900 条逐例重算 45 格表与发布表逐位相同；T2 独立复跑 0.45/0.50/6.45/0/1.0/0.0 与哈希全序 0.05/0.10 全部一致；12 个打分文件字节未动、`status=not_ready`、`confirmation_coverage_rate=0`、实跑 `holdout_passed()`=False；新增/触及 Python 测试本机 38 条全绿；freshness 测试比对时排除 `frozen_at_utc`（BUG-693/694 教训已用上）。**执行方正确推翻任务书 T2.3**：「首次口径干净的官方盲测」与 BUG-428 防复发（已看过结果的案例不得再计入盲测）冲突，已核 BUG-428 原文，是任务书写错。环境缺口：本机 frontend 无 node_modules，tsc/lint/npm test/build 未能复核，采信执行方自报。遗留 → `TASK-rectification-cross-midnight-dasha-20260920.md`（BUG-981） |
|
||||
| `TASK-rectification-cross-midnight-dasha-20260920.md` | — | **跨午夜候选的 Dasha 边界错一天（生产打分）**：`scoring_service.py` 调 `merge_transition_proximity()` 只传**一个** `birth_date`，该函数用它算全部候选的 Vimshottari / Narayana 起始日期，候选之间只靠 `_context_time()` 的 `HH:MM` 区分、**日期被丢掉**。窗口跨午夜时午夜后候选的 dasha 边界整体错一天。Claude 验收时在生产调用链独立复现：窗口 `23:50→00:10`、21 个候选，**恰好那 11 个跨日候选分数错、10 个同日候选逐位相同**（幅度 +0.0267 / −0.0133，本例头名未变）。算术上界 = `cap/kernel_width`，day 精度 0.067 分/件，18 件可累计约 1.2 分，而随分钟变化项总量仅约 2.1 分 —— **上界是推的不是实测，真实幅度本单必须实测**。踩中路径：`late_night` 时段 `23:00–03:59`、`unknown` `00:00–23:59`、23:45 后或 00:15 前申报的 ±15 窗。连带发现：`calculation_spec()` 不含打分实现身份，修复后同一 spec hash 对应不同分数，历史 Case 静默失去可复现性（同 BUG-427 类型）。**产品 2026-09-20 已就三点拍板：A 修、B 修完重新冻结并重跑 T1/T2、C 让新旧结果可区分。** C 的做法经查证已修正：`calculation_spec_hash` 全在 **V4** 链路、**V9 零引用**，原提案 bump `INPUT_CONTRACT_VERSION` 对真实历史无效已作废；改为随修复 bump `engine_version`（`v9EngineVersion()` 缺省串，全仓只写不比、无相等性门控），**不得动 `skill_version`**（BUG-621：open RPC 要求绑定 Skill 等于当前版本，bump 会让历史校正打不开）。硬红线：只改「按候选日期取 dasha 起始」，不得动 kernel/cap/share 任一常数；确认门不变。BUG-981 | **待领取**（产品已放行） | — |
|
||||
| `TASK-rectification-cross-midnight-dasha-20260920.md` | — | **跨午夜候选的 Dasha 边界错一天（生产打分）**：`scoring_service.py` 调 `merge_transition_proximity()` 只传**一个** `birth_date`，该函数用它算全部候选的 Vimshottari / Narayana 起始日期，候选之间只靠 `_context_time()` 的 `HH:MM` 区分、**日期被丢掉**。窗口跨午夜时午夜后候选的 dasha 边界整体错一天。Claude 验收时在生产调用链独立复现：窗口 `23:50→00:10`、21 个候选，**恰好那 11 个跨日候选分数错、10 个同日候选逐位相同**（幅度 +0.0267 / −0.0133，本例头名未变）。算术上界 = `cap/kernel_width`，day 精度 0.067 分/件，18 件可累计约 1.2 分，而随分钟变化项总量仅约 2.1 分 —— **上界是推的不是实测，真实幅度本单必须实测**。踩中路径：`late_night` 时段 `23:00–03:59`、`unknown` `00:00–23:59`、23:45 后或 00:15 前申报的 ±15 窗。连带发现：`calculation_spec()` 不含打分实现身份，修复后同一 spec hash 对应不同分数，历史 Case 静默失去可复现性（同 BUG-427 类型）。**产品 2026-09-20 已就三点拍板：A 修、B 修完重新冻结并重跑 T1/T2、C 让新旧结果可区分。** C 的做法经查证已修正：`calculation_spec_hash` 全在 **V4** 链路、**V9 零引用**，原提案 bump `INPUT_CONTRACT_VERSION` 对真实历史无效已作废；改为随修复 bump `engine_version`（`v9EngineVersion()` 缺省串，全仓只写不比、无相等性门控），**不得动 `skill_version`**（BUG-621：open RPC 要求绑定 Skill 等于当前版本，bump 会让历史校正打不开）。硬红线：只改「按候选日期取 dasha 起始」，不得动 kernel/cap/share 任一常数；确认门不变。BUG-981 | **已 review：核心修复通过，但暂不合入** —— 阻塞于 `TASK-rectification-cross-midnight-gate-fix-20260920.md`（BUG-985） | 实现 `aa46da10`（分支 `codex/rectification-cross-midnight-20260920`，未合入 staging）。Claude 独立 review：修复后整窗打分与**逐候选独立重算 21/21 一致**；非跨午夜分数基线 vs 修复**逐位不变**（我测半径 10 六例 + 半径 60 三例，执行方证据覆盖 19 例 / 2299 候选全部 `bytes_equal`）；kernel/cap/share/`PRECISION_WEIGHTS` 一个未动；`status=not_ready`、coverage 0、`holdout_passed()` False、官方试次 0；决策 C 执行正确（`ALGORITHM_VERSION` 7→8，`INPUT_CONTRACT_VERSION` 与 `skill_version` 未动，golden 里 `calculation_spec_hash` 不变可证）；既有断言改动均带三栏说明且为加强。**P1 阻塞**：新增的 `test_same_day_public_aa_scores_keep_pre_fix_bytes` 写死 121 个浮点分数的 SHA-256，在 Claude 机器上 ordinal 2/3 红、**基线与修复分支同样红**（非修复所致），且经 `test_rectification_cross_midnight_gate.py` re-export 落入快速门 glob —— 同 glob 基线 214 passed/0 failed、`aa46da10` 4 failed，推 staging 会让门禁红。执行方自报未通过的 BUG-984 经独立确认成立且更重：`block_scan` 只比 evidence 指纹不读打分身份，而 `late_night`(299 min)/`unknown`(1439 min) 均 >120 走该分支、又恰是最易跨午夜的窗口 |
|
||||
| `TASK-rectification-cross-midnight-gate-fix-20260920.md` | — | **review 修复单：门禁级浮点哈希断言（`aa46da10` 的合入阻塞项）**：新增回归把 121 个分数的 SHA-256 写死成字面量，于是断言范围把跨机 libm/pyswisseph 差异也圈了进去。实测该组 121 个分数**全无浮点尾噪**（`repr(s)==repr(round(s,4))` 121/121），所以差异是第 4 位真的不同，靠改序列化消不掉。同一提交刚改过的 `test_rectification_engine_memoization.py` docstring 正好写着「跨机舍入已漂 1.1e-3，不得整体 `==` 比较」——教训被引用了又被踩。执行方自己的证据 JSON 用的却是正确做法（`scores_bytes_equal` = 同机基线 vs 当前）。**根因**：要证的是相对不变量（同机基线 vs 当前），却实现成绝对不变量（当前 vs 某台机器的历史哈希）。F1 改用生产代码已有的 legacy 回退路径做同机 A/B 对照（去掉 `candidate_at` 即修复前行为），验收要求**两台浮点环境不同的机器各跑一次**、且回退核心修复后该测试仍绿（证明它守的是同日不变性而非跨午夜回归的替身）；F2 bridge 重复收集（4 failed = 2×2）；F3 查证 `block_scan` 重算是否经过被修 helper —— 会则 BUG-981 在 late_night/unknown 路径等于没上线、BUG-984 升为阻塞项；F4 记录。**硬红线：不得删测试/skip/把哈希改成本机当前值消红，不得改已验收的打分代码。** 串行：本单 → `aa46da10` 合入 → BUG-984 补单。BUG-985 | 待领取 | — |
|
||||
|
||||
## 命名与归档
|
||||
|
||||
|
||||
@@ -0,0 +1,165 @@
|
||||
# TASK · 跨午夜修复 review 修复单：门禁级浮点哈希断言（2026-09-20）
|
||||
|
||||
> 状态：待领取。**这是 `aa46da10` 的合入阻塞项**：核心修复本身已验收通过，卡住的是随它新增的一条测试会让快速门在别的机器上红。
|
||||
> 本单只改测试断言方式，**不改被修的打分代码**。
|
||||
|
||||
## 0. 基线与交付
|
||||
|
||||
- 基线：分支 `codex/rectification-cross-midnight-20260920` = `aa46da10`（不是 `staging`；本单改的是该分支上的新增测试）。
|
||||
- 参照：`origin/staging` 在 review 时为 `f8e40e5d`；`aa46da10` 的分叉点是 `03cba478`。
|
||||
- worktree `.worktrees/rectification-cross-midnight-gate-fix-20260920`，分支从 `aa46da10` 起，或直接在原分支上追加提交。
|
||||
- **合入顺序**：本单修完 → `aa46da10` 方可快进推 `staging` → 之后才做 `TASK-rectification-cross-midnight-dasha-fix-20260920.md`（BUG-984 缓存身份补单）。三者串行，不得并行改同一批测试文件。
|
||||
|
||||
## 1. 事故实证
|
||||
|
||||
Claude 2026-09-20 在 `aa46da10` 上独立 review，以下全部为实测。
|
||||
|
||||
### 1.1 断言写法
|
||||
|
||||
`tests/test_dasha_transition_proximity_cross_midnight.py` 的 `test_same_day_public_aa_scores_keep_pre_fix_bytes` 用 `hashlib.sha256(_canonical(scores)).hexdigest()` 把 121 个分数的 canonical JSON 哈希**写死成字面量**，三个 ordinal 各一个。
|
||||
|
||||
### 1.2 实测：该测试在别的机器上红，且与修复无关
|
||||
|
||||
| 运行环境 | 结果 |
|
||||
| --- | --- |
|
||||
| `aa46da10`（修复分支），Claude 本机 | `ordinal 2`、`ordinal 3` **红** |
|
||||
| `03cba478`（修复前基线），把同一测试文件拷过去跑 | `ordinal 2`、`ordinal 3` **同样红** |
|
||||
|
||||
两侧红的是同一组，**说明不是本轮修复造成的**，是跨机浮点差异。
|
||||
|
||||
进一步用同机对照确认修复无辜：以该测试自己的 `shifted_window(case, 0, 60)` 口径，在基线与修复分支各算一次 121 个分数——
|
||||
|
||||
| ordinal | 基线哈希前 16 位 | 修复分支哈希前 16 位 | 是否相同 |
|
||||
| --- | --- | --- | --- |
|
||||
| 1 | `5e47d5b17c9534f1` | `5e47d5b17c9534f1` | 是 |
|
||||
| 2 | `b371f6430c7adfc8` | `b371f6430c7adfc8` | 是 |
|
||||
| 3 | `3fb2b626d86eb7c3` | `3fb2b626d86eb7c3` | 是 |
|
||||
|
||||
**同日分数在基线与修复之间逐位不变**（另经半径 10 的 6 例独立复核，同样 6/6 相同；执行方自己的 `docs/testing/rectification-cross-midnight-scoring-evidence-20260920.json` 覆盖 19 例 / 2299 候选，全部 `scores_bytes_equal: true`）。红的原因只是本机算出的字节与写死的字面量不同。
|
||||
|
||||
### 1.3 影响面：它在快速门里
|
||||
|
||||
`tests/test_rectification_cross_midnight_gate.py` 把该用例 re-export，文件名命中 `scripts/run_quality_gate.py` 的 `CORE_PYTEST_TARGETS` 中的 `tests/test_rectification_*.py`。实测同 glob：
|
||||
|
||||
| 分支 | 结果 |
|
||||
| --- | --- |
|
||||
| `03cba478` | **214 passed / 0 failed** |
|
||||
| `aa46da10` | **4 failed**（2 条 × 2，bridge 重复收集） |
|
||||
|
||||
即：推 `staging` 会触发 `backend-quality-gate`，而该门在浮点行为与执行方机器不一致的任何机器上都会红。
|
||||
|
||||
### 1.4 差异不是 repr 噪声，是第 4 位真的不同
|
||||
|
||||
实测该组 121 个分数全部满足 `repr(s) == repr(round(s, 4))`，**0 个带浮点尾噪**。所以哈希不同意味着至少一个分数在第 4 位小数上真的不同，属跨机 libm / pyswisseph 层面的差异，不是 JSON 序列化噪声。这类差异无法靠「多取几位」或「统一序列化」消除。
|
||||
|
||||
### 1.5 同一提交里引用了这条教训，又踩了它
|
||||
|
||||
`tests/test_rectification_engine_memoization.py` 的 docstring（本轮刚被同一提交修改过）明写：跨机 libm / pyswisseph 舍入**已经**让 `margin_percent` 漂移 `1.1e-3`，因此**不得**对整份 payload 做 `==` 比较。写死浮点分数的 SHA-256 比整份 `==` 更严格。
|
||||
|
||||
### 1.6 执行方自己的证据文件用的是正确做法
|
||||
|
||||
`docs/testing/rectification-cross-midnight-scoring-evidence-20260920.json` 的 `same_day.comparisons` 每条记的是 `scores_bytes_equal` / `matrix_bytes_equal`——**同一台机器上基线与当前的对照**，而不是跨机硬编码哈希。正确做法已经在仓库里，只是没有用在测试断言上。
|
||||
|
||||
## 2. 根因
|
||||
|
||||
这条回归要证的是「修复不改同日分数」，那是一个**相对**不变量：同机、同环境下，基线行为与当前行为一致。但它被实现成了**绝对**不变量：当前行为等于某一台机器在某一时刻算出的字节。绝对写法把 libm / pyswisseph 的版本差异一并纳入了断言范围，于是换机器就红，而红的信息与要守护的性质无关。
|
||||
|
||||
## 3. 决策记录
|
||||
|
||||
- **2026-09-20 产品要求就本项出修复单。**
|
||||
- 本单只改测试断言方式。`aa46da10` 的核心修复（`dasha_transition_proximity.py` 取候选日期、缓存键带日期、`scoring_service.py` 版本号 7→8）已由 Claude 独立验收通过，**不在本单改动范围**。
|
||||
- BUG-984（时段缓存不校验算法身份）另有补单，串行在本单与 `aa46da10` 合入之后。
|
||||
|
||||
## 4. 硬红线
|
||||
|
||||
1. **不得用消红代替修复**：不得删除该测试、不得 `skip` / `xfail`、不得把哈希改成「本机当前算出的值」——最后一种只是把红转移给下一台机器。
|
||||
2. **不得改** `scripts/rectification/dasha_transition_proximity.py` 与 `scripts/rectification/scoring_service.py`。核心修复已验收通过（§1.2）。
|
||||
3. 不得动打分常数、确认门、Skill 版本、`INPUT_CONTRACT_VERSION`、已封存的历史哈希。
|
||||
4. **不得因为改测试而降低覆盖**：「同日不变性」这条回归必须仍然存在，且仍然留在快速门里。
|
||||
5. 处理 bridge 重复收集时，不得让原测试脱离快速门 glob。
|
||||
6. 不顺手升级依赖、不修不在本单内的 warning。
|
||||
|
||||
## 5. 任务分解
|
||||
|
||||
### F1 · 把绝对哈希换成同机相对比对（BUG-985）
|
||||
|
||||
**推荐做法**：用生产代码里**已经存在**的 legacy 回退路径造出「修复前行为」，在同一次运行内对照。
|
||||
|
||||
`merge_transition_proximity()` 对缺少 `candidate_at` 的上下文仍回退到请求的 `birth_date`（即修复前的行为，该分支本轮已保留并有专门测试 `test_legacy_context_without_candidate_at_retains_request_date` 覆盖）。因此同日窗口下：
|
||||
|
||||
- A 组：正常 contexts（带 `candidate_at`，走新路径）
|
||||
- B 组：同一批 contexts 去掉 `candidate_at`（走 legacy 路径 = 修复前行为）
|
||||
- 断言 **A 组分数与 B 组分数逐位相等**
|
||||
|
||||
这条断言在任何机器上都成立（因为同日窗口下候选日期本就等于 `birth_date`），且直指要守护的性质，不含任何跨机字面量。
|
||||
|
||||
**备选做法**（若 A/B 构造受限）：改为结构性断言——同日窗口下，`_vim_start_dates` / `_narayana_start_dates` 收到的日期参数集合恰为 `{birth_date}`。该文件已有同型写法（`test_every_candidate_uses_own_date_and_caches_do_not_cross_dates` 用的就是捕获调用参数）。
|
||||
|
||||
验收标准：
|
||||
|
||||
- 三个 ordinal 全绿，且**在至少两台浮点环境不同的机器上各跑一次**——执行方自己的机器 + 一台 Linux 全依赖环境；两侧都绿才算通过。做不到两台就在进度记录写成环境缺口，不得写成通过。
|
||||
- 把核心修复临时回退（令 `candidate_date` 恒等于 `birth_date`）后，该测试**仍然绿**——证明它守的是同日不变性，不是跨午夜回归的替身；跨午夜回归由 `test_real_cross_midnight_all_candidates_match_independent_dated_calculation` 负责，那条必须仍然在回退后转红。
|
||||
- 文件内不再出现任何写死的分数哈希字面量。
|
||||
|
||||
### F2 · bridge 重复收集
|
||||
|
||||
当前 `tests/test_rectification_cross_midnight_gate.py` 的 re-export 让同一条用例在快速门里被收集两次（实测 4 failed = 2 × 2）。确认这是刻意还是副作用：
|
||||
|
||||
- 若刻意（只为让 glob 命中），在文件顶部注释写明「用例会被重复收集，计数非独立用例数」——执行方进度记录里已有「桥接重复收集的 14 项，不能算 14 项独立用例」的说法，把它落到代码注释里。
|
||||
- 若非刻意，改为不产生重复计数的挂载方式。
|
||||
|
||||
验收标准：快速门里该组的用例数与直接跑原文件一致，或有书面理由写在文件内。
|
||||
|
||||
### F3 · 查证 `block_scan` 重算是否经过被修 helper（决定 BUG-984 优先级）
|
||||
|
||||
这是 Claude review 的遗留问题，成本低但改变 BUG-984 的定级：
|
||||
|
||||
- `frontend/src/lib/rectification-agentic/v9/score-persist.ts` 的 `block_scan` 分支只比 `evidenceLedgerFingerprint` 即返回 `cached:true`，不读 `readV9EngineScoringIdentity()`；`minute` 分支有 `cachedEngineScoreIsReusable` 身份门。
|
||||
- `late_night`（`23:00–03:59`，299 分钟）与 `unknown`（1439 分钟）都超过 `MINUTE_GRID_MAX_SPAN_MINUTES = 120`，因此都走 `block_scan`——**而这两类窗口恰恰是最容易跨午夜的**。
|
||||
|
||||
要查证的是：`block_scan` 的真实重算路径是否会调用到 `merge_transition_proximity()`。
|
||||
|
||||
- **若会**：BUG-981 在 `late_night` / `unknown` 路径上等于没上线，BUG-984 升级为 BUG-981 的阻塞项，必须在宣称跨午夜问题已修之前解决。
|
||||
- **若不会**：BUG-984 与本次修复解耦，可按原优先级排。
|
||||
|
||||
验收标准：给出调用链证据（从 `block_scan` 分支一路到 `merge_transition_proximity`，或证明不可达），结论写进 `BUG-984` 正文与其补单的 §0。**不得以「大概会」结案。**
|
||||
|
||||
### F4 · 记录
|
||||
|
||||
- `docs/BUG_HISTORY.md` 新增 `BUG-985`（门禁级浮点哈希断言），关联 `BUG-981`；在「防复发」里写明：**同日/不变性类回归一律用同机相对比对，不得写死跨机浮点字面量**，并引用 `test_rectification_engine_memoization.py` docstring 里已有的同类教训。
|
||||
- `BUG-981` 正文补一行：门禁级测试问题已单独立号 `BUG-985`，核心修复本身经独立 review 通过。
|
||||
- `BUG-984` 正文补 F3 的结论。
|
||||
- `docs/tasks/README.md` 状态板加一行；实现合入 staging 的同一次推送里改状态。
|
||||
- `CHANGELOG.md` 不写（纯测试改动，无用户可感知行为变化）。
|
||||
|
||||
## 6. 让步顺序
|
||||
|
||||
1. **最先保 F1** —— 它是 `aa46da10` 的合入阻塞项，不修则整条跨午夜修复上不了 staging。
|
||||
2. 其次 F3 —— 只是查证，成本低，但它决定「跨午夜问题是否真的修好了」这句话能不能说。
|
||||
3. F2 可延后，但延后必须在进度记录里写明快速门中该组存在重复计数的事实，不得让后来人把 18 当成 18 条独立用例。
|
||||
4. **不得为赶工砍掉 F1 验收里「两台机器各跑一次」那条。** 只在一台机器上绿，正是这次出问题的原因。
|
||||
|
||||
## 7. 开工前置命令
|
||||
|
||||
```bash
|
||||
git fetch origin --prune
|
||||
git worktree add -b codex/rectification-cross-midnight-gate-fix-20260920 \
|
||||
.worktrees/rectification-cross-midnight-gate-fix-20260920 \
|
||||
origin/codex/rectification-cross-midnight-20260920
|
||||
cd .worktrees/rectification-cross-midnight-gate-fix-20260920
|
||||
git log --oneline -1 # 必须是 aa46da10 或其后代
|
||||
python3 scripts/pre_work_check.py --remote-timeout 8 --command-timeout 45
|
||||
```
|
||||
|
||||
复现命令（应在与执行方不同的机器上看到红）：
|
||||
|
||||
```bash
|
||||
python3 -m pytest tests/test_dasha_transition_proximity_cross_midnight.py -q
|
||||
python3 -m pytest tests/test_rectification_*.py -q # 快速门同 glob
|
||||
```
|
||||
|
||||
环境备忘：Claude 的 review 环境为 Linux + 系统 `python3` 3.13（可 `import swisseph`），无项目 `.venv`；frontend **无 `node_modules`**，前端侧检查需在有依赖的环境做。执行方环境为 Windows + Python 3.11.7。两者浮点行为不同，正是本单的起因。
|
||||
|
||||
## 8. BUG 编号起点
|
||||
|
||||
`docs/BUG_HISTORY.md` 在 `origin/staging`（`f8e40e5d`）上的最大号为 **980**；分支 `aa46da10` 已占用 **981–984**（均为 `investigating`，尚未合入 staging）。本单从 **BUG-985** 起。开工时对 `staging` 与本分支两边取最大号再顺延，并在进度记录里写明取的是哪一侧。
|
||||
Reference in New Issue
Block a user