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

21 Commits

Author SHA1 Message Date
uncle6me-web b223a69884 fix(portal): 藏書地圖看得到自己的知識——租戶字串改從「寫入端」來，不再拿環境變數預設值（Arcrun#108） 
leo 2026-08-12 實撞：藏書地圖回 0 個庫，同一分鐘 KBDB 裡有 1854 條三元組，
`arcrun_whoami` 顯示 admin／全部知識庫、`kbdb_search` 也查得到——只有地圖那格是空的。

病根（不是資料掉了，是讀寫兩端各拿一個來源）：
  寫入端 owner_id ＝ `~/.arcrun/config.yaml` 的 `api_key`（CLI push／小幫手上傳／MCP，
    leo ＝ `bfezv28v`）
  讀取端過濾 ＝ `portalTenant(env) = env.CONSOLE_TENANT || "leo"`
    ——repo toml 帶的**官方 prod 值**，而 `acr` 從來不注入 CONSOLE_TENANT
  ⇒ 那個 `"leo"` 不是理論邊角，是每台 self-hosted 實例的實際行為，1854 條全被濾掉。

與 #105（`env.MCP_OWNER_NAMESPACE || "leo"`）同一句話，換一個檔案。

租戶字串該從哪裡來（本票的核心判斷）：
  **從「寫入這批知識的那一方」來，不是從一份手抄的環境變數預設值來。**
  不是「掛到每個帳號上」——portal 帳號共用同一台實例的知識庫（design D-2），
  帳號之間的差別是 libraries 權限不是 owner_id；複製一份到帳號上只是多一個會過期的副本。
  #105 真正的教訓是：過濾用的租戶字串要有單一權威來源、解析不到要誠實失敗、且要能機械驗證。

修法：
1. 唯一產地 `cypher-executor/src/lib/tenant.ts`
   - `knowledgeOwner(env)` → branded `TenantId`：`ARCRUN_NAMESPACE` → `CONSOLE_TENANT` →
     丟 `TenantUnresolvedError`。**沒有字面預設值**——`|| 'leo'` 正是把「這台機器沒設定」
     偽裝成「你沒有資料」的元凶。
   - `accountTenant(env)` → 普通 `string`（帳號子 namespace `{tenant}::portal` 與 cypher
     自己寫的設定用它）。**回 string 是刻意的**：型別上就不可能流進知識資料面。
   - 資料面過濾一律經 `ownerQuery()` / `ownerField()`，只吃 `TenantId`。
2. 值的正解由 CLI 從真相源導出：`acr update` 把 config 的 `api_key` 注入成 `ARCRUN_NAMESPACE`，
   但**先驗再寫**（`GET /kbdb/map?owner_id=<api_key>` 查得到庫才寫；查不到／問不到就一個字
   都不動）。無條件覆蓋會把「知識本來就在 CONSOLE_TENANT 底下」的一鍵安裝實例指向空的那一格
   ——那是 #97/#106 那類「更新一次把人家的東西弄不見」，比原本的 bug 更糟。
   未注入時回退 CONSOLE_TENANT ⇒ 對官方 prod 與未更新的實例，這次改動是惰性的。
3. 空地圖分四態（沿 #100「讀不到就說讀不到」）：no_library_grant／filtered_out／
   scope_mismatch／confirmed_empty。scope_mismatch 以前不存在，所以設定錯誤被畫成
   「你沒有資料」。回應仍不含租戶字串（design §3.3 紅線）。
4. 同族一起修（同一道閘一次抓到）：console-dashboard 4 處、console-auth 1 處
   ——console 首頁的規模數字與藏書地圖對 leo 也一直是空的。

留下的閘（規則存在但沒機制驗證＝會再犯第三次）：
  · 型別閘：TenantId 只能由 tenant.ts 產出 → 拿隨手一個 string 去過濾，tsc 當場不給過。
  · 出貨閘：scripts/build-worker-artifacts.mjs 編 tier2 成品前先掃，違規 → 編不出成品。
  · 閘自己可測：規則是純函式（tenant-source-rules.mjs），tests/tenant-gate.test.ts
    逐條驗「5 種壞例子會擋」＋「11 種合法寫法零誤攔」；掃描範圍只有 src/，擋不到自己。
  規範寫入 .claude/rules/02-forbidden.md 第六類、system-dev/wiki/mistakes.md #26。

沒動：庫權限過濾（一字未改，回歸測試釘住）、帳號資料落點、任何金鑰、租戶字串仍不下發前端。

驗證：
  cypher   vitest 441 綠 / 14 紅，14 紅與 base commit e05518a 逐字相同（既有）
           tsc 5 個既有錯誤，零新增
  cli      node:test 60/60 綠（含本次新增 12 條）；tsc 零錯誤
  閘       壞例子實跑 exit 1；build 實跑「建置中止」；乾淨時實跑通過
  端到端   ◐ 未驗：需部署到 leo21c，那道閘要 leo 親手解（見 PR ③）

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
 2026-08-13 00:15:58 +08:00
uncle6me-web 23d36b311a portal 設定頁補顯示 MCP 連接網址（arcrun-rag#7） 
封測者原話：「說明叫我把 MCP 加進 claude.ai connector，但我找不到網址」。文件一直寫
「登入 portal → 設定頁，那裡可以直接複製」，但畫面上從沒真的顯示過（grep 0 命中），
用戶照文件走一定撲空。

設定頁新增「接上你的 AI（MCP）」面板：純前端把 apiBase 的 worker 名字從
arcrun-cypher-executor 換成 arcrun-mcp（同一顆自架帳號 workers.dev 子網域，對齊
cli/src/lib/deploy.ts:386-392 部署時的組法），不符形狀就誠實顯示「尚未偵測到」，
不亂猜連不到的網址。複製按鈕從既有 copyOriginUrl 拆出共用 copyText(btn, url)。

端到端本機瀏覽器實測：真 wrangler dev（kbdb+cypher-executor local D1）+ 真登入流程
（console setup → bootstrap admin → portal login）走到設定頁，面板正確顯示/隱藏；
用貼近真實自架形狀的假網址驗算，結果與 deploy.ts 的組法逐字相同；複製鈕點擊行為與
既有、未改動的 st-copy-url 按鈕在同一自動化環境下一致（clipboard-write 是瀏覽器自動化
環境限制，非本次改動的迴歸）。詳細記錄見 system-dev/docs/3-specs/portal-auth/tasks.md t218。

未部署（紅線：只 commit+push，未動任何 Cloudflare 實例）。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
 2026-08-09 14:23:56 +08:00
uncle6me-web 8eb10049b8 P8：節點輸出 KV 寫入只服務 PIPE 讀者——拆掉比 neurons 更短的隱形短板 
leo 08-09「不需要換模型，要調整每個 CF 數字搭配」。盤點發現真正最短的板不是
Workers AI neurons（119 檔/日），是 EXEC_CONTEXT KV：每節點（含 FOREACH 每圈）
put 一次、rag 工作流一張卡 15 次，但唯一讀點是 PIPE 邊——rag 系全無 PIPE 邊，
15 次全是白燒 ⇒ KV 1,000/日 ÷ 15 ≈ 66 檔/日，兩條路（免金鑰/Gemini）都被卡。

修法＝寫入前檢查「節點有 PIPE 出邊」。PIPE 工作流與 resume 路徑行為不變。
實測（youlin stage）：修前同構卡留 6 node key（15 put）→ 修後零 key，
blocks/triplets 照常寫入。單元測試鎖住兩側行為。
另復原 08-08 重部誤拔的 [ai] binding（extract 501→200，KEEP_AI=true）。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
 2026-08-09 01:26:16 +08:00
uncle6me-web 894d9abeb1 Revert "P8：/portal/daemon/extract 萃取模型 scout → qwen3-30b（真筆記實測：品質不降、額度天花板翻倍）" 
This reverts commit aa6b899276.
 2026-08-09 00:51:41 +08:00
uncle6me-web aa6b899276 P8：/portal/daemon/extract 萃取模型 scout → qwen3-30b（真筆記實測：品質不降、額度天花板翻倍） 
免金鑰路短板＝Workers AI 免費 10,000 neurons/日。leo 真實筆記 8 篇 × 5 模型實測
（arcrun-rag docs/benchmarks/p8-extractor-quality/，usage.neurons 為 CF 原生計量）：
scout 84 n/檔（119 檔/日）→ qwen3-30b 43 n/檔（232 檔/日）；格式合規 8/8、
三元組 7.6 條全可解析（scout 5.0）。granite 最便宜但 5/8 缺段＝實測否決。
聊天 recipe（workers_ai_chat）不動；只 commit 本 hunk，工作區另有 P7 進行中改動未收。

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
 2026-08-09 00:40:52 +08:00
Leo e28e19069f t142: 雲端子庫顯示同步幾張卡＋幾個三元組（政府專案驗收需求） 
leo 07-29：「要在雲端子庫顯示同步了幾個 wiki，既然這樣也同步顯示有幾個三元組，
這是為了政府專案驗收。」

kbdb 兩支統計端點：
- entries.ts: COUNT(DISTINCT page_name) AS card_count
  ⚠️ 必須 distinct——算 block 數會膨脹 3-5 倍，政府驗收看到假數字比沒數字更糟
- records.ts: COUNT(*) AS triplet_count（三元組本來就算全部）
portal.ts 聚合兩者掛進庫目錄；前端 index.html 顯示。

驗：卡數確為 COUNT(DISTINCT page_name)／前端內嵌 JS node --check 全通過
（07-29 白畫面事故教訓）／portal-admin 測試 34 passed（改動前 31 passed，
唯一的 1 failed 是既有債：GET /portal 回 404，改動前後相同，非本次造成）。

註：此為子 CC 完成後未 commit 的懸置工作，總管收工檢查時發現並補收。
 2026-07-29 19:55:03 +08:00
uncle6me-web 9d38d580f2 feat(t131): AI 設定合併成一把金鑰——聊天與萃取共用，Claude 為選填加強 
leo：「拿到一把就很難了，還要拿兩把。一律規定先輸入 gemini api key，
如果想要強化本地萃取，可以選擇 claude……前面那個，聊天和萃都一次設好，後面那把，不填就是 gemini」
＋「重點是更好的模型萃取知識更能抓重點，不然他也不知道加強什麼」（文案講感覺得到的差別）
＋「本地如果有裝 claude，掃到，只要一個 checkbox 就好」（daemon 偵測回報，沒偵測到就停用選項）。
- POST/GET /portal/admin/ai（一次寫 chat-key 與 extractor）＋/portal/daemon/report-capabilities
- 舊 chat-key/extractor 端點保留相容；UI 兩區合併成「AI 設定」
t131 新測 7 條全綠（總體 229 passed／9 紅皆 pre-existing：HTML shell 搬遷×2、library-map 未實作×6、
executor 零件×1）。（實作＝子 CC；驗證+commit＝總管）
 2026-07-29 15:28:10 +08:00
uncle6me-web 0860e84d22 feat(t135): 庫目錄可自主移除＋標示還在不在同步 
leo：「需要加移除按鈕。因為別人裝錯我沒辦法幫他弄，需要可以自主」
＋「你應該要顯示這個庫沒有本地對應的 folder，那就不容易刪錯」
（兩態非三態——leo 二修：「分兩種沒意義」，那是內部狀態不是用戶分類）。
- DELETE /portal/admin/libraries/:id（登記簿）與 by-name/:name（auto 庫需輸入庫名確認）
- kbdb 加 deprecate-by-library（auto 庫移除＝標 deprecated，資料保留可還原）
- daemon/libraries 存 active 清單 → 卡片標 🟢同步中／灰目前沒有在同步
- 不自動刪（daemon 可能沒開機）；daemon 從未回報時整列不標
vitest 24 passed（1 紅＝console HTML 搬遷陳舊測試，非本案）。
（實作＝子 CC；驗證+commit＝總管。含 t116/t117 先前未 commit 的 graph-executor/wasi-shim 修正）
 2026-07-29 14:45:44 +08:00
uncle6me-web 6d4980d3d7 fix(t130 🔴🔴): PORTAL_TEMPLATE_SEEDS 補 triplet——新實例總圖不再永遠空 
真兇（總管探針定罪）：seeds 只有 portal_user/portal_library，寫三元組回 400
'template not found: triplet' ⇒ 每個新用戶（含封測者）總圖必空。
geek6688 有是舊實例早期流程建過＝拿它驗會假綠（已記 mistakes）。
呼叫路徑已驗：daemon/libraries、admin/libraries、init/seed 皆會 ensurePortalTemplates（冪等）。
vitest 24/24 綠（總管親跑）。（實作＝子 CC；驗證+commit＝總管）
 2026-07-29 14:35:36 +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 eb9f2db513 feat(t122 🔴🔴): 萃取引擎雲端設定＋隨連線下發——封測者終於萃得出東西 
真兇（總管查證）：daemon/config 寫死 extractor='claude' 且不下發金鑰 ⇒ 封測者 100% 萃取失敗
（leo：「地端沒有 AI 根本不能萃，那它就不能玩」）。
- POST/GET /portal/admin/extractor（admin 閘；GET 只回 has_key 不回明文）
- daemon/config 改讀設定：未設定→gemma 無金鑰；設定後→含 gemini_api_key
- portal 設定頁加「萃取引擎」區（Gemini 推薦＋aistudio 連結，存後提示「小幫手點連上知識庫重連即可」）
測試 3 條新綠（vitest 17 passed；1 紅＝console HTML 搬遷陳舊測試，非本案）。
（實作＝子 CC；驗證+commit＝總管）
 2026-07-29 13:21:26 +08:00
uncle6me-web f6728974ea fix(t115 🔴🔴🔴 三修): kbdb 認證完全 fail-closed——沒金鑰一律 401（含讀取） 
leo 實證的洞＝「知道網址即可讀走全部知識」；一修 fail-open（沒設 secret 就不擋）、
二修仍放行讀取＝洞沒補。三修（總管手改）：無 token→全部 401（health 豁免），
老實例升級路徑＝重跑安裝器（同時注入金鑰與新 workflow），不以繼續外洩換相容。
＋結構閘測試：斷言 src/index.ts 的無 token 分支不得有 return next()——
擋「測試複本與真實作漂移」那類假綠（本輪正是它抓到二修的複本沒同步）。
kbdb vitest 60/60 全綠（總管親跑）。
 2026-07-28 23:52:43 +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 (總管雲端) eaaf894b23 portal: 來源回溯 gitea:// 顯示為可點超連結（PORTAL_SOURCE_WEB_BASE 可選 var） 
- 新增可選 var PORTAL_SOURCE_WEB_BASE：設了之後 Portal 卡片詳頁「來源回溯」與
  AI 問答出處列把 gitea://<path>#n 渲染成 {base}/<path> 超連結（新分頁開啟）；
  未設時行為一字不變（Mira 零影響）。
- 安全：href 過 esc()、路徑逐段 encodeURIComponent、rel=noopener；
  只認 gitea:// 前綴，其他 scheme 一律純文字。
- 驗證：tsc 0 錯誤；portal-auth/portal-data 測試 48/48 綠；
  渲染後 client JS 語法檢查通過。
- 來源：leo RAG demo 客戶測試回饋（2026-07-18）「來源回溯沒辦法點擊」。
- 部署（leo 閘）：uncle6 重部 cypher 時帶
  --var PORTAL_SOURCE_WEB_BASE:"https://git.uncle6.me/Leo/arcrun-rag-demo-knowledge/src/branch/main"
 2026-07-18 06:01:26 +00:00
Leo 1e85dfb49b bugfix（#24 #25）：PBKDF2 600k→100k（CF Workers runtime 上限，真雲 bootstrap 500）＋http_request 補 global_fetch_strictly_public（1042） (#56) 2026-07-14 13:23:58 +00:00
Leo 52dbd31dea portal-auth P4（#24 #25）：admin 帳號＋庫管理頁＋last-admin 鎖死保護（不 merge，待總管審） (#53) 2026-07-14 08:54:41 +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
Leo 1260d8cffb portal-auth P2（#24 #25）：portal_user 模型＋認證 API（不 merge，待總管審） (#51) 2026-07-14 04:19:54 +00:00
Leo 7f409646e5 portal-auth P1（#24 #25）：KBDB library filter 地基（不 merge，待總管審） (#50) 2026-07-14 03:50:06 +00:00
Leo 18c0846af0 SDD: RAG Portal 多人授權（#24 #25）— 純設計文件，待審不 merge (#49) 2026-07-14 03:32:00 +00:00