idd-verify: composable verification profiles for non-code deliverables (prose / academic / no-git-repo)

[kiki830621]

Problem

idd-verify 的預設引擎在技術上被寫死成 code review：4 個 ensemble lens（requirements / logic / security / regression）與輸入來源（git diff / --pr / --commits / --branch）都假設 (a) deliverable 是 code、(b) 工作樹是 git repo。

當 deliverable 是非 code（學術 / 臨床 prose：case-report 摘要、信件、報告、資料分析敘述）或專案不是 git repo（例如 Dropbox 同步的 workspace）時，操作者只能臨場手動重映射 lens：

• Logic → 事實正確性 vs 來源（有沒有杜撰）
• Security → PII / 個資洩漏
• Requirements → 範本 / 格式合規
• Regression → 引用 / 佐證是否真的支持論點

並且繞過整套 git-diff 機制（改用 file / document 當輸入）。這種 ad-hoc 改寫的問題：

1. 失去可複現的結構 — 每次跑都即興出不同的軸，不可稽核
2. 無法乾淨呼叫 — 沒有 --profile，不可發現、不在 skill 契約內
3. 可能靜默丟掉「獨立交叉驗證 + 不自己給自己打勾」的保證 — 全靠操作者當下自律

Observation：backend 其實已支援 composability

pai-ensemble 的 Workflow backend 已經接受 profile: 'custom' + customLenses: [{key, focus}, …] + daFocus + contextBlock + diffFile。也就是說 composability primitive 已存在於 engine 層，只是沒有在 skill 層暴露。idd-verify skill 把那 4 個 code lens 與 git-diff 輸入源寫死了。

Proposal

把 composable verification profiles 提升到 idd-verify skill 層：

1. --profile <name> flag（code〔預設〕/ prose / academic / data …）—— 同時切換 (a) lens 組合 與 (b) 輸入源 adapter。
   • code = 今日行為（預設完全不變）
   • prose / academic = factual-accuracy-vs-source、format/requirement 合規、citation 佐證、PII/PHI leak、devil's-advocate / reviewer-defense；輸入源 = file / document path（非 git diff），git-repo optional
2. 輸入源抽象：--file <path> / --dir <path>（與既有 --pr / --commits / --branch 平行），讓無 git repo 也能驗
3. （選配）repo-local 自訂 profile：重用 .claude/.idd/local.json 機制，讓某專案一次註冊自己的軸

保留 code 為預設 → 既有行為 100% backward compatible。

Type

feature

Expected

• idd-verify --profile prose --file <path> 能用 prose 適用的 lens 對一份文件跑 ensemble，不需要 git repo
• 自訂 profile 可在 repo config 定義
• code 預設不變

Actual

• lens + 輸入源對 code + git 寫死；非 code deliverable 只能手動、不可複現地臨場改寫

Impact

• 讓 IDD 能覆蓋它實際已被應用的 deliverable 全譜（學術寫作、信件、報告），不只 code
• 把即興 workaround 升格為 first-class、可稽核的路徑
• 呼應「IDD 應該可自由組合」的通則：verification（乃至 diagnose / implement）的軸應可依 deliverable type 選配，而非固定為 code review

Provenance

此需求浮現於在非 code、非 git 的 deliverable 上使用 idd-verify 時——必須手動把 4 個 code lens 重映射成 prose 適用的軸並跳過 git-diff 機制。它 work，但屬即興，正是 IDD 存在要消除的那類不可複現性。

---

Current Status

Phase: diagnosed
Last updated: 2026-07-17 by /idd-diagnose (attended batch)

Key Decisions

• Complexity = Spectra（opt-out → 直接 propose） — 方向由 issue 自書定案；與 idd-verify / idd-route / bin/codex-call 的 gpt-5.5 hardcode 落後 GPT 新世代（sister concern from codex-pro#3） #251 同檔 idd-verify 相鄰處理

[kiki830621]

Diagnosis

Type

feature（idd-verify composable verification profiles — 非 code deliverable 的一等驗證路徑）

Root Cause / Analysis

idd-verify 的 4 lens（requirements/logic/security/regression）與輸入源（git diff / --pr / --commits / --branch）在 skill 層寫死為 code+git；但 composability primitive 已存在於 engine 層（pai-ensemble 接受 profile:'custom' + customLenses + diffFile）— 缺的只是 skill 層暴露。使用者已在非 code、非 git 的 deliverable 上實際即興重映射過（logic→事實正確性、security→PII、requirements→格式合規、regression→引用佐證），work 但不可複現、不可稽核 — 正是 IDD 要消除的即興性。方向由 issue body 自書定案：--profile <name>（code 預設不變 / prose / academic…）+ --file/--dir 輸入源抽象 + 選配 repo-local 自訂 profile（.claude/.idd/local.json）。

Impact

• skills/idd-verify/SKILL.md（flag 解析、profile→lens 映射、輸入源 adapter、Step 0.5 擴充）
• 新 references/verify-profiles.md（profile 契約 + lens 文本 single source）
• references/config-protocol.md（自訂 profile schema）+ 測試 + usecase-routing/README

Strategy

• references/verify-profiles.md：內建 profile 契約（code/prose/academic 的 lens 焦點文本 + DA 焦點）+ 自訂 profile schema
• idd-verify --profile + --file/--dir：lens 組合與輸入源同步切換；code 預設 byte-compatible；無 git repo 時跳過 git-anchored steps（FROZEN_SHA 改記 file mtime/hash）
• config-protocol verify_profiles 欄位（repo-local 註冊）
• drift-guard + usecase-routing row + README 段

Conflict Class

C_shared_module_coord — 共享資源：skills/idd-verify/SKILL.md（與 #251 的 model 記載同檔）；相鄰處理。

Complexity

Spectra（opt-out → 直接 propose）

Layer 2 命中：新 skill flags + profile 契約 = published surface 給 future callers，行為契約應成文（reference spec）。Layer 3 命中：輸入源抽象是架構性決策。Opt-out 條件成立（方向、flag 名、profile 集、backward-compat、config 機制皆由 issue body 自書定案；殘餘為 lens 文本細節，propose 階段可導出）→ 跳過 discuss。
Hard-gate: triggered — 單一概念（profile 抽象）散佈 idd-verify SKILL + 2 references + config + 測試 ≥5 檔。

Risks

• 非 git 輸入源繞過 diff-freshness gate（[followup] idd-verify diff-freshness gate — mid-review commit 使 ensemble verdict 靜默過期 (follow-up finding from cluster verify DA-CRIT-1) #228）→ profile 契約需定義 file-based 的 freshness 等價物（mtime/hash 錨點），不得靜默豁免
• prose lens 文本品質決定驗證價值 — propose 階段以使用者已驗證的即興映射為底稿

Residue

diagnose / implement 的 profile 化（issue 末段「乃至 diagnose / implement」）刻意不入本案 scope — verify 先行，成功後再議。

Vagueness Pre-check

• V1: 1 — flag、profile、輸入源、config 機制由 issue 自書
• V4: 2 — 完成 = prose profile 對 file 可跑 + code 預設不變 + 契約成文
• Triggered: no

[Layer V: V1=1 V4=2, not triggered; attended batch]

Sister Concerns Filed (mid-diagnose, v2.47.0+ #528)

(none — #251 已是既存 sibling，見 Conflict Class)

---

Source: /idd-diagnose attended batch, 2026-07-17