#!/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 的**標題**與主線標題相同(不分 repo) ⇒ 「同名跨 repo」照舊能用,而「現在在做哪一條」仍然只有一個答案。 ── `load()`/`line()` 從不打網路 ───────────────────────────────── 它們被 `UserPromptSubmit` 用(每一則訊息的關鍵路徑)。在那裡打 HTTP = 每講一句話 都先等一次網路。網路那一半全部在 `scripts/mainline`(set/refresh/adopt), 本支的讀寫只碰 state 檔。讀不到 ⇒ 回「沒有主線」,**不編一條出來**。 唯一的例外是 `fetch_gitea()`(inkstone/ISEP#140,見下方第三個來源那段): 它會打一次 Gitea,但**只有 SessionStart 的 `scripts/mainline refresh` 叫它**, `load()`/`line()` 永遠不叫——所以每一則訊息的路徑上仍然沒有網路。 ── 三個來源,優先序寫死:家目錄 > repo 那份 > Gitea main 那份 ─────── ① 家目錄 `~/.claude/isep-countdown/mainline.json`(這台機器上 refresh 過、有進度) ② repo 那份 `InkStoneCo/system-dev/mainline.json`(隨 repo 走,inkstone/ISEP#130) ③ Gitea 上 `inkstone/InkStoneCo` main 的同一個檔(inkstone/ISEP#140) ①② 之間誰算數看 `set_at`(見 `load()`);③ **只在 ①② 都不存在時**被問一次, 抓到就寫進 ①,之後跟 ① 一樣對待。③ 讀的就是 ② 那個檔,只是從 Gitea 拿而不是從 工作樹拿——它不是第二套主線來源。 """ 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) # ── repo 裡的那一份(inkstone/ISEP#130)────────────────────────────── # # 主線原本只住在 `~/.claude/isep-countdown/mainline.json`——**這台機器的家目錄**。 # 雲端 session 是另一台機器:家目錄是空的,clone 下來的 repo 才是它唯一拿得到的東西。 # 2026-09-05 leo:「routine 每天早上開啟後抓不到任務」——不是 Gitea 沒票, # 是雲端根本不知道主線是哪一條。 # ⇒ `inkstone/InkStoneCo` 的 `system-dev/mainline.json` 是**隨 repo 走的那一份** # (PR inkstone/InkStoneCo#118 放進去的)。這裡的規矩: # · 讀:家目錄那份沒有 ⇒ 讀 repo 那份(雲端就是這個形狀)。 # 兩份都在 ⇒ 用 `set_at` 較新的(誰後標的誰算數,不分本機雲端)。 # · 寫:`set`/`adopt`/`clear` 這種「主線是誰」的改動 ⇒ 兩份一起寫(`mirror=True`)。 # `refresh`/閘順手學到成員 ⇒ 只寫家目錄那份——否則每開一個 session # InkStoneCo 的工作樹就髒一次,而髒的 diff 沒有人會去 commit。 # · repo 那份要 commit/開 PR 才到得了雲端;這支不碰 git。 REPO_REL = os.path.join("system-dev", STATE_NAME) def repo_candidates(): """repo 那一份可能在哪:明指 > 專案根 > 專案根底下的 InkStoneCo/(雲端薄殼的形狀)> cwd 同兩層。""" out = [] forced = os.environ.get("ISEP_MAINLINE_REPO_FILE", "").strip() if forced == "none": return [] # 測試用:把「repo 那份」整個拿掉,外界定住 if forced: out.append(forced) roots = [] for r in (os.environ.get("CLAUDE_PROJECT_DIR", "").strip(), os.getcwd()): if r: roots += [r, os.path.join(r, "InkStoneCo")] for r in roots: p = os.path.join(r, REPO_REL) if p not in out: out.append(p) return out def repo_path(for_write=False): """讀:第一個**存在**的檔。寫:第一個 `system-dev/` 目錄存在的位置(檔可以還沒有)。 找不到 ⇒ None(雲端沒 clone InkStoneCo、或 cwd 在別的 repo 時都是正常狀態)。""" for p in repo_candidates(): if for_write: if os.path.isdir(os.path.dirname(p)): return p elif os.path.isfile(p): return p return None def _valid(d): """一份主線檔長什麼樣才算數:dict、而且有 title。三個來源用同一把尺。""" return d if (isinstance(d, dict) and d.get("title")) else None def _read(p): try: with open(p) as f: d = json.load(f) except Exception: return None return _valid(d) # ── Gitea main 上的那一份(inkstone/ISEP#140)──────────────────────── # # 雲端薄殼 `youlinhsieh/inkstoneco` 的 SessionStart 跑在 `bootstrap.sh` 之前:那時 # `InkStoneCo/` 還沒 clone,家目錄又是空的 ⇒ 上面兩份都不存在 ⇒ `countdown.py` 退到 # 第二基準「期限最近的 milestone」⇒ 第一則 prompt 印出一條兩週前的舊線 # (票上實測:`🔴 主線 把管理這條線做對 已逾期 341 小時`+`🎯 現在沒有主線`)。 # 機制沒壞,是順序。而「哪一條是主線」這個指標本來就在 Gitea 上讀得到。 # # 規矩(跟上面「repo 裡的那一份」那段接起來,不另立一套): # · 只在家目錄與 repo 那份**都不存在**時問 Gitea,問一次;任一份在場就不問。 # · 只有 SessionStart 的 `scripts/mainline refresh` 會叫 `fetch_gitea()`;抓到就 # `save()` 進家目錄(不 mirror:雲端沒有 InkStoneCo/ 可寫,本機也不弄髒工作樹)。 # bootstrap 之後 repo 那份出現時,兩份 `set_at` 相同 ⇒ 家目錄那份算數(它有 refresh 過的進度)。 # · 匿名優先。匿名被拒(401/403/404)且環境拿得到 Gitea token 才帶 token 再問一次 # ——`inkstone/InkStoneCo` 在 Gitea 是 **private**(2026-09-07 實測:匿名打 raw/ # contents/repo API 都 404),沒 token 就真的讀不到。 # · 讀不到(斷網/5xx/不是 JSON/沒 title/逾時)⇒ 回 None,退回現行行為,不報錯。 # 逾時有上限(`ISEP_MAINLINE_GITEA_TIMEOUT`,預設 4 秒,最多問兩次)。 # · 測試用:`ISEP_MAINLINE_GITEA_URL=none` 把這個來源整個拿掉;`TICKET_HOST` 換主機 # (既有測試都把它指到連不上的位址,所以它們照舊離線)。 GITEA_HOST_DEFAULT = "https://git.uncle6.me" GITEA_REPO = "inkstone/InkStoneCo" GITEA_REF = "main" def gitea_url() -> str: forced = os.environ.get("ISEP_MAINLINE_GITEA_URL", "").strip() if forced == "none": return "" if forced: return forced host = (os.environ.get("TICKET_HOST", "").strip() or GITEA_HOST_DEFAULT).rstrip("/") return "%s/api/v1/repos/%s/raw/%s?ref=%s" % ( host, GITEA_REPO, REPO_REL.replace(os.sep, "/"), GITEA_REF) def fetch_gitea(token="", timeout=None): """去 Gitea 讀 `inkstone/InkStoneCo` main 上的 `system-dev/mainline.json`。 回一份跟 `_read()` 同樣通過 `_valid()` 的 dict,或 None。**永遠不 raise。** `token`:字串,或一個回字串的函式(只在匿名被拒時才會被叫)。 🔴 這是本檔唯一會打網路的函式,只准 SessionStart 的 `scripts/mainline refresh` 叫; `load()`/`line()` 走的是每一則訊息的關鍵路徑,不准碰它。 """ url = gitea_url() if not url: return None if timeout is None: try: timeout = float(os.environ.get("ISEP_MAINLINE_GITEA_TIMEOUT", "") or 4) except Exception: timeout = 4.0 import urllib.error import urllib.request def get(headers): req = urllib.request.Request(url, headers=headers) with urllib.request.urlopen(req, timeout=timeout) as r: return r.read().decode("utf-8", "replace") try: text = get({}) # 匿名優先(D20 的形狀:讀不帶憑證) except urllib.error.HTTPError as e: if e.code not in (401, 403, 404): return None # `token` 可以是字串,也可以是「被拒了才去拿」的函式——拿 token 可能要掃 git remote、 # 可能拿不到而想開口抱怨,匿名讀得到的時候根本不該走到那裡。 tok = token() if callable(token) else token if not tok: return None try: text = get({"Authorization": "token " + tok}) # private repo:帶 token 再問一次 except Exception: return None except Exception: return None try: return _valid(json.loads(text)) except Exception: return None def load(): """讀主線。沒有/壞掉 ⇒ None(=現在沒有主線),**不是例外**。 「沒有主線」是一個正常狀態,不是故障:ISEP#82 驗收第 4 條寫死了 「沒有任何主線時不能整組壞掉」。所以這支從不 raise。 家目錄那份與 repo 那份都在時,`set_at` 較新的算數(格式固定 `YYYY-MM-DD HH:MM`, 字串比大小就是時間比大小);一樣新 ⇒ 家目錄那份(它才有 refresh 過的進度)。 """ local = _read(path()) rp = repo_path() remote = _read(rp) if rp else None if local and remote: return remote if (remote.get("set_at") or "") > (local.get("set_at") or "") else local return local or remote def save(d, mirror=False) -> bool: """寫家目錄那份;`mirror=True` 時同時寫 repo 那份(只有「主線是誰」變了才這樣叫)。 回 True/False 只看家目錄那份——repo 那份寫不寫得進去用 `repo_path(for_write=True)` 另外問。""" try: with open(path(), "w") as f: json.dump(d, f, ensure_ascii=False, indent=2) except Exception: return False if mirror: rp = repo_path(for_write=True) if rp: try: with open(rp, "w") as f: json.dump(d, f, ensure_ascii=False, indent=2) f.write("\n") except Exception: pass return True def clear(mirror=False) -> bool: ok = True try: os.remove(path()) except FileNotFoundError: pass except Exception: ok = False if mirror: rp = repo_path() if rp: try: os.remove(rp) except Exception: ok = False return ok 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 `" "(先看有哪些:`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))