Problem
/idd-verify 在 Step 1 凍結 diff 到 /tmp 後,ensemble 審查期間若 branch 又有 commit(例如 orchestrator 邊收 findings 邊修),已凍結的 diff 與出貨 HEAD 靜默分歧 — lens verdicts 描述的是舊 snapshot,aggregate PASS 會被錯誤轉貼到沒人審過的新 code。
實證(2026-07-06,cluster #203+#117 verify):4 lens 審 59e4123 的凍結 patch;R1-fix commit 4d2e87b(+100 行淨新邏輯)於 17 分鐘後 mid-review 落地。DA-r2 以 mtime/行數/grep 證據抓到(DA-CRIT-1, CRITICAL — verify integrity),要求 re-freeze + 補審後才准 aggregate。當次已依此補跑 R2 round。
Type
enhancement(verify engine integrity gate)
Expected
idd-verify 在 Step 3 merge/aggregate 前加 freshness check:比對凍結 diff 產生時的 HEAD sha vs 當前 HEAD — 不一致則 (a) 拒絕 aggregate 並要求 re-freeze + 補審 delta,或 (b) 自動進入 R2 round。SKILL.md 同時加紀律句:verify in-flight 期間 orchestrator 不得 commit(fix 累積到 round 結束再上)。
Actual
無 freshness 檢查;stale-verdict 轉貼只能靠 DA 碰巧抓到。
Source: /idd-verify cluster #203+#117 R2(DA-CRIT-1)— 2026-07-06 live incident
Problem
/idd-verify在 Step 1 凍結 diff 到 /tmp 後,ensemble 審查期間若 branch 又有 commit(例如 orchestrator 邊收 findings 邊修),已凍結的 diff 與出貨 HEAD 靜默分歧 — lens verdicts 描述的是舊 snapshot,aggregate PASS 會被錯誤轉貼到沒人審過的新 code。Type
enhancement(verify engine integrity gate)
Expected
idd-verify 在 Step 3 merge/aggregate 前加 freshness check:比對凍結 diff 產生時的 HEAD sha vs 當前 HEAD — 不一致則 (a) 拒絕 aggregate 並要求 re-freeze + 補審 delta,或 (b) 自動進入 R2 round。SKILL.md 同時加紀律句:verify in-flight 期間 orchestrator 不得 commit(fix 累積到 round 結束再上)。
Actual
無 freshness 檢查;stale-verdict 轉貼只能靠 DA 碰巧抓到。
Source: /idd-verify cluster #203+#117 R2(DA-CRIT-1)— 2026-07-06 live incident