agent-self-verification

Agent Self-Verification

核心命題：agent 完成 evidence 收集是預設職責，禁止把可自動化的驗證（dev login / 截圖 / API round-trip / test / DB query）踢回 user。User handoff 是最後手段 — 必須主線跑完已知 fallback chain 仍失敗才行。

此規則優先於個別 skill 內嵌的「請 user 確認」捷徑指示；every session always-load。

Browser 載體（Cursor vs 非 Cursor）

開網頁／截圖／登入頁之前 MUST 先讀 [[agent-routing]] § Cursor 環境的 browser 載體——環境 predicate、該用哪個載體、以及全部 NEVER 都在那一節。不要寫死 agent-browser。 本檔 NEVER 複寫該節內文：L69 同型複本曾寫成相反方向、隨投影散到全 fleet 十一個 consumer。

證據鑑別力（先於下方每一條 NEVER / MUST）

驗收引用的證據 E，MUST 能回答「若被驗命題為假，E 會長什麼不一樣？」——答不出或答案是「一樣」→ E 不是證據，換一個在兩個世界會分岔的觀測。status code、exit code、「檔案存在」、工具自我宣告、來自常數宣告而非量測的數字，預設視為未分岔訊號。MUST 11 / 16 / 19 是本條的三個實例；新形態回到上面那句自判。降級路徑觸發時 MUST loud（warning / health degraded），讓假世界主動分岔。實證三例見 [[pitfall-empty-state-screenshot-has-no-discriminating-power]]。

摘要值（hash / 行數 / 檔案數 / diff 大小）同屬未分岔訊號：sha256sum / md5sum / wc -l 這類全域函式對空輸入不報錯、照樣回一個外觀正常的值，於是「上游命令死掉」與「內容真的是空的」在它的輸出裡完全相同。每一次拿 hash 或 count 當證據，MUST 先驗產生它的那條 pipeline 的 exit code 與非空性；NEVER 從摘要值反推成因。逐字反開脫：「hash 有值代表命令成功了」——[ -n "$(printf '' | sha256sum)" ] 恆真（空輸入的 sha256 就是 e3b0c442…），那道 guard 讀起來在防空值、實際永遠通過。實證見 [[pitfall-hash-of-empty-stdout-collapses-distinct-causes]]。

否定命題 MUST 先做陽性對照（先於下方每一條具名處方）

結論形式是「沒有 X」時，MUST 先對量測工具做一次陽性對照——用一個已知存在的目標跑同一條指令，確認它回得出非空。回空就是工具壞了，不是「沒有 X」。 對照沒跑，那個「沒有」不是證據，NEVER 拿它當任何動作的前提（起 publish、判 lane 空、判沒人在跑、判無違規）。

這條排在所有具名處方之前，不與它們並列，理由只有一條：它不要求你事先知道那個特定的坑。 具名處方（find 加 -L、比對 exe 不比對 comm、進程列表不加 | head -N）擋的是已知的坑，而會出事的每一次，都是不知道的那一次。陽性對照擋的是「這個工具現在到底活著沒有」——後者不成立時，前者全部沒有意義。

逐字反開脫：「指令跑完了、沒報錯、回空，所以確實沒有」——空輸出與工具壞掉在 stdout 上完全同形，而否定命題只能用「找不到」來證，所以這一整類對假陽性與假陰性都零抵抗。假訊號不是讓你少知道一件事，是讓你知道一件相反的事。

誠實邊界：陽性對照證的是工具活著，不是 pattern 寫對——它擋不住「工具對目標 A 有效、對目標 B 無效」。NEVER 把對照通過讀成「這次的查詢是對的」。

判「某個程式在不在跑」時 MUST 貼 [[process-probe]] 的 is-running.sh，NEVER 現場自組 pgrep / ps | grep：pgrep -f 比對整條 cmdline，量的是「有沒有人提到這個字」；該腳本內建兩段對照並把「沒有在跑」（exit 1）與「量不出來」（exit 2）分成不同 exit code。裸 pgrep 把這兩個結論折成同一個空輸出。