提示壓縮：在不掉分的前提下把 token 砍掉四成

提示會隨著時間膨脹：每次出問題就補一句規則，半年後變成兩千字的巨獸。成本上升是小事，真正的問題是中段規則開始失效。

按這個順序砍

1. 刪重複規則：同一件事在不同段落被講了三次，只留最清楚的一次。
2. 合併同類限制：五條格式規則寫成一個 JSON 骨架，通常能省掉八成字數。
3. 移除禮貌用語：「請你務必」「非常重要的是」對模型沒有作用。
4. 範例減量：從五個減到三個，跑評測確認沒掉分。
5. 背景知識外移：固定不變的長清單改用檢索帶入，而不是每次都塞。

壓縮前後對照

# 壓縮前（節錄）
請你務必記得，輸出時一定要是 JSON 格式。
不要輸出任何多餘的文字。
也不要加上程式碼區塊的標記。
欄位有 type、evidence、confidence 三個。
type 只能是 oom、disk_full、timeout、unknown 其中之一。

# 壓縮後
僅輸出符合下列骨架的 JSON：
{"type":"oom|disk_full|timeout|unknown","evidence":str,"confidence":float}

每砍一刀就跑一次評測

壓縮一定要搭配評測集，否則就是在賭。實務上的節奏是：砍一項、跑一次、記錄分數，掉分就退回。