F-e-u-e-r starledger：P3 完成閘與 closeout 程序
（驗證日 2026-07-30。P3 已於 2026-07-29 正式 closeout——run 30500689860、base b5afa9d、
697/697——本 skill 保留給：閘的再次 dispatch（例如未來稽核）、其他 milestone 想沿用同款
closeout 模式、以及診斷 FAIL。權威文本＝docs/P3-completion-runbook.md＋
scripts/p3-completion-check.mjs。）
完成閘＝條件合取（缺一即 FAIL，而且 FAIL 是對的）
p3-completion-check.yml（只有 workflow_dispatch，刻意 dormant）checkout 當前
default branch，跑 scripts/p3-completion-check.mjs（需 STAR_SYNC_TOKEN——credentialed
live README discovery）：
- node_id 集合相等：missing=0 ∧ extra=0 ∧ duplicates=0（count 相等不是證據——缺一顆與 多一顆會互相抵銷）；
- live
classifier plan --current ai-annotations.json規劃 0 jobs； - omitted-unfetchable ＝ 0（「0 jobs」不得遮蔽未排空的工作）；
- credentialed（真 token）；
- 證據塊列印：base commit SHA、dataset SHA、五數字、jobs、omitted——PASS 是釘在快照上的 （語單持續成長；PASS 只對那個 base 成立）。
拒收的五類假完成（runbook 原文有表）：scoped-subset replay、無 token 的本地模擬、backlog 未 排空時的 zero-new、非 credentialed 驗證、「routine 今天沒開 PR」式推論。
操作程序（2026-07-29 實走全鏈）
先跑零成本的本地前置檢查（set check，見 removed-star-prune-lifecycle 的再驗證指令）——
missing/extra/duplicates 任一非零就不必浪費一次 credentialed dispatch，先排空。dispatch 屬
operator 動作：executor 永不 dispatch；互動式 agent 只在 owner 明示時代跑。
gh workflow run p3-completion-check.yml
RUN_ID=$(gh run list --workflow=p3-completion-check.yml -L1 --json databaseId --jq '.[0].databaseId')
gh run watch "$RUN_ID" --exit-status
gh run view "$RUN_ID" --log | grep -E "base commit|dataset SHA|missing=|planned jobs|omitted|PASS|FAIL"
前置整備（如語單剛動過）：gh workflow run sync-stars.yml（有 workflow_dispatch；daily cron
23 5 * * * UTC，GitHub scheduler 有延遲常態）把新星拉進 canonical → 讓 routine（scheduled
或 RemoteTrigger run 手動）把 missing 排掉 → set 全零後再 dispatch 閘。
PASS 之後的記錄（closeout 才算完成）
依 docs/P3-completion-runbook.md 的 spec-update template：只動 docs/P3-ai-spec.md
的 docs-only PR，模板填五值（日期、N of N、run URL、base SHA、dataset SHA）——記錄 PR 本身
維持模板窄幅（這正是它得以豁免跨模型審查的前提）。實務教訓（PR #216→#219 四輪）：模板
只換一顆 bullet 不夠——同檔還有多處 present-tense 舊狀態句會與新記錄直接矛盾；因此記錄
PR 之後另開後續 PR（走正常審查陣容）執行 doc-status-sweep-method 的全類掃蕩，兩者不可
混入同一個 PR：混入＝把「機械填空豁免」硬撐到含判斷的掃蕩編輯上。
歷史警示（gate run 史實，gh api 可查）：2026-07-26T17:21Z 曾有一次 685/685 的 PASS 從未
被記錄，隨語單成長自然作廢——PASS 是釘在快照上的，不記錄＝沒發生；PASS 到手就立刻走
記錄程序。
完成定義：閘 PASS（證據塊齊）＋記錄 PR 合併＋狀態掃蕩零殘留＋（若動過 canonical prompt） live reconcile 完成。
負例（本會話真實出現）
- ❌「missing=2 但那是我剛 star 的，先 dispatch 沒關係」——會 FAIL 而且該 FAIL；先排空再 dispatch（合取沒有豁免項）。
- ❌「gate PASS 了，spec 換掉 PENDING 那顆 bullet 就是記錄完成」——#216 之後 owner 連抓三輪 殘句；記錄=模板+全檔一致性，缺一不可。
未定案（勿當作已證）
閘在 max_retry_per_run=0／max_refresh_per_run=0 下的健全性——zero jobs 是否可能遮蔽
refresh-eligible 工作——由 starledger issue #207（machine-readable 診斷）追蹤，尚未在
程式碼層驗證；在該項落地前，把 PASS 敘述為「在此 config 下的完成」是本 repo 已接受的語義
（3d 的同款 budget-scoped 措辭）。
再驗證
sed -n '1,10p' scripts/p3-completion-check.mjs # 條件合取仍如上
rg -n "workflow_dispatch" .github/workflows/p3-completion-check.yml .github/workflows/sync-stars.yml