現在的主線是哪一個，變成一個查得到的事實（inkstone/ISEP#82）
14 個 open milestone 同時亮著，其中「Mira 現代化」同名活在 5 個 repo，
所以 SOP 說的「那個 active milestone」在現場沒有指涉對象。
- hooks/lib/mainline.py 主線的唯一存放處（一個檔放得下一條），從不打網路
- scripts/mainline show/list/set/clear/refresh/adopt/has
- hooks/mainline-focus-guard.sh 派了不在主線上的票 ⇒ 攔一次，問補收還是跳線
- hooks/lib/countdown.py ⏱ 那一行的主線改讀「被標定的」，蓋過「期限最近」的猜測
- hooks/countdown-guard.sh 同一個注入點加第二行 🎯（ISEP#63 那半不動）
- 測試 24 條（離線）＋ countdown 原有 20 條仍全綠
This commit is contained in:
Claude Code
@@ -64,12 +64,27 @@ try:
|
||||
except Exception:
|
||||
raise SystemExit(0) # 算不出來就不出聲，不要讓它變成噪音
|
||||
|
||||
# 第二行：現在的主線是哪一個（inkstone/ISEP#82）。
|
||||
# 同一個注入點的兩行，來源不同：⏱ 算時間，🎯 讀被標定的主線。
|
||||
# 算不出來也一定回一句話（「現在沒有主線」），所以這裡不需要 fallback；
|
||||
# 真的整支壞掉（import 失敗）才留白——一行注入不該讓整個 session 停下來。
|
||||
try:
|
||||
ml = cd._mainline().line()
|
||||
except Exception:
|
||||
ml = ""
|
||||
|
||||
ctx = (
|
||||
stamp + "\n\n"
|
||||
"🔴 這一行是 ISEP 的倒數（inkstone/ISEP#63）。**把它原樣放在你這則回覆的最前面**，"
|
||||
stamp + "\n"
|
||||
+ (ml + "\n" if ml else "")
|
||||
+ "\n"
|
||||
"🔴 第一行是 ISEP 的倒數（inkstone/ISEP#63）。**把它原樣放在你這則回覆的最前面**，"
|
||||
"數字不要自己重算、也不要改寫措辭——它是機器算的，你算的會漂。\n"
|
||||
"leo 整天上課、一天只看兩眼：沒有這行，他就不知道『這件事還來得及嗎』。\n"
|
||||
"收工前這一回合若沒有戴上它，Stop 那一半會擋一次要你補。"
|
||||
"收工前這一回合若沒有戴上它，Stop 那一半會擋一次要你補。\n\n"
|
||||
"🎯 第二行是**現在的主線**（inkstone/ISEP#82）——leo：「14 個里程碑同時亮著"
|
||||
"卻不知道該看哪個」。它是你這回合的判準：**手上這件事在不在那條線上**。\n"
|
||||
"不在，就當場說清楚是『補收』（它本來就該在主線上）還是『跳線』（真的插件事），"
|
||||
"不要默默做完。主線的名字已經在第一行的倒數裡，戴上倒數＝主線也一起到了 leo 眼前。"
|
||||
)
|
||||
print(json.dumps({
|
||||
"hookSpecificOutput": {
|
||||
|
||||
+46
-6
@@ -27,6 +27,13 @@ leo 2026-08-28 07:40：「今天我整天上課……**下午四點左右**希
|
||||
從快取檔讀，**這支從不打網路**：UserPromptSubmit 走在每一則訊息的關鍵路徑上，
|
||||
在那裡打網路 ＝ 每一句話都先等一次 HTTP。快取由 SessionStart 那支負責更新
|
||||
（`scripts/countdown-milestone-refresh.sh`），拿不到就整段不顯示，不編數字。
|
||||
|
||||
🔴 **來源有兩個，優先序寫死（inkstone/ISEP#82）**：
|
||||
① **被標定的主線**（`hooks/lib/mainline.py`，`scripts/mainline set` 寫的）—— 優先
|
||||
② 期限最近的那一個（`milestone-due` 快取，`countdown-milestone-refresh.sh` 寫的）
|
||||
② 是**猜**出來的（「最近到期的大概就是在做的那個」），而 ISEP#82 的整件事就是
|
||||
「那個 active milestone」在 14 個裡沒有指涉對象。⇒ 一旦有人真的標了主線，
|
||||
就不准再用猜的那個蓋過它。兩個都沒有 ⇒ 整段不顯示。
|
||||
"""
|
||||
import json
|
||||
import os
|
||||
@@ -137,10 +144,40 @@ def deadline(now: datetime) -> datetime:
|
||||
return d
|
||||
|
||||
|
||||
def milestone() -> "tuple[str, datetime] | None":
|
||||
"""主線 milestone 的期限。快取檔一行：`YYYY-MM-DD|<名稱>`。沒有就沒有。"""
|
||||
def _mainline():
|
||||
"""借 `hooks/lib/mainline.py` 讀「被標定的主線」。拿不到就當沒有（fail-open）。
|
||||
|
||||
刻意用檔案路徑載入而不是 `import mainline`：本檔自己也是被
|
||||
`spec_from_file_location` 載進去的，`sys.path` 裡沒有 `hooks/lib`。
|
||||
"""
|
||||
try:
|
||||
import importlib.util
|
||||
p = os.path.join(os.path.dirname(os.path.abspath(__file__)), "mainline.py")
|
||||
spec = importlib.util.spec_from_file_location("isep_mainline", p)
|
||||
mod = importlib.util.module_from_spec(spec)
|
||||
spec.loader.exec_module(mod)
|
||||
return mod
|
||||
except Exception:
|
||||
return None
|
||||
|
||||
|
||||
def milestone() -> "tuple[str, datetime | None] | None":
|
||||
"""主線 milestone 的期限。優先讀被標定的主線，其次讀「期限最近」的快取。
|
||||
|
||||
快取檔一行：`YYYY-MM-DD|<名稱>`。兩個都沒有就沒有（回 None，整段不顯示）。
|
||||
期限可能是 None（被標定的主線沒設期限）——那時只說名字，不編一個日期。
|
||||
"""
|
||||
raw = os.environ.get("ISEP_MILESTONE_DUE", "").strip()
|
||||
name = os.environ.get("ISEP_MILESTONE_NAME", "").strip()
|
||||
if not raw:
|
||||
mod = _mainline()
|
||||
if mod is not None:
|
||||
try:
|
||||
seg = mod.countdown_segment()
|
||||
except Exception:
|
||||
seg = None
|
||||
if seg:
|
||||
return seg
|
||||
if not raw:
|
||||
p = os.path.join(state_dir(), "milestone-due")
|
||||
try:
|
||||
@@ -184,11 +221,14 @@ def line(session_id: str, transcript_path: str) -> str:
|
||||
ms = milestone()
|
||||
if ms:
|
||||
name, due = ms
|
||||
gap = due - now
|
||||
if gap.total_seconds() >= 0:
|
||||
parts.append("主線 %s 剩 %s" % (name, human(gap)))
|
||||
if due is None:
|
||||
parts.append("主線 %s（沒設期限）" % name)
|
||||
else:
|
||||
parts.append("🔴 主線 %s 已逾期 %s" % (name, human(gap)))
|
||||
gap = due - now
|
||||
if gap.total_seconds() >= 0:
|
||||
parts.append("主線 %s 剩 %s" % (name, human(gap)))
|
||||
else:
|
||||
parts.append("🔴 主線 %s 已逾期 %s" % (name, human(gap)))
|
||||
|
||||
return "｜".join(parts)
|
||||
|
||||
|
||||
@@ -0,0 +1,248 @@
|
||||
#!/usr/bin/env python3
|
||||
"""hooks/lib/mainline.py —— 「現在的主線是哪一個」這件事的**唯一存放處**。
|
||||
|
||||
這是 helper，不是閘（inkstone/ISEP#40 S7：`lib/` 底下的東西不算一支手寫的閘）。
|
||||
三個呼叫者共用它，所以「主線是誰」的答案只有一份：
|
||||
· `scripts/mainline` —— 人問「現在的主線是哪一個」
|
||||
· `hooks/lib/countdown.py` —— 每一則回覆眼前那一行的第二段
|
||||
· `hooks/mainline-focus-guard.sh` —— 派了一張不屬於主線的票就攔一次
|
||||
|
||||
── 為什麼要有這個檔（inkstone/ISEP#82）──────────────────────────────
|
||||
2026-08-27 實查：`GET /repos/inkstone/*/milestones?state=open` 回 **14 個**，
|
||||
其中「Mira 現代化」這個名字同時活在 5 個 repo，還有 5 個已經逾期。
|
||||
SOP 說「有 active milestone 時只做該 milestone 的事」——但**「那個」在現場沒有指涉對象**。
|
||||
|
||||
leo 的原話是「**14 個里程碑同時亮著卻不知道該看哪個**」。
|
||||
⇒ 要解的不是「milestone 太多」（跨 repo 同名是既有做法，v0.6.0 §4／SOP S7-4），
|
||||
要解的是「**這一刻我在做哪一條**」沒有答案。
|
||||
|
||||
⇒ 所以這個檔的形狀就是答案的形狀：**一個檔，放得下一條**。
|
||||
沒有清單、沒有優先序、沒有「前三名」——被覆蓋掉的那條就不再是主線。
|
||||
問「現在的主線是哪一個」永遠只會拿到 0 或 1 個答案，不會拿到 14 個。
|
||||
|
||||
── 主線是一個「名字」，錨在一個具體的 milestone 上 ──────────────────
|
||||
Gitea 的 milestone 不能跨 repo，而同一條線常常同時開在 5 個 repo（票上實查）。
|
||||
所以：
|
||||
· **錨**（anchor）＝ `owner/repo#<milestone id>`：期限、進度、目標宣告都讀它
|
||||
· **成員判定**＝ 票所屬 milestone 的**標題**與主線標題相同（不分 repo）
|
||||
⇒ 「同名跨 repo」照舊能用，而「現在在做哪一條」仍然只有一個答案。
|
||||
|
||||
── 這支從不打網路 ────────────────────────────────────────────────
|
||||
它被 `UserPromptSubmit` 用（每一則訊息的關鍵路徑）。在那裡打 HTTP ＝ 每講一句話
|
||||
都先等一次網路。網路那一半全部在 `scripts/mainline`（set／refresh／adopt），
|
||||
本支只讀寫 state 檔。讀不到 ⇒ 回「沒有主線」，**不編一條出來**。
|
||||
"""
|
||||
import json
|
||||
import os
|
||||
from datetime import datetime, timedelta, timezone
|
||||
|
||||
TAIPEI = timezone(timedelta(hours=8))
|
||||
MARKER = "🎯"
|
||||
STATE_NAME = "mainline.json"
|
||||
JUMP_LOG = "mainline-jumps.jsonl"
|
||||
|
||||
|
||||
def state_dir() -> str:
|
||||
"""與倒數共用同一個狀態目錄——兩行字是同一個注入點的兩半，狀態不該分家。"""
|
||||
d = os.environ.get("ISEP_COUNTDOWN_STATE_DIR", "").strip()
|
||||
if not d:
|
||||
d = os.path.join(os.path.expanduser("~"), ".claude", "isep-countdown")
|
||||
try:
|
||||
os.makedirs(d, exist_ok=True)
|
||||
except Exception:
|
||||
pass
|
||||
return d
|
||||
|
||||
|
||||
def path() -> str:
|
||||
return os.path.join(state_dir(), STATE_NAME)
|
||||
|
||||
|
||||
def load():
|
||||
"""讀主線。沒有／壞掉 ⇒ None（＝現在沒有主線），**不是例外**。
|
||||
|
||||
「沒有主線」是一個正常狀態，不是故障：ISEP#82 驗收第 4 條寫死了
|
||||
「沒有任何主線時不能整組壞掉」。所以這支從不 raise。
|
||||
"""
|
||||
try:
|
||||
with open(path()) as f:
|
||||
d = json.load(f)
|
||||
except Exception:
|
||||
return None
|
||||
if not isinstance(d, dict) or not d.get("title"):
|
||||
return None
|
||||
return d
|
||||
|
||||
|
||||
def save(d) -> bool:
|
||||
try:
|
||||
with open(path(), "w") as f:
|
||||
json.dump(d, f, ensure_ascii=False, indent=2)
|
||||
return True
|
||||
except Exception:
|
||||
return False
|
||||
|
||||
|
||||
def clear() -> bool:
|
||||
try:
|
||||
os.remove(path())
|
||||
return True
|
||||
except FileNotFoundError:
|
||||
return True
|
||||
except Exception:
|
||||
return False
|
||||
|
||||
|
||||
def parse_ts(raw):
|
||||
if not isinstance(raw, str) or not raw.strip():
|
||||
return None
|
||||
s = raw.strip().replace("Z", "+00:00")
|
||||
try:
|
||||
dt = datetime.fromisoformat(s)
|
||||
except Exception:
|
||||
try:
|
||||
dt = datetime.fromisoformat(s + "T23:59:59+08:00")
|
||||
except Exception:
|
||||
return None
|
||||
return dt if dt.tzinfo else dt.replace(tzinfo=timezone.utc)
|
||||
|
||||
|
||||
def due_of(ms):
|
||||
return parse_ts((ms or {}).get("due_on") or "")
|
||||
|
||||
|
||||
def norm(s) -> str:
|
||||
"""比對標題用。只做「看不見的差異」的正規化——大小寫與空白。
|
||||
|
||||
🔴 刻意不做同義詞、不做模糊比對：主線是**被指定的**，不是被猜出來的。
|
||||
猜錯的方向是「把不屬於主線的票放行」，那正是這張票要擋的事。
|
||||
"""
|
||||
return "".join((s or "").split()).lower()
|
||||
|
||||
|
||||
def ref_of(ms) -> str:
|
||||
if not ms:
|
||||
return ""
|
||||
return "%s/%s#%s" % (ms.get("owner") or "?", ms.get("repo") or "?", ms.get("id") or "?")
|
||||
|
||||
|
||||
def members(ms):
|
||||
return set(ms.get("members") or []) if ms else set()
|
||||
|
||||
|
||||
def belongs(ticket_ref, ms, ticket_milestone_title=None):
|
||||
"""這張票屬不屬於主線？回 True／False／None。
|
||||
|
||||
None ＝ **不知道**（快取裡沒有這張票，而呼叫端也沒查到它的 milestone）。
|
||||
🔴 「不知道」不等於「不屬於」——這條分界就是誤攔與否的分水嶺。
|
||||
呼叫的閘拿到 None 時該放行（本 repo 心法第 2 條：誤攔比漏擋更該修）。
|
||||
"""
|
||||
if not ms:
|
||||
return True # 沒有主線 ⇒ 沒有「不屬於主線」這回事
|
||||
ref = (ticket_ref or "").strip()
|
||||
if ref and ref in members(ms):
|
||||
return True
|
||||
if ticket_milestone_title is not None:
|
||||
return norm(ticket_milestone_title) == norm(ms.get("title"))
|
||||
return None
|
||||
|
||||
|
||||
def fixture_titles():
|
||||
"""測試用：把「去 Gitea 問這張票掛在哪」換成一份現成的答案。
|
||||
|
||||
`ISEP_MAINLINE_FIXTURE` 指向一個 JSON：`{"owner/repo#N": "milestone 標題"}`。
|
||||
設了它，閘就不打網路，直接拿這份當事實。
|
||||
|
||||
🔴 這與 `ISEP_COUNTDOWN_NOW`（把時鐘定住）是同一個性質的東西：
|
||||
**把外界定住，讓閘能離線、可重複地被測**。正式環境不會設它；
|
||||
沒設 ⇒ 這支回 None，判決完全走真實的 Gitea。
|
||||
"""
|
||||
p = os.environ.get("ISEP_MAINLINE_FIXTURE", "").strip()
|
||||
if not p:
|
||||
return None
|
||||
try:
|
||||
with open(p) as f:
|
||||
d = json.load(f)
|
||||
return d if isinstance(d, dict) else None
|
||||
except Exception:
|
||||
return None
|
||||
|
||||
|
||||
def record_jump(ticket_ref, ms):
|
||||
"""把「派了一張不在主線上的票」記一筆。**只留痕，不判罪。**
|
||||
|
||||
跳線本身常常是對的（補收、真的插件事）。留痕是為了讓「這條線今天被岔開幾次」
|
||||
事後數得出來——沒有紀錄的話，跳線與專注在機器上長得一模一樣。
|
||||
"""
|
||||
try:
|
||||
with open(os.path.join(state_dir(), JUMP_LOG), "a") as f:
|
||||
f.write(json.dumps({
|
||||
"at": datetime.now(timezone.utc).isoformat(),
|
||||
"ticket": ticket_ref,
|
||||
"mainline": ref_of(ms),
|
||||
"mainline_title": (ms or {}).get("title"),
|
||||
}, ensure_ascii=False) + "\n")
|
||||
except Exception:
|
||||
pass
|
||||
|
||||
|
||||
def _human(delta: timedelta) -> str:
|
||||
days = int(abs(delta).total_seconds()) // 86400
|
||||
if days >= 1:
|
||||
return "%d 天" % days
|
||||
hours = int(abs(delta).total_seconds()) // 3600
|
||||
return "%d 小時" % hours
|
||||
|
||||
|
||||
def due_phrase(ms, now=None) -> str:
|
||||
"""期限那一段。沒設期限就說沒設——不准編一個日期出來。"""
|
||||
dt = due_of(ms)
|
||||
if not dt:
|
||||
return "沒設期限"
|
||||
now = now or datetime.now(timezone.utc)
|
||||
day = dt.astimezone(TAIPEI).strftime("%Y-%m-%d")
|
||||
gap = dt - now
|
||||
if gap.total_seconds() >= 0:
|
||||
return "%s（剩 %s）" % (day, _human(gap))
|
||||
return "%s（🔴 已逾期 %s）" % (day, _human(gap))
|
||||
|
||||
|
||||
def progress(ms):
|
||||
o = int((ms or {}).get("open_issues") or 0)
|
||||
c = int((ms or {}).get("closed_issues") or 0)
|
||||
total = o + c
|
||||
pct = int(round(c * 100.0 / total)) if total else 0
|
||||
return c, total, pct
|
||||
|
||||
|
||||
def line(now=None) -> str:
|
||||
"""注入用的那一行（倒數那一行的第二行）。**沒有主線時也要回一句話。**
|
||||
|
||||
ISEP#82 驗收第 4 條：沒有主線不能整組壞掉，要講得出「現在沒有主線」。
|
||||
⇒ 這支永遠回一個非空字串，永遠不 raise。
|
||||
"""
|
||||
ms = load()
|
||||
if not ms:
|
||||
return ("%s 現在沒有主線——沒有任何 milestone 被標成「現在在做的那一條」。"
|
||||
"要標：`scripts/mainline set <owner/repo#milestone_id>`"
|
||||
"（先看有哪些：`scripts/mainline list`）" % MARKER)
|
||||
c, total, pct = progress(ms)
|
||||
head = "%s 主線：%s「%s」｜%s｜%d／%d 張已關（%d%%）" % (
|
||||
MARKER, ref_of(ms), ms.get("title") or "?", due_phrase(ms, now), c, total, pct)
|
||||
goal = (ms.get("description") or "").strip().splitlines()
|
||||
if goal:
|
||||
head += "\n 目標：" + goal[0].strip()[:120]
|
||||
return head
|
||||
|
||||
|
||||
def countdown_segment(now=None):
|
||||
"""給 `countdown.py` 用的 (名稱, 期限) ——讓 ⏱ 那一行說得出主線是誰。
|
||||
|
||||
為什麼要塞進 ⏱ 那一行：⏱ 那一行**已經有一支 Stop 閘在查它有沒有被戴上**
|
||||
（inkstone/ISEP#63）。主線的名字掛在那一行上，就跟著那道已經驗過的閘一起
|
||||
到 leo 眼前——不必為了同一件事再立第二道會擋人的閘。
|
||||
"""
|
||||
ms = load()
|
||||
if not ms:
|
||||
return None
|
||||
return (ms.get("title") or "主線", due_of(ms))
|
||||
Executable
+176
@@ -0,0 +1,176 @@
|
||||
#!/usr/bin/env bash
|
||||
# mainline-focus-guard.sh — 派了一張不在主線上的票，就當場問清楚（inkstone/ISEP#82）
|
||||
#
|
||||
# ── 補的是哪一格 ────────────────────────────────────────────────
|
||||
# leo 2026-08-27：「**14 個里程碑同時亮著卻不知道該看哪個**」「今天……分心」。
|
||||
# SOP 說「有 active milestone 時只做該 milestone 的事」——但現場 14 個 open milestone，
|
||||
# 「那個」沒有指涉對象 ⇒ **那條規則在機器上等於不存在**（同款第 N 次：
|
||||
# history-first／KBDB-first／stage-first 全是「規則被讀到了，卻沒有機制驗證有沒有照做」）。
|
||||
#
|
||||
# ISEP#82 把「現在在做哪一條」變成一個查得到的事實（`scripts/mainline`），
|
||||
# 本閘是那個事實的**用處**：派工的票號不在主線上，就當場說是補收還是跳線，
|
||||
# 不要默默做完——分心不是「做了壞事」，是「岔開了而沒有人注意到」。
|
||||
#
|
||||
# ── 🔴 這不是關鍵字黑名單（leo 2026-08-17 已證偽那條路）────────────────
|
||||
# 「自然語言的變體是無限的，blacklist 永遠追不完……封路哲學之所以有效，
|
||||
# 是因為它封的是**動作**——動作有限且可枚舉，文字不是。」
|
||||
# 當日實測：文字層的閘 8 次誤攔、0 次正確攔截。
|
||||
#
|
||||
# 本閘從頭到尾**不讀派工單的任何一個字義**。它只做兩個查表：
|
||||
# ① 派工單的【工單】欄位是哪一張票（`hooks/lib/dispatch_parse.py` 解結構，不判語意）
|
||||
# ② 那張票所屬的 milestone 標題，等不等於被標定的主線標題（字串相等，不是模糊比對）
|
||||
# 措辭怎麼寫都不影響判決；改的只有「這張票掛在哪」這個 Gitea 上的事實。
|
||||
#
|
||||
# ── 誤攔的出口全部先關掉（誤攔比漏擋更該修）──────────────────────────
|
||||
# · **沒有主線 ⇒ 一律放行**（ISEP#82 驗收第 4 條：沒有主線不能整組壞掉）
|
||||
# · 派工單裡沒有票號 ⇒ 放行（那是 no-ticket-no-dispatch.sh 的地盤，
|
||||
# 兩支閘同時開口，收工方會拿到兩份打架的教學）
|
||||
# · 多張票只要**有一張**在主線上 ⇒ 放行（那次派工有在推主線）
|
||||
# · 快取裡查不到，就**打一次網路去問那張票**；問不到 ⇒ 放行
|
||||
# （🔴「讀不到」不等於「不屬於」——把這兩件事講成同一句是最貴的錯）
|
||||
# · 子 session 不查：主線是**派工者**手上的判準（CLAUDE.md：「critical path 是
|
||||
# 你用來盯 subagent 的判準」），不是收工方要背的東西
|
||||
# · **同一張票只擋一次**：擋完就落一個戳記，重送即放行 ⇒ 不會鬼打牆
|
||||
# · 內部出錯一律放行——這是節拍器不是安全閘，它壞掉不該讓派工停擺
|
||||
set -uo pipefail
|
||||
|
||||
INPUT="$(cat)"
|
||||
HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
|
||||
|
||||
# 子 session 不查（見上）
|
||||
[ "${CLAUDE_CODE_CHILD_SESSION:-}" = "1" ] && exit 0
|
||||
|
||||
VERDICT=$(printf '%s' "$INPUT" | ISEP_HOOKS_DIR="$HERE" python3 -c '
|
||||
import importlib.machinery, importlib.util, json, os, sys, urllib.request
|
||||
|
||||
HERE = os.environ["ISEP_HOOKS_DIR"]
|
||||
|
||||
def load(name, path):
|
||||
ldr = importlib.machinery.SourceFileLoader(name, path)
|
||||
spec = importlib.util.spec_from_file_location(name, path, loader=ldr)
|
||||
mod = importlib.util.module_from_spec(spec)
|
||||
ldr.exec_module(mod)
|
||||
return mod
|
||||
|
||||
def bail(why):
|
||||
print("SKIP:" + why); raise SystemExit
|
||||
|
||||
try:
|
||||
d = json.load(sys.stdin)
|
||||
except Exception:
|
||||
bail("bad-json")
|
||||
|
||||
prompt = (d.get("tool_input") or {}).get("prompt") or ""
|
||||
if not prompt.strip():
|
||||
bail("no-prompt")
|
||||
|
||||
try:
|
||||
dp = load("isep_dispatch_parse", os.path.join(HERE, "lib", "dispatch_parse.py"))
|
||||
ML = load("isep_mainline", os.path.join(HERE, "lib", "mainline.py"))
|
||||
except Exception:
|
||||
bail("lib-unavailable")
|
||||
|
||||
try:
|
||||
refs = dp.parse_dispatch(prompt).get("refs") or []
|
||||
except Exception:
|
||||
bail("parse-failed")
|
||||
if not refs:
|
||||
bail("no-ticket") # no-ticket-no-dispatch 的地盤
|
||||
|
||||
ms = ML.load()
|
||||
if not ms:
|
||||
bail("no-mainline") # 沒有主線 ⇒ 沒有「不屬於主線」這回事
|
||||
|
||||
wanted = ["%s/%s#%d" % (r["owner"], r["repo"], r["num"]) for r in refs]
|
||||
|
||||
# ① 離線先問快取：有一張在主線上就放行
|
||||
unknown = []
|
||||
for ref in wanted:
|
||||
v = ML.belongs(ref, ms)
|
||||
if v is True:
|
||||
print("SKIP:on-mainline"); raise SystemExit
|
||||
if v is None:
|
||||
unknown.append(ref)
|
||||
|
||||
# ② 快取查不到的，去問那張票掛在哪。問不到 ⇒ 放行。
|
||||
if unknown:
|
||||
fx = ML.fixture_titles()
|
||||
if fx is not None: # 測試把外界定住（見 mainline.fixture_titles）
|
||||
learned = [r for r in unknown
|
||||
if ML.norm(fx.get(r, "")) == ML.norm(ms.get("title"))]
|
||||
if learned:
|
||||
print("SKIP:on-mainline-fixture"); raise SystemExit
|
||||
if not any(r in fx for r in unknown):
|
||||
bail("unreachable") # fixture 沒收錄 ⇒ 等同問不到
|
||||
else:
|
||||
try:
|
||||
T = load("isep_ticket", os.path.join(HERE, "..", "scripts", "ticket"))
|
||||
tok = T.token()
|
||||
host = T.HOST
|
||||
# 🔴 BaseException 不是筆誤：`scripts/ticket` 拿不到憑證時是 sys.exit（SystemExit），
|
||||
# 那不是 Exception 的子類。只接 Exception 的話，這支會整個死掉而不是放行。
|
||||
except BaseException:
|
||||
bail("no-token") # 讀不到 ≠ 不屬於
|
||||
reached = False
|
||||
learned = []
|
||||
for ref in unknown:
|
||||
try:
|
||||
owner, rest = ref.split("/", 1)
|
||||
repo, num = rest.split("#", 1)
|
||||
req = urllib.request.Request(
|
||||
"%s/api/v1/repos/%s/%s/issues/%s" % (host, owner, repo, num),
|
||||
headers={"Authorization": "token %s" % tok})
|
||||
it = json.load(urllib.request.urlopen(req, timeout=6))
|
||||
reached = True
|
||||
except Exception:
|
||||
continue
|
||||
title = ((it or {}).get("milestone") or {}).get("title") or ""
|
||||
if ML.norm(title) == ML.norm(ms.get("title")):
|
||||
learned.append(ref)
|
||||
if learned:
|
||||
ms["members"] = sorted(set(ms.get("members") or []) | set(learned))
|
||||
ML.save(ms)
|
||||
print("SKIP:on-mainline-fresh"); raise SystemExit
|
||||
if not reached:
|
||||
bail("unreachable") # 一張都問不到 ⇒ 放行
|
||||
|
||||
# ③ 確定都不在主線上 —— 同一組票只擋一次
|
||||
import hashlib
|
||||
key = hashlib.sha1(("|".join(sorted(wanted)) + "@" + ML.ref_of(ms)).encode()).hexdigest()[:16]
|
||||
stamp = os.path.join(ML.state_dir(), "jump-ok-" + key)
|
||||
if os.path.exists(stamp):
|
||||
print("SKIP:already-asked"); raise SystemExit
|
||||
try:
|
||||
open(stamp, "w").close()
|
||||
except Exception:
|
||||
pass
|
||||
ML.record_jump(",".join(wanted), ms)
|
||||
print("BLOCK:%s\t%s\t%s" % (",".join(wanted), ML.ref_of(ms), ms.get("title") or "?"))
|
||||
' 2>/dev/null || echo "SKIP:crash")
|
||||
|
||||
case "$VERDICT" in
|
||||
BLOCK:*)
|
||||
PAYLOAD="${VERDICT#BLOCK:}"
|
||||
TICKETS=$(printf '%s' "$PAYLOAD" | cut -f1)
|
||||
MREF=$(printf '%s' "$PAYLOAD" | cut -f2)
|
||||
MTITLE=$(printf '%s' "$PAYLOAD" | cut -f3)
|
||||
FIRST=$(printf '%s' "$TICKETS" | cut -d, -f1)
|
||||
{
|
||||
printf '🎯 這張票不在主線上（inkstone/ISEP#82）\n\n'
|
||||
printf ' 現在的主線：%s「%s」\n' "$MREF" "$MTITLE"
|
||||
printf ' 這次要派的：%s\n\n' "$TICKETS"
|
||||
printf '**先說是哪一種，再繼續**——兩種都可能是對的，錯的是默默做完：\n\n'
|
||||
printf ' ① 補收 —— 它本來就該在主線上，只是沒掛上去\n'
|
||||
printf ' `scripts/mainline adopt %s` 然後重送\n\n' "$FIRST"
|
||||
printf ' ② 跳線 —— 真的是插件事（leo 臨時交辦、擋路的地雷…）\n'
|
||||
printf ' 直接重送即可（**同一張票只擋一次**），並在回覆講一句為什麼現在要岔開主線\n\n'
|
||||
printf '為什麼要問：leo 2026-08-27「今天……分心」。分心的前提是有一條主線，\n'
|
||||
printf '而分心本身不是做了壞事，是**岔開了而沒有人注意到**。這一問就是那個「注意到」。\n\n'
|
||||
printf '想確認主線是誰：`scripts/mainline`（唯一答案）。\n'
|
||||
} >&2
|
||||
exit 2
|
||||
;;
|
||||
*)
|
||||
exit 0
|
||||
;;
|
||||
esac
|
||||
@@ -145,12 +145,17 @@ case "$CTX" in
|
||||
esac
|
||||
|
||||
# milestone：沒有快取就整段不出現（不准編一個日期出來）
|
||||
case "$CTX" in
|
||||
*"主線"*) no "⑨ 沒有 milestone 快取 ⇒ 那一段不出現" "實得：$CTX" ;;
|
||||
# 🔴 只比對**第一行**（那條 ⏱ 倒數本身）。inkstone/ISEP#82 之後，同一個注入點還帶著
|
||||
# 第二行「🎯 主線……」與一段說明，那段文字裡本來就會出現「主線」兩個字
|
||||
# ——拿整段去比對會把說明當成數字，變成一條**測不到重點的假紅**。
|
||||
# 這一格要驗的一直都是「⏱ 那一行有沒有多長出一段編出來的期限」。
|
||||
STAMP_LINE_ONLY=$(printf '%s\n' "$CTX" | head -1)
|
||||
case "$STAMP_LINE_ONLY" in
|
||||
*"主線"*) no "⑨ 沒有 milestone 快取 ⇒ 那一段不出現" "實得：$STAMP_LINE_ONLY" ;;
|
||||
*) ok "⑨ 沒有 milestone 快取 ⇒ 那一段不出現（不編數字）" ;;
|
||||
esac
|
||||
printf '2026-08-30|Sprint 8-28\n' > "$ISEP_COUNTDOWN_STATE_DIR/milestone-due"
|
||||
CTX=$(inject s-ms "$TMP/a5.jsonl" "$T0")
|
||||
CTX=$(printf '%s\n' "$(inject s-ms "$TMP/a5.jsonl" "$T0")" | head -1)
|
||||
case "$CTX" in
|
||||
*"主線 Sprint 8-28 剩"*) ok "⑩ 有 milestone 快取 ⇒ 期限那一段出現" ;;
|
||||
*) no "⑩ 有 milestone 快取 ⇒ 期限那一段出現" "實得：$CTX" ;;
|
||||
|
||||
Executable
+202
@@ -0,0 +1,202 @@
|
||||
#!/usr/bin/env bash
|
||||
# 主線那一條線的迴歸測試（inkstone/ISEP#82）
|
||||
#
|
||||
# 票上四條驗收，這裡一條一群：
|
||||
# A 「現在的主線是哪一個」→ 一個指令答得出來，而且答案唯一
|
||||
# B 標了主線之後開新回合 → 目標宣告自己出現（不用人去翻）
|
||||
# C 派一張不屬於主線的票 → 攔一次，並問是補收還是跳線
|
||||
# D 沒有任何主線 → 不能整組壞掉，要講得出「現在沒有主線」
|
||||
# E 不該擋的（誤攔比漏擋更該修）
|
||||
#
|
||||
# 用法：hooks/tests/mainline-focus-guard.test.sh
|
||||
# 🔴 全程離線：狀態走 ISEP_COUNTDOWN_STATE_DIR、時鐘走 ISEP_COUNTDOWN_NOW、
|
||||
# 「那張票掛在哪」走 ISEP_MAINLINE_FIXTURE，並把 TICKET_HOST 指到一個
|
||||
# 連不上的位址——**任何一條真的走到網路，就會在那裡當場失敗，不會靜靜地變成假綠**。
|
||||
set -u
|
||||
ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
|
||||
GUARD="$ROOT/mainline-focus-guard.sh"
|
||||
COUNTDOWN="$ROOT/countdown-guard.sh"
|
||||
MAINLINE="$ROOT/../scripts/mainline"
|
||||
|
||||
TMP=$(mktemp -d)
|
||||
trap 'rm -rf "$TMP"' EXIT
|
||||
export ISEP_COUNTDOWN_STATE_DIR="$TMP/state"
|
||||
export TICKET_HOST="http://127.0.0.1:9" # 連不上：走到網路就會馬上失敗
|
||||
mkdir -p "$ISEP_COUNTDOWN_STATE_DIR"
|
||||
unset ISEP_MAINLINE_FIXTURE
|
||||
|
||||
PASS=0; FAIL=0
|
||||
ok(){ printf ' ✅ %s\n' "$1"; PASS=$((PASS+1)); }
|
||||
no(){ printf ' ❌ %s —— %s\n' "$1" "$2"; FAIL=$((FAIL+1)); }
|
||||
|
||||
T0=$(python3 -c 'import datetime as d;print(int(d.datetime(2026,8,28,0,0,tzinfo=d.timezone.utc).timestamp()))')
|
||||
|
||||
# set_mainline <標題> <成員 ref...> —— 直接寫 state（離線；`mainline set` 那半要網路）
|
||||
set_mainline(){
|
||||
python3 - "$ISEP_COUNTDOWN_STATE_DIR/mainline.json" "$@" <<'PY'
|
||||
import json, sys
|
||||
path, title = sys.argv[1], sys.argv[2]
|
||||
json.dump({"ref": "inkstone/ISEP#57", "owner": "inkstone", "repo": "ISEP", "id": 57,
|
||||
"title": title, "description": "把 SOP 變成閘：規則要長在機器上，不是長在誰的記性上。",
|
||||
"due_on": "2026-08-31T15:59:59+08:00",
|
||||
"open_issues": 12, "closed_issues": 1,
|
||||
"members": list(sys.argv[3:]), "set_at": "2026-08-28 08:00"},
|
||||
open(path, "w"), ensure_ascii=False)
|
||||
PY
|
||||
}
|
||||
clear_mainline(){ rm -f "$ISEP_COUNTDOWN_STATE_DIR/mainline.json"; }
|
||||
|
||||
# dispatch <派工單內文> → "exit|訊息"
|
||||
dispatch(){
|
||||
out=$(python3 -c '
|
||||
import json,sys; print(json.dumps({"tool_input":{"prompt":sys.argv[1]},"session_id":"t"}))' "$1" \
|
||||
| CLAUDE_CODE_CHILD_SESSION= bash "$GUARD" 2>&1); rc=$?
|
||||
printf '%s|%s' "$rc" "$(printf '%s' "$out" | tr '\n' ' ')"
|
||||
}
|
||||
|
||||
# inject <now> → UserPromptSubmit 注入的內容
|
||||
inject(){
|
||||
printf '{"hook_event_name":"UserPromptSubmit","session_id":"s","transcript_path":"%s"}' "$TMP/none.jsonl" \
|
||||
| ISEP_COUNTDOWN_NOW="$1" bash "$COUNTDOWN" 2>/dev/null \
|
||||
| python3 -c 'import json,sys
|
||||
try: print(json.load(sys.stdin)["hookSpecificOutput"]["additionalContext"])
|
||||
except Exception: print("")'
|
||||
}
|
||||
|
||||
echo "── A 群：「現在的主線是哪一個」一個指令答得出來，答案唯一（驗收 1）──"
|
||||
|
||||
clear_mainline
|
||||
OUT=$(python3 "$MAINLINE" 2>&1); RC=$?
|
||||
[ "$RC" = 0 ] && ok "① 沒標過主線 ⇒ 指令仍然回答得出來（exit 0，不是壞掉）" \
|
||||
|| no "① 沒標過主線 ⇒ exit 0" "實得 exit=$RC"
|
||||
case "$OUT" in
|
||||
*"現在沒有主線"*) ok "② 沒標過主線 ⇒ 答案是「現在沒有主線」（驗收 4）" ;;
|
||||
*) no "② 沒標過 ⇒ 說「現在沒有主線」" "實得：$OUT" ;;
|
||||
esac
|
||||
|
||||
set_mainline "SOP 變成閘" "inkstone/ISEP#82" "inkstone/ISEP#57"
|
||||
OUT=$(python3 "$MAINLINE" 2>&1)
|
||||
N=$(printf '%s\n' "$OUT" | grep -c "現在的主線")
|
||||
[ "$N" = 1 ] && ok "③ 標了之後 ⇒ 只有一個答案（「現在的主線」出現 1 次，不是 14 個）" \
|
||||
|| no "③ 答案唯一" "「現在的主線」出現 $N 次"
|
||||
case "$OUT" in
|
||||
*"SOP 變成閘"*) ok "④ 答案指名道姓（標題印出來了）" ;;
|
||||
*) no "④ 答案指名道姓" "實得：$OUT" ;;
|
||||
esac
|
||||
|
||||
set_mainline "換一條線" "inkstone/ISEP#82"
|
||||
# 🔴 只看標題那一行：描述欄裡本來就會提到舊標題（它是同一份測資），
|
||||
# 拿整份輸出去比對會**因為描述而誤判**——那不是「舊的還是主線」。
|
||||
OUT=$(python3 "$MAINLINE" 2>&1 | head -1)
|
||||
case "$OUT" in
|
||||
*"SOP 變成閘"*) no "⑤ 換標一條 ⇒ 舊的不再是主線" "舊標題還在：$OUT" ;;
|
||||
*"換一條線"*) ok "⑤ 換標一條 ⇒ 舊的當場不再是主線（一個檔放得下一條）" ;;
|
||||
*) no "⑤ 換標一條" "實得：$OUT" ;;
|
||||
esac
|
||||
|
||||
echo "── B 群：標了之後開新回合，目標宣告自己出現（驗收 2）──────────"
|
||||
|
||||
set_mainline "SOP 變成閘" "inkstone/ISEP#82"
|
||||
CTX=$(inject "$T0")
|
||||
case "$CTX" in
|
||||
*"🎯 主線："*) ok "⑥ 什麼都沒交代 ⇒ 注入裡有 🎯 主線那一行" ;;
|
||||
*) no "⑥ 注入裡有 🎯 主線那一行" "實得：$CTX" ;;
|
||||
esac
|
||||
case "$CTX" in
|
||||
*"SOP 變成閘"*) ok "⑦ 注入裡有主線的名字" ;;
|
||||
*) no "⑦ 注入裡有主線的名字" "實得：$CTX" ;;
|
||||
esac
|
||||
case "$CTX" in
|
||||
*"目標：把 SOP 變成閘"*) ok "⑧ 注入裡有**目標宣告**（milestone 的描述），不用人去翻" ;;
|
||||
*) no "⑧ 注入裡有目標宣告" "實得：$CTX" ;;
|
||||
esac
|
||||
# ⏱ 那一行是**已經有 Stop 閘在查**的那一行（ISEP#63）。主線的名字掛在它上面，
|
||||
# 就跟著那道驗過的閘一起到 leo 眼前——不必為了同一件事再立第二道會擋人的閘。
|
||||
FIRST=$(printf '%s\n' "$CTX" | head -1)
|
||||
case "$FIRST" in
|
||||
*"⏱"*"主線 SOP 變成閘"*) ok "⑨ 被查核的那一行（⏱）也帶著主線名字 ⇒ 主線會到 leo 眼前" ;;
|
||||
*) no "⑨ ⏱ 那一行帶主線名字" "實得：$FIRST" ;;
|
||||
esac
|
||||
# 被標定的主線要蓋過「期限最近的那個」快取——後者是猜的，前者是被指定的
|
||||
printf '2026-08-29|某個期限更近的\n' > "$ISEP_COUNTDOWN_STATE_DIR/milestone-due"
|
||||
FIRST=$(inject "$T0" | head -1)
|
||||
case "$FIRST" in
|
||||
*"主線 SOP 變成閘"*) ok "⑩ 標定的主線蓋過「期限最近」的猜測（不准用猜的蓋過指定的）" ;;
|
||||
*) no "⑩ 標定的主線優先" "實得：$FIRST" ;;
|
||||
esac
|
||||
rm -f "$ISEP_COUNTDOWN_STATE_DIR/milestone-due"
|
||||
|
||||
clear_mainline
|
||||
CTX=$(inject "$T0")
|
||||
case "$CTX" in
|
||||
*"現在沒有主線"*) ok "⑪ 沒有主線 ⇒ 注入照樣講得出「現在沒有主線」（驗收 4，不編一條）" ;;
|
||||
*) no "⑪ 沒有主線 ⇒ 注入講「現在沒有主線」" "實得：$CTX" ;;
|
||||
esac
|
||||
|
||||
echo "── C 群：派了不在主線上的票 ⇒ 攔一次並問清楚（驗收 3）──────────"
|
||||
|
||||
set_mainline "SOP 變成閘" "inkstone/ISEP#82" "inkstone/ISEP#57"
|
||||
printf '{"inkstone/Arcrun#50":"AI 問得到內文"}\n' > "$TMP/fx.json"
|
||||
export ISEP_MAINLINE_FIXTURE="$TMP/fx.json"
|
||||
|
||||
R=$(dispatch '【工單】inkstone/ISEP#82')
|
||||
[ "${R%%|*}" = 0 ] && ok "⑫ 派主線上的票 ⇒ 放行" || no "⑫ 派主線上的票 ⇒ 放行" "實得 exit=${R%%|*}"
|
||||
|
||||
R=$(dispatch '【工單】inkstone/Arcrun#50')
|
||||
[ "${R%%|*}" = 2 ] && ok "⑬ 派不在主線上的票 ⇒ 擋" || no "⑬ 派不在主線上的票 ⇒ 擋" "實得 exit=${R%%|*}"
|
||||
case "${R#*|}" in
|
||||
*"補收"*"跳線"*) ok "⑭ 擋下時問的是「補收還是跳線」，兩條路都給了指令" ;;
|
||||
*) no "⑭ 訊息問補收/跳線" "實得：${R#*|}" ;;
|
||||
esac
|
||||
case "${R#*|}" in
|
||||
*"SOP 變成閘"*) ok "⑮ 擋下時說得出現在的主線是誰（不是只說「你錯了」）" ;;
|
||||
*) no "⑮ 訊息說出主線是誰" "實得：${R#*|}" ;;
|
||||
esac
|
||||
|
||||
R=$(dispatch '【工單】inkstone/Arcrun#50')
|
||||
[ "${R%%|*}" = 0 ] && ok "⑯ 同一張票重送 ⇒ 放行（至多擋一次，不鬼打牆）" \
|
||||
|| no "⑯ 重送 ⇒ 放行" "實得 exit=${R%%|*}"
|
||||
|
||||
J=$(wc -l < "$ISEP_COUNTDOWN_STATE_DIR/mainline-jumps.jsonl" 2>/dev/null || echo 0)
|
||||
[ "$J" -ge 1 ] && ok "⑰ 跳線留痕（mainline-jumps.jsonl 記了一筆）——不留痕的話跳線與專注長得一樣" \
|
||||
|| no "⑰ 跳線留痕" "jumps 檔有 $J 行"
|
||||
|
||||
R=$(dispatch '【工單】inkstone/Arcrun#50
|
||||
【工單】inkstone/ISEP#82')
|
||||
[ "${R%%|*}" = 0 ] && ok "⑱ 多張票只要有一張在主線上 ⇒ 放行（那次派工有在推主線）" \
|
||||
|| no "⑱ 多張票有一張在主線 ⇒ 放行" "實得 exit=${R%%|*}"
|
||||
|
||||
echo "── D／E 群：不該擋（誤攔比漏擋更該修）──────────────────────────"
|
||||
|
||||
clear_mainline
|
||||
R=$(dispatch '【工單】inkstone/Arcrun#50')
|
||||
[ "${R%%|*}" = 0 ] && ok "⑲ 沒有主線 ⇒ 一律放行（驗收 4：不能整組壞掉）" \
|
||||
|| no "⑲ 沒有主線 ⇒ 放行" "實得 exit=${R%%|*}"
|
||||
|
||||
set_mainline "SOP 變成閘" "inkstone/ISEP#82"
|
||||
R=$(dispatch '幫我看一下這個 repo 的狀況')
|
||||
[ "${R%%|*}" = 0 ] && ok "⑳ 派工單裡沒有票號 ⇒ 放行（那是 no-ticket-no-dispatch 的地盤）" \
|
||||
|| no "⑳ 沒有票號 ⇒ 放行" "實得 exit=${R%%|*}"
|
||||
|
||||
out=$(python3 -c '
|
||||
import json;print(json.dumps({"tool_input":{"prompt":"【工單】inkstone/Arcrun#50"},"session_id":"t"}))' \
|
||||
| CLAUDE_CODE_CHILD_SESSION=1 bash "$GUARD" 2>&1); rc=$?
|
||||
[ "$rc" = 0 ] && ok "㉑ 子 session ⇒ 放行（主線是派工者手上的判準，不是收工方要背的）" \
|
||||
|| no "㉑ 子 session ⇒ 放行" "實得 exit=$rc"
|
||||
|
||||
unset ISEP_MAINLINE_FIXTURE
|
||||
R=$(dispatch '【工單】inkstone/mira#999')
|
||||
[ "${R%%|*}" = 0 ] && ok "㉒ 問不到那張票掛在哪（沒 fixture、網路也不通）⇒ 放行：讀不到 ≠ 不屬於" \
|
||||
|| no "㉒ 問不到 ⇒ 放行" "實得 exit=${R%%|*}"
|
||||
|
||||
printf 'not json {{{\n' > "$ISEP_COUNTDOWN_STATE_DIR/mainline.json"
|
||||
R=$(dispatch '【工單】inkstone/Arcrun#50')
|
||||
[ "${R%%|*}" = 0 ] && ok "㉓ state 檔壞掉 ⇒ 放行（節拍器壞掉不該讓派工停擺）" \
|
||||
|| no "㉓ state 壞掉 ⇒ 放行" "實得 exit=${R%%|*}"
|
||||
OUT=$(python3 "$MAINLINE" 2>&1); RC=$?
|
||||
[ "$RC" = 0 ] && ok "㉔ state 檔壞掉 ⇒ 指令仍然回答得出來（當成「現在沒有主線」）" \
|
||||
|| no "㉔ state 壞掉 ⇒ 指令不崩" "實得 exit=$RC：$OUT"
|
||||
|
||||
echo
|
||||
echo "結果：通過 $PASS 條，失敗 $FAIL 條"
|
||||
[ "$FAIL" -eq 0 ] || exit 1
|
||||
Reference in New Issue
Block a user