PR 要自帶證據,證據是少讀 code 的交換條件
「少讀 code」不是免費的——你要拿證據去換。所以 PR 的要求從「給我 diff」變成逼 agent 給 proof。
四類證據
| 類型 | 內容 |
|---|---|
| Unit tests | 看測試名稱、掃一下 assert,就能快速判斷邏輯有沒有被測到 |
| Runtime evidence | runtime log——給 agent 更多可見性與「眼睛」 |
| Visual evidence | 螢幕截圖或影片,每次改 UI 都要求附上 |
| Confidence level | 要求 agent 對自己的程式碼與 gating 各部分自評信心水準 |
交換關係
證據越多跑得越快——因為你不必自己手動去驗證那些東西。 agentic validation 是「能少讀 code」的核心:PR 上先有一堆證據,你就不用讀那麼多 code。
這也是 判準不是問題難不難,是有沒有標準化的驗收方式 的具體答案:證據就是那個「標準化的驗收方式」長出來的樣子。
兩個附帶條件
- agent 寫的測試要擋:應該做一個「不要寫沒用的測試」的 skill(判準見 測試分兩層:綁契約的是資產,綁實作的是拋棄式、單元測試不是有寫就好)
- 這些要求要做進 skill 裡,不是每次手動交代
相關:監督 AI 產出的檢查成本可能比自己寫還高——那篇說檢查成本可能高到不如自己寫;這篇是另一條路:把檢查成本轉嫁給產出方,讓它自帶可快速驗收的證據。