abelien-harness 0.14.0 → 0.16.0

package/.env.example

@@ -41,6 +41,15 @@ ABELIEN_SOURCE_REGISTRY_TIMEOUT_MS=30000
 # ... or an absolute local directory for tests, offline runs and a single local host.
 ABELIEN_SOURCE_REGISTRY_DIR=
 
+# PDF reading for the web fallback (registry mode): the host installs mupdf.js separately (npm "mupdf") and points
+# at its dist/mupdf.js; drawing pages are read by an Ark vision endpoint (deepseek-v4-1-flash). Leave empty to
+# still fetch and register PDFs, with unreadable parts recorded as unavailable.
+ABELIEN_PDF_ENGINE_MODULE=
+ABELIEN_SOURCE_VISION_ENDPOINT_ID=
+ABELIEN_SOURCE_VISION_API_KEY=
+ABELIEN_SOURCE_VISION_TIMEOUT_MS=60000
+ABELIEN_SOURCE_VISION_CONCURRENCY=4
+
 # Optional loopback HTTP wrapper only; main hardware.select executes locally without a URL.
 # At least 32 bytes, keep the real token in a private env file. Do not expose this server publicly.
 ABELIEN_HARDWARE_SELECT_TOKEN=
@@ -52,7 +61,12 @@ ABELIEN_HARDWARE_SELECT_TOKEN=
 ABELIEN_HARDWARE_WEB_PRISMER=disabled
 # Volc subscription/pay-as-you-go search Keys are distinct from Ark generation Keys.
 PRISMER_API_KEY=
+# Web search provider for hardware, reference and algorithm research: volc (default when empty) or deepseek.
+# Independent of the model provider; each hardware evidence pins the provider it first used.
+WEB_SEARCH_PROVIDER=
 WEB_SEARCH_API_KEY=
+# DeepSeek Open Platform search Key (POST https://api.deepseek.com/v1/tools/search); never falls back to WEB_SEARCH_API_KEY.
+WEB_SEARCH_DEEPSEEK_API_KEY=
 ABELIEN_HARDWARE_WEB_SEARCH_TIMEOUT_MS=30000
 ABELIEN_HARDWARE_WEB_PAGE_TIMEOUT_MS=30000
 # Host budget and loop abort independently bound Parse; unknown POSTs cannot retry.

package/README.md

@@ -8,13 +8,14 @@ npx 可安装的多 agent skill harness：**通用内核 + 可插拔域包**。
 定位资源（如外观ID） → 调度能力（如 3D 模型生成/替换） → 组建状态管理 → workflow 编排
 ```
 
-内核对领域不感知，随包分发 11 个 bundle：9 个 Agent 包装进 Agent 的 skills 目录，2 个宿主包（`kind: host`）只供宿主使用，安装器默认不装。产品层：[abelien-workspace](skills/abelien-workspace/SKILL.md)（旅程、版本与确认）·
+内核对领域不感知，随包分发 12 个 bundle：9 个 Agent 包装进 Agent 的 skills 目录，3 个宿主包（`kind: host`）只供宿主使用，安装器默认不装。产品层：[abelien-workspace](skills/abelien-workspace/SKILL.md)（旅程、版本与确认）·
 [abelien-guide](skills/abelien-guide/SKILL.md)（对话调度与沟通）· [abelien-clarify](skills/abelien-clarify/SKILL.md)（需求澄清只读快照）。
 领域层：[abelien-hardware](skills/abelien-hardware/SKILL.md)（三级分类、OSS 召回、联网补位、本地选型与修订）·
-[abelien-algorithm](skills/abelien-algorithm/SKILL.md)（基于已验证硬件、官方资料优先的联网算法选型）·
-[abelien-appearance](skills/abelien-appearance/SKILL.md) 与 [abelien-structure](skills/abelien-structure/SKILL.md)（外观与机械结构）·
-宿主包：[abelien-structure-worker](skills/abelien-structure-worker/SKILL.md)（Structure Worker 与 `structure.*` 宿主专用能力）·
-[abelien-3dgen](skills/abelien-3dgen/SKILL.md)（四家 provider 的 3D 构件生成，经 `ab generate 3d` 与宿主 `mesh.generate` 使用）。
+[abelien-algorithm](skills/abelien-algorithm/SKILL.md)（从需求拆能力并检索实现，硬件登记后复核绑定）·
+[abelien-appearance](skills/abelien-appearance/SKILL.md) 与 [abelien-structure](skills/abelien-structure/SKILL.md)（外观与机械结构；读图出点位、骨架布局与换件条件的确定性动作）·
+宿主包：[abelien-structure-worker](skills/abelien-structure-worker/SKILL.md)（Structure Worker 与 15 个 `structure.*` 宿主专用能力）·
+[abelien-3dgen](skills/abelien-3dgen/SKILL.md)（四家 provider 的 3D 构件生成，经 `ab generate 3d` 与宿主 `mesh.generate` 使用）·
+[abelien-workspace-host](skills/abelien-workspace-host/SKILL.md)（产品准入与四维交付声明）。
 
 ## Quickstart
 
@@ -128,9 +129,9 @@ tool-receipt successor 与已有可信 runtime decision 也可以取得后续 co
 现行入口不再维护独立的“主控业务提示词”。宿主指令只交代身份、skills 的用途、读取／调用方式与授权边界；具体对话调度放在 guide，作品旅程与业务规则放在 workspace，领域工作放在对应 skill。它们可以由同一个宿主 Agent 执行，不需要额外的主控 Agent；旧 controller 文档仅作历史参考，不与 skills 流程重复注入。
 
 - 对话调度与沟通由 [abelien-guide](skills/abelien-guide/SKILL.md) 负责：组织上下文、调用领域 skill、呈现问题和结果；阶段、版本和确认条件统一读取 workspace。
-- 作品规则由 [abelien-workspace](skills/abelien-workspace/SKILL.md) 维护：完整 A1–C、采用与版本、组合检查、确认和交付恢复。作品推进没有 workflow：宿主持有作品状态，A1 通过之后的阶段与规则取 `workspace.journey-next`；产品服务的实际接入边界见 workspace 调用说明。
+- 作品规则由 [abelien-workspace](skills/abelien-workspace/SKILL.md) 维护：完整 A1–C、采用与版本、组合检查、确认和交付恢复。新创作从 `creation.start` 进入，由 runtime 推进；`workspace.journey-next` 只投影阶段与规则。作品状态与产品服务的实际接入边界见 workspace 调用说明。
 - 需求澄清为 [abelien-clarify](skills/abelien-clarify/SKILL.md)：把用户原话整理成 requirements、区分用户事实与系统假设、只问阻塞当前操作的问题，附只读校验脚本；共用表达规则随 guide 的 references 分发。两者自 2026-10-11 起以本仓为唯一编辑源，直接在 `skills/abelien-clarify/` 与 `skills/abelien-guide/references/` 修改，见下文「快照来源」。
-- 各 bundle 均为标准 `SKILL.md`（含 name/description/license/compatibility，
+- 各 bundle 均为标准 `SKILL.md`（含 name/description 与适用的 compatibility；不强制 license 字段或值，
   兼容 claude-code / hermes / pi），agent 按 description 触发词路由；claude-code 与
   codex 的双入口收敛（根 `CLAUDE.md` / `AGENTS.md`）见 [docs/architecture/host-adapters.md](docs/architecture/host-adapters.md)。
 - workflow 驱动循环：`run` → 返回 `awaiting_agent` 时读 `steps[cursor].instruction`，
@@ -143,11 +144,11 @@ tool-receipt successor 与已有可信 runtime decision 也可以取得后续 co
 
 ## 产品旅程与 PRD
 
-完整规则统一维护在 [workspace 用户旅程](skills/abelien-workspace/references/user-journey.md)，旅程规则只有两处来源：正文维护 A1–C 判定与产品规则；A1 通过之后到交付首版的阶段顺序、逐阶段规则与允许动作只在[阶段计划](skills/abelien-workspace/assets/journey-stage-plan.json)维护，正文 §5 的一览由 `npm run render:journey-plan` 从它生成、测试比对。作品推进没有 workflow：任何宿主都持有自己的作品状态，按 `workspace.journey-next` 取下一阶段，再运行该阶段需要的领域 workflow；workflow 只承载单一领域内的多步流程，不替宿主判定作品完成。具体做法及旧实例处理见 [调用说明](skills/abelien-workspace/references/harness-binding.md)。
+完整规则统一维护在 [workspace 用户旅程](skills/abelien-workspace/references/user-journey.md)，旅程规则只有两处来源：正文维护 A1–C 判定与产品规则；A1 通过之后到交付首版的阶段顺序、逐阶段规则与允许动作只在[阶段计划](skills/abelien-workspace/assets/journey-stage-plan.json)维护，正文 §5 的一览由 `npm run render:journey-plan` 从它生成、测试比对；它同时写清每个节点真正依赖什么，按意图编译成 runtime 执行的[创作流程图](skills/abelien-workspace/references/product-flow.md)（`npm run render:flows`），`journey-next` 是这张图的阶段投影。新创作从 `creation.start` 提交冻结原话与上下文，由 runtime 推进并行、汇合、确认与降级；宿主读取运行结果并核对真实作品状态，不另按 `journey-next` 编写阶段循环。独立领域 workflow 仍可单独使用，其成功不等于作品完成。具体做法及旧实例处理见 [调用说明](skills/abelien-workspace/references/harness-binding.md)。
 
 ```bash
-node skills/abelien-harness/scripts/ab.mjs --workdir <作品工作目录> capability run workspace.journey-next --input '{"intent":"create","artifacts":{"reference_final":true}}'
-# → 下一阶段、goal、directives 与 actions；宿主按它执行，硬件阶段再运行 user-journey-hardware
+node skills/abelien-harness/scripts/ab.mjs --workdir <作品工作目录> capability run workspace.journey-next --input '{"intent":"create","locks":{"shape":false},"artifacts":{"reference_final":true}}'
+# → 阶段投影、goal、directives 与 actions；实际创作按原 runtime 运行推进
 ```
 
 ### PRD 随需求对话维护

package/bin/cli.mjs

@@ -5,6 +5,7 @@ import { fileURLToPath } from "node:url";
 import { install, update, remove, listInstalled } from "../lib/installer.mjs";
 import { TARGET_NAMES } from "../targets/registry.mjs";
 import { consumeStudioReceipt, readStudioReceipt } from "../skills/abelien-harness/scripts/receipt.mjs";
+import { runCatalogReferenceCli } from "../skills/abelien-reference/scripts/catalog-reference.mjs";
 
 const packageRoot = path.resolve(path.dirname(fileURLToPath(import.meta.url)), "..");
 const args = process.argv.slice(2);
@@ -40,7 +41,8 @@ function print(results) {
 function usage() {
   console.error(`usage: abelien-harness <install|update|remove|list> [--target ${TARGET_NAMES.join("|")}|all] [--project] [--skills-dir <dir>] [--force] [--include-host]
        abelien-harness receipt consume --file <path> [--workdir <dir>]
-       abelien-harness receipt get --wait <waitId> [--digest <sha256>] [--workdir <dir>]`);
+       abelien-harness receipt get --wait <waitId> [--digest <sha256>] [--workdir <dir>]
+       abelien-harness catalog <check|seal> --file <record.json|->`);
   process.exit(2);
 }
 
@@ -61,6 +63,14 @@ try {
       } else usage();
       break;
     }
+    case "catalog": {
+      // catalog.reference.v1 的校验／封装，供图鉴发布管线与宿主直接调用；单行 JSON，exit 0/1/2 与脚本直跑一致。
+      const { stdout, stderr, exitCode } = runCatalogReferenceCli(args.slice(1));
+      if (stdout) process.stdout.write(stdout + "\n");
+      if (stderr) process.stderr.write(stderr + "\n");
+      process.exitCode = exitCode;
+      break;
+    }
     default: usage();
   }
 } catch (e) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "abelien-harness",
-  "version": "0.14.0",
+  "version": "0.16.0",
   "description": "npx-installable multi-agent skill harness: generic kernel + pluggable domain packs",
   "type": "module",
   "engines": {
@@ -21,6 +21,9 @@
     "test": "node --test",
     "eval": "node eval/run.mjs",
     "render:journey-plan": "node tools/render-journey-plan.mjs",
+    "render:actions": "node tools/render-actions.mjs",
+    "render:cad-functions": "node tools/render-cad-functions.mjs",
+    "render:flows": "node tools/render-flows.mjs",
     "prepare": "node scripts/install-hooks.mjs",
     "branch:new": "node scripts/new-branch.mjs",
     "sync": "node scripts/sync.mjs",
@@ -34,6 +37,5 @@
     "verify:hardware-search-index": "node tools/hardware-index/verify-search-index.mjs",
     "smoke:hardware-search": "node tools/hardware-index/smoke-search-index.mjs",
     "prepack": "npm run validate:hardware-selection-snapshot"
-  },
-  "license": "MIT"
+  }
 }

package/skills/abelien-3dgen/SKILL.md

@@ -1,13 +1,10 @@
 ---
 name: abelien-3dgen
 description: 宿主包：3D 构件生成的四家 provider（Meshy/Hunyuan/Tripo/Ark）声明式 profile 与 22 款模型目录，供内核 ab generate 3d 引擎与宿主 mesh.generate 使用。不装进 Agent 的 skills 目录；模型侧的网格生成经宿主工具完成。
-license: MIT
 metadata:
   kind: host
   category: host-bundle
-allowed-tools:
-  - Bash
-  - Read
+allowed-tools: Bash Read
 ---
 
 # abelien-3dgen — 3D 生成宿主包
@@ -22,6 +19,14 @@ allowed-tools:
 
 局部外观编辑由 appearance 主导，默认单图，Tripo 可作固定配置的默认供应商；使用[局部交接](../abelien-appearance/references/local-component-edit.md)。Web 的 mesh.generate@1 必须走[受信宿主 API](references/host-api.md)，复用原 F4 身份与预算；模糊提交保持 unknown，不能再次提交。普通纹理单图 tripo-image-v3.1 仍 verified:false；独立无纹理低面数 tripo-image-v3.1-engineering-lowpoly 已经单次真实 API／30 credits 对账及有界工程资格验证，见[资格证据与限制](references/engineering-lowpoly-qualification.md)。该验证只覆盖声明的请求与单样例，2000面只是请求参数，不保证任意网格的拓扑、接口或制造质量。显式 operator qualification 仅走受信 host dependency，不能通过 CLI/env 绕过。
 
+## 输入、输出与恢复
+
+宿主输入同版来源图及哈希、目标／基线、固定 provider/model 与预算身份；CLI 按模型实际声明接收图片或文字。先检查 `providers` 的模态、视图数量、可用性和 profile，再按本次入口读 [host-api](references/host-api.md) 或下方 CLI 说明。选模型取决于任务所需模态与已验证能力，历史横评不替代当前资格。
+
+交回原 request／provider task 身份、实际状态、输入与 profile 摘要，以及验证后的 GLB 路径／哈希／字节数；appearance 审查视觉，structure 决定工程用法，workspace 决定采用。收到 task ID 只说明已提交，下载并核验产物后才能交模型文件。
+
+宿主 API 已有任务 ID 时只续查／取产物；已发创建请求但没有可信任务 ID 时保持 unknown 并对账，不换身份重发。下载失败只重取原任务产物。配置、模态或资格错误在发送前修正；CLI 不具备宿主 API 的跨进程发送保护，恢复要求严格的产品调用走 host-api，不能改走 CLI 重提。
+
 ## 四条命令
 
 ```bash

package/skills/abelien-algorithm/SKILL.md

@@ -1,45 +1,53 @@
 ---
 name: abelien-algorithm
-description: 为产品 reaction 联网检索并选择有来源的端侧算法、模型、库或成熟云服务。需求明确后即可检索实现资料（与硬件选型并行），硬件登记后补查厂商资料并逐 reaction 绑定到已选型号；不用于硬件选型、代码实现或服务部署。
-license: MIT
-compatibility:
-  - claude-code
-  - hermes
-  - pi
+description: 从用户已澄清的功能需求拆出实现能力，形成搜索任务并筛选有来源的固件、库、模型或云服务。用于判断产品 reaction 怎么实现；可与硬件选型并行研究，硬件登记后复核绑定。不用于重新定义需求、硬件选型、代码实现或服务部署。
+compatibility: 适用于 claude-code、hermes、pi 宿主
 metadata:
   category: algorithm-domain
 ---
 
 # Abelien Algorithm
 
-本包分两步完成算法与实现选型：
+## 何时使用
 
-1. **研究（不依赖硬件）**：需求明确后就为每个 reaction 检索实现资料，与硬件选型同时进行；候选写明资源需求（算力、内存、接口、传感器、联网），不猜硬件型号。
-2. **绑定（硬件登记后）**：读取已登记的 `hardware-selection`（id 与 revision），补查已选型号的厂商资料，每个 reaction 绑定到具体 `component_id` 并复核兼容。硬件尚未 verified 也可以绑定，结果保持待确认。`selected_models[]` 为空或缺少厂商／型号时停止并返回具体缺口，不能根据类别名猜设备。
+用户需求已由 clarify 整理，需要判断每条 reaction 如何实现时使用；需求变化后，只重查受影响的能力与绑定。研究可以与硬件选型并行，具体型号兼容在硬件登记后复核。本 skill 完成实现研究与兼容选型，不承担需求重定义、硬件选型、代码实现、部署或设备实测。
 
-车道在哪个阶段做哪一步由 workspace 的 `workspace.lanes-next` 决定（见意图路由 §4.1）。
+## 输入与输出
 
-与同级 [structure](../abelien-structure/SKILL.md) 可在各自依赖满足后分别推进：将摄像头视野、拾音／发声开口、散热、动作范围等有依据的结构要求交回；结构反馈遮挡、空间或运动冲突时重判受影响绑定。换硬件须回 hardware 并重新核对版本。算法选型成功不代表装配或设备行为已经实测通过。
+- **研究**：输入当前完整 Requirements（context、reaction、limits）和宿主提供的库内实现（若有）；输出 `algorithm-research`（`status=proposed`），包含逐 reaction 的候选、实现说明、资源需求、来源及未解决项。
+- **绑定**：输入上述候选、当前 `hardware-selection` 的 id 与 revision，以及带准确厂商/型号的 `selected_models`；输出 `algorithm-selection`，记录 reaction → 实现 → `component_id` 的绑定、兼容证据和版本，状态为 `verified` 或 `needs_confirmation`。硬件尚未 verified 时可以复核，结果保持待确认。
 
-## 渐进加载
+## 开始前读取
 
-1. 每次研究先读[联网检索与排序规则](references/research-policy.md)。
-2. 准备提交候选或绑定时再读[算法选型服务契约](references/selection-service-contract.md)。
-3. 研究：`algorithm.research`（`purpose=implementation`，查询带 `reaction_id`）→ 读正文 → `algorithm.candidates` 提交每个 reaction 的候选（格式见 [algorithm-candidates.v1](schemas/algorithm-candidates.v1.json)），保存为 `status=proposed`。
-4. 绑定：`algorithm.research`（`purpose=hardware`，查询带 `component_id`）→ `algorithm.finalize`（`operation=bind`，`research` 格式见 [algorithm-bindings.v1](schemas/algorithm-bindings.v1.json)）。来源只写 `research_id` 与 `page_id`，回执由 Harness 从自己存下的正文填写。
-5. 宿主在每个阶段开跑前用只读的 `algorithm.lane-state` 查当前需求有没有已提议的候选、候选有没有绑定到当前硬件，映射成 `workspace.lanes-next` 的 artifacts。
-6. 已有的 `user-journey-algorithm` workflow（先有 verified 硬件再研究）保持可用，供不走车道的宿主使用。
+1. 读取当前 Requirements 和[研究规则](references/research-policy.md)，用 `algorithm.lane-state` 查看相同需求已有的候选与绑定，复用仍有效的结果。
+2. 绑定前回读完整硬件选型资源，核对 id、revision、厂商和准确型号；不得从类别名或旧对话猜设备。
+3. 准备提交时读取[选型服务契约](references/selection-service-contract.md)；工具的参数、输出和错误处理以[动作手册](references/actions.generated.md)为准。需要 CLI 调用或资源读取语法时读同级 [harness](../abelien-harness/SKILL.md)。
 
-## 核心边界
+## 核心判断：需求如何变成搜索任务
 
-- 研究步骤先看宿主给出的库内已适配算法（库内优先、库外再联网），再按算法/模型官方资料 → Hugging Face → 云服务厂商官方资料检索；绑定步骤先查已选型号的硬件厂商官方资料。搜索结果页、博客和聚合文章只能用于发现线索，不能单独支持最终选择。
-- 必须明确 `edge`、`cloud` 或 `hybrid`。离线、隐私、网络、延迟、费用或数据地域限制属于硬约束，不得为了找到候选而静默改成云端。
-- 端侧候选要核对处理器架构、OS/固件、runtime、算子、RAM、Flash/存储、加速器、输入输出格式及外设接口；没有精确设备实测时，不能承诺真实性能。
-- 交互类需求可以比较本地模型和云端 API，但“模型仓库存在”不等于“已有可调用云服务”，“当前 Agent 能调用模型”也不等于用户设备具备该能力。
-- 发现、兼容复核、集成、部署和实测是五种不同状态。本包只完成前两项并保存版本化选型结果。
+1. **拆能力**：从每条 reaction 的输入、期望反应、场景和硬约束拆出必要能力，保留原 `reaction_id`。普通规则或固件能完成的，不额外引入模型。
+2. **定问题、写查询**：先说明要查清哪个实现问题，再用“能力/任务 + 影响选择的约束 + 实现形态”搜索；有候选后，用准确名称补查官方 I/O、依赖、版本及缺失证据。沿用用户明确的平台限制，未定硬件只记录资源需求。
+3. **对应回需求**：先排除硬约束冲突，再比较能力覆盖、证据和集成代价。说明候选覆盖哪个环节、怎样衔接、依赖什么及仍缺什么；关键问题已有证据就收敛，只有实质取舍才保留备选。
 
-`algorithm.finalize` 不访问网络；它回读真实硬件基线，并核对来源回执，检查完整 reaction、型号／版本绑定和硬约束覆盖。只有元数据或 Agent 自述“已回读”不会获得 `verified`。回执来自可信宿主注入的证据解析器，或（`operation=bind`）来自 `algorithm.research` 自己读取并按 sha256 存下的正文；检索摘要（`text_source=search_snippet`）只用于发现，永远不算证据。具体字段及回执边界见选型服务契约。来源不可回读、候选版本不确定或存在阻塞未知项时，结果保持待确认，不伪造验证。
+库内已有实现适用时优先复用；按能力选择固件、库、模型或云服务的资料，不固定逐站搜索。端侧、云端、混合由用户的联网、隐私、延迟、费用和地域约束决定；官方正文用于支持结论，搜索摘要、热度及第三方榜单只用于发现。模型仓库存在不能证明云端 API 可用，Agent 能调用也不能证明设备具备该能力。
 
-## 来源文档
+## 执行入口与工具
 
-联网检索得到的页面，按原始请求、任务和来源身份读取已保存的原文或解析结果；检索摘要类内容只用于发现线索。缓存或 OCR 得到的内容不能证明厂商权威或工程结论。本领域自己的原始回执和权威判断不由别的服务替代。待完成的解析任务只查原任务，不重新提交。
+宿主按 workspace 的 `workspace.lanes-next` 确定研究或绑定阶段，调用以下同名动作：
+
+- **研究**：`algorithm.research`（`purpose=implementation`，查询关联 `reaction_id`）→ 回读保存的正文 → `algorithm.candidates`。候选提交形状见 [algorithm-candidates.v1](schemas/algorithm-candidates.v1.json)。
+- **绑定**：`algorithm.research`（`purpose=hardware`，查询关联 `component_id`）→ `algorithm.finalize`（`operation=bind`）。绑定提交形状见 [algorithm-bindings.v1](schemas/algorithm-bindings.v1.json)。
+
+`algorithm.finalize` 不访问网络；来源引用已有 `research_id`、`page_id`，正文回执由 Harness 填写并核验。只有摘要或 Agent 自述不构成验证。未走车道的宿主仍可用 `user-journey-algorithm`，它要求先有 verified 硬件，研究判断与本 skill 相同。
+
+## 结果交接
+
+向调用方交回工具返回的资源 id、状态、逐 reaction 的实现选择、依据和未解决项；绑定结果同时交回选型 revision 与硬件基线。宿主用 `algorithm.lane-state` 回读后映射为 workspace 的 artifacts，不凭文字摘要推进状态。
+
+候选的算力、内存、runtime、联网和接口需求交给 hardware；有依据的视野、拾音/发声开口、散热或动作范围要求交给 [structure](../abelien-structure/SKILL.md)。研究完成不代表设备兼容，兼容选型也不代表集成、部署或实物验证完成；没有精确设备实测就保留性能未知。
+
+## 失败与恢复
+
+- **输入缺口**：需求缺少会改变实现方向的事实时交回 guide/clarify；缺准确型号或硬件版本时暂停绑定，保留研究结果。硬件换型或结构反馈冲突后，复核受影响绑定。
+- **证据不足**：来源读不到、版本不确定或硬约束无法证实时，记录具体缺口、影响和下一步；按现有输出保留 `unresolved` / `unknowns` / `blocking_unknowns`，不放宽需求或伪造 verified。
+- **工具失败**：按动作手册区分输入错误、配置缺失和结果未知。已完成检索复用原记录；已发送但结果未知时保留原请求与研究身份，先回读/对账，不换 ID 重发。待完成的解析任务只查原任务。

package/skills/abelien-algorithm/actions/algorithm.candidates.json

@@ -0,0 +1,43 @@
+{
+  "action_id": "algorithm.candidates",
+  "contract_version": 1,
+  "description": "核验 Agent 基于 implementation 研究为每个 reaction 提出的候选实现：引用须逐字出现在本次研究存下的正文，候选只能引用为自己 reaction 检索的页面，库内算法须来自研究输入的库清单；每个 reaction 要么有候选、要么写明未解决原因；保存为 status=proposed，不依赖硬件",
+  "audience": "agent",
+  "input_schema": "schemas/candidates-input.v1.json",
+  "output_schema": "schemas/candidates-result.v1.json",
+  "permissions": [
+    "algorithm.candidates",
+    "artifact.read",
+    "artifact.write"
+  ],
+  "effects": [
+    "data.read",
+    "artifact.write"
+  ],
+  "determinism": "deterministic",
+  "cache_policy": {
+    "mode": "disabled",
+    "allow_bypass": true
+  },
+  "errors": {
+    "VALIDATION": {
+      "category": "source",
+      "description": "research_id 不是 collected 的 implementation 研究、引用不在本次研究存下的正文、候选引用了别的 reaction 的页面、库内算法不在研究的库清单，或有 reaction 既没有候选也没有写明未解决原因",
+      "recovery": "correct_input"
+    },
+    "ALGORITHM_HOST": {
+      "category": "config",
+      "description": "宿主没有提供可信的资源读取、内容读写或资源列举端口",
+      "recovery": "await_configuration"
+    }
+  },
+  "result_checks": [
+    {
+      "kind": "output_schema"
+    },
+    {
+      "kind": "ref_integrity"
+    }
+  ],
+  "completion": "validated_result"
+}

package/skills/abelien-algorithm/actions/algorithm.finalize.json

@@ -0,0 +1,38 @@
+{
+  "action_id": "algorithm.finalize",
+  "contract_version": 1,
+  "description": "把 Agent 基于硬件型号和官方联网证据做出的算法绑定归一化为版本化选型资源；operation=bind 时候选取自 algorithm.candidates，来源回执从 Harness 自己存下的研究正文解析，硬件基线尚未 verified 时结果固定为 needs_confirmation",
+  "audience": "agent",
+  "input_schema": "schemas/finalize-input.v1.json",
+  "output_schema": "schemas/finalize-result.v1.json",
+  "permissions": [
+    "algorithm.finalize",
+    "artifact.read",
+    "artifact.write"
+  ],
+  "effects": [
+    "data.read",
+    "artifact.write"
+  ],
+  "determinism": "deterministic",
+  "cache_policy": {
+    "mode": "disabled",
+    "allow_bypass": true
+  },
+  "errors": {
+    "VALIDATION": {
+      "category": "source",
+      "description": "operation 不对、硬件基线缺失或修订过期（select 还要求 verified）、reaction 不完整或没覆盖全部需求、来源不是一手资料或没有可核对的回执、绑定没选该 reaction 已提议的候选",
+      "recovery": "correct_input"
+    }
+  },
+  "result_checks": [
+    {
+      "kind": "output_schema"
+    },
+    {
+      "kind": "ref_integrity"
+    }
+  ],
+  "completion": "validated_result"
+}

package/skills/abelien-algorithm/actions/algorithm.lane-state.json

@@ -0,0 +1,38 @@
+{
+  "action_id": "algorithm.lane-state",
+  "contract_version": 1,
+  "description": "只读：按本草稿已存的资源回答当前需求有没有已提议的候选（落点、reaction、limits 与研究时一致），以及这些候选有没有绑定到给定的硬件选型 id 与 revision；宿主把结果映射成 workspace.lanes-next 的 artifacts",
+  "audience": "agent",
+  "input_schema": "schemas/lane-state-input.v1.json",
+  "output_schema": "schemas/lane-state-result.v1.json",
+  "permissions": [
+    "algorithm.lane-state",
+    "artifact.read"
+  ],
+  "effects": [
+    "data.read"
+  ],
+  "determinism": "deterministic",
+  "cache_policy": {
+    "mode": "disabled",
+    "allow_bypass": true
+  },
+  "errors": {
+    "VALIDATION": {
+      "category": "source",
+      "description": "字段不在表内、需求不合规，或硬件选型 ID 与修订不成对",
+      "recovery": "correct_input"
+    },
+    "ALGORITHM_HOST": {
+      "category": "config",
+      "description": "宿主没有提供可信的资源读取、内容读写或资源列举端口",
+      "recovery": "await_configuration"
+    }
+  },
+  "result_checks": [
+    {
+      "kind": "output_schema"
+    }
+  ],
+  "completion": "validated_result"
+}

package/skills/abelien-algorithm/actions/algorithm.research.json

@@ -0,0 +1,70 @@
+{
+  "action_id": "algorithm.research",
+  "contract_version": 1,
+  "description": "执行 Agent 的检索计划并保存证据：purpose=implementation 只凭需求检索实现资料（可与硬件选型并行），purpose=hardware 检索已选型号的厂商资料；Volc 检索（每次最多 5 条）与公开 HTTPS 页面安全直读，正文按 sha256 存证；每条付费检索先存 sent 再发送，重跑复用已完成检索、结果未知时要求对账而不重发；同一请求完成后重复运行直接返回已有结果",
+  "audience": "agent",
+  "input_schema": "schemas/research-input.v1.json",
+  "output_schema": "schemas/research-result.v1.json",
+  "permissions": [
+    "algorithm.research",
+    "artifact.read",
+    "artifact.write"
+  ],
+  "effects": [
+    "data.read",
+    "network.read",
+    "artifact.write",
+    "budget.consume"
+  ],
+  "determinism": "nondeterministic",
+  "cache_policy": {
+    "mode": "disabled_by_default",
+    "allow_bypass": true
+  },
+  "errors": {
+    "VALIDATION": {
+      "category": "source",
+      "description": "输入不合规：字段不在表内、用途不对、reaction 不是 1–20 条、库清单重复、检索条目不是 1–8 条或指向不存在的 reaction／零件，或 hardware 用途的选型缺失或修订过期",
+      "recovery": "correct_input"
+    },
+    "ALGORITHM_WEB_CONFIG": {
+      "category": "config",
+      "description": "缺少检索凭据或网络配置非法；在任何请求之前失败",
+      "recovery": "await_configuration"
+    },
+    "ALGORITHM_WEB_CHECKPOINT_REQUIRED": {
+      "category": "config",
+      "description": "计划里有付费检索，但宿主没有提供检查点；在任何请求之前拒绝",
+      "recovery": "await_configuration"
+    },
+    "ALGORITHM_HOST": {
+      "category": "config",
+      "description": "宿主没有提供可信的资源读取、内容读写或资源列举端口",
+      "recovery": "await_configuration"
+    },
+    "ALGORITHM_WEB_RECONCILIATION_REQUIRED": {
+      "category": "unknown",
+      "description": "检查点里有已发送、结果未知的检索，或已存证据与本请求不符；不会自动重发，需对账",
+      "recovery": "reconcile"
+    },
+    "ALGORITHM_WEB_RESPONSE": {
+      "category": "unknown",
+      "description": "检索服务的回执格式不符；按原检查点对账",
+      "recovery": "reconcile"
+    },
+    "CAPABILITY_CHECKPOINT_CONFLICT": {
+      "category": "unknown",
+      "description": "内核码：同一请求并发运行时，后写入检查点者失败",
+      "recovery": "reconcile"
+    }
+  },
+  "result_checks": [
+    {
+      "kind": "output_schema"
+    },
+    {
+      "kind": "ref_integrity"
+    }
+  ],
+  "completion": "validated_result"
+}

package/skills/abelien-algorithm/bindings.json

@@ -0,0 +1,58 @@
+{
+  "schema": "abelien.bindings.v1",
+  "description": "本包的缺省部署 profile：全部动作由本包模块实现。",
+  "bindings": [
+    {
+      "action_id": "algorithm.research",
+      "transport": "module",
+      "location": "local",
+      "effects": [],
+      "cancel": "unsupported",
+      "submission": {
+        "idempotent_submit": true,
+        "query_by_operation": true,
+        "remote_task_identity": "none",
+        "not_found_definitive": false
+      }
+    },
+    {
+      "action_id": "algorithm.candidates",
+      "transport": "module",
+      "location": "local",
+      "effects": [],
+      "cancel": "unsupported",
+      "submission": {
+        "idempotent_submit": true,
+        "query_by_operation": false,
+        "remote_task_identity": "none",
+        "not_found_definitive": true
+      }
+    },
+    {
+      "action_id": "algorithm.lane-state",
+      "transport": "module",
+      "location": "local",
+      "effects": [],
+      "cancel": "unsupported",
+      "submission": {
+        "idempotent_submit": true,
+        "query_by_operation": false,
+        "remote_task_identity": "none",
+        "not_found_definitive": true
+      }
+    },
+    {
+      "action_id": "algorithm.finalize",
+      "transport": "module",
+      "location": "local",
+      "effects": [],
+      "cancel": "unsupported",
+      "submission": {
+        "idempotent_submit": true,
+        "query_by_operation": false,
+        "remote_task_identity": "none",
+        "not_found_definitive": true
+      }
+    }
+  ]
+}