Learning Curator 3.1 — Re-audit 報告

dashboard-concurrency-guard SHIP

5 trials · k=5 · verdict policy: non-regression · preflight: skip

Trial 1/5: PASS (1)
Trial 2/5: PASS (1)
Trial 3/5: PASS (1)
Trial 4/5: PASS (1)
Trial 5/5: PASS (1)
Verdict: SHIP

對應 PR-D 加的 Layer 6 optimistic concurrency gate。Agent 在 5 trials 都正確：(1) 識別 candidate 實際狀態已變 dismissed；(2) 認定 Reviewer B 的 stale request 應被拒；(3) 識別 HTTP 409；(4) 確認 absent expected_current_status 會 degrade gracefully。

Drift #1 — Layer 4: CuratorRunManifest daemon-side 失敗時不寫 DRIFT

檔案：skills/arc-observing/scripts/observer-daemon.sh:286-290

Spec 要求（layer-4 acceptance #10）：CuratorRunManifest 對「every attempted run」都要寫，包含失敗路徑。

實作現況：persistRunManifest 只在 ingestProposal 函式內被呼叫（proposal-ingestor.js:93-100）。Daemon 端的 claude CLI 失敗（transport_error / timeout / watchdog kill）會直接 return，沒寫 manifest。

影響：審計時無法知道「daemon 嘗試了 N 次，其中 M 次因 transport 失敗」— 失敗統計缺漏。Pre-existing，不是 PR-A/B/C 引入。

修法：daemon 在 abort 路徑改 invoke ingest-proposal --record-failure transport_error|timeout（或加 sibling record-run-failure 命令），保證每次 attempt 都有 manifest。

Drift #2 — Layer 5: 7 個 rejection code dead（定義但 never emit） DRIFT

檔案：scripts/lib/learning-curator/schema.js:508-527

Spec 要求：REJECTION_CODES 列 18 個合法 reason，validator 應該全部用到。

實作現況：以下 7 個 code 定義在 frozen 常數，但 codebase 全文檢索沒有任何 emit site：

• artifact_type_not_allowed — bad artifact_type 退到 generic schema_invalid
• scope_not_allowed — bad scope.kind 退到 schema_invalid
• evidence_type_mismatch — proposal cite 的 evidence_type 跟 batch item type 不一致時應 reject
• too_few_evidence_refs — prompt 公告 2-5 refs 但 validator 沒查 min
• too_many_evidence_refs — 同上，沒查 max
• source_manifest_missing — 見 Drift #4
• source_hash_mismatch — 見 Drift #3

影響：壞 proposal 全部被分類到 schema_invalid，丟失 root cause 資訊；ref-count 跟 type-against-batch 完全沒檢，可能放行不合規 proposal。

修法：(a) validator 對 artifact_type / scope.kind 用 dedicated code；(b) 加 min/max evidence-ref 強制（pin 2-5 為常數）；(c) proposal-ingestor 收 evidence_ref 時跨檢 batch item 的 evidence_type。

Drift #3 — Layer 5: batch_hash round-trip cross-check 缺漏 DRIFT

檔案：scripts/lib/learning-curator/proposal-ingestor.js:285-291

Spec 要求：LLM response 必須回 source.batch_hash，validator 要跟 manifest 的 batch_hash 比對 — stale/wrong response 應拒收。

實作現況：載 batch manifest 用 batch_id，但從不比對 proposal.source.batch_hash === batchManifest.batch_hash。

影響：如果 LLM 回了一個過時的 batch_hash（譬如 client 重試時 batch 已經 regenerated），會被靜默接收，產生對應錯 batch 的 candidate。

修法：proposal-ingestor.js 比對 payload.source.batch_hash 與 loaded manifest，不一致時 reject 用 source_hash_mismatch。

Drift #4 — Layer 5: source_manifest_missing throw 而非 reject DRIFT

檔案：scripts/lib/learning-curator/proposal-ingestor.js:286-291

Spec 要求（layer-5 L244）：missing batch manifest 應該寫 rejection（source_manifest_missing）。

實作現況：throw Error，caller（daemon）視為 fatal failure，沒寫 rejection record。

影響：與 Drift #1 連動 — daemon 看到 throw 就 return，連 run manifest 都沒寫。Audit trail 兩個層級的失敗都消失。

修法：改成寫 rejection record（reason: source_manifest_missing）然後正常 return；daemon 才能繼續正常記錄。