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

9 Commits

Author SHA1 Message Date
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 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
Leo 5cadc60e36 feat(workflow-discovery): /cypher/search 改為真查 registry——修「查詢回假信號」 
📋 SDD：workflow-discovery（本 commit 同時執行 D35 交接：portal-auth 26/26 完成 → closed
   superseded_by workflow-discovery；workflow-discovery paused → active。單一活性已驗＝1 份）
🎯 對應 task：3.x 搜尋端誠實化（CP2-B）

病灶（leo 2026-07-30 定性「腹語術」）：
search-nodes.ts 無條件回 status:'found'、missingNodes 永遠 []——
型別宣告了 'missing' 但程式碼從不使用。實測「完全不存在的東西xyz」也回 found。
⇒ AI 拿到假信號 → 以為零件存在 → 部署才發現沒有 → 改寫 code
⇒ 正式 workflow 只用 2 個零件、8 個 code 節點含 if×61。

修法：
- 查 registry 判真實存在（走 HTTP，守 D28 禁新增 service binding；
  URL 用既有 wasmWorkerUrl() 慣例組，不自創）
- found 時附 input_schema／success_rate／stability
  ⇒ AI 才填得出 payload、才看得到「測過幾次」（leo：AI 只要填 payload）
- 查不通回 'unknown' 而非 'missing'——**誠實限制**：
  不能因查詢失敗就宣告零件不存在（那會讓 AI 誤判而重寫 code）
- missing 真的回傳出去（原本寫死 []）

⚠️ 實測發現 registry **沒有列表端點**（GET /components → 404，只有 /components/<id>）
⇒ 改為逐個查（節點數通常 <10、5s timeout）。補列表端點後可改抓一次＝CP2-B 待辦。

驗：tsc 零錯誤；vitest 9 failed/179 passed＝**與改動前 stash 對帳完全相同**（既有債非本次造成）。
⏳ 待部署到實例後跑 arcrun-usable/verify.sh 驗 01 那組轉綠。
 2026-07-30 20:41:53 +08:00
uncle6me-web 7bd7b4b26a SDD 生命週期鐵律遷移：單一活性制度上線（portal-auth=active，其餘 paused/draft） 
- 鋪檔（自 system-dev-template v1.15.0）：SDD-LIFECYCLE.md＋pending-changes.md
  ＋sdd-guard.sh（覆蓋舊版，加單一活性檢查）＋sdd-check.md＋sdd-active-check.sh
- settings.json PreToolUse（Write|Edit|MultiEdit）掛上 sdd-guard.sh
- 全部 SDD design.md 掛 frontmatter：portal-auth=active（現行 portal 線，
  #61 demo 四件套剛 merge）；artifact-sharing=draft（零任務動工）；
  其餘 16 份＝paused（皆有未完成任務，無明顯死件，不硬 close）
- CLAUDE.md 加「SDD 生命週期鐵律」段（指向 SDD-LIFECYCLE.md＋濃縮五條）
  ＋SDD 速查表改以 frontmatter status: active 為現行判準
- 驗證：sdd-active-check exit 0（恰 1 份 active）；guard pipe-test code 檔
  exit 0 帶現行 SDD 提示；反向測試（造 2 份 active）guard exit 2／check exit 1 全擋

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
 2026-07-17 17:03:16 +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