Leo/Arcrun
1
0
Fork 0
Code Issues 49 Pull Requests 5 Actions Packages Projects Releases Wiki Activity
363 Commits 27 Branches 0 Tags
fix/instructions-knowledge-entrypoint
Commit Graph

14 Commits

Author SHA1 Message Date
uncle6me-web 5783420fcf 併 feat/harness-content-refresh：install-harness 升現世代＋世代閘 
leo 2026-08-05：「Arcrun 是它的父層，這裏的問題也影響 Arcrun RAG」。

main 的 cli/harness/ 停在 06-15，分支是 07-31 的升級（676 行實質改動）：
· cli/scripts/check-harness-generation.mjs（130 行）＝**世代閘**——
  與今天救回的 build-bundles 落後閘同族，都是防「發舊版給用戶」
· cli/scripts/build-harness-skill.mjs（64 行）
· CLAUDE.block.md／commands/arcrun.md／hooks/arcrun-guard.sh 交付內容升級

自動合併零衝突。

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
 2026-08-05 13:35:56 +08:00
Leo 47c6aaea03 feat(t152): workers_ai_chat 種子（auth: binding，免金鑰）＋ 修 /init/seed 吃掉 3.12 欄位＋ 修 D1 LIKE 長查詢 500 
SDD: workflow-discovery 3.12/3.13（不是新規格；3.12 已 confirmed 並實作完成）

## 1) workers_ai_chat 種子（新）
Cloudflare Workers AI 走 env.AI binding ⇒ 用戶不必填任何 API 金鑰就能問答。
放種子表而非產品安裝器：「裝好後預設有哪些 recipe」是平台能力（rule 07 薄殼原則）。
換模型／換供應商＝改這一筆 recipe，workflow 不動。

選型實測（1.4.4 實例，真實長度 RAG prompt，每個模型連跑 2 次）：
  llama-4-scout-17b        2373／2173 ms  ✅ 答案最完整、引用正確 ← 選它
  llama-3.3-70b-fp8-fast   3261／2147 ms  ✅ 可用但波動較大
  mistral-small-3.1-24b    3560／3631 ms
  qwen2.5-coder-32b        3572／3353 ms
  gpt-oss-120b             1971／2295 ms  ❌ 回應形狀不同，response 取不到文字
  gemma-3-12b-it           ❌ 5018 帳號無權限
對照舊路徑 Gemini gemma-4-31b-it：同型提問 16.87 s，且吐整段英文思考草稿。

## 2) 修 /init/seed 靜默吃掉 3.12 欄位
3.12 給 RecipeDefinition 加了 body_template/response_map/auth/binding_name，
但 /init/seed 是**列舉欄位重建** recipe record ⇒ 不在名單上的欄位被丟掉。
最惡劣的地方是「哪裡都不會紅」：recipe 查得到、endpoint 對，只有跑起來像沒設定過。
與 08-02 syncManifest 吃掉 manifest.daemon 欄同型（教訓：東西還在不在也要進機械閘）。
加 tests/init-seed-recipe-fields.test.ts：拿掉修復會紅、補回會綠（已實測會擋）。

## 3) 修 D1 LIKE pattern 50 bytes 上限造成的 500
/entries/search?q=… 只要 q 超過 48 bytes 就回 HTTP 500，沒有錯誤訊息。
逐 byte 二分：48→200／49→500；中文 16 字→200／17 字→500。
判別實驗：q 固定 48 bytes、其他 filter 全塞滿讓 SQL 變很長 → 仍 200
⇒ 爆的是 LIKE 的 pattern（'%'+q+'%' = 50），不是 statement 長度。
中文問句超過 16 字是常態，而 rag_chat 用整句問題當 q ⇒ 聊天對正常問句等於不能用。
（＝InkStoneCo status.md 待辦第 1 條「KBDB keyword 長查詢會炸」的根因。）
修法：q ≤ 48 bytes 走原路（行為逐字不變），超過才拆詞／切 UTF-8 邊界片段。
kbdb 全套 83 測全綠（含新增 8 項）。

## 4) 順手
- 移除被 commit 進 repo 的 node_modules 壞 symlink（指向 leo Mac 的絕對路徑，
  害任何 fresh clone 裝不起來、切分支還會把裝好的蓋掉——本次撞了兩次）。
- pending-changes.md 加 P2 提案（fan-out 並行執行）＋等裁決，未動引擎。

驗證：cypher-executor 新增測試 17/17 綠；tsc 與基線逐字相同；
全套測試失敗集合與基線**逐字相同**（基線 14 個失敗，本分支 t173 既有，非本次引入）。
 2026-08-03 02:56:53 +00:00
uncle6me-web eefbed98b6 合流 batch：步驟 3/4/5/6 併成一版出貨（同一顆 cypher worker，bundle 是 worker 粒度） 
鐵律（08-01 血淚）：CP 可分步驗收，但 bundle 是 worker 粒度——凡改同一顆 worker 的多步，
出貨前必先合流成一版再重生 bundle，否則 stage 只拿到一步（三條分支各自建 bundle 的坑）。

base=feat/step3-missing-guidance（最前緣，已含 step4+step6＋t158-t162 prod 修）
merge=feat/step5-conditional-edges（引擎條件邊＋recipe 三層＋教材世代修）
 2026-07-31 16:56:09 +08:00
uncle6me-web c9feb15a37 步驟5 驗收與 SDD 落帳：判斷骨架重寫實測 1201→350 字元、if×8→0（降 71%） 
tests/step5-acceptance.test.ts（3 項綠）：
- 多路分流＋失敗路三條各自到位、全程零 code 節點、success=true
- 布林兩路（if_control）同樣零 code
- 字元數對照：舊寫法（判斷全塞進一個 code 節點的 JS）1201 字元 if×8
  → 新寫法（分支邊＋recipe response_map 宣告）350 字元 if×0

誠實標記（寫進測試檔頭與 tasks，不讓後人誤讀）：線上那顆 assemble（5509 字元 if×23）
住在 arcrun-rag 實例、本 repo 無其定義 ⇒ 本次是把它的**判斷骨架**以新能力重建成等價
工作流，證明判斷不必寫在 JS 裡，**不是**直接改寫線上節點。真正改寫與 haiku 逐顆查場景
＝stage 端到端（features/09）才算數，故 3.13 標 ◐ 不標 ✅。

tasks.md：3.11／3.12 標 [x] 附證據，3.13 標 [◐] 附待辦界線。
全套 212 passed（基線 179 +33 新），失敗數維持既有 9 筆未變；tsc --noEmit 綠。

SDD: workflow-discovery 3.11/3.12/3.13｜CP: arcrun-usable 步驟 5

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
 2026-07-31 16:34:20 +08:00
uncle6me-web 323ccc8475 步驟5 缺口①：引擎通用具名分支邊（ON_TRUE/ON_FALSE/ON_BRANCH）＝Arcrun#5 根治 
問題（「全變成 code」的根）：if_control 回 {result, branch} 卻沒有邊讀得懂它，
圖的邊只有 ON_SUCCESS/IF/FOREACH ⇒ 就算照規矩用零件，仍得寫 code 判斷走哪條。
leo 08-01 追問「你改了 if，有改 switch 嗎？switch 更嚴重」——確認 switch(N 路)
與 try_catch(try/catch) 同病，故一次做成通用機制，不留「為 switch 再改一次」的債。

設計：三顆流程控制零件的 output_schema 本來就都收斂到同一形狀 data.branch: string
（if_control→true/false；switch→case 名或 default_branch；try_catch→try/catch）
⇒ 引擎只需「依標籤選邊」一個機制 ON_BRANCH；ON_TRUE/ON_FALSE 是布林路的語法糖，
底層同一條路（測試已證等價）。讀不出分支＝不走（誠實，不亂挑一條）。

- types/schemas/constants：新增三邊型（純新增，既有列舉不動）＋ GraphEdge.branch
- graph-executor：readBranch() 依 data.branch → branch → data.result → result 四層相容
- 中文語意詞：成立時/為真時=ON_TRUE，不成立時/為假時/否則=ON_FALSE，BRANCH=ON_BRANCH

分支用法要「查得到」（leo 08-01：AI 可能像 n8n 那樣逐顆查、自己組圖）：
新增 lib/branch-hints.ts，讓 if_control/switch/try_catch 的查詢回應自帶 branch_hint
（branch_field/branches/edge_types/usage/example）——只看這一顆的回應就知道怎麼接下一步，
不必回頭讀 skill。四條回應路徑全wire：catalog found／legacy 逐顆／步驟4 substitution／
target=component 名字搜尋（＝n8n 式那條）。不分岔的零件不加此欄，避免噪音。

測試（先寫測試再改引擎，紅線要求）：tests/conditional-edges.test.ts 16 項全綠
——if 兩路／switch 多路＋default／try_catch 成功與失敗路／語法糖等價／
context 傳遞／同分支 fan-out／無匹配不走／混合邊時 PIPE 不受影響／schema 放行。
零變化保證：195 passed（前 179 +16 新），失敗數維持既有 9 筆未變（console/portal
HTML 資產未建置＋executor 斷言字串漂移，皆與本次無關）；tsc --noEmit 綠。
現存 workflow/example 用到新邊型＝0 筆（grep 實查）⇒ 既有行為不可能被改動。

SDD: workflow-discovery task 3.11｜CP: arcrun-usable 步驟 5

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
 2026-07-31 16:26:26 +08:00
uncle6me-web 46afea83c2 步驟1 最後一筆：install-harness 交付內容升級到現世代＋世代閘 
管道本來就是好的（install-harness 功能完整、冪等），**過時的是內容**：
harness skill（4066B）grep「意圖」「>>」= 0 命中，只講世界觀／別寫 Python
⇒ 新裝的封測者拿不到步驟 1 的核心教材（`>>` 意圖語法）。

■ 單一真相源：harness skill 改為建置期由 registry 複製
  build-harness-skill.mjs＝head ＋ registry/skills/write_intent_workflow.md 正文 ＋ tail。
  選「建置期複製」的理由：npm files 只收 harness/，registry 不進套件；
  symlink 在 npm pack 與 Windows 不可靠。產物 commit 進 repo（npm 裝的是產物、不跑 build）。
  head/tail 是 harness 專屬（CLI 語境入口／acr 指令表／暴露同意／誠實鐵律），
  install-harness 的 copyTree 跳過 .head/.tail，不鋪進使用者專案。

■ 其餘三件逐份對照現世代事實後更新（過時的直接刪，不留死代碼）
  - CLAUDE.block.md：補 >> 意圖語法、not_found 兩條路、零件 vs recipe 分型、
    腹語術紅線、金鑰只拿名字
  - commands/arcrun.md：步驟改成「先寫意圖 → 丟去查 → 再寫 YAML」，補 acr search／validate
  - hooks/arcrun-guard.sh：**正路提示改為指向 arcrun-mindset Skill ＋意圖語法**
    （呼應「hook 沒提 skill 反而把 AI 導向 repo 文件」的教訓）；
    新增 code 節點腹語術提醒，settings.fragment 補 Write|Edit|MultiEdit matcher

■ 世代閘（防再度脫節）
  check-harness-generation.mjs 檢查四件交付物的現世代指紋，缺指紋 exit 1，
  掛進 npm run build（prepublishOnly 因此也擋）。
  反向驗證：把 skill／CLAUDE.block 換回上一代 → 兩者都被擋下並逐條點名缺哪個指紋。

■ 驗收（考生 haiku／受測物＝環境）
  乾淨臨時目錄 acr install-harness → 四件鋪好；重跑冪等（全檔 md5 不變、
  CLAUDE.md 66 行不變、hooks 條目 2 不變、arcrun 區塊仍 1 個）。
  haiku 只讀該目錄的 CLAUDE.md＋SKILL.md（明令禁讀 ~/.claude、禁上網；
  兩份教材 md5 與大小均不同，可證非考本機那支）答十題
  → grade-step1.sh **10 / 10 通過**（判分器同時反向驗證仍會抓
  ON_TRUE／ON_FAILURE／第一節點非 input）。
  npm test 18/18、tsc 綠。

SDD：workflow-discovery/tasks.md 3.11

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
 2026-07-31 15:29:17 +08:00
uncle6me-web 5c5109cd45 Merge branch 'feat/step4-node-substitution' into feat/step3-missing-guidance 
# Conflicts:
#	system-dev/docs/3-specs/workflow-discovery/tasks.md
 2026-07-31 14:54:25 +08:00
uncle6me-web cae0d7be3b 3.9 落帳＋pending-changes 提案：workflow export/import 一等公民化（D35 ③，接線待 confirm） 
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
 2026-07-31 14:15:33 +08:00
uncle6me-web d48f83ae6f t159 步驟4 意圖節點→真實零件/recipe 替換＋/cypher/search 加 target 指定搜尋對象 
CP arcrun-usable 步驟 4（目的：AI 只要填 payload——系統把「傳到 telegram」
翻成 http_request＋recipe telegram_send）＋leo 07-31 追加：
「難道我不能指定要搜尋工作流或節點或 recipe 嗎？」

替換（只動 discover，t158「部署≠發現」邊界不碰）：
- 兩庫 exact 落空後，在 t158 一次抓好的清單記憶體內媒合，零新增 round-trip
- 規則 A 服務詞→recipe：名字全部服務詞命中同一 recipe 且唯一才換
  （google_slides_create 不被 google_sheets 誤吃）
- 規則 B 強欄位斷詞→零件：canonical/display/aliases 強命中×10＋弱命中，
  需至少一強命中且分數唯一最高（aes_encrypt 無強命中不換）
- 換到＝status resolved＋substitution{from,componentId,recipe,reason}，
  cypher 圖節點直接帶真實 componentId；換不到照舊 not_found＋3.7 指路

target 參數（各走既有機制，不新造第二套搜尋）：
- triplets＋target=component|recipe＝只查該庫
- query＋target＝名字搜尋：component→registry /components/search（＝MCP
  arcrun_search_components 同路）；recipe→私庫 RECIPES KV（回應註明公庫走
  arcrun_recipe_search）；workflow→新抽 lib/workflow-search.ts，
  GET /workflows/search 與 target=workflow 共用（＝arcrun_search_workflows 同路）
- 防呆：compile＋target 400／target=workflow 吃 query 不吃 triplets／非法 target 400

驗（本地 wrangler dev，registry 種 20 合約＋init/seed 10 recipe）：
- 「判斷有沒有新資料 >> ON_SUCCESS >> 傳到 telegram」→ if_control（resolved）
  ＋telegram_send（substitution.componentId=http_request）＝feature 06 驗法過
- 機械考 27/27 全綠（01 組×5＋03 組×4 迴歸＋06 組×8＋target×8＋compile 迴歸×2）
- 冷啟第一發 94ms、熱 8–13ms（t158 病史對照：舊 25.7s）；compile 39ms unchecked 照舊
- tsc 全綠；vitest 9 failed/179 passed＝t158 基線完全相同

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
 2026-07-31 13:49:09 +08:00
uncle6me-web 1794072179 3.6/3.7 查詢誠實化：兩庫都查、缺件回 not_found＋分型指路 suggestion 
📋 SDD：workflow-discovery task 3.6/3.7（leo 07-31 步驟 3 考題）
契約以頂層 arcrun-usable/verify.sh 01＋03 組為準。

- 3.6 recipe 納入 /cypher/search：零件 registry 落空後查 RECIPES KV
  （resolveRecipe，執行鏈同一套解析）；recipe found 附 source/description/endpoint
- 3.7 缺件分型指路：status 契約定 not_found（verify grep），suggestion 欄——
  名字含服務詞（google/telegram/…）＝外部 API 樣貌 → 指 skill write_recipe；
  含計算詞（encrypt/hash/…）＝計算原語樣貌 → 指 skill add_new_wasm_component 投稿 PR；
  判不出型誠實說判不出、兩條路都給。規則簡單可解釋（不接 LLM），判準在 code 註解
- 相近候選：not_found 附 similar_components/similar_recipes——全名搜不中就斷詞
  （ASCII 詞＋中日韓 2-gram）打 registry /components/search，
  「判斷有沒有新資料」媒合到 if_control（leo：AI 不用知道零件存在）
- 修頭節點假 found：resolveNodeRole 把無入邊頭節點判 Input，searchNodes 對 Input
  無條件 found ⇒ 「aes_encrypt >> … >> code」的頭被掩蓋。改為只有字面
  input/trigger/…/output 名才短路（isVirtualIoName），真名字照查兩庫
- registry 查詢層補 input_schema/output_schema 透傳：KV 一直有存
  （indexOnlyComponent），toComponentRecord 丟掉 ⇒ /cypher/search 給不出
  「怎麼填 payload」。順手補 REGISTRY_BASE_URL 可選覆蓋（比照 KBDB_GRAPH_URL 慣例，
  本地 dev／self-hosted registry 掛別處時用）

驗：cypher-executor＋registry tsc 全綠；vitest 9 failed/179 passed＝與 5cadc60
基線完全相同（既有債非本次造成）；本地 wrangler dev（cypher 指本地 registry，
KV 用 index-only 種入 20 份 repo 合約）跑頂層 verify.sh 01＋03 組 9/9 全綠，
含 telegram_send 種入後 recipe found 路徑實測。部署到實例後需對真環境重驗。

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
 2026-07-31 11:56:15 +08:00
uncle6me-web 747dc3f843 3.7 補指引目的地＋3.8 write_recipe skill（recipe 指路現為空地） 2026-07-31 11:38:26 +08:00
uncle6me-web c56863a7e0 3.6/3.7 補設計基調：回覆重點=缺哪些；兩庫都搜；驗收=機械綠→haiku 真考 2026-07-31 11:36:01 +08:00
uncle6me-web fc6c98cd58 workflow-discovery 補 3.6/3.7（頂層交棒）：recipe 入查詢＋缺件分型指路——leo 07-31 定義步驟 3 考題 2026-07-31 11:26:20 +08:00
uncle6me-web 5d00e71275 chore: D22 落地——docs/SDD/wiki/CLAUDE.md 進 repo（Gitea private 預設全 push） 
頂層 D22 決策（leo 2026-07-03 拍板）：推什麼由開發環境歸屬決定，
Gitea private＝除機敏值/build 產物/.github 外全 push。
解 T1.5 卡點：雲端工人 clone 拿得到 credential-store-migration.md，可就地改寫 SDD。
機敏掃描兩輪通過（新增 189 檔約 2.1MB，node_modules/dist/wasm 照舊排除）。

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
 2026-07-03 07:13:33 +08:00