validate／doctor 把每一筆 venue 候選的歧異記錄報成懸空——跨記錄檢查的查找表沒有 .venue（#553 起 venue 是合法候選）

[kiki830621]

Problem

LibraryStore.crossRecordIssues 檢查歧異記錄的候選有沒有對應的記錄時，查找表 entityKeys 只有 person、work、organization、divergence 四種，沒有 venue（Sources/AkashicStoreIO/LibraryStore.swift 約 3035 行）。

#553 起 venue 是合法的候選形狀，所以任何含 venue 候選的歧異記錄，validate／doctor 都報成「歧異候選「venue 「k」」沒有對應的記錄」，並說 resolve-divergence 會擲找不到對應記錄。同一個 store 上 resolve-divergence --dry-run 其實成功。

這是誤報，而且恰好落在 #675 指路的流程上：使用者照 #565 的拒絕訊息走合併時，會同時看到這則互相矛盾的警告。

Type

bug

Expected

• entityKeys 補上 .venue: Set(venues.map(\.key))。
• 補一支測試：store 裡有兩筆 venue 與一筆以它們為候選的歧異記錄時，跨記錄檢查不報懸空候選。
• 查一次同一張表還漏了哪些 EntityKind，以後新增形狀時要一起補（加一個 exhaustive switch 或反射測試）。

Actual

每一筆 venue 候選都被報成懸空。

---

Source: batch14 R1 verify（#675，devil's advocate 席，2026-09-29）；在暫存 store 以真 binary 重現。既有缺陷，不在該批 diff 內。

---

Current Status

Phase: verified（b16v R1：沒有 HIGH；旁邊的 recordDivergence 查找表也改成窮舉 switch）
Last updated: 2026-09-30 by idd-update

Blocking

• (none)——等你 /idd-close

Commits

• 3270bd86
• c6893e00（R1 修正）

[kiki830621]

Implementation Complete

Commit：3270bd86（已推上 main）

• crossRecordIssues 檢查歧異候選的查找表補上 venue。含 venue 候選的歧異記錄不再被報成「沒有對應的記錄」；指到不存在的 venue 的候選照樣報。
• 查找表從字典字面值改成對 EntityKind 的窮舉 switch。原本的字面值漏一格編譯器看不出來；現在新增一種形狀時，這裡會編不過。

測試：DivergenceHardeningTests.testVenueCandidatesAreNotReportedAsDangling。store 裡兩筆 venue 都在的歧異記錄不報，另一筆指到不存在的 venue 的仍報。修正前紅（三則誤報），修正後綠。整合後全套 swift test 4,319 個、1 個 skipped、0 失敗；run-guards.sh rc=0。

另查：Expected 要求查一次同一張表還漏了哪些形狀。現在它是窮舉的，五種形狀都在。R1 verify 會另外要求審查者找 Sources/ 裡其他以 EntityKind 為鍵、可能漏 venue 的表。

[kiki830621]

Verify（#699 歧異記錄的 venue 候選被報成懸空）

這一輪

六席：requirements、logic、security、regression、devil's advocate、Codex。全輪 62 則：HIGH 0、MEDIUM 2、LOW 30、INFO 30。前一輪的 HIGH 都確認已關閉——#606 R1 的 HIGH（以計畫時的快照覆寫）由 requirements、logic、security、regression、devil's advocate 五席確認；#629 R2 的 HIGH（同源檢查可被繞過）由同樣五席確認，其中三席做了對照 WHATWG 的差分模糊測試、零差異。Codex 只回一則（#696），對這些 HIGH 沒有下判斷（第 32 則）。

屬 #699 的：LOW 1、INFO 2，另有第 61 則的 (e) 段。

逐則處置

則	席	嚴重度	內容	處置
12	logic	LOW	crossRecordIssues 已改成窮舉 switch，但同形的第二張表——recordDivergence 驗候選存在的 byShape——仍是以 EntityKind 為鍵的字典字面值，新增形狀時不會編不過	修（c6893e00）：改成對 EntityKind.allCases 的窮舉 switch，與 3270bd86 同形；divergence 那一格明寫不收（checkDivergenceArguments 在讀 store 之前就拒絕它）。行為不變，沒有新測試；recordDivergence 相關的既有測試（DivergenceRecordTests、DivergenceResolveVenueTests、AttributeBindingTests 等 8 組、84 支）全綠
38	requirements	INFO	三個 Expected 都有覆蓋；其餘以 EntityKind 為鍵的表沒有漏 venue	不動
55	regression	INFO	查找表的修改只影響懸空候選的警告，沒有副作用	不動
61 (e)	devil's advocate	INFO	逐一掃過 EntityKind 的表：byShape 含 venue、刻意不含 divergence，不是缺格	不動；它說的「不是缺格」成立，本輪改的是「將來新增形狀時會不會編不過」，與 logic 席第 12 則同一件事

Commit

• c6893e00 refactor: recordDivergence 的候選查找表也改成窮舉 switch (validate／doctor 把每一筆 venue 候選的歧異記錄報成懸空——跨記錄檢查的查找表沒有 .venue（#553 起 venue 是合法候選） #699)——含 changelog/2026-09-29-venue-candidate-dangling.md 的「R1 verify 修正」一節。