Coding Audit Harness：AI 寫的程式，驗過才算數

讀取 Markdown 原文 · 下載 Agent SKILL.md

讓 AI 寫的程式必須附上可重跑的驗收證據，並由人核准才算完成。

工坊收錄說明

作品與開源

用 coding agent 寫程式，想確認「測試通過」真的有憑據的人。

一張附驗收收據、經本人核准完成的練習工單。

在 AI 開發及 AI 導入與驗證公會交流驗收規則與審查流程。

先在練習專案照快速上手跑完 add(2, 3) 範例。

封面與來源署名

作者：小艾老師

封面插畫：/art/skills/coding-audit-harness.webp

原作者 GitHub：https://github.com/weiwei-alvin/Coding-Audit-Harness

登入自由工坊並連結自己的 GitHub，即可在技能書加星或取消星星。

原作數據：/api/v1/github/books/coding-audit-harness/metrics

Stars、Forks、追蹤數、未結 Issues 與 PR 合計、最近程式更新時間以 GitHub 回覆為準；數據附核對時間，讀取失敗不冒充零。

讀者與格式

AI 開發驗收框架與稽核技能

• 用 coding agent 開發的人
• 想把 AI 開發流程導入團隊驗收的工程師

功能與使用範圍

MIT 開源；skills/matt-upstream 原樣收錄 Matt Pocock 的 MIT 技能。不是沙箱：同一個使用者仍能修改 state、測試與收據，雜湊只檢查新鮮度，不是簽章；不呼叫 LLM、沒有 Web UI 或排程器，也不判斷程式品質。Runner 從 TICKETS 階段開始強制，DISCOVERY 與 SPEC 只靠 agent 自律。--trust-commands 會以目前使用者權限執行專案指令，不可信的 repo 先放進隔離環境；範例指令以 PowerShell 撰寫。

• 5 個稽核技能接在 Matt Pocock 的需求訪談、規格、工單、實作與審查技能之後
• Runner 親自重跑 Golden Path 驗收指令，收據綁定程式碼指紋、驗證編號與審查輪次
• TICKETS 關卡與暫停決策只由人下指令；最後一張工單完成前，Runner 重跑全部驗收

開始前準備

• Python 3.12 與 requirements.txt 的 jsonschema
• 一個練習用的目標專案，把 harness/ 複製進去；已有 .harness/ 時先備份
• 願意親自寫驗收指令並下 Gate 的操作者；驗收指令失敗時必須回傳非 0

第一個練習

1. 照 README 快速上手，在練習專案寫 SPEC.md 的 US-001、工單 T-001、golden_path.json 與 check_calc.py。

2. 執行 init 與 set-ready-for-gate，親自看過工單與驗收後再下 gate-verdict PASS。

3. 實作後跑 verify-ticket --trust-commands 與 mark-ticket-ready-for-review，把收據的綁定欄位抄進 handoff 與 review，再以 review-verdict 完成工單並用 status.py 查看。

練習成果

一個練習專案中，附驗收收據並由本人核准完成的工單紀錄。

專案與授權

原作 Repo：https://github.com/weiwei-alvin/Coding-Audit-Harness

從原作建立自己的版本：https://github.com/weiwei-alvin/Coding-Audit-Harness/fork

工坊整合參考：https://github.com/weiwei-alvin/Coding-Audit-Harness

記錄的授權：MIT

一起改這本技能書

向小艾老師的原作回饋 POSIX shell 範例、文件或測試案例；skills/matt-upstream 為原樣收錄，修改上游技能應回 mattpocock/skills 提案。

原作 Repo：https://github.com/weiwei-alvin/Coding-Audit-Harness

預設 PR 目標：weiwei-alvin/Coding-Audit-Harness:main

從原作建立自己的版本：https://github.com/weiwei-alvin/Coding-Audit-Harness/fork

原作 PR：https://github.com/weiwei-alvin/Coding-Audit-Harness/pulls

工坊整合參考：https://github.com/weiwei-alvin/Coding-Audit-Harness

工坊整合任務專用 Fork：https://github.com/weiwei-alvin/Coding-Audit-Harness/fork

工坊任務：https://github.com/weiwei-alvin/Coding-Audit-Harness/issues

工坊 PR：https://github.com/weiwei-alvin/Coding-Audit-Harness/pulls

GitHub Milestones：https://github.com/weiwei-alvin/Coding-Audit-Harness/milestones

先閱讀原作現行的貢獻規則。Fork 不會自動回饋原作；修改要以 PR 提交，由原作維護者決定是否合併。工坊整合任務可在工坊審查，另外記錄回饋原作的 PR 或未回送原因。

以下是入口與建議，不代表已認領或已完成。以 GitHub 最新 Issue、PR 與維護者確認為準。

• 第一份可重用的共同成果（建議里程碑）：提交可重現案例、來源與驗證結果，由維護者審查；這是建議里程碑，尚未建立為 GitHub milestone。

### 改善AI 開發驗收框架與稽核技能的第一個案例 · 建議任務

向小艾老師的原作回饋 POSIX shell 範例、文件或測試案例；skills/matt-upstream 為原樣收錄，修改上游技能應回 mattpocock/skills 提案。

• 驗收：一個練習專案中，附驗收收據並由本人核准完成的工單紀錄。 記錄實際驗證與未執行項目；以原作 Issue／PR 協調。

Agent Skill：/development/skills/coding-audit-harness/SKILL.md

協作 JSON：/api/v1/skills/coding-audit-harness/collaboration

參與開發

向小艾老師的原作回饋 POSIX shell 範例、文件或測試案例；skills/matt-upstream 為原樣收錄，修改上游技能應回 mattpocock/skills 提案。

工坊 Issue／PR 協調入口：https://github.com/weiwei-alvin/Coding-Audit-Harness/issues

先讀該 Repo 根目錄 README.md、AGENTS.md、CONTRIBUTING.md；原始程式、測試及來源授權留在該專案。平台介紹與公會收錄則在 freedom-platform 的 modules/community 維護。

要改善平台介紹：https://github.com/FreeTWAI/freedom-platform/issues

閱讀與來源

閱讀原始專案：https://github.com/weiwei-alvin/Coding-Audit-Harness/blob/c4526624f65530c009c57b9add233b1060fa01df/README.md

核對日期：2026-10-01

核對版本：c4526624f65530c009c57b9add233b1060fa01df

• README.md：https://github.com/weiwei-alvin/Coding-Audit-Harness/blob/c4526624f65530c009c57b9add233b1060fa01df/README.md
• LICENSE：https://github.com/weiwei-alvin/Coding-Audit-Harness/blob/c4526624f65530c009c57b9add233b1060fa01df/LICENSE
• skills/matt-upstream/UPSTREAM.md：https://github.com/weiwei-alvin/Coding-Audit-Harness/blob/c4526624f65530c009c57b9add233b1060fa01df/skills/matt-upstream/UPSTREAM.md

共創原則

GitHub Issue 是待辦與協調來源，PR 是審查與合併紀錄。先確認任務範圍，再用自己的分支完成相關驗證；保留上游與實際貢獻者。Fork 不等於平台認證、已測試運行或新授權。

完整結構化目錄：/api/v1/development-map