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: closed
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

[kiki830621]

Implementation Complete

PR: #261（cluster Line C — 與 #251 同 branch idd/cluster-verify-profiles，per-issue commit）
Spectra change: verify-profiles（proposal / design D1–D5 / spec delta（idd-verify ADDED ×3）/ tasks，validate ✓；merge 後 archive）
Commit: d227568

Checklist

• 1.1 新 drift-guard suite verify-profiles（RED 0/18 確認）
• 2.1 新 references/verify-profiles.md — profile 四元組 single source（prose/academic lens 文本、DA focus、file SHA-256 freshness 契約、custom schema 摘要）
• 2.2 idd-verify SKILL — 參數表 --profile/--file/--dir、新 profiles 章、Step 0.5 file 分支（互斥 abort + FROZEN_HASHES gate）、backend dispatch 組裝點
• 2.3 config-protocol ### verify_profiles field（collision 內建勝、invalid 忽略 + warning、unknown fail-loud）
• 2.4 Suite GREEN 18/0；全 sweep 33 suites 0 fail；validate clean

契約要點

code 預設逐 byte 不變（drift-guard verbatim 鎖）；--file/--dir 讓 git worktree 變 optional；freshness gate 不因非 git 輸入而豁免（#228 等價物）；diagnose/implement 的 profile 化維持 Residue（verify 先行）。

[kiki830621]

Closing Summary

Problem：idd-verify 的 lens 與輸入源在 skill 層寫死成 code + git；非 code deliverable（學術/臨床 prose、報告）或非 git workspace 只能臨場手動重映射 — 不可複現、不可稽核、可能靜默失去獨立交叉驗證保證。

Root Cause：composability primitive 已存在於 engine 層（pai-ensemble customLenses），但 skill 層沒暴露。

Solution（Spectra change verify-profiles，opt-out → propose）：--profile <name>（code 預設／prose／academic／config 自訂）切換 (lens set, DA focus, 輸入源預設, freshness) 四元組；--file/--dir 輸入源（與 git 來源互斥、git worktree optional）；file SHA-256 freshness gate（#228 非 git 等價物，不豁免）；config verify_profiles 自訂（內建名碰撞內建勝、unknown fail-loud）；新 canonical references/verify-profiles.md（lens 文本以本 issue Provenance 的實戰映射為底稿）。code 逐 byte 不變（verbatim drift-guard 鎖）。

Verification：新 suite verify-profiles（RED 0/18 → GREEN 18/0）；sweep 0 fail；artifacts validate ✓；PR #261 merged（d227568）。

Changes：skills/idd-verify/SKILL.md、新 references/verify-profiles.md、references/config-protocol.md、新 suite、Spectra artifacts（merge 後 archive）。

Residue（依 diagnosis，維持不入 scope）：diagnose / implement 的 profile 化 — verify 先行，成功後再議。

Distribution sync：v2.97.0。

[kiki830621]

📊 For Reviewer / Collaborator

現在：composable verify profiles 落地 — prose/academic lens + file 輸入源 + SHA-256 freshness gate，PR #261 merged
Blocking：無
你該做什麼：無 — 已結案（root cause / solution 詳見 Closing Summary）

last-updated by idd-close at closed, 2026-07-17