abelien-harness 0.3.0 → 0.4.0

package/skills/abelien-structure/references/build123d-execution.md

@@ -52,7 +52,7 @@ python3 <本skill>/scripts/run_stage.py --project <工程目录> --plan <任务J
 
 同 task_id 的 lock 防止并发覆盖；相互影响的不同 task_id 仍需宿主串行安排或使用独立候选目录。超时或可捕获的终止信号会终止子进程组并记录失败；强制杀死宿主／断电可能留下 running 与 lock。恢复时先核对 PID 和相关进程，只有证明原任务不再运行才清理该任务自己的锁；不要删除工程或重写产品状态。脚本不自动接管旧进程。
 
-POSIX 清理保持 TERM → wait(2s) → KILL → wait，不提高任务预算。Darwin 对只剩 zombie 的进程组可能返回 PermissionError；只有原 leader 的 poll 已证明退出，且固定 `/bin/ps` 的有界完整 pid/pgid/uid/stat 全表成功、非空、逐行合法时，才接受原 PGID 无成员或全为同有效 UID 的 Z 状态。活成员、不同 UID、未知／非法／不完整输出、探针失败、原 leader 仍活着或非 Darwin 的 PermissionError 都保留原错误；ProcessLookupError 的已有处理不变。探针不接受调用者路径或 shell。
+POSIX 清理保持 TERM → wait(2s) → KILL → wait，不提高任务预算。Darwin 对只剩 zombie 的进程组可能返回 PermissionError；只有原 leader 的 poll 已证明退出，且固定 `/bin/ps` 的有界完整 pid/pgid/uid/stat 全表成功、非空、逐行合法时，才接受原 PGID 无成员或全为同有效 UID 的 Z 状态。`?` 运行态（个别进程状态未定，man page 未列、负载下实测存在）是合法行，不使整表判废；但原 PGID 自身成员为 `?` 时它不是 Z，仍保留原错误。活成员、不同 UID、无法读取／非法／不完整输出、探针失败、原 leader 仍活着或非 Darwin 的 PermissionError 都保留原错误；ProcessLookupError 的已有处理不变。探针不接受调用者路径或 shell。
 
 不要覆盖已确认候选，使用新的候选目录并保留旧资产。失败任务的输出可能不完整，不得因文件存在就采用。日志为本地工程诊断，不直接展示给终端用户；任务命令和日志不得输出凭据。
 

package/skills/abelien-structure/scripts/run_stage.py

@@ -109,10 +109,17 @@ def _signal_group(process: subprocess.Popen, signum: int) -> None:
                                        env={"LC_ALL": "C"}, timeout=2)
                 if probe.returncode == 0 and not probe.stderr and probe.stdout.endswith("\n"):
                     rows = [line.split() for line in probe.stdout.splitlines()]
+                    # Darwin reports the run state as "?" when it cannot determine it
+                    # (undocumented in the man page; observed under load as "?", "?N",
+                    # "?E", "?NE"...). Such a row is structurally complete and must not
+                    # invalidate the table: otherwise one unrelated process turns a
+                    # benign exited-group cleanup into an error. An unknown-state row
+                    # of the original group is still not a zombie, so the member check
+                    # below keeps rejecting that case.
                     valid = bool(rows) and all(
                         len(row) == 4 and re.fullmatch(r"[1-9][0-9]*", row[0])
                         and all(re.fullmatch(r"-?[0-9]+", value) for value in row[1:3])
-                        and re.fullmatch(r"[IRSTUZ][+<>AELNSsVWX]*", row[3])
+                        and re.fullmatch(r"[IRSTUZ?][+<>AELNSsVWX]*", row[3])
                         for row in rows)
                     if valid and len({row[0] for row in rows}) == len(rows):
                         members = [row for row in rows if int(row[1]) == process.pid]

package/skills/abelien-workspace/SKILL.md

@@ -22,6 +22,8 @@ compatibility:
 
 已读规则在同一会话中沿用；重新取得的是作品事实与事件。不要通过反复加载 guide／workspace 启动递归调度。
 
+局部自由造型外观件使用[现有候选与采用交接](../abelien-appearance/references/local-component-edit.md)：ready 候选与 adopted current 保持原谱系，网格预览不得借 CAD 接口完成确认／导出。冻结 target occurrence 和 baseline，提交前与采用前均核对同版；unknown fit 保持预览状态。
+
 ## 产品入口
 
 [user-journey.json](workflows/user-journey.json) 中的 `journey` 对应本包完整旅程，供 Agent 阅读。其单个 `drive-product-journey` 步骤由使用 guide 的宿主 Agent 跨轮驱动。

package/skills/abelien-workspace/domain.json

@@ -1,6 +1,6 @@
 {
   "name": "abelien-workspace",
-  "version": "1.2.0",
+  "version": "1.3.0",
   "description": "作品旅程、PRD 与业务契约；user-journey 由 Agent 驱动，draft 供真实硬件阶段使用；不声明假 PRD、确认、报价或支付能力",
   "resources": [
     "draft"

package/skills/abelien-workspace/workflows/definitions/a6e8254e1839d94530ae243cba779e423953b7169cbce338f0503d748d44800b.json

@@ -0,0 +1,175 @@
+{
+  "name": "user-journey-hardware",
+  "domain": "abelien-workspace",
+  "executionProtocol": "pinned-result-v1",
+  "description": "Library recall, suitability review, fixed Prismer-first/Volc evidence for unresolved slots, source-bound merge, then the same formal hardware.select and gate",
+  "input": {
+    "required": [
+      "requirements"
+    ]
+  },
+  "steps": [
+    {
+      "id": "record-requirements",
+      "executor": "cli",
+      "action": "resource.put",
+      "args": {
+        "kind": "draft",
+        "id": "hardware-d-{{hash}}",
+        "body": {
+          "requirements": "{{input.requirements}}"
+        }
+      }
+    },
+    {
+      "id": "classify-hardware",
+      "executor": "agent",
+      "instruction": "需求已澄清；requirements 是 clarify 的 Requirements：context 为落点与场景，reaction[] 为全部触发→反应，limits[] 每项带 strength。按全部 reaction 推导功能槽位与数量，strength=hard 的 limits 进 hard_constraints，preference 只作排序提示；缺 reaction 或只有品类标签时停止并说明。读取同级 abelien-hardware-selection/SKILL.md，并用其 scripts/load-guide.mjs 依次按需加载 entry、命中的 level1、命中的 level2、contract；仅提交功能槽位、数量、受控三级路径和需求硬约束，不提交型号或猜测数据库事实。回复 {\"slots\":[...]}；若需求不足或路径不确定，停止并说明，不能伪造槽位。",
+      "replySchema": {
+        "slots": "array"
+      }
+    },
+    {
+      "id": "search-hardware-wikis",
+      "executor": "cli",
+      "action": "capability.run",
+      "args": {
+        "capability": "hardware.search",
+        "input": {
+          "operation": "search",
+          "query": "{{input.requirements}}",
+          "requirements": "{{input.requirements}}",
+          "slots": "{{steps.classify-hardware.result.slots}}",
+          "policy": {
+            "prefer_system_candidates": true,
+            "top_k_per_slot": 8,
+            "include_content": true
+          }
+        }
+      }
+    },
+    {
+      "id": "hardware-knowledge-recalled",
+      "executor": "cli",
+      "action": "machine.send",
+      "args": {
+        "machine": "hardware-recall",
+        "event": "confirmRecall",
+        "instance": "{{steps.search-hardware-wikis.resource.id}}"
+      }
+    },
+    {
+      "id": "review-hardware-candidates",
+      "executor": "agent",
+      "instruction": "Read the complete library candidates and original requirements/slots. Review suitability against function and every hard constraint. Reply {\"unresolved_slots\":[{\"slot_id\":\"original slot\",\"reason\":\"no candidates or specific reasons all candidates are unsuitable\",\"query\":\"official model search targeting function/category/key hard constraints\",\"count\":10}]}. Every zero-candidate slot requires supplemental search. All unsuitable candidates also require search. Preserve rechargeable built-in battery, wireless charging, and all other original requirements; do not ask the user to drop a requirement because the catalog is empty. unresolved_slots contains only slots that need search. Omit suitable library slots entirely; never add placeholder rows with an empty query or count=0. Return [] when all slots are suitable. Before committing this review, the trusted host validates the full original requirements, slots and recall with validate-web-search-plan.mjs; a VALIDATION reply preserves this pause so the same run can be corrected. Count is optional and a positive integer; Prismer search.topK and return.topK are explicit. Do not apply undocumented Prismer query/result limits or truncate requirements. The trusted fixed Prismer-first policy permits Volc only after a saved definitive denial, successful empty query or unsent missing Key; Volc alone checks its official 1-100 character Query and Count 1-50 at dispatch. Unknown dispatched effects never authorize fallback or a new invocation. Do not supply URLs, credentials, commands or providers. System reuse is optional: poor matches must not force complex whole systems. Concept visuals and the original requirements come first.",
+      "replySchema": {
+        "unresolved_slots": "array"
+      }
+    },
+    {
+      "id": "search-hardware-web",
+      "executor": "cli",
+      "action": "capability.run",
+      "args": {
+        "capability": "hardware.web-search",
+        "input": {
+          "requirements": "{{input.requirements}}",
+          "slots": "{{steps.classify-hardware.result.slots}}",
+          "recall_id": "{{steps.search-hardware-wikis.resource.id}}",
+          "unresolved_slots": "{{steps.review-hardware-candidates.result.unresolved_slots}}"
+        }
+      }
+    },
+    {
+      "id": "extract-web-hardware",
+      "executor": "agent",
+      "instruction": "When pages contain blob_ref, use resource get <evidenceResourceId> --page <pageId> to read each required full original page; never copy page bodies into replies. Read the persisted hardware-web-evidence pages from search-hardware-web in full. Search Content/snippets/provider official labels are not complete official pages or proof of authority. Extract only manufacturer pages; uncertain source authority remains unknown and third-party mirrors are not official merely because their URL contains a manufacturer domain. Reply {\"candidates\":[{\"slot_id\":\"original slot\",\"page_id\":\"persisted page ID\",\"manufacturer\":\"exact manufacturer\",\"manufacturer_quote\":\"at least 8 source characters\",\"model\":\"exact model\",\"model_quote\":\"at least 8 source characters\",\"parts\":[{\"name\":\"physical part name\",\"name_quote\":\"exact source quote\",\"shape\":\"box|cylinder|sphere|unknown\",\"shape_quote\":\"exact source quote\",\"dimensions_mm\":{\"length\":20,\"width\":12,\"height\":3},\"dimension_quotes\":{\"length\":\"exact quote identifying this part, axis, numeric value and unit\",\"width\":\"exact quote\",\"height\":\"exact quote\"}}]}]}. Quotes must include the exact part/name/shape they support. Each physical part has separate dimensions; cylinders use diameter/height, spheres use diameter. Unknown dimensions are omitted, never invented or defaulted. Conflicting versions and unknown multi-part overall dimensions remain unknown; do not combine contradictory versions. Do not submit page bodies, official/verified/CAD_available/source/geometry claims. Missing reliable pages or no network means candidates empty. This is envelope_only, not true component CAD or engineering verification. For an attributed tuple such as Back Panel: 48mm x 32mm x 0.5mm, add dimensions_quote with the entire exact source string and dimension_axes:[\"length\",\"width\",\"height\"] in original order; dimensions_mm must map each original value/unit to that explicitly declared axis. Preserve alternate imperial tuples in the quote; never use their values as mm or borrow another part's measurements. A 2-value tuple leaves height unknown. A box inferred from dimensions is only an envelope expression: actual part shape and orientation remain unknown. dimension_quotes may be empty for this tuple mode. Never invent coil thickness or total assembly dimensions.",
+      "replySchema": {
+        "candidates": "array"
+      }
+    },
+    {
+      "id": "merge-hardware-web",
+      "executor": "cli",
+      "action": "capability.run",
+      "args": {
+        "capability": "hardware.web-merge",
+        "input": {
+          "requirements": "{{input.requirements}}",
+          "slots": "{{steps.classify-hardware.result.slots}}",
+          "recall_id": "{{steps.search-hardware-wikis.resource.id}}",
+          "evidence_id": "{{steps.search-hardware-web.resource.id}}",
+          "candidates": "{{steps.extract-web-hardware.result.candidates}}"
+        }
+      }
+    },
+    {
+      "id": "select-hardware-from-wikis",
+      "executor": "agent",
+      "instruction": "先读 abelien-hardware-selection/references/selection-service-contract.md 与真实候选的完整 Wiki。每槽位选择一个真实 component_id，显式 quantity 等于槽位 quantity；manufacturer/model 取候选，selection_reason 非空，wiki_evidence 为至少 8 字符的 Wiki 原文引用数组。selected_models 每项需 constraint_checks，覆盖 function、slot:<hard_constraints 的键>、limit:<每项 hard limit.id>；每项包含 constraint_id、status=verified|unknown|incompatible、reason、evidence:[{component_id,quote}]。多型号另给 compatibility_checks，逐 power/interfaces/mechanical/thermal/software 维度包含 status、reason、每个型号的原文 evidence。证据不足填 unknown，不可编造。status=verified|needs_confirmation，plan_mode=assemble_new|adapt_system，其余数组 selected_models/coverage_ledger/remaining_slots/unknowns/replacement_plan 必填。先比较整机，但整机继承缺 manifest 必须待确认，不凭文案抵扣数量。verified 只表示 Wiki 证据判断通过，不是独立工程兼容求解或实测，不代表采用。 Read only merge-hardware-web candidates for the final choice. Preserve structured limits.envelope and source strength; dimension metadata/name/selection-line identity are supplied by the trusted finalizer, never invented. Incompatible dimension candidates require replacement; unknown/risk stays needs_confirmation when an envelope is active. all_indexed_candidates_rejected is scoped to this indexed category; occupancy is advisory and clear is only coarse single-part screening. Whole-system reuse is optional; a poor match never forces a complex baseline. External IDs are external:<hash>, with source authority and engineering unknowns; envelopes are not component CAD and cannot grant adoption or delivery.",
+      "replySchema": {
+        "status": "verified|needs_confirmation",
+        "plan_mode": "adapt_system|assemble_new",
+        "selected_models": "array",
+        "coverage_ledger": "array",
+        "remaining_slots": "array",
+        "unknowns": "array",
+        "replacement_plan": "array",
+        "compatibility_checks": "array"
+      }
+    },
+    {
+      "id": "select-hardware",
+      "executor": "cli",
+      "action": "capability.run",
+      "args": {
+        "capability": "hardware.select",
+        "input": {
+          "requirements": "{{input.requirements}}",
+          "slots": "{{steps.classify-hardware.result.slots}}",
+          "recall_id": "{{steps.merge-hardware-web.resource.id}}",
+          "selection_proposal": "{{steps.select-hardware-from-wikis.result}}"
+        }
+      }
+    },
+    {
+      "id": "record-hardware-selection",
+      "executor": "cli",
+      "action": "resource.update",
+      "args": {
+        "id": "{{steps.record-requirements.resource.id}}",
+        "bodyPatch": {
+          "hardwareSelectionId": "{{steps.select-hardware.resource.id}}",
+          "hardwareSelectionStatus": "{{steps.select-hardware.result.status}}",
+          "hardwareSelectionRevision": "{{steps.select-hardware.result.revision}}",
+          "hardwarePlanMode": "{{steps.select-hardware.result.plan_mode}}"
+        }
+      }
+    },
+    {
+      "id": "hardware-selected",
+      "executor": "cli",
+      "action": "machine.send",
+      "args": {
+        "machine": "hardware-selection",
+        "event": "confirmSelection",
+        "instance": "{{steps.record-requirements.resource.id}}"
+      },
+      "completeWhen": {
+        "path": "steps.hardware-selected.result.to",
+        "equals": "selected_pending_confirmation"
+      },
+      "completionResult": {
+        "selectionId": "{{steps.select-hardware.resource.id}}",
+        "selectionStatus": "{{steps.select-hardware.result.status}}",
+        "selectionRevision": "{{steps.select-hardware.result.revision}}"
+      }
+    }
+  ],
+  "result": {
+    "selectionId": "{{steps.select-hardware.resource.id}}",
+    "selectionStatus": "{{steps.select-hardware.result.status}}",
+    "selectionRevision": "{{steps.select-hardware.result.revision}}"
+  },
+  "legacyResume": "read_only"
+}

package/skills/abelien-workspace/workflows/definitions/b37f3b47e1e8bd1208859de57456152b149416e21949297b22bba937c51a5670.json

@@ -0,0 +1,149 @@
+{
+  "name": "user-journey-hardware-candidates",
+  "domain": "abelien-workspace",
+  "description": "Library recall, suitability review, fixed Prismer-first/Volc evidence for unresolved slots, source-bound merge, then candidate proposal",
+  "input": {
+    "required": [
+      "requirements"
+    ]
+  },
+  "steps": [
+    {
+      "id": "record-requirements",
+      "executor": "cli",
+      "action": "resource.put",
+      "args": {
+        "kind": "draft",
+        "id": "hardware-candidates-d-{{hash}}",
+        "body": {
+          "requirements": "{{input.requirements}}"
+        }
+      }
+    },
+    {
+      "id": "classify-hardware",
+      "executor": "agent",
+      "instruction": "需求已澄清；requirements 是 clarify 交回的 Requirements：context 为落点与场景，reaction[] 为全部触发→反应，limits[] 每项带 strength。按全部 reaction 推导功能槽位与数量，strength=hard 的 limits 进 hard_constraints，preference 只作排序提示；缺 reaction 或只有品类标签时停止并说明。读取同级 abelien-hardware/SKILL.md，并用其 scripts/load-guide.mjs 依次按需加载 entry、命中的 level1、命中的 level2、contract；只提交功能槽位、数量、受控三级路径和本次硬约束。回复 {\"slots\":[...]}，不要提交型号。",
+      "replySchema": {
+        "slots": "array"
+      }
+    },
+    {
+      "id": "search-hardware-wikis",
+      "executor": "cli",
+      "action": "capability.run",
+      "args": {
+        "capability": "hardware.search",
+        "input": {
+          "operation": "search",
+          "query": "{{input.requirements}}",
+          "requirements": "{{input.requirements}}",
+          "slots": "{{steps.classify-hardware.result.slots}}",
+          "policy": {
+            "prefer_system_candidates": true,
+            "top_k_per_slot": 8,
+            "include_content": true
+          }
+        }
+      }
+    },
+    {
+      "id": "hardware-knowledge-recalled",
+      "executor": "cli",
+      "action": "machine.send",
+      "args": {
+        "machine": "hardware-recall",
+        "event": "confirmRecall",
+        "instance": "{{steps.search-hardware-wikis.resource.id}}"
+      }
+    },
+    {
+      "id": "review-hardware-candidates",
+      "executor": "agent",
+      "instruction": "Read the complete library candidates and original requirements/slots. Review suitability against function and every hard constraint. Reply {\"unresolved_slots\":[{\"slot_id\":\"original slot\",\"reason\":\"no candidates or specific reasons all candidates are unsuitable\",\"query\":\"official model search targeting function/category/key hard constraints\",\"count\":10}]}. Every zero-candidate slot requires supplemental search. All unsuitable candidates also require search. Preserve rechargeable built-in battery, wireless charging, and all other original requirements; do not ask the user to drop a requirement because the catalog is empty. unresolved_slots contains only slots that need search. Omit suitable library slots entirely; never add placeholder rows with an empty query or count=0. Return [] when all slots are suitable. Before committing this review, the trusted host validates the full original requirements, slots and recall with validate-web-search-plan.mjs; a VALIDATION reply preserves this pause so the same run can be corrected. Count is optional and a positive integer; Prismer search.topK and return.topK are explicit. Do not apply undocumented Prismer query/result limits or truncate requirements. The trusted fixed Prismer-first policy permits Volc only after a saved definitive denial, successful empty query or unsent missing Key; Volc alone checks its official 1-100 character Query and Count 1-50 at dispatch. Unknown dispatched effects never authorize fallback or a new invocation. Do not supply URLs, credentials, commands or providers. System reuse is optional: poor matches must not force complex whole systems. Concept visuals and the original requirements come first.",
+      "replySchema": {
+        "unresolved_slots": "array"
+      }
+    },
+    {
+      "id": "search-hardware-web",
+      "executor": "cli",
+      "action": "capability.run",
+      "args": {
+        "capability": "hardware.web-search",
+        "input": {
+          "requirements": "{{input.requirements}}",
+          "slots": "{{steps.classify-hardware.result.slots}}",
+          "recall_id": "{{steps.search-hardware-wikis.resource.id}}",
+          "unresolved_slots": "{{steps.review-hardware-candidates.result.unresolved_slots}}"
+        }
+      }
+    },
+    {
+      "id": "extract-web-hardware",
+      "executor": "agent",
+      "instruction": "Read the persisted hardware-web-evidence pages from search-hardware-web in full. Search Content/snippets/provider official labels are not complete official pages or proof of authority. Extract only manufacturer pages; uncertain source authority remains unknown and third-party mirrors are not official merely because their URL contains a manufacturer domain. Reply {\"candidates\":[{\"slot_id\":\"original slot\",\"page_id\":\"persisted page ID\",\"manufacturer\":\"exact manufacturer\",\"manufacturer_quote\":\"at least 8 source characters\",\"model\":\"exact model\",\"model_quote\":\"at least 8 source characters\",\"parts\":[{\"name\":\"physical part name\",\"name_quote\":\"exact source quote\",\"shape\":\"box|cylinder|sphere|unknown\",\"shape_quote\":\"exact source quote\",\"dimensions_mm\":{\"length\":20,\"width\":12,\"height\":3},\"dimension_quotes\":{\"length\":\"exact quote identifying this part, axis, numeric value and unit\",\"width\":\"exact quote\",\"height\":\"exact quote\"}}]}]}. Quotes must include the exact part/name/shape they support. Each physical part has separate dimensions; cylinders use diameter/height, spheres use diameter. Unknown dimensions are omitted, never invented or defaulted. Conflicting versions and unknown multi-part overall dimensions remain unknown; do not combine contradictory versions. Do not submit page bodies, official/verified/CAD_available/source/geometry claims. Missing reliable pages or no network means candidates empty. This is envelope_only, not true component CAD or engineering verification. For an attributed tuple such as Back Panel: 48mm x 32mm x 0.5mm, add dimensions_quote with the entire exact source string and dimension_axes:[\"length\",\"width\",\"height\"] in original order; dimensions_mm must map each original value/unit to that explicitly declared axis. Preserve alternate imperial tuples in the quote; never use their values as mm or borrow another part's measurements. A 2-value tuple leaves height unknown. A box inferred from dimensions is only an envelope expression: actual part shape and orientation remain unknown. dimension_quotes may be empty for this tuple mode. Never invent coil thickness or total assembly dimensions.",
+      "replySchema": {
+        "candidates": "array"
+      }
+    },
+    {
+      "id": "merge-hardware-web",
+      "executor": "cli",
+      "action": "capability.run",
+      "args": {
+        "capability": "hardware.web-merge",
+        "input": {
+          "requirements": "{{input.requirements}}",
+          "slots": "{{steps.classify-hardware.result.slots}}",
+          "recall_id": "{{steps.search-hardware-wikis.resource.id}}",
+          "evidence_id": "{{steps.search-hardware-web.resource.id}}",
+          "candidates": "{{steps.extract-web-hardware.result.candidates}}"
+        }
+      }
+    },
+    {
+      "id": "select-hardware-from-wikis",
+      "executor": "agent",
+      "instruction": "读取 context-json 中 merge-hardware-web 的候选和完整 Wiki；按用户硬约束、功能覆盖与整机覆盖先提出可复用整机候选，再为剩余槽位选择零部件，并检查接口、供电、机械、热和软件依赖。只选择候选中的 component_id，不按 draft、selection_gate 或 CAD 状态过滤。召回结果里 unmatched_slots 列出的槽位一个候选都没有：这些槽位必须逐条写进 remaining_slots，status 只能是 needs_confirmation——finalize 会拒绝把无候选槽位静默丢掉的「完整」提案。回复 {\"status\":\"proposed|needs_confirmation\",\"plan_mode\":\"adapt_system|assemble_new\",\"selected_models\":[...],\"coverage_ledger\":[...],\"remaining_slots\":[...],\"unknowns\":[...],\"replacement_plan\":[...]}，每个型号带 slot_id、component_id（候选中的真实值）、manufacturer、model、quantity（1–128 的整数，本槽位实际要用几个，缺失或非整数会被 finalize 拒绝）、selection_reason（字符串）和 wiki_evidence（非空字符串数组，逐条引用该候选完整 Wiki 中支持此选择的原文要点）；coverage_ledger、remaining_slots、unknowns、replacement_plan 均为数组，没有内容时给空数组。 提案不具有正式选型权限；不能提交 hardware-selected 或据此开始算法选型，须另走 hardware.select。 Read only merge-hardware-web candidates for the final choice. Preserve structured limits.envelope and source strength; dimension metadata/name/selection-line identity are supplied by the trusted finalizer, never invented. Incompatible dimension candidates require replacement; unknown/risk stays needs_confirmation when an envelope is active. all_indexed_candidates_rejected is scoped to this indexed category; occupancy is advisory and clear is only coarse single-part screening. Whole-system reuse is optional; a poor match never forces a complex baseline. External IDs are external:<hash>, with source authority and engineering unknowns; envelopes are not component CAD and cannot grant adoption or delivery.",
+      "replySchema": {
+        "status": "proposed|needs_confirmation",
+        "plan_mode": "adapt_system|assemble_new",
+        "selected_models": "array",
+        "coverage_ledger": "array",
+        "remaining_slots": "array",
+        "unknowns": "array",
+        "replacement_plan": "array"
+      }
+    },
+    {
+      "id": "finalize-hardware-proposal",
+      "executor": "cli",
+      "action": "capability.run",
+      "args": {
+        "capability": "hardware.finalize",
+        "input": {
+          "operation": "create",
+          "planning_mode": "auto",
+          "requirements": "{{input.requirements}}",
+          "slots": "{{steps.classify-hardware.result.slots}}",
+          "knowledge_recall": "{{steps.merge-hardware-web.resource.body}}",
+          "selection_proposal": "{{steps.select-hardware-from-wikis.result}}"
+        }
+      }
+    },
+    {
+      "id": "record-hardware-proposal",
+      "executor": "cli",
+      "action": "resource.update",
+      "args": {
+        "id": "{{steps.record-requirements.resource.id}}",
+        "bodyPatch": {
+          "hardwareProposalId": "{{steps.finalize-hardware-proposal.resource.id}}",
+          "hardwareProposalStatus": "{{steps.finalize-hardware-proposal.result.status}}",
+          "hardwareProposalRevision": "{{steps.finalize-hardware-proposal.result.revision}}"
+        }
+      }
+    }
+  ]
+}

package/skills/abelien-workspace/workflows/definitions/b780bf280d61596b43eb6dbc6a417cf8df1ec9a7ae79a6de10f048da9ed58729.json

@@ -0,0 +1,229 @@
+{
+  "name": "user-journey-hardware-algorithm",
+  "domain": "abelien-workspace",
+  "executionProtocol": "pinned-result-v1",
+  "description": "Library recall, suitability review, fixed Prismer-first/Volc evidence for unresolved slots, source-bound merge, then the same formal hardware.select and gate",
+  "input": {
+    "required": [
+      "requirements",
+      "reactions"
+    ]
+  },
+  "steps": [
+    {
+      "id": "record-requirements",
+      "executor": "cli",
+      "action": "resource.put",
+      "args": {
+        "kind": "draft",
+        "id": "hardware-algorithm-d-{{hash}}",
+        "body": {
+          "requirements": "{{input.requirements}}",
+          "reactions": "{{input.reactions}}"
+        }
+      }
+    },
+    {
+      "id": "classify-hardware",
+      "executor": "agent",
+      "instruction": "需求已澄清；requirements 是 clarify 的 Requirements：context 为落点与场景，reaction[] 为全部触发→反应，limits[] 每项带 strength。按全部 reaction 推导功能槽位与数量，strength=hard 的 limits 进 hard_constraints，preference 只作排序提示；缺 reaction 或只有品类标签时停止并说明。读取同级 abelien-hardware-selection/SKILL.md，并用其 scripts/load-guide.mjs 依次按需加载 entry、命中的 level1、命中的 level2、contract；仅提交功能槽位、数量、受控三级路径和需求硬约束，不提交型号或猜测数据库事实。回复 {\"slots\":[...]}；若需求不足或路径不确定，停止并说明，不能伪造槽位。",
+      "replySchema": {
+        "slots": "array"
+      }
+    },
+    {
+      "id": "search-hardware-wikis",
+      "executor": "cli",
+      "action": "capability.run",
+      "args": {
+        "capability": "hardware.search",
+        "input": {
+          "operation": "search",
+          "query": "{{input.requirements}}",
+          "requirements": "{{input.requirements}}",
+          "slots": "{{steps.classify-hardware.result.slots}}",
+          "policy": {
+            "prefer_system_candidates": true,
+            "top_k_per_slot": 8,
+            "include_content": true
+          }
+        }
+      }
+    },
+    {
+      "id": "hardware-knowledge-recalled",
+      "executor": "cli",
+      "action": "machine.send",
+      "args": {
+        "machine": "hardware-recall",
+        "event": "confirmRecall",
+        "instance": "{{steps.search-hardware-wikis.resource.id}}"
+      }
+    },
+    {
+      "id": "review-hardware-candidates",
+      "executor": "agent",
+      "instruction": "Read the complete library candidates and original requirements/slots. Review suitability against function and every hard constraint. Reply {\"unresolved_slots\":[{\"slot_id\":\"original slot\",\"reason\":\"no candidates or specific reasons all candidates are unsuitable\",\"query\":\"official model search targeting function/category/key hard constraints\",\"count\":10}]}. Every zero-candidate slot requires supplemental search. All unsuitable candidates also require search. Preserve rechargeable built-in battery, wireless charging, and all other original requirements; do not ask the user to drop a requirement because the catalog is empty. unresolved_slots contains only slots that need search. Omit suitable library slots entirely; never add placeholder rows with an empty query or count=0. Return [] when all slots are suitable. Before committing this review, the trusted host validates the full original requirements, slots and recall with validate-web-search-plan.mjs; a VALIDATION reply preserves this pause so the same run can be corrected. Count is optional and a positive integer; Prismer search.topK and return.topK are explicit. Do not apply undocumented Prismer query/result limits or truncate requirements. The trusted fixed Prismer-first policy permits Volc only after a saved definitive denial, successful empty query or unsent missing Key; Volc alone checks its official 1-100 character Query and Count 1-50 at dispatch. Unknown dispatched effects never authorize fallback or a new invocation. Do not supply URLs, credentials, commands or providers. System reuse is optional: poor matches must not force complex whole systems. Concept visuals and the original requirements come first.",
+      "replySchema": {
+        "unresolved_slots": "array"
+      }
+    },
+    {
+      "id": "search-hardware-web",
+      "executor": "cli",
+      "action": "capability.run",
+      "args": {
+        "capability": "hardware.web-search",
+        "input": {
+          "requirements": "{{input.requirements}}",
+          "slots": "{{steps.classify-hardware.result.slots}}",
+          "recall_id": "{{steps.search-hardware-wikis.resource.id}}",
+          "unresolved_slots": "{{steps.review-hardware-candidates.result.unresolved_slots}}"
+        }
+      }
+    },
+    {
+      "id": "extract-web-hardware",
+      "executor": "agent",
+      "instruction": "When pages contain blob_ref, use resource get <evidenceResourceId> --page <pageId> to read each required full original page; never copy page bodies into replies. Read the persisted hardware-web-evidence pages from search-hardware-web in full. Search Content/snippets/provider official labels are not complete official pages or proof of authority. Extract only manufacturer pages; uncertain source authority remains unknown and third-party mirrors are not official merely because their URL contains a manufacturer domain. Reply {\"candidates\":[{\"slot_id\":\"original slot\",\"page_id\":\"persisted page ID\",\"manufacturer\":\"exact manufacturer\",\"manufacturer_quote\":\"at least 8 source characters\",\"model\":\"exact model\",\"model_quote\":\"at least 8 source characters\",\"parts\":[{\"name\":\"physical part name\",\"name_quote\":\"exact source quote\",\"shape\":\"box|cylinder|sphere|unknown\",\"shape_quote\":\"exact source quote\",\"dimensions_mm\":{\"length\":20,\"width\":12,\"height\":3},\"dimension_quotes\":{\"length\":\"exact quote identifying this part, axis, numeric value and unit\",\"width\":\"exact quote\",\"height\":\"exact quote\"}}]}]}. Quotes must include the exact part/name/shape they support. Each physical part has separate dimensions; cylinders use diameter/height, spheres use diameter. Unknown dimensions are omitted, never invented or defaulted. Conflicting versions and unknown multi-part overall dimensions remain unknown; do not combine contradictory versions. Do not submit page bodies, official/verified/CAD_available/source/geometry claims. Missing reliable pages or no network means candidates empty. This is envelope_only, not true component CAD or engineering verification. For an attributed tuple such as Back Panel: 48mm x 32mm x 0.5mm, add dimensions_quote with the entire exact source string and dimension_axes:[\"length\",\"width\",\"height\"] in original order; dimensions_mm must map each original value/unit to that explicitly declared axis. Preserve alternate imperial tuples in the quote; never use their values as mm or borrow another part's measurements. A 2-value tuple leaves height unknown. A box inferred from dimensions is only an envelope expression: actual part shape and orientation remain unknown. dimension_quotes may be empty for this tuple mode. Never invent coil thickness or total assembly dimensions.",
+      "replySchema": {
+        "candidates": "array"
+      }
+    },
+    {
+      "id": "merge-hardware-web",
+      "executor": "cli",
+      "action": "capability.run",
+      "args": {
+        "capability": "hardware.web-merge",
+        "input": {
+          "requirements": "{{input.requirements}}",
+          "slots": "{{steps.classify-hardware.result.slots}}",
+          "recall_id": "{{steps.search-hardware-wikis.resource.id}}",
+          "evidence_id": "{{steps.search-hardware-web.resource.id}}",
+          "candidates": "{{steps.extract-web-hardware.result.candidates}}"
+        }
+      }
+    },
+    {
+      "id": "select-hardware-from-wikis",
+      "executor": "agent",
+      "instruction": "先读 abelien-hardware-selection/references/selection-service-contract.md 与真实候选的完整 Wiki。每槽位选择一个真实 component_id，显式 quantity 等于槽位 quantity；manufacturer/model 取候选，selection_reason 非空，wiki_evidence 为至少 8 字符的 Wiki 原文引用数组。selected_models 每项需 constraint_checks，覆盖 function、slot:<hard_constraints 的键>、limit:<每项 hard limit.id>；每项包含 constraint_id、status=verified|unknown|incompatible、reason、evidence:[{component_id,quote}]。多型号另给 compatibility_checks，逐 power/interfaces/mechanical/thermal/software 维度包含 status、reason、每个型号的原文 evidence。证据不足填 unknown，不可编造。status=verified|needs_confirmation，plan_mode=assemble_new|adapt_system，其余数组 selected_models/coverage_ledger/remaining_slots/unknowns/replacement_plan 必填。先比较整机，但整机继承缺 manifest 必须待确认，不凭文案抵扣数量。verified 只表示 Wiki 证据判断通过，不是独立工程兼容求解或实测，不代表采用。 Read only merge-hardware-web candidates for the final choice. Preserve structured limits.envelope and source strength; dimension metadata/name/selection-line identity are supplied by the trusted finalizer, never invented. Incompatible dimension candidates require replacement; unknown/risk stays needs_confirmation when an envelope is active. all_indexed_candidates_rejected is scoped to this indexed category; occupancy is advisory and clear is only coarse single-part screening. Whole-system reuse is optional; a poor match never forces a complex baseline. External IDs are external:<hash>, with source authority and engineering unknowns; envelopes are not component CAD and cannot grant adoption or delivery.",
+      "replySchema": {
+        "status": "verified|needs_confirmation",
+        "plan_mode": "adapt_system|assemble_new",
+        "selected_models": "array",
+        "coverage_ledger": "array",
+        "remaining_slots": "array",
+        "unknowns": "array",
+        "replacement_plan": "array",
+        "compatibility_checks": "array"
+      }
+    },
+    {
+      "id": "select-hardware",
+      "executor": "cli",
+      "action": "capability.run",
+      "args": {
+        "capability": "hardware.select",
+        "input": {
+          "requirements": "{{input.requirements}}",
+          "slots": "{{steps.classify-hardware.result.slots}}",
+          "recall_id": "{{steps.merge-hardware-web.resource.id}}",
+          "selection_proposal": "{{steps.select-hardware-from-wikis.result}}"
+        }
+      }
+    },
+    {
+      "id": "record-hardware-selection",
+      "executor": "cli",
+      "action": "resource.update",
+      "args": {
+        "id": "{{steps.record-requirements.resource.id}}",
+        "bodyPatch": {
+          "hardwareSelectionId": "{{steps.select-hardware.resource.id}}",
+          "hardwareSelectionStatus": "{{steps.select-hardware.result.status}}",
+          "hardwareSelectionRevision": "{{steps.select-hardware.result.revision}}",
+          "hardwarePlanMode": "{{steps.select-hardware.result.plan_mode}}"
+        }
+      }
+    },
+    {
+      "id": "hardware-selected",
+      "executor": "cli",
+      "action": "machine.send",
+      "args": {
+        "machine": "hardware-selection",
+        "event": "confirmSelection",
+        "instance": "{{steps.record-requirements.resource.id}}"
+      },
+      "completeWhen": {
+        "path": "steps.hardware-selected.result.to",
+        "equals": "selected_pending_confirmation"
+      },
+      "completionResult": {
+        "selectionId": "{{steps.select-hardware.resource.id}}",
+        "selectionStatus": "{{steps.select-hardware.result.status}}",
+        "selectionRevision": "{{steps.select-hardware.result.revision}}"
+      }
+    },
+    {
+      "id": "research-algorithms",
+      "executor": "agent",
+      "instruction": "硬件选型已完成。读取同级 abelien-algorithm/SKILL.md 和 references/research-policy.md，并从 context-json 的 select-hardware.resource 读取准确厂商、型号、能力和 Wiki 证据。针对 input.reactions 先检索硬件厂商官方资料，再检索算法或模型官方资料与 Hugging Face；端侧不满足且用户允许联网时才比较成熟云服务。选择每个 reaction 的最合适实现并回复 {\"bindings\":[...],\"candidates\":[...],\"sources\":[...],\"unavailable_sources\":[...],\"unknowns\":[...],\"blocking_unknowns\":[...]}；来源必须回读，binding 必须明确 edge、cloud 或 hybrid。",
+      "replySchema": {
+        "bindings": "array",
+        "candidates": "array",
+        "sources": "array",
+        "unavailable_sources": "array",
+        "unknowns": "array",
+        "blocking_unknowns": "array"
+      }
+    },
+    {
+      "id": "select-algorithms",
+      "executor": "cli",
+      "action": "capability.run",
+      "args": {
+        "capability": "algorithm.finalize",
+        "input": {
+          "operation": "select",
+          "hardware_selection_id": "{{steps.select-hardware.resource.id}}",
+          "hardware_selection_revision": "{{steps.select-hardware.result.revision}}",
+          "requirements": "{{input.requirements}}",
+          "reactions": "{{input.reactions}}",
+          "research": "{{steps.research-algorithms.result}}"
+        }
+      }
+    },
+    {
+      "id": "algorithm-selected",
+      "executor": "cli",
+      "action": "machine.send",
+      "args": {
+        "machine": "algorithm-selection",
+        "event": "confirmSelection",
+        "instance": "{{steps.select-algorithms.resource.id}}"
+      }
+    },
+    {
+      "id": "record-algorithm-selection",
+      "executor": "cli",
+      "action": "resource.update",
+      "args": {
+        "id": "{{steps.record-requirements.resource.id}}",
+        "bodyPatch": {
+          "algorithmSelectionId": "{{steps.select-algorithms.resource.id}}",
+          "algorithmSelectionStatus": "{{steps.select-algorithms.result.status}}",
+          "algorithmSelectionRevision": "{{steps.select-algorithms.result.revision}}"
+        }
+      }
+    }
+  ],
+  "result": {
+    "selectionId": "{{steps.select-hardware.resource.id}}",
+    "selectionStatus": "{{steps.select-hardware.result.status}}",
+    "selectionRevision": "{{steps.select-hardware.result.revision}}"
+  },
+  "legacyResume": "read_only"
+}

package/skills/abelien-workspace/workflows/user-journey-hardware-algorithm.json

@@ -108,7 +108,7 @@
     {
       "id": "select-hardware-from-wikis",
       "executor": "agent",
-      "instruction": "先读 abelien-hardware-selection/references/selection-service-contract.md 与真实候选的完整 Wiki。每槽位选择一个真实 component_id，显式 quantity 等于槽位 quantity；manufacturer/model 取候选，selection_reason 非空，wiki_evidence 为至少 8 字符的 Wiki 原文引用数组。selected_models 每项需 constraint_checks，覆盖 function、slot:<hard_constraints 的键>、limit:<每项 hard limit.id>；每项包含 constraint_id、status=verified|unknown|incompatible、reason、evidence:[{component_id,quote}]。多型号另给 compatibility_checks，逐 power/interfaces/mechanical/thermal/software 维度包含 status、reason、每个型号的原文 evidence。证据不足填 unknown，不可编造。status=verified|needs_confirmation，plan_mode=assemble_new|adapt_system，其余数组 selected_models/coverage_ledger/remaining_slots/unknowns/replacement_plan 必填。先比较整机，但整机继承缺 manifest 必须待确认，不凭文案抵扣数量。verified 只表示 Wiki 证据判断通过，不是独立工程兼容求解或实测，不代表采用。 Read only merge-hardware-web candidates for the final choice. Whole-system reuse is optional; a poor match never forces a complex baseline. External IDs are external:<hash>, with source authority and engineering unknowns; envelopes are not component CAD and cannot grant adoption or delivery.",
+      "instruction": "先读 abelien-hardware-selection/references/selection-service-contract.md 与真实候选的完整 Wiki。每槽位选择一个真实 component_id，显式 quantity 等于槽位 quantity；manufacturer/model 取候选，selection_reason 非空，wiki_evidence 为至少 8 字符的 Wiki 原文引用数组。selected_models 每项需 constraint_checks，覆盖 function、slot:<hard_constraints 的键>、limit:<每项 hard limit.id>；每项包含 constraint_id、status=verified|unknown|incompatible、reason、evidence:[{component_id,quote}]。多型号另给 compatibility_checks，逐 power/interfaces/mechanical/thermal/software 维度包含 status、reason、每个型号的原文 evidence。证据不足填 unknown，不可编造。status=verified|needs_confirmation，plan_mode=assemble_new|adapt_system，其余数组 selected_models/coverage_ledger/remaining_slots/unknowns/replacement_plan 必填。先比较整机，但整机继承缺 manifest 必须待确认，不凭文案抵扣数量。verified 只表示 Wiki 证据判断通过，不是独立工程兼容求解或实测，不代表采用。 Read only merge-hardware-web candidates for the final choice. Preserve structured limits.envelope and source strength; dimension metadata/name/selection-line identity are supplied by the trusted finalizer, never invented. Incompatible dimension candidates require replacement; unknown/risk stays needs_confirmation when an envelope is active. all_indexed_candidates_rejected is scoped to this indexed category; occupancy is advisory and clear is only coarse single-part screening. Whole-system reuse is optional; a poor match never forces a complex baseline. External IDs are external:<hash>, with source authority and engineering unknowns; envelopes are not component CAD and cannot grant adoption or delivery.",
       "replySchema": {
         "status": "verified|needs_confirmation",
         "plan_mode": "adapt_system|assemble_new",