abelien-harness 0.16.1 → 0.17.0

package/.env.example

@@ -73,7 +73,7 @@ ABELIEN_HARDWARE_WEB_PAGE_TIMEOUT_MS=30000
 ABELIEN_HARDWARE_WEB_PARSE_TIMEOUT_MS=120000
 # system or explicit fixed Cloudflare doh; direct source connections/redirects pin public IP.
 # The submitted URL check alone does not certify remote Prismer redirect pinning.
-ABELIEN_HARDWARE_WEB_DNS_TRANSPORT=system
+ABELIEN_WEB_DNS_TRANSPORT=system
 
 # Opt-in audit v1: generic workflow definition snapshots and new evidence blobs.
 # Hardware pinned-result-v1 always pins definitions/results; legacy selection runs stay read-only.

package/README.md

@@ -49,7 +49,7 @@ npm 上尚无 `abelien-harness` 发布工件（见下文「生产 Studio broker
 ## `ab` 命令速查
 
 运行时随内核 bundle 分发：`node <skills目录>/abelien-harness/scripts/ab.mjs <命令>`
-（零 npm 依赖，不依赖全局 PATH / `.bin`）。状态存于 workdir 的 `.abelien/`，
+（零 npm 依赖，不依赖全局 PATH / `.bin`）。本机状态经 runtime 文件端口存于 workdir 的 `.abelien/`，
 跨目录操作加 `--workdir <dir>`。
 
 ```text
@@ -92,7 +92,7 @@ EaaS 后执行 `abelien-harness receipt consume --file ... --workdir ...`，并
 读取已保存 envelope。聊天正文不是工具结果事实源。
 
 consume 的 `status:"consumed"` 只确认落盘：它不调用 `workflow advance`，也不完成当前 Agent step。
-重复同摘要幂等；同 wait 不同摘要冲突；取消或终态运行仍保存回执，但 workflow 观察会标为 terminal，
+重复同摘要幂等；同 wait 不同摘要冲突；取消或终态运行仍保存回执，新收件不读取旧文件来授予恢复权，
 不会伪造恢复。完整 envelope、路径、锁和摘要契约见
 [workflow 规范](skills/abelien-harness/contract/workflow-spec.md#studio-工具回执收件箱)。
 
@@ -131,7 +131,7 @@ 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、采用与版本、组合检查、确认和交付恢复。新创作从 `creation.start` 进入，由 runtime 推进；`workspace.journey-next` 只投影阶段与规则。作品状态与产品服务的实际接入边界见 workspace 调用说明。
+- 作品规则由 [abelien-workspace](skills/abelien-workspace/SKILL.md) 维护：完整 A1–C、采用与版本、组合检查、确认和交付恢复。作品从 `creation.start` 进入编译出的创作流程图，由 runtime 唯一推进；宿主提供状态存储、动作绑定和交互端口，使用 `createFlowResolver` 读取同一份流程定义；产品服务的实际接入边界见 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 与适用的 compatibility；不强制 license 字段或值，
   兼容 claude-code / hermes / pi），agent 按 description 触发词路由；claude-code 与
@@ -146,12 +146,7 @@ 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` 从它生成、测试比对；它同时写清每个节点真正依赖什么，按意图编译成 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","locks":{"shape":false},"artifacts":{"reference_final":true}}'
-# → 阶段投影、goal、directives 与 actions；实际创作按原 runtime 运行推进
-```
+完整规则统一维护在 [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`）。`creation.start` 负责入口与意图路由，产品图编排领域子流程、模型节点、确认卡和失败回流，由 runtime 推进。宿主经 `createFlowResolver` 读取同一份定义，并提供持久化、授权和工具端口；流程到达终态仍须核对采用、确认与交付条件。具体做法及旧实例处理见 [调用说明](skills/abelien-workspace/references/harness-binding.md)。
 
 ### PRD 随需求对话维护
 
@@ -239,6 +234,8 @@ skill-lint 双向守卫核对声明与实际 import 一致，打包校验再确
 
 ## 文档地图
 
+从[流程总览](docs/architecture/harness-flow-overview.md)了解 skills、动作与失败回流；按[数据契约](docs/architecture/data-contracts.md)分配工作流优化。当前接口冻结范围与复算证据见[冻结验证记录](docs/contracts/handoff-freeze-validation-2026-10-18.md)。
+
 完整产品用户旅程统一从 [Abelien 完整用户旅程](skills/abelien-workspace/references/user-journey.md) 阅读：两入口、A1–C 判断、修改回流、确认交付及分享预订。reference / mvp 保留来源与旧 mock 实录。
 
 `docs/` 分四层：**architecture**（本仓设计论述）→ **paradigms**（工程范式）→
@@ -246,7 +243,7 @@ skill-lint 双向守卫核对声明与实际 import 一致，打包校验再确
 
 | 层 | 篇目 | 一句话 |
 | --- | --- | --- |
-| architecture | [state-machine](docs/architecture/state-machine.md) / [workflow-persistence](docs/architecture/workflow-persistence.md) / [httl](docs/architecture/httl.md) / [host-adapters](docs/architecture/host-adapters.md) / [generate3d](docs/architecture/generate3d.md) / [structure](docs/architecture/structure.md) / [structure-worker](docs/architecture/structure-worker.md) / [structure-worker-protocol](docs/architecture/structure-worker-protocol.md) / [structure-cad-library](docs/architecture/structure-cad-library.md) / [structure-component-fit](docs/architecture/structure-component-fit.md) / [structure-worker-implementation](docs/architecture/structure-worker-implementation.md) / [question-card](docs/architecture/question-card.md) / [visualization-rsi](docs/architecture/visualization-rsi.md) | 双层 FSM · 定义即数据／实例即文件 · HTTL 协议 · claude-code／codex 双入口收敛 · 声明式 provider + 异步任务引擎 · 外观／结构协作边界 · 问题卡与 ACL 前端协议（contract-ready） · `ab --visual` 可视化与自进化收口 |
+| architecture | [state-machine](docs/architecture/state-machine.md) / [workflow-persistence](docs/architecture/workflow-persistence.md) / [httl](docs/architecture/httl.md) / [host-adapters](docs/architecture/host-adapters.md) / [generate3d](docs/architecture/generate3d.md) / [structure](docs/architecture/structure.md) / [structure-worker](docs/architecture/structure-worker.md) / [structure-worker-protocol](docs/architecture/structure-worker-protocol.md) / [structure-cad-library](docs/architecture/structure-cad-library.md) / [structure-component-fit](docs/architecture/structure-component-fit.md) / [structure-worker-implementation](docs/architecture/structure-worker-implementation.md) / [question-card](docs/architecture/question-card.md) / [visualization-rsi](docs/architecture/visualization-rsi.md) | 双层 FSM · 定义固定／账本恢复 · HTTL 协议 · claude-code／codex 双入口收敛 · 声明式 provider + 异步任务引擎 · 外观／结构协作边界 · 问题卡与 ACL 前端协议（contract-ready） · `ab --visual` 可视化与自进化收口 |
 | paradigms | [README](docs/paradigms/README.md) + development / testing / evaluation / self-optimization | 场景工件是唯一事实源：测试测零件、评估测整车、优化答归因 |
 | reference | [product-journey](docs/reference/product-journey.md) / [research-notes](docs/reference/research-notes.md) / [verification-method](docs/reference/verification-method.md) | PRD 旅程转译 · 基准研究与 EaaS 方法论 · 验证方法→场景判定器（每篇带 来源/取舍） |
 | mvp | [journey](docs/mvp/journey.md) / [coverage](docs/mvp/coverage.md) | 历史 MVP（已移除的 25 步及真实实录）· 四维覆盖矩阵 + 缺口账本 |

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "abelien-harness",
-  "version": "0.16.1",
+  "version": "0.17.0",
   "description": "npx-installable multi-agent skill harness: generic kernel + pluggable domain packs",
   "type": "module",
   "engines": {
@@ -24,6 +24,7 @@
     "render:actions": "node tools/render-actions.mjs",
     "render:cad-functions": "node tools/render-cad-functions.mjs",
     "render:flows": "node tools/render-flows.mjs",
+    "contract-matrix": "node scripts/contract-matrix.mjs",
     "prepare": "node scripts/install-hooks.mjs",
     "branch:new": "node scripts/new-branch.mjs",
     "sync": "node scripts/sync.mjs",

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

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

package/skills/abelien-algorithm/SKILL.md

@@ -1,6 +1,6 @@
 ---
 name: abelien-algorithm
-description: 从用户已澄清的功能需求拆出实现能力，形成搜索任务并筛选有来源的固件、库、模型或云服务。用于判断产品 reaction 怎么实现；可与硬件选型并行研究，硬件登记后复核绑定。不用于重新定义需求、硬件选型、代码实现或服务部署。
+description: 为产品 reaction 联网检索并选择有来源的端侧算法、模型、库或成熟云服务。需求明确后即可检索实现资料（与硬件选型并行），硬件登记后补查厂商资料并逐 reaction 绑定到已选型号；不用于硬件选型、代码实现或服务部署。
 compatibility: 适用于 claude-code、hermes、pi 宿主
 metadata:
   category: algorithm-domain
@@ -10,18 +10,22 @@ metadata:
 
 ## 何时使用
 
-用户需求已由 clarify 整理，需要判断每条 reaction 如何实现时使用；需求变化后，只重查受影响的能力与绑定。研究可以与硬件选型并行，具体型号兼容在硬件登记后复核。本 skill 完成实现研究与兼容选型，不承担需求重定义、硬件选型、代码实现、部署或设备实测。
+1. **研究（不依赖硬件）**：需求明确后就为每个 reaction 检索实现资料，与硬件选型同时进行；每个 reaction 1–2 条查询，一次最多 8 条，reaction 多时分几次研究，候选用 `research_ids` 引用它们。候选的资源需求（算力、内存、接口、传感器、联网）只写来源原文，每个值都要原样出现在该候选的引文里，不换算、不推算，不猜硬件型号。需求里 hard 限制带 `network`（offline／no_cloud）时只提交 edge 候选，代码会拒收 cloud 与 hybrid。
+2. **绑定（硬件登记后）**：只认本运行冻结的选型修订（任务给出的 `hardware_revision_ref`，即 hardware 产物的 `selectionRevisionRef`），补查其中采购件的厂商资料，每个 reaction 绑定到具体 `component_id` 并复核兼容。修订尚未落定也可以绑定，结果保持待确认。修订没有采购件时停止并返回具体缺口，不能根据类别名猜设备。换件重选后按新修订重新绑定。
 
-## 输入与输出
+研究与绑定是 workspace 创作流程图里的算法车道节点，由 runtime 与主线并行推进：研究只依赖需求，绑定等已提议的候选与已登记的硬件（见意图路由 §4.1）。
 
 - **研究**：输入当前完整 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. 读取当前 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)。
+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`，带 `hardware_revision_ref`，查询带 `component_id`）→ `algorithm.finalize`（`operation=bind`，同一 `hardware_revision_ref`；带数量的检查写 `formula` 由代码判定，不写 status，需要时先调 `calc.evaluate`，不心算；`research` 格式见 [algorithm-bindings.v1](schemas/algorithm-bindings.v1.json)）。来源只写 `research_id` 与 `page_id`，回执由 Harness 从自己存下的正文填写。
+5. 已有的 `user-journey-algorithm` workflow（输入 `hardwareRevisionRef`，修订须已落定）保持可用，供不走车道的宿主使用。
+6. 各动作的参数、取值范围与错误码见[动作参数与错误手册](references/actions.generated.md)（由动作定义生成，以它为准）。
 
 ## 核心判断：需求如何变成搜索任务
 
@@ -29,25 +33,10 @@ metadata:
 2. **定问题、写查询**：先说明要查清哪个实现问题，再用“能力/任务 + 影响选择的约束 + 实现形态”搜索；有候选后，用准确名称补查官方 I/O、依赖、版本及缺失证据。沿用用户明确的平台限制，未定硬件只记录资源需求。
 3. **对应回需求**：先排除硬约束冲突，再比较能力覆盖、证据和集成代价。说明候选覆盖哪个环节、怎样衔接、依赖什么及仍缺什么；关键问题已有证据就收敛，只有实质取舍才保留备选。
 
-库内已有实现适用时优先复用；按能力选择固件、库、模型或云服务的资料，不固定逐站搜索。端侧、云端、混合由用户的联网、隐私、延迟、费用和地域约束决定；官方正文用于支持结论，搜索摘要、热度及第三方榜单只用于发现。模型仓库存在不能证明云端 API 可用，Agent 能调用也不能证明设备具备该能力。
+`algorithm.finalize` 不访问网络；它按 Ref 读冻结的硬件修订，并核对来源回执，检查完整 reaction、型号／版本绑定和硬约束覆盖。只有元数据或 Agent 自述“已回读”不会获得 `verified`。回执来自可信宿主注入的证据解析器，或（`operation=bind`）来自 `algorithm.research` 自己读取并按 sha256 存下的正文；检索摘要（`text_source=search_snippet`）只用于发现，永远不算证据。具体字段及回执边界见选型服务契约。来源不可回读、候选版本不确定或存在阻塞未知项时，结果保持待确认，不伪造验证。
 
 ## 执行入口与工具
 
-宿主按 workspace 的 `workspace.lanes-next` 确定研究或绑定阶段，调用以下同名动作：
+联网检索得到的页面，按原始请求、任务和来源身份读取已保存的原文或解析结果；检索摘要类内容只用于发现线索。缓存或 OCR 得到的内容不能证明厂商权威或工程结论。本领域自己的原始回执和权威判断不由别的服务替代。待完成的解析任务只查原任务，不重新提交。
 
-- **研究**：`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 重发。待完成的解析任务只查原任务。
+流程直接调用输入与旧 reaction 描述兼容边界见 [流程调用输入契约](../abelien-workspace/references/flow-input-contracts.md)；入口使用 `algorithm-flow-input.v1`，真实硬件修订与完整 reaction 覆盖仍在 finalize 时核对。

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

@@ -1,7 +1,7 @@
 {
   "action_id": "algorithm.finalize",
   "contract_version": 1,
-  "description": "把 Agent 基于硬件型号和官方联网证据做出的算法绑定归一化为版本化选型资源；operation=bind 时候选取自 algorithm.candidates，来源回执从 Harness 自己存下的研究正文解析，硬件基线尚未 verified 时结果固定为 needs_confirmation",
+  "description": "把 Agent 基于硬件型号和官方联网证据做出的算法绑定归一化为版本化选型资源；硬件基线是 hardware_revision_ref 指向的冻结选型修订（按 Ref 读不可变修订，不读可变选型资源）；operation=bind 时候选取自 algorithm.candidates，来源回执从 Harness 自己存下的研究正文解析，修订尚未落定（门未开或有未决事项）时结果固定为 needs_confirmation",
   "audience": "agent",
   "input_schema": "schemas/finalize-input.v1.json",
   "output_schema": "schemas/finalize-result.v1.json",
@@ -22,8 +22,13 @@
   "errors": {
     "VALIDATION": {
       "category": "source",
-      "description": "operation 不对、硬件基线缺失或修订过期（select 还要求 verified）、reaction 不完整或没覆盖全部需求、来源不是一手资料或没有可核对的回执、绑定没选该 reaction 已提议的候选",
+      "description": "operation 不对；hardware_revision_ref 不是已提交的封存选型修订、摘要不符或没有采购件（select 还要求修订已落定）；reaction 不完整或没覆盖全部需求、来源不是一手资料或没有可核对的回执、绑定没选该 reaction 已提议的候选",
       "recovery": "correct_input"
+    },
+    "ALGORITHM_HOST": {
+      "category": "config",
+      "description": "宿主注入了选型修订存储却没给它的作用域，或既没有修订存储也没有资源读取端口",
+      "recovery": "await_configuration"
     }
   },
   "result_checks": [

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

@@ -1,7 +1,7 @@
 {
   "action_id": "algorithm.research",
   "contract_version": 1,
-  "description": "执行 Agent 的检索计划并保存证据：purpose=implementation 只凭需求检索实现资料（可与硬件选型并行），purpose=hardware 检索已选型号的厂商资料；Volc 检索（每次最多 5 条）与公开 HTTPS 页面安全直读，正文按 sha256 存证；每条付费检索先存 sent 再发送，重跑复用已完成检索、结果未知时要求对账而不重发；同一请求完成后重复运行直接返回已有结果",
+  "description": "执行 Agent 的检索计划并保存证据：purpose=implementation 只凭需求检索实现资料（可与硬件选型并行），purpose=hardware 检索冻结选型修订（hardware_revision_ref）里采购件的厂商资料；Volc 检索（每次最多 5 条）与公开 HTTPS 页面安全直读，正文按 sha256 存证；每条付费检索先存 sent 再发送，重跑复用已完成检索、结果未知时要求对账而不重发；同一请求完成后重复运行直接返回已有结果",
   "audience": "agent",
   "input_schema": "schemas/research-input.v1.json",
   "output_schema": "schemas/research-result.v1.json",
@@ -24,12 +24,17 @@
   "errors": {
     "VALIDATION": {
       "category": "source",
-      "description": "输入不合规：字段不在表内、用途不对、reaction 不是 1–20 条、库清单重复、检索条目不是 1–8 条或指向不存在的 reaction／零件，或 hardware 用途的选型缺失或修订过期",
+      "description": "输入不合规：字段不在表内、用途不对、reaction 不是 1–20 条、库清单重复、检索条目不是 1–8 条或指向不存在的 reaction／零件，或 hardware 用途缺 hardware_revision_ref、它不是已提交的封存选型修订、摘要不符或没有采购件",
       "recovery": "correct_input"
     },
     "ALGORITHM_WEB_CONFIG": {
       "category": "config",
-      "description": "缺少检索凭据或网络配置非法；在任何请求之前失败",
+      "description": "缺少检索凭据、未配置厂家资料登记表（检索先查登记表、跨运行复用）或网络配置非法；在任何请求之前失败",
+      "recovery": "await_configuration"
+    },
+    "ALGORITHM_WEB_QUOTA": {
+      "category": "config",
+      "description": "检索服务的账户额度已用完（Volc 10412 等）：后续检索都会同样被拒、也都没有执行；在额度恢复或更换检索服务之前不再检索，结果按等待配置处理而不是失败",
       "recovery": "await_configuration"
     },
     "ALGORITHM_WEB_CHECKPOINT_REQUIRED": {
@@ -39,7 +44,7 @@
     },
     "ALGORITHM_HOST": {
       "category": "config",
-      "description": "宿主没有提供可信的资源读取、内容读写或资源列举端口",
+      "description": "宿主没有提供可信的资源读取、内容读写或资源列举端口；或注入了选型修订存储却没给它的作用域",
       "recovery": "await_configuration"
     },
     "ALGORITHM_WEB_RECONCILIATION_REQUIRED": {

package/skills/abelien-algorithm/bindings.json

@@ -28,19 +28,6 @@
         "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",