abelien-harness 0.4.0 → 0.5.0

package/skills/abelien-hardware-selection/domain.json

@@ -1,12 +1,12 @@
 {
   "name": "abelien-hardware-selection",
-  "version": "0.5.0",
+  "version": "0.6.0",
   "description": "本地硬件选型：真实 TOS 召回、Agent 证据判断与受信资源校验；不是数据库兼容性求解器",
   "resources": ["hardware-selection"],
   "requires": ["abelien-harness", "abelien-hardware"],
   "capabilities": {
     "hardware.select": {
-      "description": "回读同需求的真实召回资源，验证 Agent 选择的型号、数量、逐约束引用与兼容评估，保存选型及可选尺寸占用摘要；未知不通过门禁",
+      "description": "回读同需求的真实召回资源，验证 Agent 选择的型号、数量、逐约束引用与兼容评估（电源与接口可由可信电气数据确定性判定，结构／散热／软件只提示），保存选型、可选尺寸占用摘要与兼容报告；未知不通过门禁",
       "adapter": {
         "type": "module",
         "path": "scripts/select.mjs",

package/skills/abelien-hardware-selection/references/selection-service-contract.md

@@ -20,7 +20,7 @@ proposal 包含 status=verified|needs_confirmation、plan_mode=assemble_new|adap
 - quantity 显式给出且等于槽位数量，不默认补 1；每槽位最多一个型号。
 - selection_reason 非空；wiki_evidence 为完整 Wiki 中至少 8 字符的原文引用数组，不是 ID、ETag 或自由改写摘要。
 - constraint_checks 逐项包含 constraint_id、status=verified|unknown|incompatible、reason、evidence:[{component_id,quote}]。ID 覆盖 function、slot:<hard_constraints 的键>、limit:<每项 hard limit.id>。缺关键证据仍 unknown。
-- 多型号须逐 power/interfaces/mechanical/thermal/software 提供 compatibility_checks，包含 dimension/status/reason/evidence；每个维度引用每个所选型号的证据。
+- 多型号须为 power、interfaces 提供 compatibility_checks（dimension/status/reason/evidence，每个所选型号都有原文证据），除非可信电气数据已确定性通过；mechanical、thermal、software 可选填写，只作提示。见下文“电气兼容与兼容报告”。
 
 constraint_checks 非数组、ID 重复或不属于当前槽位时仍以 VALIDATION 拒绝。error.message 列明 slot_id、expected（当前槽位的 function / slot 键与全局 hard limit ID）、received（完整原顺序，非数组为 null）、unexpected（去重、首次出现顺序）与 duplicate（去重、首次重复顺序），供既有 Web 预检 issues 原样反馈并修正。其他槽位具有某个 hard_constraints 键，不使它成为当前槽位的有效 ID；例如 desk-sensor 的 slot:no-stand 不能用于缺少该键的 weather-display。只缺少某项检查仍走 CONSTRAINT_UNVERIFIED、needs_confirmation，不因诊断改为结构拒绝；Wiki 归属、incompatible 和门禁语义不变。
 
@@ -66,3 +66,22 @@ limits 可附 envelope；严格形状与来源规则见 [索引尺寸契约](../
 每个型号额外携带可信候选 title 派生的 name、dimensions_mm、dimension_basis、dimension_geometry、dimension_source 和 dimension_check；interfaces 只在候选存在时透传。bom_item_id 为 `selection-line-<24hex>`，以 slot_id/component_id 派生的稳定选型行身份，不冒称数据库 BOM 主键，不使用模型提供的 ID。
 
 有 envelope 时输出增加可选 occupancy：advisory=true、method、estimated_volume_mm3、unknown_lines、containers（limit_id/cavity_volume_mm3/ratio）。只统计 selected_models 的实际数量，按 bom_item_id 去重，不再次加入 coverage_ledger 的整机内部覆盖。它是包围体积估算，非装箱证明；unknown 基础的占位尺寸不计入体积，仅保留 unknown_lines；全未知时不输出容器密度。部分未知时体积/比例只含已知或显式估算行，不代表整体密度。浮点溢出/下溢等不可表示的几何量保持 unknown，无法表示的体积或比例省略，不序列化 NaN/Infinity；没有隐含硬阈值。工具函数只在调用方显式提供 occupancy_warning_ratio 策略时给 warning，默认没有告警阈值。接入方须接受这一可选加法，但不得将 occupancy 或 ratio 作为通过/拒绝权威。
+
+## 电气兼容与兼容报告
+
+多型号选型由 `electrical.mjs` 按星形拓扑做确定性电气检查：选中的唯一主控（`compute-control/controller-board|controller-module`）为中心，`power-energy` 件给主控供电，主控电压轨与已选电源给外设供电，外设所需总线由主控提供。没有主控或主控不止一个时拓扑记为 not_star，全部未知。
+
+只有 `electrical.basis` 为 measured / datasheet、且通过 `electrical_source` 源绑定的记录能给出确定结论：
+
+| 结果 | 含义 | 门禁 |
+| --- | --- | --- |
+| pass | 全部相关件可信且规则全部通过 | power / interfaces 视为已验证，不再要求逐件原文引用 |
+| fail | 总线类型缺失或数量不足（I2C / SPI / CAN 是共享总线，主控有即可；UART / USB / I2S / PWM / GPIO / ADC 按数量累加） | finalize 与 select 以 VALIDATION 拒绝，须替换一侧 |
+| gap | 可信数据下没有电压轨落在外设或主控的输入范围内 | 记 `ELECTRICAL_SUPPLY_GAP`，返回 needs_confirmation；须补电源或稳压件，不拒绝外设 |
+| risk | 电压只部分重叠、连接器不同、逻辑电平不同且未选电平转换件 | 不确定性判定，回到原文引用路径 |
+| unknown | 数据缺失、未源绑定或非星形 | 回到原文引用路径 |
+
+mechanical、thermal、software 只作提示，不进入 unknowns，也不阻止 verified；结构可行性由尺寸粗筛和 CAD 检查负责。任何维度只要模型明确给出 status=incompatible，都记 `COMPATIBILITY_INCOMPATIBLE` 并阻塞。
+
+多型号时输出增加可选根字段 `compatibility_report`：`method`、`dimensions`（每维 gate=deterministic|evidence|unverified|advisory、model_status、model_verified，power / interfaces 另有 electrical 结论）和 `electrical`（拓扑、主控与逐条检查）。它是选型依据的说明，不代表实测或制造可行；接入方须显式接收这一可选字段。所选型号原样携带候选的 `electrical` 与 `electrical_source`，不采用模型自填。
+

package/skills/abelien-hardware-selection/scripts/select.mjs

@@ -3,6 +3,7 @@ import { evaluateDimensions, validateRequirementEnvelopes } from "../../abelien-
 import { createHash } from "node:crypto";
 import { mergeHardwareWeb } from "../../abelien-hardware/scripts/web-merge.mjs";
 import { finalizeHardwareSelection } from "../../abelien-hardware/scripts/finalize-selection.mjs";
+import { evaluateElectrical } from "../../abelien-hardware/scripts/electrical.mjs";
 import { canonical, digest, selectionRequestDigest, validateSelectionSlots } from "../../abelien-hardware/scripts/selection-request.mjs";
 const record = value => value && typeof value === "object" && !Array.isArray(value);
 const text = value => typeof value === "string" && value.trim().length > 0;
@@ -101,12 +102,29 @@ export async function selectHardware({ input, readResource, readBlob }) {
   if (recall.retrieval_mode !== "category_index" || recall.unknowns?.length) add("RECALL_INCOMPLETE", { details: recall.unknowns ?? [] });
   const compatibility = proposal.compatibility_checks ?? [];
   if (!Array.isArray(compatibility)) invalid("compatibility_checks must be an array");
-  if (models.size > 1) for (const dimension of ["power", "interfaces", "mechanical", "thermal", "software"]) {
-    const checks = compatibility.filter(item => item?.dimension === dimension);
-    if (checks.length !== 1 || checks[0].status !== "verified" || !text(checks[0].reason)
-      || !validQuotes(checks[0].evidence, candidates)
-      || !candidates.every(candidate => checks[0].evidence.some(item => item.component_id === candidate.component_id)))
-      add("COMPATIBILITY_UNVERIFIED", { dimension, assessments: checks });
+  // Power/interfaces: trusted deterministic pass, or quoted model evidence. Mechanical/thermal/software are advisory
+  // (size screening and CAD own mechanical fit); an explicit model "incompatible" still blocks every dimension.
+  let compatibilityReport;
+  if (models.size > 1) {
+    const electrical = evaluateElectrical(normalized.selected_models);
+    if (electrical.checks.some(check => check.status === "fail")) invalid("selected components are electrically incompatible");
+    const gaps = electrical.checks.filter(check => check.status === "gap");
+    if (gaps.length) add("ELECTRICAL_SUPPLY_GAP", { checks: gaps });
+    const dimensions = {};
+    for (const dimension of ["power", "interfaces", "mechanical", "thermal", "software"]) {
+      const checks = compatibility.filter(item => item?.dimension === dimension);
+      const modelVerified = checks.length === 1 && checks[0].status === "verified" && text(checks[0].reason)
+        && validQuotes(checks[0].evidence, candidates)
+        && candidates.every(candidate => checks[0].evidence.some(item => item.component_id === candidate.component_id));
+      const deterministic = electrical.dimensions[dimension];
+      const gate = ["mechanical", "thermal", "software"].includes(dimension) ? "advisory"
+        : deterministic === "pass" ? "deterministic" : modelVerified ? "evidence" : "unverified";
+      if (gate === "unverified") add("COMPATIBILITY_UNVERIFIED", { dimension, assessments: checks, electrical: deterministic });
+      if (checks.some(item => item?.status === "incompatible")) add("COMPATIBILITY_INCOMPATIBLE", { dimension, assessments: checks });
+      dimensions[dimension] = { gate, model_status: checks.length === 1 ? String(checks[0].status) : checks.length ? "ambiguous" : "missing",
+        model_verified: modelVerified, ...(deterministic !== undefined ? { electrical: deterministic } : {}) };
+    }
+    compatibilityReport = { method: "compatibility-gate-v1", dimensions, electrical };
   }
   const coverage = slots.map(slot => ({ slot_id: slot.slot_id, requested_quantity: slot.quantity,
     selected_quantity: models.get(slot.slot_id)?.quantity ?? 0,
@@ -123,6 +141,7 @@ export async function selectHardware({ input, readResource, readBlob }) {
   await checkMergedSource();
   const hash = digest({ input, source_digest: digest(source.body) });
   return { ...normalized, id: `selection-${hash.slice(0, 16)}`, revision: `r-${hash.slice(0, 12)}`,
-    status, coverage_ledger: coverage, remaining_slots: remaining, unknowns };
+    status, coverage_ledger: coverage, remaining_slots: remaining, unknowns,
+    ...(compatibilityReport ? { compatibility_report: compatibilityReport } : {}) };
 }
 export const run = selectHardware;

package/skills/abelien-workspace/domain.json

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

package/skills/abelien-workspace/references/hardware-journey-orchestration.md

@@ -26,4 +26,4 @@ All three new hardware definitions now share `review-hardware-candidates` -> `ha
 
 Prismer Parse pending holds the original search-hardware-web cursor as awaiting_external; no extract/merge/select runs. The controlled {runId} host resumes the same frozen args/resource with `workflow resume`; task progress uses fixed original-task GET, received synchronous POST results are reused and only undispatched original-plan operations may first POST. Unknown paid effects/failed terminal runs cannot restart. Running SIGKILL snapshots require same-ID latest-checkpoint/source/plan/fence-owner verification; see the hardware evidence architecture for exact fields.
 
-The fixed trusted Prismer-first chain permits one Volc search only after saved definitive primary denial/successful empty query/unsent missing Key. Source denial permits safe direct HTML/plaintext, not a Parse substitute. Saved denial/fallback receipt SIGKILL windows recover in the same run/resource; only original unstarted fallback/source work may first dispatch, and unknown effects remain closed. The v2 host uses the declared pure recovery guard against the trusted original step snapshot; see the architecture.
+Prismer is temporarily off by default (P2-05.02): the chain saves unsent prismer_disabled markers, searches Volc directly with an English query and Count ≤ 5, and reads sources over public HTTPS (PDF/image sources stay unavailable). When the trusted host enables it, the Prismer-first chain permits one Volc search only after saved definitive primary denial/successful empty query/unsent missing Key. Source denial permits safe direct HTML/plaintext, not a Parse substitute. Saved denial/fallback receipt SIGKILL windows recover in the same run/resource; only original unstarted fallback/source work may first dispatch, and unknown effects remain closed. The v2 host uses the declared pure recovery guard against the trusted original step snapshot; see the architecture.

package/skills/abelien-workspace/workflows/definitions/0852e4949f5a6246880c1a26bf5ccaa42f8cda06b960e7c7ce234a0a176878f9.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 两维须包含 status、reason、每个型号的原文 evidence，可信电气数据确定性通过时以 compatibility_report 为准；mechanical、thermal、software 只作提示，可选填写，但填 incompatible 仍阻塞。证据不足填 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; only decision_required (user hard limit, measured/datasheet size, no axis-aligned fit) returns needs_confirmation, other risk/unknown stays advisory and risk candidates rank last. Electrically incompatible candidates (trusted data: missing bus type or count) require replacing one side; ELECTRICAL_SUPPLY_GAP means add a power or regulator part. 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/definitions/7c69ea0d51099b1ae947f08b056ea67f5cad6b40ae8bcb00efb496fa5b9d5ed3.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; only decision_required (user hard limit, measured/datasheet size, no axis-aligned fit) returns needs_confirmation, other risk/unknown stays advisory and risk candidates rank last. Electrically incompatible candidates (trusted data: missing bus type or count) require replacing one side; ELECTRICAL_SUPPLY_GAP means add a power or regulator part. 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}}"
+        }
+      }
+    }
+  ]
+}