abelien-harness 0.11.0 → 0.14.0

package/.env.example

@@ -25,6 +25,22 @@ OSS_ALLOW_LEGACY_MANIFEST_FALLBACK=false
 # Optional external hardware revision service
 ABELIEN_HARDWARE_REVISE_URL=
 
+# Optional component admission (P2-05): a selected web part enters the component library before the
+# selection is saved. Set URL and token together (HTTPS, or HTTP on loopback; token at least 32 chars).
+# Leave both empty to keep web parts under their external: ID with an EXTERNAL_NOT_ADMITTED unknown.
+ABELIEN_HARDWARE_ADMISSION_URL=
+ABELIEN_HARDWARE_ADMISSION_TOKEN=
+ABELIEN_HARDWARE_ADMISSION_TIMEOUT_MS=30000
+
+# Vendor source registry (P2-05, required before any web source is read when Prismer is off): every vendor page,
+# file, search and image read is recorded once and reused across products. Configure exactly one backend:
+# the trusted host endpoint (private OSS for files, shared RDS for records; token at least 32 chars) ...
+ABELIEN_SOURCE_REGISTRY_URL=
+ABELIEN_SOURCE_REGISTRY_TOKEN=
+ABELIEN_SOURCE_REGISTRY_TIMEOUT_MS=30000
+# ... or an absolute local directory for tests, offline runs and a single local host.
+ABELIEN_SOURCE_REGISTRY_DIR=
+
 # 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=

package/README.md

@@ -8,13 +8,13 @@ npx 可安装的多 agent skill harness：**通用内核 + 可插拔域包**。
 定位资源（如外观ID） → 调度能力（如 3D 模型生成/替换） → 组建状态管理 → workflow 编排
 ```
 
-内核对领域不感知，随包分发 10 个 bundle。产品层：[abelien-workspace](skills/abelien-workspace/SKILL.md)（旅程、版本与确认）·
+内核对领域不感知，随包分发 11 个 bundle：9 个 Agent 包装进 Agent 的 skills 目录，2 个宿主包（`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-hardware-selection](skills/abelien-hardware-selection/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-3dgen](skills/abelien-3dgen/SKILL.md)（四家 provider 的 3D 构件生成，经 `ab generate 3d` 驱动）。
+宿主包：[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` 使用）。
 
 ## Quickstart
 
@@ -23,6 +23,7 @@ npx abelien-harness install                          # 默认 claude-code 全局
 npx abelien-harness install --target all             # claude-code + hermes + pi
 npx abelien-harness install --project                # 装到 <cwd>/.claude/skills
 npx abelien-harness install --skills-dir /any/dir    # 自定义目录
+npx abelien-harness install --include-host           # 开发机：连宿主包一起装（Worker、provider）
 npx abelien-harness list | update | remove
 ```
 
@@ -90,12 +91,12 @@ EaaS 后执行 `abelien-harness receipt consume --file ... --workdir ...`，并
 consume 的 `status:"consumed"` 只确认落盘：它不调用 `workflow advance`，也不完成当前 Agent step。
 重复同摘要幂等；同 wait 不同摘要冲突；取消或终态运行仍保存回执，但 workflow 观察会标为 terminal，
 不会伪造恢复。完整 envelope、路径、锁和摘要契约见
-[workflow 规范](skills/abelien-harness/references/workflow-spec.md#studio-工具回执收件箱)。
+[workflow 规范](skills/abelien-harness/contract/workflow-spec.md#studio-工具回执收件箱)。
 
 同一 receipt 入口支持严格互斥的 creation/modification 谱系；creation 的 `cad.final` 回执要求精确
 preview 父候选与可信 definitionDigest 等待身份。预览通过、相同源码 final 构建和 final 再审查由 Web
 执行定义约束；本仓新增的只是受信创建客户端（`ab studio creation create|active|get` 回读，见
-[workflow 规范](skills/abelien-harness/references/workflow-spec.md)），没有第二份编排，也未据此宣称 EaaS 已发布或实测通过，既有 unknown 不重发。
+[workflow 规范](skills/abelien-harness/contract/workflow-spec.md)），没有第二份编排，也未据此宣称 EaaS 已发布或实测通过，既有 unknown 不重发。
 
 ### 生产 Studio broker 客户端
 
@@ -158,7 +159,7 @@ PRD 以用户指定的飞书模板 revision 191 为结构依据，保留七块
 
 ### 真实硬件阶段
 
-另有独立的 `user-journey-hardware` 阶段流程：输入 clarify 交回的 Requirements（context / reaction[] / limits[]，每条须带 `source ∈ {user,system}`、非空 `text` 与全局唯一 `id`，limits 另有 `strength ∈ {hard,preference}`；格式不合规在读取任何可信召回之前即失败），在 agent 暂停点按需加载同级 `abelien-hardware-selection` 的三级分类规则，再将槽位交给 `hardware.select`——它是该域包 `domain.json` 声明的 `{type:"module"}` 本地 adapter（`scripts/select.mjs`），不连网络、无服务端 URL。主流程先 OSS 搜索、再 Agent 证据判断、最后本地 `hardware.select`；未知不通过门禁。契约见选型域 selection-service-contract；verified 不是工程实测。算法与外观真实阶段尚未接到该流程。分类规则快照的来源见下文「快照来源」。
+另有独立的 `user-journey-hardware` 阶段流程：输入 clarify 交回的 Requirements（context / reaction[] / limits[]，每条须带 `source ∈ {user,system}`、非空 `text` 与全局唯一 `id`，limits 另有 `strength ∈ {hard,preference}`；格式不合规在读取任何可信召回之前即失败），在 agent 暂停点按需加载 `abelien-hardware` 的三级分类规则，再将槽位交给 `hardware.select`——它是 `abelien-hardware` 的 `domain.json` 声明的 `{type:"module"}` 本地 adapter（`scripts/select.mjs`），不连网络、无服务端 URL。主流程先 OSS 搜索、再 Agent 证据判断、最后本地 `hardware.select`；未知不通过门禁。契约见 `abelien-hardware/references/selection-service-contract.md`；verified 不是工程实测。算法与外观真实阶段尚未接到该流程。分类规则正文只有 `abelien-hardware/references/hardware-selection/` 一份。
 
 ### OSS 候选检索工具
 
@@ -184,7 +185,7 @@ npm run publish:hardware-search-index -- \
 
 如果旧上传器只上传了 Wiki Markdown、云端尚无 `_manifest.json`，首次加 `--bootstrap-manifest`；发布器会先逐个验证全部远端 Wiki 后才创建 Manifest。后续正常发布不再需要该参数。
 
-也可分别运行 `npm run verify:hardware-search-index` 和 `npm run smoke:hardware-search`。搜索默认要求索引存在；缺少 `_catalog.json` 会返回 `WIKI_SEARCH_INDEX_MISSING`，不会静默下载整个分类。迁移期可显式设置 `OSS_ALLOW_LEGACY_MANIFEST_FALLBACK=true`，但响应会标记 `legacy_manifest_full_scan`，不应作为长期生产配置。格式见 [search-index-format.md](skills/abelien-hardware/references/search-index-format.md)，发布操作见 [search-index-release.md](skills/abelien-hardware/references/search-index-release.md)。
+也可分别运行 `npm run verify:hardware-search-index` 和 `npm run smoke:hardware-search`。搜索默认要求索引存在；缺少 `_catalog.json` 会返回 `WIKI_SEARCH_INDEX_MISSING`，不会静默下载整个分类。迁移期可显式设置 `OSS_ALLOW_LEGACY_MANIFEST_FALLBACK=true`，但响应会标记 `legacy_manifest_full_scan`，不应作为长期生产配置。格式见 [search-index-format.md](skills/abelien-hardware/contract/search-index-format.md)，发布操作见 [tools/hardware-index/README.md](tools/hardware-index/README.md)（运维工具在仓库 `tools/hardware-index/`，不随包分发）。
 
 在本仓库内启动硬件阶段：
 
@@ -194,7 +195,6 @@ export CAD_STORAGE_ENDPOINT='https://oss-cn-hangzhou.aliyuncs.com'
 export CAD_STORAGE_BUCKET='your-bucket'
 export CAD_STORAGE_ACCESS_KEY='...'
 export CAD_STORAGE_SECRET_KEY='...'
-export ABELIEN_HARDWARE_REVISE_URL='https://your-selector.example/revise'
 node skills/abelien-harness/scripts/ab.mjs workflow run user-journey-hardware --input '{"requirements":{"context":{"text":"放在桌面上","source":"user"},"reaction":[{"id":"r-turn","text":"有人靠近时转头看向对方","source":"user"}],"limits":[{"id":"l-net","text":"不能联网","source":"user","strength":"hard"}]}}'
 # 返回 awaiting_agent 后，按请求读取 skills/abelien-hardware/SKILL.md，
 # 用其 scripts/load-guide.mjs 逐层加载规则，再对该 run 执行 workflow advance --result '{"slots":[...]}'。
@@ -219,7 +219,7 @@ abelien-<slug>/
 本地实现，如选型域的 `hardware.select`）。换 adapter 不改 `ab capability` / workflow 接口。
 
 域包若要在运行期 import 同级的另一个 bundle，把对方写进 `domain.json` 的
-**`requires`**（如 `abelien-hardware-selection` 声明 `["abelien-harness","abelien-hardware"]`）。
+**`requires`**（如 `abelien-reference` 声明 `["abelien-harness"]`；原 `abelien-hardware-selection` 曾声明 `["abelien-harness","abelien-hardware"]`，2026-10-15 并入 `abelien-hardware` 后不再有域包依赖兄弟域包的情况）。
 skill-lint 双向守卫核对声明与实际 import 一致，打包校验再确认声明的包确实在包里
 ——缺包在运行期只会是 `Cannot find module`。
 
@@ -265,7 +265,7 @@ npm run branch:new|sync|push:ready|land   # 分支纪律：切分支 / rebase
 `docs/agent-prd/v2` 同步；那边的副本由宿主仓移除，避免两处规则漂移。理由见[意图路由](docs/architecture/intent-routing.md)
 的职责划分：规则只在 harness 维护，宿主只消费锁定的安装包。
 
-[tools/snapshot-sources.json](tools/snapshot-sources.json) 现在只登记 hardware-selection 的历史锚点。硬件分类规则的唯一正文在
+快照来源登记 `tools/snapshot-sources.json` 与同步工具已随 2026-10-15 的域包合并删除。硬件分类规则的唯一正文在
 `skills/abelien-hardware/references/hardware-selection/`，`prepack` 以 `validate:hardware-selection-snapshot` 校验其完整性。
 
 - 必要问题的选项上限沿用 clarify 的 `result / questions / note` 契约（最多三个，可少于三个或纯自由输入），

package/bin/cli.mjs

@@ -24,6 +24,7 @@ const opts = {
   project: has("project"),
   skillsDir,
   force: has("force"),
+  includeHost: has("include-host"),
 };
 
 function print(results) {
@@ -32,11 +33,12 @@ function print(results) {
     console.log(`${path.basename(r.skillsDir)}: ${action} -> ${r.target} (${r.skillsDir})`);
     if (r.retired?.length) console.log(`  retired: ${r.retired.join(", ")}（新版已不再发布，整包移除）`);
     if (r.keptRetired?.length) console.log(`  kept: ${r.keptRetired.join(", ")}（本地有改动，未删除；确认后可手动移除）`);
+    if (r.skippedHost?.length) console.log(`  host bundles not installed: ${r.skippedHost.join(", ")}（宿主包；需要时加 --include-host）`);
     for (const n of r.notes ?? []) console.log(`  note: ${n}`);
   }
 }
 function usage() {
-  console.error(`usage: abelien-harness <install|update|remove|list> [--target ${TARGET_NAMES.join("|")}|all] [--project] [--skills-dir <dir>] [--force]
+  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>]`);
   process.exit(2);

package/lib/bundle.mjs

@@ -20,7 +20,10 @@ export function bundleManifest(skillsRoot) {
     const dir = path.join(skillsRoot, d.name);
     const files = {};
     for (const rel of listBundleFiles(dir)) files[rel] = sha256Hex(fs.readFileSync(path.join(dir, rel), "utf8"));
-    out.push({ slug: d.name, dir, files, digest: sha256Hex(canonicalJson(files)) });
+    // 包类型取自 domain.json 的 kind：host 是宿主包（Worker、provider），安装器默认不装进 Agent 的 skills 目录。
+    const domainFile = path.join(dir, "domain.json");
+    const kind = fs.existsSync(domainFile) && JSON.parse(fs.readFileSync(domainFile, "utf8")).kind === "host" ? "host" : "agent";
+    out.push({ slug: d.name, dir, files, digest: sha256Hex(canonicalJson(files)), kind });
   }
   return out.sort((a, b) => a.slug.localeCompare(b.slug));
 }

package/lib/installer.mjs

@@ -35,11 +35,19 @@ function retiredBundles(receipt, t, publishedSlugs, force) {
   return { removed, kept };
 }
 
+// Agent 的 skills 目录只装 Agent 包；宿主包（kind: host）要显式 includeHost。
+// 之前装过、现在改成宿主包的 bundle 不在本次清单里，按退役规则整包移除（本地改过的保留并上报）。
+function selectedManifest(packageRoot, includeHost) {
+  const all = bundleManifest(path.join(packageRoot, "skills"));
+  return { all, manifest: all.filter(m => includeHost || m.kind !== "host") };
+}
+
 function doInstall(opts, retiredFiles = new Map()) {
   const { packageRoot, target, project, skillsDir, env = process.env } = opts;
-  const manifest = bundleManifest(path.join(packageRoot, "skills"));
+  const { all, manifest } = selectedManifest(packageRoot, opts.includeHost === true);
   if (!manifest.length) throw fail("EMPTY_BUNDLE", "no abelien-* skill bundles found in package");
   const publishedSlugs = new Set(manifest.map(m => m.slug));
+  const skippedHost = all.filter(m => !publishedSlugs.has(m.slug)).map(m => m.slug);
   const receipt = readReceipt(env);
   const results = [];
   for (const t of resolveTargets({ target, project, skillsDir, env })) {
@@ -62,6 +70,7 @@ function doInstall(opts, retiredFiles = new Map()) {
       target: t.name,
       skillsDir: t.dir,
       slugs: manifest.map(m => m.slug),
+      skippedHost,
       notes: targets[t.name].notes,
       retired: retired.map(r => r.slug),
       keptRetired: keptRetired.map(k => k.slug),
@@ -78,7 +87,7 @@ export const install = doInstall;
 
 export function update(opts) {
   const { packageRoot, target, project, skillsDir, force, env = process.env } = opts;
-  const manifest = bundleManifest(path.join(packageRoot, "skills"));
+  const { manifest } = selectedManifest(packageRoot, opts.includeHost === true);
   const receipt = readReceipt(env);
   const drifted = [];
   const retiredFiles = new Map();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "abelien-harness",
-  "version": "0.11.0",
+  "version": "0.14.0",
   "description": "npx-installable multi-agent skill harness: generic kernel + pluggable domain packs",
   "type": "module",
   "engines": {
@@ -28,13 +28,12 @@
     "land": "node scripts/land.mjs",
     "release:check": "node scripts/release-check.mjs",
     "release": "node scripts/release.mjs",
-    "build:hardware-search-index": "node skills/abelien-hardware/scripts/build-search-index.mjs",
-    "validate:hardware-selection-snapshot": "node skills/abelien-hardware/scripts/validate-selection-snapshot.mjs",
-    "publish:hardware-search-index": "node skills/abelien-hardware/scripts/publish-search-index.mjs",
-    "verify:hardware-search-index": "node skills/abelien-hardware/scripts/verify-search-index.mjs",
-    "smoke:hardware-search": "node skills/abelien-hardware/scripts/smoke-search-index.mjs",
-    "sync:hardware-selection": "node tools/sync-hardware-selection.mjs",
-    "prepack": "npm run validate:hardware-selection-snapshot && node tools/sync-hardware-selection.mjs --check --strict"
+    "build:hardware-search-index": "node tools/hardware-index/build-search-index.mjs",
+    "validate:hardware-selection-snapshot": "node tools/hardware-index/validate-selection-snapshot.mjs",
+    "publish:hardware-search-index": "node tools/hardware-index/publish-search-index.mjs",
+    "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,19 +1,18 @@
 ---
 name: abelien-3dgen
-description: 3D 构件生成域包：四家 provider（Meshy/Hunyuan/Tripo/Ark）声明式 profile＋22 款模型目录（18 款图生＋4 款文生），经内核 ab generate 3d 命令面按参考图或文字描述提交 3D 任务、查询状态并下载 glb 产物。请求形状以官方接入指引为准。
+description: 宿主包：3D 构件生成的四家 provider（Meshy/Hunyuan/Tripo/Ark）声明式 profile 与 22 款模型目录，供内核 ab generate 3d 引擎与宿主 mesh.generate 使用。不装进 Agent 的 skills 目录；模型侧的网格生成经宿主工具完成。
 license: MIT
-compatibility:
-  - claude-code
-  - hermes
-  - pi
 metadata:
-  category: domain-pack
+  kind: host
+  category: host-bundle
 allowed-tools:
   - Bash
   - Read
 ---
 
-# abelien-3dgen — 3D 生成域包
+# abelien-3dgen — 3D 生成宿主包
+
+本包是宿主包（`domain.json` 的 `kind: host`）：安装器默认不把它装进 claude-code / hermes / pi 的 skills 目录，宿主从钉死的 npm 包里按路径加载；开发机需要直接跑 `ab generate 3d` 时用 `install --include-host`。产品里的网格生成走宿主的 `mesh.generate` 工具。
 
 本包是图生网格能力，不负责外观采用或结构判定。通常由同级 [appearance](../abelien-appearance/SKILL.md) 在外观探索／参考还原时按需使用：交回任务、来源图片、模型及参数依据，由 appearance 核对视觉目标，再把需要工程实现的网格作为参考交给 structure。网格成功不能冒充参数化 CAD、碰撞检查、视觉验收或作品已采用。标准件 CAD 复用与 Build123d 定制结构不通过本 provider 流程重造。
 

package/skills/abelien-3dgen/domain.json

@@ -1,9 +1,11 @@
 {
   "name": "abelien-3dgen",
-  "version": "0.1.0",
-  "description": "3D 构件生成域：声明式 provider profile（官方形状为准）+ 内核 async-task 引擎消费",
-  "resources": ["gen3d"],
+  "version": "1.0.0",
+  "kind": "host",
+  "description": "宿主包：3D 构件生成的声明式 provider profile（官方形状为准），供内核 generate 引擎与宿主 mesh.generate 使用；不装进 Agent 的 skills 目录",
+  "resources": [
+    "gen3d"
+  ],
   "capabilities": {},
   "adapters": {}
 }
-

package/skills/abelien-algorithm/SKILL.md

@@ -12,12 +12,12 @@ metadata:
 
 # Abelien Algorithm
 
-本包分两步完成算法与实现选型（P2-03 算法并行车道，2026-10-14）：
+本包分两步完成算法与实现选型：
 
 1. **研究（不依赖硬件）**：需求明确后就为每个 reaction 检索实现资料，与硬件选型同时进行；候选写明资源需求（算力、内存、接口、传感器、联网），不猜硬件型号。
 2. **绑定（硬件登记后）**：读取已登记的 `hardware-selection`（id 与 revision），补查已选型号的厂商资料，每个 reaction 绑定到具体 `component_id` 并复核兼容。硬件尚未 verified 也可以绑定，结果保持待确认。`selected_models[]` 为空或缺少厂商／型号时停止并返回具体缺口，不能根据类别名猜设备。
 
-车道在哪个阶段做哪一步由 workspace 的 `workspace.lanes-next` 决定（见[意图路由 §4.1](../../docs/architecture/intent-routing.md)）。
+车道在哪个阶段做哪一步由 workspace 的 `workspace.lanes-next` 决定（见意图路由 §4.1）。
 
 与同级 [structure](../abelien-structure/SKILL.md) 可在各自依赖满足后分别推进：将摄像头视野、拾音／发声开口、散热、动作范围等有依据的结构要求交回；结构反馈遮挡、空间或运动冲突时重判受影响绑定。换硬件须回 hardware 并重新核对版本。算法选型成功不代表装配或设备行为已经实测通过。
 
@@ -32,14 +32,14 @@ metadata:
 
 ## 核心边界
 
-- 研究步骤先看宿主给出的库内已适配算法（2026-09-16 决定：库内优先、库外再联网），再按算法/模型官方资料 → Hugging Face → 云服务厂商官方资料检索；绑定步骤先查已选型号的硬件厂商官方资料。搜索结果页、博客和聚合文章只能用于发现线索，不能单独支持最终选择。
+- 研究步骤先看宿主给出的库内已适配算法（库内优先、库外再联网），再按算法/模型官方资料 → Hugging Face → 云服务厂商官方资料检索；绑定步骤先查已选型号的硬件厂商官方资料。搜索结果页、博客和聚合文章只能用于发现线索，不能单独支持最终选择。
 - 必须明确 `edge`、`cloud` 或 `hybrid`。离线、隐私、网络、延迟、费用或数据地域限制属于硬约束，不得为了找到候选而静默改成云端。
 - 端侧候选要核对处理器架构、OS/固件、runtime、算子、RAM、Flash/存储、加速器、输入输出格式及外设接口；没有精确设备实测时，不能承诺真实性能。
 - 交互类需求可以比较本地模型和云端 API，但“模型仓库存在”不等于“已有可调用云服务”，“当前 Agent 能调用模型”也不等于用户设备具备该能力。
 - 发现、兼容复核、集成、部署和实测是五种不同状态。本包只完成前两项并保存版本化选型结果。
 
-`algorithm.finalize` 不访问网络；它回读真实硬件基线，并核对来源回执，检查完整 reaction、型号／版本绑定和硬约束覆盖。只有元数据或 Agent 自述“已回读”不会获得 `verified`。回执来自可信宿主注入的证据解析器，或（`operation=bind`）来自 `algorithm.research` 自己读取并按 sha256 存下的正文；检索摘要（`text_source=search_snippet`）只用于发现，永远不算证据。具体字段及回执边界见选型服务契约。旧 `algorithm.select` HTTP 能力为兼容已有部署保留。来源不可回读、候选版本不确定或存在阻塞未知项时，结果保持待确认，不伪造验证。
+`algorithm.finalize` 不访问网络；它回读真实硬件基线，并核对来源回执，检查完整 reaction、型号／版本绑定和硬约束覆盖。只有元数据或 Agent 自述“已回读”不会获得 `verified`。回执来自可信宿主注入的证据解析器，或（`operation=bind`）来自 `algorithm.research` 自己读取并按 sha256 存下的正文；检索摘要（`text_source=search_snippet`）只用于发现，永远不算证据。具体字段及回执边界见选型服务契约。来源不可回读、候选版本不确定或存在阻塞未知项时，结果保持待确认，不伪造验证。
 
-## Prismer source documents
+## 来源文档
 
-Shared source tooling uses the fixed Prismer Context/Parse protocol in [hardware evidence contract](../abelien-hardware/references/web-evidence-contract.md) and [API inventory](../../docs/architecture/prismer-api-inventory.md). Read persisted raw/parsed documents with original request/task/source identity; HQCC is discovery only, cached/OCR content does not certify manufacturer authority or engineering. Keep this domain's original receipts/authority; Cloud Memory/Tasks/Skills/PKF/IM/EaaS are not replacements. A pending Parse must use its original task GET rather than a new POST.
+联网检索得到的页面，按原始请求、任务和来源身份读取已保存的原文或解析结果；检索摘要类内容只用于发现线索。缓存或 OCR 得到的内容不能证明厂商权威或工程结论。本领域自己的原始回执和权威判断不由别的服务替代。待完成的解析任务只查原任务，不重新提交。

package/skills/abelien-algorithm/domain.json

@@ -1,9 +1,14 @@
 {
   "name": "abelien-algorithm",
-  "version": "0.3.0",
+  "version": "0.4.0",
   "description": "算法域包：需求明确后即可检索实现资料（与硬件选型并行），硬件登记后补厂商资料并逐 reaction 绑定、复核兼容",
-  "requires": ["abelien-harness"],
-  "resources": ["algorithm-selection", "algorithm-research"],
+  "requires": [
+    "abelien-harness"
+  ],
+  "resources": [
+    "algorithm-selection",
+    "algorithm-research"
+  ],
   "capabilities": {
     "algorithm.research": {
       "description": "执行 Agent 的检索计划并保存证据：purpose=implementation 只凭需求检索实现资料（可与硬件选型并行），purpose=hardware 检索已选型号的厂商资料；Volc 检索（每次最多 5 条）与公开 HTTPS 页面安全直读，正文按 sha256 存证；每条付费检索先存 sent 再发送，重跑复用已完成检索、结果未知时要求对账而不重发；同一请求完成后重复运行直接返回已有结果",
@@ -12,18 +17,47 @@
         "path": "scripts/research.mjs",
         "export": "researchAlgorithms"
       },
-      "input": { "from": "input" },
+      "input": {
+        "from": "input"
+      },
       "resultContract": {
-        "nonEmptyStrings": ["id", "status", "schema", "request_digest", "purpose"],
-        "arrays": ["reactions", "searches", "pages", "unknowns"],
-        "statusValues": ["collected"]
+        "nonEmptyStrings": [
+          "id",
+          "status",
+          "schema",
+          "request_digest",
+          "purpose"
+        ],
+        "arrays": [
+          "reactions",
+          "searches",
+          "pages",
+          "unknowns"
+        ],
+        "statusValues": [
+          "collected"
+        ]
       },
       "produces": "algorithm-research",
       "checkpoint": true,
       "checkpointContract": {
-        "nonEmptyStrings": ["id", "status", "schema", "request_digest", "purpose"],
-        "arrays": ["reactions", "searches", "pages", "unknowns"],
-        "statusValues": ["in_progress", "collected"]
+        "nonEmptyStrings": [
+          "id",
+          "status",
+          "schema",
+          "request_digest",
+          "purpose"
+        ],
+        "arrays": [
+          "reactions",
+          "searches",
+          "pages",
+          "unknowns"
+        ],
+        "statusValues": [
+          "in_progress",
+          "collected"
+        ]
       }
     },
     "algorithm.candidates": {
@@ -33,11 +67,24 @@
         "path": "scripts/candidates.mjs",
         "export": "proposeAlgorithmCandidates"
       },
-      "input": { "from": "input" },
+      "input": {
+        "from": "input"
+      },
       "resultContract": {
-        "nonEmptyStrings": ["id", "status", "schema", "collected_id"],
-        "arrays": ["candidates", "unresolved", "unknowns"],
-        "statusValues": ["proposed"]
+        "nonEmptyStrings": [
+          "id",
+          "status",
+          "schema",
+          "collected_id"
+        ],
+        "arrays": [
+          "candidates",
+          "unresolved",
+          "unknowns"
+        ],
+        "statusValues": [
+          "proposed"
+        ]
       },
       "produces": "algorithm-research"
     },
@@ -48,34 +95,14 @@
         "path": "scripts/lane-state.mjs",
         "export": "algorithmLaneState"
       },
-      "input": { "from": "input" },
-      "resultContract": {
-        "nonEmptyStrings": ["requirements_digest"]
-      }
-    },
-    "algorithm.select": {
-      "description": "复核 Agent 联网研究证据，选择端侧、云端或混合实现并形成版本化算法选型",
-      "adapter": {
-        "type": "http",
-        "method": "POST",
-        "url": "env:ABELIEN_ALGORITHM_SELECT_URL",
-        "bodyFrom": "input",
-        "timeoutMs": 60000,
-        "retries": 0
+      "input": {
+        "from": "input"
       },
-      "input": { "from": "input" },
       "resultContract": {
-        "nonEmptyStrings": ["id", "status", "hardware_selection_id", "hardware_selection_revision", "source_snapshot", "revision"],
-        "arrays": ["bindings", "candidates", "sources", "unavailable_sources", "unknowns", "blocking_unknowns"],
-        "statusValues": ["verified", "needs_confirmation", "failed"],
-        "whenStatus": {
-          "verified": {
-            "nonEmptyArrays": ["bindings", "sources"],
-            "emptyArrays": ["blocking_unknowns"]
-          }
-        }
-      },
-      "produces": "algorithm-selection"
+        "nonEmptyStrings": [
+          "requirements_digest"
+        ]
+      }
     },
     "algorithm.finalize": {
       "description": "把 Agent 基于硬件型号和官方联网证据做出的算法绑定归一化为版本化选型资源；operation=bind 时候选取自 algorithm.candidates，来源回执从 Harness 自己存下的研究正文解析，硬件基线尚未 verified 时结果固定为 needs_confirmation",
@@ -84,15 +111,39 @@
         "path": "scripts/finalize-selection.mjs",
         "export": "finalizeAlgorithmSelection"
       },
-      "input": { "from": "input" },
+      "input": {
+        "from": "input"
+      },
       "resultContract": {
-        "nonEmptyStrings": ["id", "status", "hardware_selection_id", "hardware_selection_revision", "source_snapshot", "revision"],
-        "arrays": ["bindings", "candidates", "sources", "unavailable_sources", "unknowns", "blocking_unknowns"],
-        "statusValues": ["verified", "needs_confirmation"],
+        "nonEmptyStrings": [
+          "id",
+          "status",
+          "hardware_selection_id",
+          "hardware_selection_revision",
+          "source_snapshot",
+          "revision"
+        ],
+        "arrays": [
+          "bindings",
+          "candidates",
+          "sources",
+          "unavailable_sources",
+          "unknowns",
+          "blocking_unknowns"
+        ],
+        "statusValues": [
+          "verified",
+          "needs_confirmation"
+        ],
         "whenStatus": {
           "verified": {
-            "nonEmptyArrays": ["bindings", "sources"],
-            "emptyArrays": ["blocking_unknowns"]
+            "nonEmptyArrays": [
+              "bindings",
+              "sources"
+            ],
+            "emptyArrays": [
+              "blocking_unknowns"
+            ]
           }
         }
       },
@@ -103,13 +154,18 @@
     "algorithm-selection": {
       "description": "联网研究提案到算法选型已验证的阶段门",
       "initial": "researched",
-      "states": ["researched", "selected"],
+      "states": [
+        "researched",
+        "selected"
+      ],
       "transitions": [
         {
           "from": "researched",
           "to": "selected",
           "on": "confirmSelection",
-          "guard": { "status": "verified" }
+          "guard": {
+            "status": "verified"
+          }
         }
       ]
     }

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

@@ -1,6 +1,6 @@
 # 算法选型服务契约
 
-本文件只在向 `algorithm.finalize` 提交联网研究结果时读取。Harness 不实现搜索引擎、Hugging Face 或云厂商客户端；联网由宿主 Agent 使用获准工具完成，本地能力负责检查结果形状并保存稳定引用。旧 `algorithm.select` HTTP 能力只为兼容已有部署保留。
+本文件只在向 `algorithm.finalize` 提交联网研究结果时读取。Harness 不实现搜索引擎、Hugging Face 或云厂商客户端；联网由宿主 Agent 使用获准工具完成，本地能力负责检查结果形状并保存稳定引用。
 
 ## 并行车道：research → candidates → bind（P2-03，2026-10-14）
 
@@ -101,6 +101,6 @@
 - 每个 source 含 `id/source_type/title/publisher/url/version/accessed_at/content_sha256/excerpt/evidence_ref`；仅 `hardware_vendor/implementation_official/huggingface/cloud_vendor` 可支持通过。硬件来源列 `hardware_component_ids`，实现来源列 `implementation_ref` 并匹配确定版本。
 - 来源自述不足以通过。可信宿主通过 `main(argv,{readEvidence})` 注入只读回执解析器：`readEvidence(evidence_ref)` 返回 `{url,content_sha256,fetched_at,content}`。URL、哈希、访问时间须精确匹配，UTF-8 正文重算哈希一致且包含 excerpt。解析器不得直接返回模型提交的对象；必须读取宿主实际获取的不可变正文。裸 CLI 未接该接口时保持待确认，不假装已联网。
 
-结果明确 `validation_scope:"baseline_and_research_contract_only"`、`source_retrieval_verified` 和 `device_tested:false`。即便宿主回读凭据有效，也只证明取过这些字节；官方身份、兼容语义与来源是否支持结论仍需研究审查，不能以格式通过声称设备部署或实测通过。HTTP 兼容入口 `algorithm.select` 仍依赖外部服务负责证据；不能把它当作绕过本地质量门的兜底。
+结果明确 `validation_scope:"baseline_and_research_contract_only"`、`source_retrieval_verified` 和 `device_tested:false`。即便宿主回读凭据有效，也只证明取过这些字节；官方身份、兼容语义与来源是否支持结论仍需研究审查，不能以格式通过声称设备部署或实测通过。
 
 发现候选不等于已集成或已实测；Agent 不得把厂商理论峰值、其他开发板数据或模型卡自报指标写成当前整机实测结果。

package/skills/abelien-appearance/SKILL.md

@@ -17,7 +17,7 @@ compatibility:
 - A1／A2：从文字和参考媒体提取外观方向，形成首版轮廓、比例、CMF、部位与辨识特征目标。
 - B1 修改：处理颜色、材质、表面语言、整体轮廓、局部造型、灯效和装饰件；保留未被修改的目标。
 - 还原参考产品：区分照片、视频、源 CAD、渲染与概念图，只对有证据的可见特征提出匹配要求。
-- 型号识别属于推断：采用官网尺寸图、参数页等外部规格作为外观基准前，先从参考媒体量取可测比例（整体高宽比、标志性特征的相对位置），与规格换算的比例比较；超出测量误差时记为型号冲突，列出各候选及依据，不以最先找到的资料为准。只有一个视角时，比较只覆盖该视角可见的尺寸。向用户展示识别结果与来源不等于要求确认：高置信时展示后继续，冲突时保留候选供切换。
+- 型号识别与比例核对由 [reference](../abelien-reference/SKILL.md) 完成：`reference.finalize` 用测量值与规格算出比例，冲突写进 `identity.conflict`。采用外部规格作外观基准前先看这个结论；有冲突就列出各候选及依据，不以最先找到的资料为准。向用户展示识别结果与来源不等于要求确认：高置信时展示后继续，冲突时保留候选供切换。
 - structure 返回模型和实际渲染后：按匹配视角执行视觉审查；工程冲突则共同形成可见取舍，必要时由 guide 交给用户决定。
 - 同版视觉结果和外观提案交回 workspace 采用；本包不创建自己的作品版本或确认流程。
 
@@ -28,7 +28,7 @@ compatibility:
 1. **核对对象与版本。** 明确是整机还是部位、当前作品／基线、固定区域、允许变化范围、用户要求和参考来源。过期图片或旧渲染不能覆盖新版。
 2. **建立外观目标。** 将整体轮廓、比例、分件、特征位置、颜色、材质、纹理、透明／发光表现整理成稳定目标；区分硬要求、偏好、观察事实、推断和未知。
 3. **提出编辑。** 输出改变前后、影响部位、所用参考及预期视图。纯 CMF 变化不假装结构改变；新增摄像头、开口或可动部位时通知 hardware／structure。
-4. **按需生成视觉资产。** 无现成 CAD 的文字 Studio 目标是在需求足够后先出概念图，默认沿用原图绑定真实硬件并交 structure；缺图、自然语言重试与重画统一按 workspace 的[图片请求规则](../abelien-workspace/references/user-journey.md#image-retry-intent)承接。已有符合需求的真实 CAD 时，概念图不应成为首次展示的硬性前置。概念探索可使用图像生成；需要图生网格时调用同级 `abelien-3dgen`。生成图或网格是外观候选，不是可制造 CAD，也不代表已经采用。
+4. **按需生成视觉资产。** 无现成 CAD 的文字 Studio 目标是在需求足够后先出概念图，默认沿用原图绑定真实硬件并交 structure；缺图、自然语言重试与重画统一按 workspace 的[图片请求规则](../abelien-workspace/references/user-journey.md#image-retry-intent)承接。已有符合需求的真实 CAD 时，概念图不应成为首次展示的硬性前置。概念探索可使用图像生成；需要图生网格时由宿主的网格生成工具（`mesh.generate`）完成。生成图或网格是外观候选，不是可制造 CAD，也不代表已经采用。
 5. **交给 structure 实现。** 提供形态目标、视图、比例基准、必须保留的特征和允许妥协范围。structure 返回空间／制造冲突、实际模型、相机信息和真实渲染。
 6. **实际视觉审查。** 读[视觉审查](references/visual-review.md)，真正查看目标参考与本版实际渲染；分别记录 pass、conflict、unknown、not_checked。脚本通过或文字自述“很像”不能替代看图。
 7. **迭代或交回。** 可在授权范围内修正外观目标，受工程约束影响的方案回到 structure。只有影响用户目标或需要其取舍时进入 B2；完成后把同版提案、证据和视觉结论交回 workspace。
@@ -46,6 +46,6 @@ compatibility:
 
 本包不注册空 `domain.json` 或虚假 `appearance.*` capability。宿主没有图像查看、渲染或编辑能力时，明确报告缺口，不用文字模拟已经完成的外观工作。
 
-## Prismer source documents
+## 来源文档
 
-Shared source tooling uses the fixed Prismer Context/Parse protocol in [hardware evidence contract](../abelien-hardware/references/web-evidence-contract.md) and [API inventory](../../docs/architecture/prismer-api-inventory.md). Read persisted raw/parsed documents with original request/task/source identity; HQCC is discovery only, cached/OCR content does not certify manufacturer authority or engineering. Keep this domain's original receipts/authority; Cloud Memory/Tasks/Skills/PKF/IM/EaaS are not replacements. A pending Parse must use its original task GET rather than a new POST.
+联网检索得到的页面，按原始请求、任务和来源身份读取已保存的原文或解析结果；检索摘要类内容只用于发现线索。缓存或 OCR 得到的内容不能证明厂商权威或工程结论。本领域自己的原始回执和权威判断不由别的服务替代。待完成的解析任务只查原任务，不重新提交。

package/skills/abelien-appearance/references/local-component-edit.md

@@ -1,6 +1,6 @@
 # 局部自由造型外观件编辑
 
-这是 appearance、structure、3dgen 与 workspace 的交接契约；不是新的作品状态机。
+这是 appearance、structure、宿主网格生成与 workspace 的交接契约；不是新的作品状态机。
 
 ## 输入与默认体验
 
@@ -10,8 +10,8 @@
 
 ## 职责和执行
 
-1. appearance 确认改变哪些可见区域，保留哪些特征，调用现有 image.generate 作单图修改，再交 3dgen 执行 mesh.generate@1（purpose=appearance_component）。Tripo 是自由造型的可选默认供应商，实际模型／预算／可用性由固定宿主配置决定；不覆盖别的已选供应商。
-2. 3dgen 返回真实自包含 GLB、来源图哈希、provider/model、原请求与任务身份。生成候选不得声称具备精确尺寸、安装接口或 CAD 源码。单图 tripo-image-v3.1 与四视图模型是不同请求形状，模型级 verified 门独立生效。
+1. appearance 确认改变哪些可见区域，保留哪些特征，调用现有 image.generate 作单图修改，再由宿主执行 mesh.generate@1（purpose=appearance_component）。Tripo 是自由造型的可选默认供应商，实际模型／预算／可用性由固定宿主配置决定；不覆盖别的已选供应商。
+2. 网格生成返回真实自包含 GLB、来源图哈希、provider/model、原请求与任务身份。生成候选不得声称具备精确尺寸、安装接口或 CAD 源码。单图 tripo-image-v3.1 与四视图模型是不同请求形状，模型级 verified 门独立生效。
 3. structure 通过独立 `structure.adapt` 步骤调用 `cad.build@2`（purpose=appearance_adaptation）：宿主解析同一 creation 已结算的 meshInvocationId、原件精确几何、单位／坐标系、不可变接口及 attachment 证据。模型只能引用冻结的 baselineCandidateId/designDigest、targetOccurrenceId、meshInvocationId 和原 inputRevision/manifestDigest，不能提供文件路径、安装约束或“接口已通过”声明。旧 cad.build@1 的 Build123d 流程保持独立。
 4. 把新外观实际装回同一整机候选，分别报告尺寸、原生比例、保护区域、接口、碰撞、间隙与壁厚的 pass/conflict/unknown。对齐坐标、compatibilityKey 或画面像装上了均不证明接口匹配。缺真实接口约束时只允许预览；不得缩放精确原件来凑齐。
 5. appearance 查看同版整机实际渲染并做视觉审查。workspace 使用既有候选／采用事务；旧基线、错误目标、unknown 适用工程项不得进入 CAD 确认或导出捷径。网格预览、fit 通过与已采用是三个事实。
@@ -26,6 +26,6 @@
 
 ## 恢复和验收
 
-工具不新建预算、回执或采用系统。宿主使用原 F4 invocation/upstreamKey、租约与预算，provider 恢复走 [host generation API](../../abelien-3dgen/references/host-api.md)。刷新、取消、超时和模糊结果只能查原任务；拿不到 provider ID 时保持 unknown，不重新生成。
+工具不新建预算、回执或采用系统。宿主使用原 F4 invocation/upstreamKey、租约与预算，provider 恢复由宿主按原生成任务身份处理。刷新、取消、超时和模糊结果只能查原任务；拿不到 provider ID 时保持 unknown，不重新生成。
 
 真实验收需同一 draft/version 下的目标件选择、单图编辑、实际 provider 结果和结算、同整机预览、几何／视觉结论与采用回读。HTTP fixtures、本地 GLB 或技能说明不构成产品验收。