verification-maintain

<!-- 🔒 LOCKED — managed by clade Source: plugins/hub-core/skills/verification-maintain/ Edit at: $CLADE_HOME Local edits will be reverted by the next sync. --> <!-- clade-targets: claude,codex,cursor --> # Maintain project verification infrastructure > **本檔的 `<skills-root>`** 指該 runtime 的 skill 投影根目錄：Claude `.claude/skills/`、Codex `.agents/skills/`、Cursor `.cursor/skills/`。**NEVER** 在別的 runtime 上照抄 Claude 的字面路徑；找不到該目錄就回報標準未送達，不猜一個。 Feature map 會隨產品改動而腐化。本 skill 對每一個 feature 做 source reconciliation 與 live drive，但只維護 verification infrastructure，NEVER 在同一輪修產品 code。 ## Outcomes 每次只能選一個： | Outcome | 必要條件 | Git／PR 行為 | | --- | --- | --- | | `clean` | 每個 feature 都有 source + live coverage，沒有值得落地的 map／harness diff | **現況結果**：不建 branch、不 commit、不開 PR；dirty verification diff 必須為零 | | `changed` | 已 live re-prove 的 doc、map 或 owned harness correction | 只包含 target verification skill；依 consumer `workflow_model` 建一個 PR，或以 selective commit 落 trunk | | `blocked` | coverage 無法完成，或 proven correction 無法安全落地 | 不開 PR；列出已覆蓋範圍、blocker 與 preserved evidence | **`clean` 是成功交付，不是「什麼都沒做」。** 它必須帶 coverage 與 evidence summary，但 repository outcome 保持無 branch／無 commit／無 PR。每日 unattended run 命中 `clean` 時也遵守同一契約，NEVER 製造空 PR 當活動證明。 ## Edit scope 只可修改被維護的 `<skills-root>/verify-<app>/`：`SKILL.md`、`features/` 與它自己擁有的 harness scripts。 - map 描述錯誤 → doc drift，修 map。 - app 正常但 harness 無法 drive → harness gap，修 owned harness 並 live re-prove。 - app 行為真的壞掉 → product gap，只回報；NEVER 改產品 code，NEVER 把 map 改成假裝壞行為正確。...