動作
Bug #364
進行中
SC
修 test-claims-gen real-file 期望過期:row 6「同上」經 verifier 展開後真檔 7 條零跳過,兩期望對齊+回歸 32/32 綠,CI tests 紅燈轉綠
Bug #364:
修 test-claims-gen real-file 期望過期:row 6「同上」經 verifier 展開後真檔 7 條零跳過,兩期望對齊+回歸 32/32 綠,CI tests 紅燈轉綠
狀態:
New
優先權:
Normal
被分派者:
-
開始日期:
2026-07-12
完成日期:
完成比例:
0%
預估工時:
概述
test-claims-gen real-file 期望過期修正:row 6「同上」展開後真檔為 7 條零跳過,CI tests 紅燈轉綠¶
背景¶
- ed97b95 push 後 CI tests workflow 紅燈 (
claims_gen bridge regression30/32,敗 2 案)。runner 紅才是權威、本地綠不算數——N-1 防線照設計運作。 - 根因=同輪漂移:上輪(#356)回歸先跑綠時,《2026-07-11_IEC62304-SOUP條款號裁決_查證.md》row 6 仍為「同上」(→ 6 claims+self-reference skip);之後 research-verifier 把 row 6 展開為實列(7 條全審、row 6 GROUNDED),兩者進了同一個 commit。
test-claims-gen.py的「real file」兩條期望釘的是舊形狀 → CI 抓到。 - 解析器本身無缺陷 :實跑
claims_gen.extract_claims對真檔 → 7 claims、row 6 GROUNDED、零跳過,與上輪 checkpoint 敘述一致。 - self-reference 行為仍由合成 fixture 案完整覆蓋(
rows kept = 2、skip list 回報、--quietstderr 不消音),防線不失守。
變更內容¶
僅一檔:.claude/hooks/test-claims-gen.py(「real file」段兩條期望對齊真檔現況)
-
real file: 6 claims (row 6 同上 skipped)(len == 6)→real file: 7 claims (row 6 同上 expanded by verifier)(len == 7) -
real file: row 6 skip reason is self-reference→real file: no rows skipped (同上 fully expanded)(not r_skipped) - 補區塊註解記錄脈絡:row 6 原「同上」→ verifier 同 commit 展開 → 真檔現為 7 條零跳過;self-reference 行為由 fixture 案續 pin,real-file 案只 pin 已 commit 檔案形狀
驗收標準¶
-
python .claude/hooks/test-claims-gen.py→ 32 passed, 0 failed,exit=0(本地 Playground python 3.12.13) -
連帶回歸無破:
test-external-review.py→ 21/21,exit=0;test-v17-s1s2s6.ps1→ 47 案 all PASS,exit=0 - push 後 CI tests workflow 轉綠(runner 權威綠燈,結果回貼)
附記¶
-
L4 external review workflow 常紅係 repo secrets 未設
REVIEW_PROVIDER(結構性:歷史每次觸發皆紅,與本修無關)。業主裁示:local 端已以 OpenAI 金鑰實跑過 L4(ledger 有戳),線上通道暫維持現狀不處理。 - 本輪另為查 CI 安裝 gh CLI 2.96.0+
GH_TOKEN查詢套路(環境事項不入 repo;PS 管道 BOM 陷阱已做對照實驗歸因並存記憶)。 - specs 零變更、無標籤升級、無 ADR 觸發。
沒有任何資料可供顯示
動作