inkstone/ISEP
2
0
Fork 0
Code Issues 37 Pull Requests 5 Actions Packages Projects Releases 43 Wiki Activity
244 Commits 107 Branches 46 Tags
3bc2147e36edcf5150674c2c82602e6130302efd
Commit Graph

5 Commits

Author SHA1 Message Date
Leo 2bbcda2ac3 雲端工人會分診、會組里程碑，組了就照里程碑做（inkstone/ISEP#159） 
leo 09-18：「它看到票時要能夠組成 milestone 提出版本，所以不只是看票，還要組票。」
雲端只會撿（ISEP#130），沒有任何機制分診或組里程碑；open 302 張裡 74 張沒 s/*、257 張沒掛里程碑。

- ticket triage：沒 s/* 的票 → s/backlog／s/triage／s/pending＋票上一則說明（--why 必填），一個動作；
  --dup-of：說明＋close/duplicate＋關＋在留下的那張留一則指回來（留下的那張若是 leo 的就不寫）
- ticket compose：把已分診的票組成 InkStoneCo 里程碑（開工規約 1–7 條）：既有載體＋前置相依、
  s/backlog → s/todo、名字不准是版本號、期限 1–60 天、不開新票；先全部讀過才寫，理由一次列齊
- 不碰：Human／human/*、指派給別人（含 Leo）——判準是標籤與 assignee 登入名
- pick --pool：還沒到期的 InkStoneCo 里程碑的前置排在散票之前；可做的都抓盡時回待分診的票，
  每列帶 next；queue-drain-guard 照 next 印（待分診是 triage，不是 claim）
- 全局票池只有一個讀法 pool_issues()，接口留給 ISEP#154（global_index 寫卡驗完後只換這一個函式）
- InkStoneCo 掛在 open 里程碑的票＝載體（容器）：不進票池、不算待分診

假設（寫在這裡等總管 review）：
- 分診只收「沒有 s/*」的票；s/triage 仍是總管／leo 的判斷，工人只能把拿不準的丟進 s/triage
- 載體撈不到時，工人用 ticket where＋ticket new 補一張 InkStoneCo User Story 當載體（開工規約第 2 條的「真缺口」）
- 期限上限 60 天（9999 與過去日期都擋）

實測：test-ticket-triage 80/80、test-ticket-pick 84/84、queue-drain-guard 28/28；
真 Gitea 代跑一趟：分診 4 張、建 InkStoneCo milestone 68（載體 InkStoneCo#136，前置 ISEP#47、arcrun-rag#199），
pick --pool 第一組即為它的前置；一次違規三格的 compose 真的零寫入擋下。
待總管定版。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
 2026-09-18 18:43:07 +08:00
Leo 48befe8906 雲端第一則 prompt 的主線是現在這條：兩份主線檔都不在時 refresh 去 Gitea 讀 InkStoneCo main 那份一次（inkstone/ISEP#140） 
薄殼 SessionStart 跑在 bootstrap.sh 之前，InkStoneCo/ 還沒 clone、家目錄空 ⇒ 兩份都不在 ⇒
countdown.py 退到「期限最近的 milestone」⇒ 第一則 prompt 印逾期 341 小時的舊線。機制沒壞，是順序。

- hooks/lib/mainline.py：第三個來源 fetch_gitea()（本檔唯一會打網路的函式，只有 SessionStart 的
  `mainline refresh` 叫它；load()/line() 照舊零網路）。優先序寫進檔頭：家目錄 ＞ repo 那份 ＞ Gitea 那份。
  匿名優先，匿名被拒（401/403/404）且拿得到 token 才帶 token 再問一次；讀不到回 None，逾時有上限。
- scripts/mainline refresh：兩份都不在 ⇒ fetch_gitea 一次、只寫家目錄（不 mirror）；token 拿不到不炸、不抱怨。
- hooks/tests/mainline-gitea-fallback.test.sh：31 條，假 Gitea 有 public／private／500／garbage／notitle／hang 六種回法。

假設（票上紅線寫「一律匿名不帶 token」，其前提「Gitea 匿名讀得到」實測為假）：
inkstone/InkStoneCo 在 Gitea 是 private——匿名打 raw／contents／repo API 都 404，ISEP 同端點 200。
⇒ 照字面做這張票在真環境永遠讀不到。改成匿名優先、被拒才帶 token（同一條 SessionStart 鏈上
countdown-milestone-refresh.sh 本來就帶 GITEA_TOKEN_CLAUDE_CODE 打 Gitea；D20 管的是 GitHub）。
真跑：帶 token 2.06s 讀到 inkstone/Arcrun#48；拔 token rc 0、零檔案、「現在沒有主線」。

版本：待總管定版。

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0178ef1fGw3XeZtpN7LaZrm4
 2026-09-07 06:19:39 +00:00
Leo d19bf88503 雲端對 stage 的寫入有正門：scripts/stage（secret／api）只寫 youlin，白名單放固定形狀（inkstone/ISEP#137） 
09-07 三種寫入在雲端全被 auto mode 分類器擋：npx wrangler secret put、
stage-deploy-artifacts.py --confirm、curl POST 到 arcrun-yuga3bse——
白名單是逐條比前綴，複合指令與任意 curl 永遠對不上；放整類又是紅線。

- scripts/stage secret put|list|delete：直接打 CF API（不經 npx）；先 GET /accounts
  看這把 token 打得到誰，stage 的 ID 不在裡面就拒絕並印出它打得到誰；URL 永遠只帶
  1129efd7…；值只從 --from-env 讀，--value 拒收。
- scripts/stage api <METHOD> <worker>/<path>：curl 打實例，主機只會是
  *.arcrun-yuga3bse.workers.dev，別的主機拒絕；標頭與 body 走 stdin 設定檔＋管線，
  不走 argv；--bearer-env／--header-env／--data-env 從環境變數讀。
- docs/permissions-allow.json：stage 四種形狀＋Arcrun 自己那支 stage-deploy-artifacts.py
  的相對形狀（它已寫死只認 youlin 帳號 ID、不收 --account／--token，不重造）。
- scripts/test-stage.sh 45 條（假 CF 對 PUT 回 201——第一次實跑 CF 回 201 被講成失敗，
  就是這格抓的）；test-settings-allow-sync 仍 19/19。
- 真跑：探針種進 youlin arcrun-cypher-executor、CF API 獨立列到、刪掉恢復原狀；
  api GET health 200、無 Bearer POST 401、leo21c 主機拒絕零請求。
  「帶 Bearer 真寫 KBDB」缺 KBDB_INTERNAL_TOKEN 沒跑（TESTING A36 標明）。

盤點在本樹實數：hooks 61、註冊 85（都沒動）、scripts 56（＋stage、＋test-stage.sh）。
版本待總管定版。

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01DTZ9QtvjY7MNxjfQbexAm7
 2026-09-07 02:31:18 +00:00
isep-hand 65120a1c65 雲端要拿得到票、主線與通知：白名單住 ISEP、主線檔隨 repo 走、leo21c 讀放寫擋（inkstone/ISEP#130） 
- docs/permissions-allow.json ＋ scripts/settings-allow-sync：四個 Gitea 正門工具的權限白名單一份，
  setup script 裝完 plugin 寫一次、SessionStart 每次再對一次（只加不減、冪等）
- hooks/lib/mainline.py／scripts/mainline：家目錄沒主線就讀 InkStoneCo/system-dev/mainline.json；
  set／adopt／clear 兩份一起寫，refresh 只寫家目錄
- hooks/leo21c-write-guard.sh：唯讀 -d（tr/cut/sort…）先剪掉再判、notify_leo trigger 放行
  （與 prod-write-guard 同一份白名單）、改法段改印 09-02 起的 youlin 子網域；補第一支測試（26 條）
- prod-write-guard／main-and-prod-push-guard／kbdb-live-exam：認得 youlin 新子網域 arcrun-yuga3bse
- scripts/ticket：收件 repo 寫 inkstone/ISEP 不再 404（org 寫錯當場講）
- scripts/isep-notify：有 TELEGRAM_BOT_TOKEN／TELEGRAM_CHAT_ID 先走 Bot API 直送（雲端唯一通的路）
- 測試：A31–A35 共 79 條；README／plugin.json／hooks-inventory 數字實數（61 支、85 條、53 支腳本）

假設（記在這裡等 review）：權限規則的形狀沿用 leo 09-07 親手加、實測有效的那四條；
「分類器真的不擋」要雲端一趟 run 的 permission_denials 才驗得到，本 PR 驗不了。
版本：待總管定版（plugin.json 仍 0.22.0）。

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01DTZ9QtvjY7MNxjfQbexAm7
 2026-09-07 01:17:15 +00:00
Leo 627f924342 docs(cloud): 雲端 session 用 claude plugin marketplace 裝真身 ISEP，不再複製薄殼 
inkstone/ISEP#5 —— 用 code-on-web 的 Setup script（session 啟動前跑）+
claude plugin marketplace add/install 把 ISEP 裝成 user-scope plugin，
內容 100% 來自 ISEP repo HEAD，滿足 docs/governance §11.3 三條硬規則。

本機隔離 $HOME 實測兩輪（token-in-URL、git url.insteadOf 重寫兩種認證寫法皆可行），
skills/commands/hooks 逐條數字對上 ISEP 當時的 main HEAD（含途中 main 前進，
下次 marketplace update 立刻拿到新內容，證明非快照複製）。

明確未驗：真實 code-on-web session、hook runtime 攔截、7 天 environment 快照
新鮮度窗口——皆記在 docs/cloud-session-bootstrap.md「沒驗到的」段。

不動 youlinhsieh/inkstoneco（新機制不需要它）、不 push GitHub、不 push main。
 2026-08-20 13:41:35 +08:00