← ClaudeAtlas

engineeringlisted

已經有凍結的 assertion、要開始或繼續施工時的站。兩個關卡之間的 loop:探索、實作、換量測、推進輪次。這裡沒有關卡。 某張單的 assertion 已經凍結,接下來要動手做的時候,或剛從 refinement 交出來。 也用於:跨 session 接手一張做到一半的單——讀凍結塊與可以改的那部分就能接上。 不用於:還沒有 assertion 的工作、要判這次算不算達成(走 verify-ac)、 決定下一站是哪一站(走 driving-work-to-done)。
HsuanYuLee/polaris · ★ 5 · AI & Automation · score 80
Install: claude install-skill HsuanYuLee/polaris
# engineering — 兩個關卡之間 這裡沒有關卡。派工怎麼切、實作怎麼做、試幾次、走哪條路,都在這裡,沒有人在等你交表格。 正因為頭尾兩個關卡在,中間才可以很隨便。 ## 接手 讀 `{issue}/index.md` 就夠了——凍結塊是成功的定義,可以改的那部分是其餘一切。不需要去翻別的 artifact。 ```bash bash .claude/skills/engineering/scripts/frozen-assertion-fence.sh verify {issue}/index.md bash .claude/skills/driving-work-to-done/scripts/spine-loop-state.sh show --state {issue}/.spine/loop-state.json bash .claude/skills/engineering/scripts/record-measurement-change.sh show --ledger {issue}/.spine/measurement-ledger.json ``` ## 量測命令 第一次寫的命令要登錄 baseline: ```bash bash .claude/skills/engineering/scripts/record-measurement-change.sh record \ --ledger {issue}/.spine/measurement-ledger.json \ --assertion-id A-P1 --new-command '<cmd>' --baseline ``` **量不到目標是常態,換就是了**,但換要帶三元組:舊命令 hash、新命令 hash、以及這條新命令 **在實作之前紅過**的證據。 ```bash bash .claude/skills/engineering/scripts/record-measurement-change.sh record \ --ledger {issue}/.spine/measurement-ledger.json \ --assertion-id A-P1 --old-command '<舊>' --new-command '<新>' --red-evidence <path> ``` 紅不了的命令什麼都沒量。一個因為工具不存在而失敗的紀錄不算紅過,它只證明環境壞了。 **量不到要說出來,不能回綠。** 負向的量測天生會把「我沒看到」讀成「它沒發生」——掃到 0 個 檔案、找不到那棵樹、正則對上 0 次,這些在輸出上跟「掃過了,沒問題」長得一模一樣。所以每條 量測前面要有一個 preflight:目標在不在、樣本數夠不夠。**preflight 不過就用另一個 exit code 停下來**(慣例是 2=量不到、1=量到了而且是紅的、0=綠),不要讓它走進判定。 **自己剛寫的檢查第一次就綠是可疑訊號**,通常代表規則太窄。落地之前先餵它一份已知壞掉的 輸入,確認它真的會紅。 ## 在這裡發現問題,先自己解 | 發現的問題 | 怎麼辦 | |---|---| | 量測方法不對 | 原地改,帶紅過證據換命令,繼續 | | 切分不對 | 重切,繼續 | | assertion 不對 | 不是這一站能解的——回 `driving-work-to-done` 讀該停哪一種 | 施工計劃那一類不存在:這條流程不分