Leo/Arcrun
1
0
Fork 0
Code Issues 49 Pull Requests 5 Actions Packages Projects Releases Wiki Activity
410 Commits 27 Branches 0 Tags
d7a98f53e76c9e1b136f24fabfb51ca23aa25855
Commit Graph

11 Commits

Author SHA1 Message Date
uncle6me-web 10d150ac2b fix(mcp): MCP 用登入者的身分查詢，不再去找一把服務內部金鑰 
leo 2026-08-12：「人類進 Portal 輸入帳密表示你是主人，可以查到你權限所有東西；
AI 透過輸入帳密的 MCP 查詢表示是授權的 AI，可以查到主人允許查的任何東西。」
「掛上 MCP 並輸入帳密，那個動作本身就是授權」⇒ 下游不得再要求第二次認證。

病根（不是金鑰沒同步，是身分沒接住）：
  oauth/routes.ts 驗完 Portal 帳密只留下 `loginOk = res.ok` 一個布林值，身分當場丟棄，
  namespace 改從 `MCP_OWNER_NAMESPACE || "leo"` 拿。於是查詢時手上沒有身分可帶，
  只好用 KBDB_INTERNAL_TOKEN 直打 KBDB——那條路繞過 portal 所有庫過濾，
  而且不管誰登入都看到同一格、看到全部。CLI 也從不注入 MCP_OWNER_NAMESPACE，
  所以那個 "leo" 預設值是每台實例的實際行為，不是理論上的邊角。

修法（走既有那條路，不發明新的）：
1. 接住身分：/authorize 解析 /portal/login 回應，把 portal session token ＋
   display_name/role/libraries 存進 authorization code → access token。
   /portal/login 補回 session_expires_in，access_token TTL 夾成
   min(自己的 TTL, portal session TTL)——不讓「MCP 還連著、底下 session 早死」。
   cypher 回 200 但沒給 session_token（舊版）→ 不發碼，不簽一張沒有身分的 token。
2. 攜帶身分：kbdb_* 全部改走 cypher `/portal/data/*`，Authorization 帶登入者的
   session。庫過濾／租戶注入／停用即時生效全在 server 側，與人類走 portal 網頁同一道閘。
   kbdb_graph_neighbors 因此不再需要 kbdb_base（server 自己知道查哪個庫）。
   藏書地圖（含連線時注入 instructions 的那份）同樣只回有權限的庫，快取改 per-session
   分格——地圖本身就是情報，不能讓先連上的人把視野留給下一個。
3. fail-closed：舊 token 沒有身分 → 誠實要求重新連線，不偷偷退回服務金鑰那條老路。
   服務級憑據（static token / partner key）維持既有 KBDB 直連，arcrun_* 零回歸。

新增 cypher portal 資料面端點（能力長在 API，MCP 只暴露；rule 07）：
  GET  /portal/data/map、/portal/data/map/:library
  GET  /portal/data/templates、POST /portal/data/templates
  GET  /portal/data/records/by-template/:t、GET /portal/data/records/:id
  POST /portal/data/records
全部：呼叫端自帶 owner_id 一律不生效；越權與不存在同回 404；寫入 owner_id 由 server 定死。

KBDB base：`GET /records/:id` 與 by-template 補回 owner_id 欄位——原本不回，
呼叫端無從判斷「這筆是不是我的」，按 id 直讀等於沒有租戶邊界。

沒動：KBDB fail-closed 閘、任何金鑰、租戶字串仍不下發給呼叫端。

驗證：
  mcp        tsc 綠；vitest 113/113 綠（改前 48 綠 29 紅）
  cypher     vitest 400 綠 / 14 紅，14 紅與 base commit a24f291 逐條相同（既有）
  kbdb       vitest 208 綠 / 5 紅，5 紅同為既有（migrations/*.sql 被 gitignore）
  端到端     ◐ 未驗：需部署到 leo21c，那道閘要 leo 親手解（見 PR）

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
 2026-08-12 19:33:12 +08:00
uncle6me-web a5e4caf5cb fix(portal): 讀不到就說讀不到——總圖不再把「讀不到」畫成「你沒有」（Arcrun#100） 
leo 2026-08-12 打開總圖看到：「0 個實體 · 0 條關聯／知識庫還沒有任何關聯——
上傳文件後 AI 會自動織網」。**而他庫裡有 1854 條三元組。**
那句話會叫他去做一件不需要做的事。

三個獨立的洞疊起來才變成那句謊：
  ① console-dashboard.ts 打 kbdb-graph-plugin 沒帶認證（同段落打 kbdb 的兩支都有帶）
  ② 那顆 worker 不在更新的部署清單裡 ⇒ token 一換它就落單
  ③ **畫面把 null 畫成 0**——後端已經誠實回 null 了，是前端把它變成謊話

為什麼一直沒被發現：graph plugin 原本身上沒有 token ⇒ 門開著 ⇒ 沒帶也進得去。
2026-08-12 輪替後它有了 token，門關上，401 才浮出來。

📍 repo：matrix/arcrun（cypher-executor/src/routes/、console-ui/public/）
📍 票：Leo/Arcrun#100
 2026-08-12 13:33:53 +08:00
uncle6me-web 93b1140bf1 feat(portal): 新增 GET /portal/daemon/diagnostics（t213 matrix/arcrun 半部） 
InkStoneCo 總管交辦（arcrun-rag repo t213）：leo 拿真診斷檔實測四個真實問題，只答得出一題
——其餘三題需要地端資料（daemon 本機 manifest 總量／失敗分類／自我更新狀態），而現有
GET /portal/data/diagnostics 只有 portal session 認證，daemon 背景行程沒有 session
（密碼只在連線精靈當下用過就丟，不落地），構不到這支端點。

本次只做 matrix/arcrun 半部（雲端這半）：
- 把 /portal/data/diagnostics 的核心查詢邏輯抽成 buildDiagnostics(env, tenant)
  （portal.ts），薄殼原則：能力只實作一次
- 新增 GET /portal/daemon/diagnostics，認證比照既有 /portal/daemon/extract
  （X-Arcrun-API-Key，非 session）；apiKey 當 owner_id 用，不與 portalTenant(env)
  比對（t189 教訓：daemon 的 api_key 不保證等於 worker 的 CONSOLE_TENANT）
- /portal/data/diagnostics 改呼叫共用函式，回應形狀完全不變
- 按 leo 指示刪掉「需在失敗當下由封測者截圖」那句 notes（本機那半資料到位後這句話
  失去意義）

地端那半（arcrun-app 讀 manifest 合併 + 匯出按鈕）在 products/arcrun-rag repo 進行，
待另一隻處理 t210 的 agent 落地 app.go/main.js 改動後再接線，本次不動 arcrun-app。

驗證：
- npx tsc --noEmit：與 stash 前錯誤數相同（4 個），零新增（pre-existing，與本次改動無關）
- npx vitest run：314→315 通過（+3 新測試涵蓋 401／apiKey 當 owner_id 不比對 tenant／
  回應形狀與 session 版一致），14 個既有失敗與改動前完全相同（HTML 殼 404，測試環境
  static asset 問題，與 portal.ts/portal-data.ts 邏輯無關）

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
 2026-08-08 12:32:10 +08:00
uncle6me-web 7dbd4f59e7 fix(portal): 檢修孔 library_count/triplet_count 恆 0 的根因＋加統計自我檢查 
真因：/portal/data/diagnostics 讀 GET /map，那是 library_map 快取 block，只能
靠 POST /map/recompute 產生；核實過整個 repo 沒有任何呼叫點會打 /map/recompute
（library-map SDD 的 ingest 自動重算 M3 從沒接上，status: draft）。⇒ /map 對任何
租戶恆回空 libraries，與實際資料量無關——2026-08-07 leo 實測抓到：3 庫、大量
triplets，診斷檔卻回 0/0。

修法：改走 GET /portal/admin/libraries 已在用、驗證過的即時查詢組合（不依賴任何
快取）：listRecordsByTemplate(portal_library) ＋ /entries/libraries（t52 蓋章即
現身）＋ /records/triplet-stats（t142 即時聚合 SQL）。

附帶：加 library_scope_check 統計自我檢查（呼應 embedding.self_test 的精神）。
兩個計數都是 0 時，用完全不同的查詢路徑（不分庫/模板，只問這個租戶底下有沒有
任何 entries）交叉驗證，區分「真的是空」與「查詢方式或 owner_id 對不上」
（2026-08-01 t161 前科同型病：手動補的 record owner_id 存成 None，全量查得到、
按 owner_id 過濾的畫面永遠空）。

三個 diagnostics 測試全綠：即時查對出正確 library_count/triplet_count（且不再
外流庫名/內容，只回數字）、真空情境自我探測誠實回空、t161 同型病情境自我探測抓到
「查得到但統計回 0」的矛盾。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
 2026-08-08 00:12:54 +08:00
uncle6me-web 83aa1f6bb2 feat(portal): GET /portal/data/diagnostics —— 檢修孔聚合端點 
leo 2026-08-07 直接指令：「一顆按鈕在設定裡，按鈕下載一個檔案，把檔案發給我，你看那個
檔」。本端點是那個檔的資料來源：聚合 embed 模組健康狀態（module_enabled/cards_embedded/
cards_pending/self_test）、知識庫規模（library_count/triplet_count）、bundle_version、
instance_url。

紅線落實：
- 只轉發數字/布林/字串狀態，KBDB /map 回應裡的 narrative/top_entities（卡片內容）讀出
  triplet_count 後即丟棄，測試 portal-data.test.ts 新增案專門斷言回應不含內容字樣。
- 認證沿用既有 requirePortalUser session 閘，不對外公開。

3 個新測試全綠（未登入 401／完整聚合含隱私斷言／embed 未開時誠實回 false 不假裝）。
既有 1 個失敗案（/portal HTML 殼 404）為 stash 驗證過的既有失敗，與本次改動無關。
 2026-08-07 18:38:03 +08:00
uncle6me-web 60688c3108 fix(kv-quota): workflow 執行紀錄搬離 KV，改走 KBDB template 機制（A1/A2/A7） 
事故：cypher-executor/src/actions/execution-logger.ts 舊版每跑完一次 workflow 就
ANALYTICS_KV.put() 一筆新 key（註解寫「避免覆蓋」）= 只增不減，封測者 Evan 處理約 690 個
檔案就把 KV 免費層 1,000 write/日打爆（實測 1,070 write），整個實例 429。

A1 少記：workflow 執行紀錄改走 KBDB template 機制（entries 表 entry_type='execution_log'，
kbdb/migrations/0004_execution_log_template.sql 只 seed 一列 template 定義，零建表/改表）。
儲存精神比照既有 recipe_stat（kbdb/src/actions/recipe-stat.ts）：template 只負責文件化，
實際一筆執行是 entries 表一列（1 次執行=1 次 D1 寫入，不走 entry_values 全展開）。欄位收斂：
時間/workflow/verdict/duration/錯誤訊息/(可得的)目標；成功記最少，失敗多記（訊息截斷長度
不對稱：200 vs 2000 字）。target 只認 trigger context 的 page_name/path，不整包存 input。

A2 自我降級：D1 額度仍與知識卡共用同一顆 100,000 rows/日，本模組自設 20% 軟上限（可用
EXECUTION_LOG_DAILY_WRITE_LIMIT 覆寫），超過 80% 降成只記失敗、超過 100% 完全停止記錄，
但 workflow 執行永遠照跑（cypher-executor 端 fire-and-forget 永不 throw）。

A7 讀取端：/workflows/:name/executions、/portal/data/workflows 的 last_execution、MCP
list_recent_executions 全部改打 KBDB HTTP API（GET /execution-log、/execution-log/latest），
取代原本的 ANALYTICS_KV list/get（免費層 list 也是 1,000/日）。

架構鐵律修正（本次施工中兩度被抓到走偏，過程留痕於 commit 訊息供後續參考）：
- KBDB 三張表打天下（entries/templates/entry_values），永遠不加新 table——新資料類型
  一律用 template + entries，不建表、不 ALTER TABLE。
- KBDB = API-as-Wall，零 SQL：cypher-executor 端一律走 KBDB 的 HTTP API（連法比照既有
  recordRecipeStats/kbdbFetch 慣例），不直連任何 D1、不對 arcrun-kbdb 下任何原生 SQL。

順帶修復：kbdb/src/actions/entry-crud.ts listEntries 的 ORDER BY 補 `, rowid DESC` 二級
排序——entries.created_at 是 unixepoch() 秒級解析度，高頻寫入（execution_log 一秒內多筆）
常同秒，單靠 created_at DESC 不保證「最新一筆」正確，此為本次測試（latestExecutionLog）
發現的既有潛在缺陷，順手補上決定性排序，不改變任何既有查詢在 created_at 不同時的行為。

隔離：portal-data.ts INTERNAL_ENTRY_TYPES 加入 execution_log/execution_log_usage（與既有
value/workflow 同層級排除），避免用戶知識搜尋混進執行 log；本模組從不設 metadata_json.embed，
故永不進 Vectorize 語意搜尋索引。

不動：registry/src/actions/recordAnalytics.ts（零件市場統計，獨立 Worker、獨立 KV 命名空間、
不同資料模型，非本次事故根因所指範圍）；cypher-executor/{wrangler.toml,kbdb/wrangler.toml}
未變動（repo 層級 deny 規則保護這兩個生產設定檔不被 AI 編輯）——ANALYTICS_KV binding
因此仍留在 wrangler.toml 宣告中但程式碼零讀寫點（見 PR 說明的完整 grep 佐證）。

KV 裡既有的 stats:* 舊資料不搬移（是統計不是真相源，維持原樣任其依 90 天 TTL 自然過期）。

測試：kbdb/tests/execution-log.test.ts（13 個，含零建表證明/少記/A2 降級/route）、
cypher-executor/tests/execution-logger.test.ts（payload 正確性/永不 throw）、
cypher-executor/tests/executions-route.test.ts（讀取端轉發）、portal-data.test.ts 對應區塊
改寫。kbdb 全測試 104/104 通過；cypher-executor 320 個測試中 9 個失敗為 main 既有（與本次
改動無關，改動前後 stash 對照確認）。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
 2026-08-07 16:13:00 +08:00
uncle6me-web ccb86481ae fix(t128+t129): 圖搜尋補 template:triplet＋AI 問答出處按頁去重 
t128 真因（總管實測定罪）：t116 只補 kbdb_base，同一行 URL 還吃 {{input.template}}
⇒ /records/by-template/?owner_id=... 查不到；手動補 template 即 count=1
（企業版功能解鎖→控制→授權系統）。**同種病三犯，已記 mistakes。**
t129：一卡切 3-5 block 每段都算一筆命中 ⇒ dedupeSourcesByPage 後端去重＋hit_count。
vitest 52 passed（1 紅＝console HTML 搬遷陳舊測試，非本案）。
（實作＝子 CC；驗證+commit＝總管）
 2026-07-29 14:11:52 +08:00
uncle6me-web e36cd2d990 fix(t95+t96): 查詢 CJK 邊界自動補空白＋圖譜節點模糊命中 
leo 07-28 實測：「AI協作」（無空白）搜不到；圖譜搜「AI 協作」0 鄰居但總圖有
「AI 協作規範書」節點（「這個搜尋詞來自 Graph View 的一部分，居然搜不到？」）。
- normalizeCjkQuery：CJK↔ASCII 邊界插空白，search q 與 graph 節點名都過
- fuzzyFindNode：精確 0 鄰居時 fallback contains 比對（取最短命中）重查
測試 +18 全綠（vitest 197 passed；9 個既有紅=console HTML 搬遷陳舊測試，與本案無關，
stash 基線對照確認）。B5 分支衝突面已查：僅 line 274 一行。
（實作＝子 CC；驗證+commit＝總管）
 2026-07-28 15:06:07 +08:00
Claude (總管雲端) a82c9bbb82 portal: 搜尋濾內部型別（value/workflow 雜項列）＋總圖頁（Arcrun#39 藏書地圖 GUI 切片） 
- filterDeprecatedEntries 加 INTERNAL_ENTRY_TYPES（value/workflow）：
  搜尋不再出現無標題雜項列與工作流定義（leo 客戶測試回饋）；
  #46 上游修好後隨治標段一併拔除。測試 49/49 綠。
- 新增 GET /portal/data/graph/overview：全租戶 active 三元組 →
  {nodes(degree), edges}，D-4 graph 粗閘、kbdbFetch 直讀、上限 500 誠實截斷。
- portal 新增「總圖」頁：nav 隨 graph_allowed 顯示；力導向佈局手刻
  （固定種子＝確定性、零外部套件）、紙感樣式（green 節點/amber hub）、
  邊 hover 顯示謂詞、點節點跳該實體圖譜搜尋；頁尾連 00-MAP.md
  （#39「人機共用同一份地圖」的 AI 注入文字版）。
- #39 本體（library_map Template/ingest 重算/MCP 注入）仍歸該 issue SDD。
 2026-07-18 08:17:22 +00:00
Claude 8accdacc3c portal 搜尋濾殘影（#46 治標）＋四件套單測 
/portal/data/search 拿到 KBDB 回應後 server-side 過濾 metadata_json.status=
'deprecated' 與 content 以「（舊管線產物」開頭的 entries（metadata parse 失敗
視為保留，不誤殺），count 重算。這是 Arcrun#46 上游修好前的 portal 端治標，
上游清完資料後整段（含 filterDeprecatedEntries）可拔。
單測：sanitizeUploadFilename（路徑穿越/副檔名/長度）、filterDeprecatedEntries
（濾殘影/壞 metadata 保留）、mapGraphWorkflowOutput（#57 輸出映射）；
/portal/session 補 upload_enabled=false 斷言。另修 portal-ui 一處註解字樣
（誤用產品名，撞零 Mira 斷言）。

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01BH7LdhuCdVUHfHXbM7N8r5
 2026-07-17 06:28:04 +00:00
Leo 3577e9255c portal-auth P3（#24 #25）：Portal UI＋/portal/data/* server-side enforce（不 merge，待總管審） (#52) 2026-07-14 07:19:01 +00:00