abelien-harness 0.16.1 → 0.17.0

package/skills/abelien-algorithm/contract/host-tools.generated.json

@@ -10,17 +10,24 @@
       "description": "核验 Agent 基于 implementation 研究为每个 reaction 提出的候选实现：引用须逐字出现在本次研究存下的正文，候选只能引用为自己 reaction 检索的页面，库内算法须来自研究输入的库清单；每个 reaction 要么有候选、要么写明未解决原因；保存为 status=proposed，不依赖硬件",
       "input_schema": {
         "title": "abelien.algorithm.candidates.input.v1",
-        "description": "基于 implementation 研究为每个 reaction 提出的候选实现；research_id 由宿主按本步检索结果填入，其余字段与 algorithm-candidates 相同。",
+        "description": "基于 implementation 研究为每个 reaction 提出的候选实现；research_ids 列出所依据的研究（reaction 多时研究分几次做，同一需求下最多 5 份），其余字段与 algorithm-candidates 相同。",
         "type": "object",
         "required": [
-          "research_id",
+          "research_ids",
           "candidates"
         ],
         "properties": {
-          "research_id": {
-            "type": "string",
-            "pattern": "^algorithm-research:[A-Za-z0-9][A-Za-z0-9_-]{0,127}$",
-            "description": "已存的算法研究资源"
+          "research_ids": {
+            "type": "array",
+            "minItems": 1,
+            "maxItems": 5,
+            "uniqueItems": true,
+            "items": {
+              "type": "string",
+              "pattern": "^algorithm-research:[A-Za-z0-9][A-Za-z0-9_-]{0,127}$",
+              "description": "已存的算法研究资源"
+            },
+            "description": "本次所依据的 collected implementation 研究，全部按同一需求与库清单检索"
           },
           "candidates": {
             "type": "array",
@@ -86,7 +93,7 @@
                 "needs": {
                   "type": "object",
                   "additionalProperties": false,
-                  "description": "对硬件的需求，按来源原文记录；原文没写的填 null 或留空列表，不猜。",
+                  "description": "对硬件的需求，按来源原文记录：每个值都必须原样出现在本候选的某条 quotes 里（不换算、不推算）；原文没写的填 null 或留空列表，不猜。",
                   "properties": {
                     "compute": {
                       "type": [
@@ -147,18 +154,23 @@
                 "quotes": {
                   "type": "array",
                   "maxItems": 6,
-                  "description": "逐字取自本次研究读到的正文（可以是为别的 reaction 读到的页面，同一份资料常常支撑几个 reaction）；库外候选至少一条。",
+                  "description": "逐字取自本次研究读到的正文（可以是为别的 reaction 读到的页面，同一份资料常常支撑几个 reaction）；库外候选至少一条。needs 里写的值也要出现在这些引文里。",
                   "items": {
                     "type": "object",
                     "additionalProperties": false,
                     "required": [
+                      "research_id",
                       "page_id",
                       "text"
                     ],
                     "properties": {
+                      "research_id": {
+                        "type": "string",
+                        "description": "这一页所在的研究（research_ids 之一）。"
+                      },
                       "page_id": {
                         "type": "string",
-                        "description": "本次研究的页面 id，如 p3。"
+                        "description": "该研究里的页面 id，如 p3。"
                       },
                       "text": {
                         "type": "string",
@@ -212,7 +224,7 @@
           "id",
           "status",
           "schema",
-          "collected_id",
+          "collected_ids",
           "candidates",
           "unresolved",
           "unknowns"
@@ -229,15 +241,179 @@
             "type": "string",
             "minLength": 1
           },
-          "collected_id": {
-            "type": "string",
-            "minLength": 1,
-            "description": "所依据的 collected 研究"
+          "collected_ids": {
+            "type": "array",
+            "minItems": 1,
+            "maxItems": 5,
+            "items": {
+              "type": "string",
+              "pattern": "^algorithm-research:[A-Za-z0-9][A-Za-z0-9_-]{0,127}$",
+              "description": "已存的算法研究资源"
+            },
+            "description": "所依据的 collected 研究（候选引文按 research_id 指向其中之一）"
           },
           "candidates": {
             "type": "array",
             "items": {
-              "type": "object"
+              "description": "algorithm.candidates 核验后存下的候选（bind 只能选同一 reaction 的 implementation_ref）",
+              "type": "object",
+              "required": [
+                "reaction_id",
+                "implementation_ref",
+                "implementation_version",
+                "implementation_type",
+                "execution_target",
+                "library_entry_id",
+                "summary",
+                "needs",
+                "quotes",
+                "evidence"
+              ],
+              "properties": {
+                "reaction_id": {
+                  "type": "string",
+                  "minLength": 1
+                },
+                "implementation_ref": {
+                  "type": "string",
+                  "minLength": 1
+                },
+                "implementation_version": {
+                  "type": [
+                    "string",
+                    "null"
+                  ]
+                },
+                "implementation_type": {
+                  "enum": [
+                    "firmware",
+                    "library",
+                    "model",
+                    "cloud_service"
+                  ]
+                },
+                "execution_target": {
+                  "enum": [
+                    "edge",
+                    "cloud",
+                    "hybrid"
+                  ]
+                },
+                "library_entry_id": {
+                  "type": [
+                    "string",
+                    "null"
+                  ]
+                },
+                "summary": {
+                  "type": "string",
+                  "minLength": 1
+                },
+                "needs": {
+                  "type": "object",
+                  "required": [
+                    "compute",
+                    "memory",
+                    "storage",
+                    "runtime",
+                    "network",
+                    "interfaces",
+                    "sensors"
+                  ],
+                  "properties": {
+                    "compute": {
+                      "type": [
+                        "string",
+                        "null"
+                      ]
+                    },
+                    "memory": {
+                      "type": [
+                        "string",
+                        "null"
+                      ]
+                    },
+                    "storage": {
+                      "type": [
+                        "string",
+                        "null"
+                      ]
+                    },
+                    "runtime": {
+                      "type": [
+                        "string",
+                        "null"
+                      ]
+                    },
+                    "network": {
+                      "type": [
+                        "string",
+                        "null"
+                      ]
+                    },
+                    "interfaces": {
+                      "type": "array",
+                      "items": {
+                        "type": "string"
+                      }
+                    },
+                    "sensors": {
+                      "type": "array",
+                      "items": {
+                        "type": "string"
+                      }
+                    }
+                  },
+                  "additionalProperties": false
+                },
+                "quotes": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "required": [
+                      "research_id",
+                      "page_id",
+                      "url",
+                      "text",
+                      "text_source"
+                    ],
+                    "properties": {
+                      "research_id": {
+                        "type": "string",
+                        "pattern": "^algorithm-research:[A-Za-z0-9][A-Za-z0-9_-]{0,127}$",
+                        "description": "已存的算法研究资源"
+                      },
+                      "page_id": {
+                        "type": "string",
+                        "minLength": 1
+                      },
+                      "url": {
+                        "type": "string",
+                        "minLength": 1
+                      },
+                      "text": {
+                        "type": "string",
+                        "minLength": 1
+                      },
+                      "text_source": {
+                        "enum": [
+                          "page",
+                          "search_snippet"
+                        ]
+                      }
+                    },
+                    "additionalProperties": false
+                  }
+                },
+                "evidence": {
+                  "enum": [
+                    "page",
+                    "library",
+                    "search_snippet"
+                  ]
+                }
+              },
+              "additionalProperties": false
             }
           },
           "unresolved": {
@@ -256,16 +432,15 @@
     {
       "action_id": "algorithm.finalize",
       "contract_version": 1,
-      "definition_digest": "97b448d37858372a35e5a4040102ccbbeccc9e5437657cf20724c8369594062e",
+      "definition_digest": "069d10c2c18a6830867ff6e04251cc073a163a8a618039ca8f281280536f055e",
       "audience": "agent",
-      "description": "把 Agent 基于硬件型号和官方联网证据做出的算法绑定归一化为版本化选型资源；operation=bind 时候选取自 algorithm.candidates，来源回执从 Harness 自己存下的研究正文解析，硬件基线尚未 verified 时结果固定为 needs_confirmation",
+      "description": "把 Agent 基于硬件型号和官方联网证据做出的算法绑定归一化为版本化选型资源；硬件基线是 hardware_revision_ref 指向的冻结选型修订（按 Ref 读不可变修订，不读可变选型资源）；operation=bind 时候选取自 algorithm.candidates，来源回执从 Harness 自己存下的研究正文解析，修订尚未落定（门未开或有未决事项）时结果固定为 needs_confirmation",
       "input_schema": {
         "title": "abelien.algorithm.finalize.input.v1",
         "description": "把 Agent 的算法绑定归一化为版本化选型资源。operation=bind 时候选取自 algorithm.candidates（proposed_id），来源回执由 Harness 从存下的研究正文填写；硬件基线尚未 verified 时结果固定为 needs_confirmation。",
         "type": "object",
         "required": [
-          "hardware_selection_id",
-          "hardware_selection_revision",
+          "hardware_revision_ref",
           "requirements",
           "reactions",
           "research"
@@ -276,16 +451,34 @@
               "select",
               "bind"
             ],
-            "description": "缺省 select"
+            "description": "缺省 select（要求修订已落定：门已开且没有未决事项）"
           },
-          "hardware_selection_id": {
-            "type": "string",
-            "pattern": "^hardware-selection:[A-Za-z0-9][A-Za-z0-9_-]{0,127}$",
-            "description": "已存的硬件选型资源"
-          },
-          "hardware_selection_revision": {
-            "type": "string",
-            "minLength": 1
+          "hardware_revision_ref": {
+            "description": "绑定所在的冻结选型修订；原样抄任务给的 hardware_revision_ref",
+            "type": "object",
+            "required": [
+              "id",
+              "version",
+              "digest"
+            ],
+            "properties": {
+              "id": {
+                "description": "稳定标识符：字母或数字开头，可含 _ . : -，最长 128。与硬件选型、Studio 回执现有的标识符规则相同；不含 @（@ 留给 id@version 的写法）。",
+                "type": "string",
+                "pattern": "^[A-Za-z0-9][A-Za-z0-9_.:-]{0,127}$"
+              },
+              "version": {
+                "description": "对象版本号，按字符串比较相等，不比较大小（例如 \"7\"、\"r-1a2b3c4d5e6f\"）。",
+                "type": "string",
+                "pattern": "^[A-Za-z0-9][A-Za-z0-9_.:-]{0,63}$"
+              },
+              "digest": {
+                "description": "sha256 小写十六进制（64 位，不带 sha256: 前缀）。对 JSON 值一律取 harness scripts/web/common.mjs 的 digest()，即对 canonical()（键排序、无空白）后的字节求 sha256。",
+                "type": "string",
+                "pattern": "^[0-9a-f]{64}$"
+              }
+            },
+            "additionalProperties": false
           },
           "proposed_id": {
             "type": "string",
@@ -300,7 +493,29 @@
             "properties": {
               "limits": {
                 "type": "array",
-                "description": "约束（没有时为空数组）"
+                "description": "约束（没有时为空数组）；hard 限制带 network 时每条绑定都必须是 edge",
+                "items": {
+                  "type": "object",
+                  "properties": {
+                    "id": {
+                      "type": "string",
+                      "minLength": 1
+                    },
+                    "strength": {
+                      "enum": [
+                        "hard",
+                        "preference"
+                      ]
+                    },
+                    "network": {
+                      "description": "限制在联网上的含义（只在用户原话说明时填写，原话写进 text）：offline 完全不联网也要能工作；no_cloud 可以连本地网络或手机，但数据不出设备、不调用云端服务。两者都意味着算法只能在端侧运行（hard 时由代码强制），差别留给硬件：只有 offline 说明不需要联网模块。",
+                      "enum": [
+                        "offline",
+                        "no_cloud"
+                      ]
+                    }
+                  }
+                }
               }
             },
             "description": "clarify 整理后的需求原样"
@@ -401,7 +616,6 @@
                           "type": "object",
                           "additionalProperties": false,
                           "required": [
-                            "status",
                             "summary",
                             "source_ids"
                           ],
@@ -412,7 +626,263 @@
                                 "conflict",
                                 "unknown"
                               ],
-                              "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。"
+                              "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。不带数量的判断写 status；带数量的写 formula，两者只写一个。"
+                            },
+                            "formula": {
+                              "description": "数值类检查写公式、不写 status：比较式（unit 写 bool），操作数用 quote（source_id 写本检查 source_ids 里的来源 id，或 limit:<限制 id> 引用户限制原文；text 逐字引含该量的原文，有几个量时给 index）或 choice（你的假设，写依据）。代码求值，真为 pass、假为 conflict。",
+                              "type": "object",
+                              "required": [
+                                "expression",
+                                "operands",
+                                "unit"
+                              ],
+                              "properties": {
+                                "expression": {
+                                  "type": "string",
+                                  "minLength": 1,
+                                  "maxLength": 256
+                                },
+                                "operands": {
+                                  "type": "object",
+                                  "propertyNames": {
+                                    "pattern": "^[a-z][a-z0-9_]{0,31}$"
+                                  },
+                                  "maxProperties": 16,
+                                  "additionalProperties": {
+                                    "description": "Formula 的操作数，与计算器 calc.evaluate 的操作数同形，另多一种引文来源：带值的写 {value, unit, source}；引文的只写 {source: {quote}}，不写值和单位（单位取引文里写的；没写单位的裸数是无量纲数）。",
+                                    "type": "object",
+                                    "oneOf": [
+                                      {
+                                        "required": [
+                                          "value",
+                                          "unit",
+                                          "source"
+                                        ],
+                                        "properties": {
+                                          "value": {
+                                            "type": "number"
+                                          },
+                                          "unit": {
+                                            "description": "求值核心（abelien-harness/scripts/calc）认得的单位符号，大小写有别。长度 um mm cm m in mil；角度 deg rad；时间 ms s min h；质量 g kg；电学 mA A mV V mW W mAh Ah mWh Wh；频率 Hz kHz MHz GHz；数据 B kB MB GB（按 1000）、KiB MiB GiB（按 1024）、bit bps kbps Mbps；无量纲 1 % count。",
+                                            "enum": [
+                                              "um",
+                                              "mm",
+                                              "cm",
+                                              "m",
+                                              "in",
+                                              "mil",
+                                              "deg",
+                                              "rad",
+                                              "ms",
+                                              "s",
+                                              "min",
+                                              "h",
+                                              "g",
+                                              "kg",
+                                              "mA",
+                                              "A",
+                                              "mV",
+                                              "V",
+                                              "mW",
+                                              "W",
+                                              "mAh",
+                                              "Ah",
+                                              "mWh",
+                                              "Wh",
+                                              "Hz",
+                                              "kHz",
+                                              "MHz",
+                                              "GHz",
+                                              "B",
+                                              "kB",
+                                              "MB",
+                                              "GB",
+                                              "KiB",
+                                              "MiB",
+                                              "GiB",
+                                              "bit",
+                                              "bps",
+                                              "kbps",
+                                              "Mbps",
+                                              "1",
+                                              "%",
+                                              "count"
+                                            ]
+                                          },
+                                          "source": {
+                                            "description": "带值操作数的来源，三选一。result：本步之前某个动作结果里的 JSON 指针；input：本节点任务视图冻结输入里的 JSON 指针；这两种的值由节点定稿逐一核对（verifyCalcReceipts），抄错就拒收回复。choice：模型的选择或假设，写依据；只要有一个操作数是 choice，结果就标为估算。",
+                                            "type": "object",
+                                            "oneOf": [
+                                              {
+                                                "required": [
+                                                  "result"
+                                                ],
+                                                "properties": {
+                                                  "result": {
+                                                    "type": "object",
+                                                    "required": [
+                                                      "action_id",
+                                                      "pointer"
+                                                    ],
+                                                    "properties": {
+                                                      "action_id": {
+                                                        "description": "稳定动作名：域名.动作，小写，可多段（例如 hardware.change-scope、structure.build）。",
+                                                        "type": "string",
+                                                        "pattern": "^[a-z][a-z0-9-]*(\\.[a-z][a-z0-9-]*)+$"
+                                                      },
+                                                      "pointer": {
+                                                        "type": "string",
+                                                        "maxLength": 512,
+                                                        "pattern": "^(?:/(?:[^~/]|~[01])*)*$"
+                                                      }
+                                                    },
+                                                    "additionalProperties": false
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              },
+                                              {
+                                                "required": [
+                                                  "input"
+                                                ],
+                                                "properties": {
+                                                  "input": {
+                                                    "type": "string",
+                                                    "maxLength": 512,
+                                                    "pattern": "^(?:/(?:[^~/]|~[01])*)*$"
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              },
+                                              {
+                                                "required": [
+                                                  "choice"
+                                                ],
+                                                "properties": {
+                                                  "choice": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 300
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              }
+                                            ]
+                                          }
+                                        },
+                                        "additionalProperties": false
+                                      },
+                                      {
+                                        "required": [
+                                          "source"
+                                        ],
+                                        "properties": {
+                                          "source": {
+                                            "type": "object",
+                                            "required": [
+                                              "quote"
+                                            ],
+                                            "properties": {
+                                              "quote": {
+                                                "description": "引文来源：text 是逐字引文，source_id 是它所在的页或 Wiki（硬件写 component_id，算法与参考写 page_id），由消费方核对引文确实在其中；值不由模型写，由消费方代码用核心的量值解析器从引文里取。引文里不止一个量时用 index（从 0 起）指出取第几个。",
+                                                "type": "object",
+                                                "required": [
+                                                  "text",
+                                                  "source_id"
+                                                ],
+                                                "properties": {
+                                                  "text": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 2000
+                                                  },
+                                                  "source_id": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 128
+                                                  },
+                                                  "index": {
+                                                    "type": "integer",
+                                                    "minimum": 0,
+                                                    "maximum": 63
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              }
+                                            },
+                                            "additionalProperties": false
+                                          }
+                                        },
+                                        "additionalProperties": false
+                                      }
+                                    ]
+                                  }
+                                },
+                                "unit": {
+                                  "description": "结果单位：CalcUnit 之一，量纲必须与表达式的结果相同；表达式是顶层比较时写 bool。",
+                                  "enum": [
+                                    "um",
+                                    "mm",
+                                    "cm",
+                                    "m",
+                                    "in",
+                                    "mil",
+                                    "deg",
+                                    "rad",
+                                    "ms",
+                                    "s",
+                                    "min",
+                                    "h",
+                                    "g",
+                                    "kg",
+                                    "mA",
+                                    "A",
+                                    "mV",
+                                    "V",
+                                    "mW",
+                                    "W",
+                                    "mAh",
+                                    "Ah",
+                                    "mWh",
+                                    "Wh",
+                                    "Hz",
+                                    "kHz",
+                                    "MHz",
+                                    "GHz",
+                                    "B",
+                                    "kB",
+                                    "MB",
+                                    "GB",
+                                    "KiB",
+                                    "MiB",
+                                    "GiB",
+                                    "bit",
+                                    "bps",
+                                    "kbps",
+                                    "Mbps",
+                                    "1",
+                                    "%",
+                                    "count",
+                                    "bool"
+                                  ]
+                                },
+                                "round": {
+                                  "description": "可选：按结果单位保留的小数位数，银行家舍入。",
+                                  "type": "object",
+                                  "required": [
+                                    "places"
+                                  ],
+                                  "properties": {
+                                    "places": {
+                                      "type": "integer",
+                                      "minimum": 0,
+                                      "maximum": 12
+                                    }
+                                  },
+                                  "additionalProperties": false
+                                }
+                              },
+                              "additionalProperties": false
                             },
                             "summary": {
                               "type": "string",
@@ -432,7 +902,6 @@
                           "type": "object",
                           "additionalProperties": false,
                           "required": [
-                            "status",
                             "summary",
                             "source_ids"
                           ],
@@ -443,7 +912,263 @@
                                 "conflict",
                                 "unknown"
                               ],
-                              "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。"
+                              "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。不带数量的判断写 status；带数量的写 formula，两者只写一个。"
+                            },
+                            "formula": {
+                              "description": "数值类检查写公式、不写 status：比较式（unit 写 bool），操作数用 quote（source_id 写本检查 source_ids 里的来源 id，或 limit:<限制 id> 引用户限制原文；text 逐字引含该量的原文，有几个量时给 index）或 choice（你的假设，写依据）。代码求值，真为 pass、假为 conflict。",
+                              "type": "object",
+                              "required": [
+                                "expression",
+                                "operands",
+                                "unit"
+                              ],
+                              "properties": {
+                                "expression": {
+                                  "type": "string",
+                                  "minLength": 1,
+                                  "maxLength": 256
+                                },
+                                "operands": {
+                                  "type": "object",
+                                  "propertyNames": {
+                                    "pattern": "^[a-z][a-z0-9_]{0,31}$"
+                                  },
+                                  "maxProperties": 16,
+                                  "additionalProperties": {
+                                    "description": "Formula 的操作数，与计算器 calc.evaluate 的操作数同形，另多一种引文来源：带值的写 {value, unit, source}；引文的只写 {source: {quote}}，不写值和单位（单位取引文里写的；没写单位的裸数是无量纲数）。",
+                                    "type": "object",
+                                    "oneOf": [
+                                      {
+                                        "required": [
+                                          "value",
+                                          "unit",
+                                          "source"
+                                        ],
+                                        "properties": {
+                                          "value": {
+                                            "type": "number"
+                                          },
+                                          "unit": {
+                                            "description": "求值核心（abelien-harness/scripts/calc）认得的单位符号，大小写有别。长度 um mm cm m in mil；角度 deg rad；时间 ms s min h；质量 g kg；电学 mA A mV V mW W mAh Ah mWh Wh；频率 Hz kHz MHz GHz；数据 B kB MB GB（按 1000）、KiB MiB GiB（按 1024）、bit bps kbps Mbps；无量纲 1 % count。",
+                                            "enum": [
+                                              "um",
+                                              "mm",
+                                              "cm",
+                                              "m",
+                                              "in",
+                                              "mil",
+                                              "deg",
+                                              "rad",
+                                              "ms",
+                                              "s",
+                                              "min",
+                                              "h",
+                                              "g",
+                                              "kg",
+                                              "mA",
+                                              "A",
+                                              "mV",
+                                              "V",
+                                              "mW",
+                                              "W",
+                                              "mAh",
+                                              "Ah",
+                                              "mWh",
+                                              "Wh",
+                                              "Hz",
+                                              "kHz",
+                                              "MHz",
+                                              "GHz",
+                                              "B",
+                                              "kB",
+                                              "MB",
+                                              "GB",
+                                              "KiB",
+                                              "MiB",
+                                              "GiB",
+                                              "bit",
+                                              "bps",
+                                              "kbps",
+                                              "Mbps",
+                                              "1",
+                                              "%",
+                                              "count"
+                                            ]
+                                          },
+                                          "source": {
+                                            "description": "带值操作数的来源，三选一。result：本步之前某个动作结果里的 JSON 指针；input：本节点任务视图冻结输入里的 JSON 指针；这两种的值由节点定稿逐一核对（verifyCalcReceipts），抄错就拒收回复。choice：模型的选择或假设，写依据；只要有一个操作数是 choice，结果就标为估算。",
+                                            "type": "object",
+                                            "oneOf": [
+                                              {
+                                                "required": [
+                                                  "result"
+                                                ],
+                                                "properties": {
+                                                  "result": {
+                                                    "type": "object",
+                                                    "required": [
+                                                      "action_id",
+                                                      "pointer"
+                                                    ],
+                                                    "properties": {
+                                                      "action_id": {
+                                                        "description": "稳定动作名：域名.动作，小写，可多段（例如 hardware.change-scope、structure.build）。",
+                                                        "type": "string",
+                                                        "pattern": "^[a-z][a-z0-9-]*(\\.[a-z][a-z0-9-]*)+$"
+                                                      },
+                                                      "pointer": {
+                                                        "type": "string",
+                                                        "maxLength": 512,
+                                                        "pattern": "^(?:/(?:[^~/]|~[01])*)*$"
+                                                      }
+                                                    },
+                                                    "additionalProperties": false
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              },
+                                              {
+                                                "required": [
+                                                  "input"
+                                                ],
+                                                "properties": {
+                                                  "input": {
+                                                    "type": "string",
+                                                    "maxLength": 512,
+                                                    "pattern": "^(?:/(?:[^~/]|~[01])*)*$"
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              },
+                                              {
+                                                "required": [
+                                                  "choice"
+                                                ],
+                                                "properties": {
+                                                  "choice": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 300
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              }
+                                            ]
+                                          }
+                                        },
+                                        "additionalProperties": false
+                                      },
+                                      {
+                                        "required": [
+                                          "source"
+                                        ],
+                                        "properties": {
+                                          "source": {
+                                            "type": "object",
+                                            "required": [
+                                              "quote"
+                                            ],
+                                            "properties": {
+                                              "quote": {
+                                                "description": "引文来源：text 是逐字引文，source_id 是它所在的页或 Wiki（硬件写 component_id，算法与参考写 page_id），由消费方核对引文确实在其中；值不由模型写，由消费方代码用核心的量值解析器从引文里取。引文里不止一个量时用 index（从 0 起）指出取第几个。",
+                                                "type": "object",
+                                                "required": [
+                                                  "text",
+                                                  "source_id"
+                                                ],
+                                                "properties": {
+                                                  "text": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 2000
+                                                  },
+                                                  "source_id": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 128
+                                                  },
+                                                  "index": {
+                                                    "type": "integer",
+                                                    "minimum": 0,
+                                                    "maximum": 63
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              }
+                                            },
+                                            "additionalProperties": false
+                                          }
+                                        },
+                                        "additionalProperties": false
+                                      }
+                                    ]
+                                  }
+                                },
+                                "unit": {
+                                  "description": "结果单位：CalcUnit 之一，量纲必须与表达式的结果相同；表达式是顶层比较时写 bool。",
+                                  "enum": [
+                                    "um",
+                                    "mm",
+                                    "cm",
+                                    "m",
+                                    "in",
+                                    "mil",
+                                    "deg",
+                                    "rad",
+                                    "ms",
+                                    "s",
+                                    "min",
+                                    "h",
+                                    "g",
+                                    "kg",
+                                    "mA",
+                                    "A",
+                                    "mV",
+                                    "V",
+                                    "mW",
+                                    "W",
+                                    "mAh",
+                                    "Ah",
+                                    "mWh",
+                                    "Wh",
+                                    "Hz",
+                                    "kHz",
+                                    "MHz",
+                                    "GHz",
+                                    "B",
+                                    "kB",
+                                    "MB",
+                                    "GB",
+                                    "KiB",
+                                    "MiB",
+                                    "GiB",
+                                    "bit",
+                                    "bps",
+                                    "kbps",
+                                    "Mbps",
+                                    "1",
+                                    "%",
+                                    "count",
+                                    "bool"
+                                  ]
+                                },
+                                "round": {
+                                  "description": "可选：按结果单位保留的小数位数，银行家舍入。",
+                                  "type": "object",
+                                  "required": [
+                                    "places"
+                                  ],
+                                  "properties": {
+                                    "places": {
+                                      "type": "integer",
+                                      "minimum": 0,
+                                      "maximum": 12
+                                    }
+                                  },
+                                  "additionalProperties": false
+                                }
+                              },
+                              "additionalProperties": false
                             },
                             "summary": {
                               "type": "string",
@@ -463,7 +1188,6 @@
                           "type": "object",
                           "additionalProperties": false,
                           "required": [
-                            "status",
                             "summary",
                             "source_ids"
                           ],
@@ -474,7 +1198,263 @@
                                 "conflict",
                                 "unknown"
                               ],
-                              "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。"
+                              "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。不带数量的判断写 status；带数量的写 formula，两者只写一个。"
+                            },
+                            "formula": {
+                              "description": "数值类检查写公式、不写 status：比较式（unit 写 bool），操作数用 quote（source_id 写本检查 source_ids 里的来源 id，或 limit:<限制 id> 引用户限制原文；text 逐字引含该量的原文，有几个量时给 index）或 choice（你的假设，写依据）。代码求值，真为 pass、假为 conflict。",
+                              "type": "object",
+                              "required": [
+                                "expression",
+                                "operands",
+                                "unit"
+                              ],
+                              "properties": {
+                                "expression": {
+                                  "type": "string",
+                                  "minLength": 1,
+                                  "maxLength": 256
+                                },
+                                "operands": {
+                                  "type": "object",
+                                  "propertyNames": {
+                                    "pattern": "^[a-z][a-z0-9_]{0,31}$"
+                                  },
+                                  "maxProperties": 16,
+                                  "additionalProperties": {
+                                    "description": "Formula 的操作数，与计算器 calc.evaluate 的操作数同形，另多一种引文来源：带值的写 {value, unit, source}；引文的只写 {source: {quote}}，不写值和单位（单位取引文里写的；没写单位的裸数是无量纲数）。",
+                                    "type": "object",
+                                    "oneOf": [
+                                      {
+                                        "required": [
+                                          "value",
+                                          "unit",
+                                          "source"
+                                        ],
+                                        "properties": {
+                                          "value": {
+                                            "type": "number"
+                                          },
+                                          "unit": {
+                                            "description": "求值核心（abelien-harness/scripts/calc）认得的单位符号，大小写有别。长度 um mm cm m in mil；角度 deg rad；时间 ms s min h；质量 g kg；电学 mA A mV V mW W mAh Ah mWh Wh；频率 Hz kHz MHz GHz；数据 B kB MB GB（按 1000）、KiB MiB GiB（按 1024）、bit bps kbps Mbps；无量纲 1 % count。",
+                                            "enum": [
+                                              "um",
+                                              "mm",
+                                              "cm",
+                                              "m",
+                                              "in",
+                                              "mil",
+                                              "deg",
+                                              "rad",
+                                              "ms",
+                                              "s",
+                                              "min",
+                                              "h",
+                                              "g",
+                                              "kg",
+                                              "mA",
+                                              "A",
+                                              "mV",
+                                              "V",
+                                              "mW",
+                                              "W",
+                                              "mAh",
+                                              "Ah",
+                                              "mWh",
+                                              "Wh",
+                                              "Hz",
+                                              "kHz",
+                                              "MHz",
+                                              "GHz",
+                                              "B",
+                                              "kB",
+                                              "MB",
+                                              "GB",
+                                              "KiB",
+                                              "MiB",
+                                              "GiB",
+                                              "bit",
+                                              "bps",
+                                              "kbps",
+                                              "Mbps",
+                                              "1",
+                                              "%",
+                                              "count"
+                                            ]
+                                          },
+                                          "source": {
+                                            "description": "带值操作数的来源，三选一。result：本步之前某个动作结果里的 JSON 指针；input：本节点任务视图冻结输入里的 JSON 指针；这两种的值由节点定稿逐一核对（verifyCalcReceipts），抄错就拒收回复。choice：模型的选择或假设，写依据；只要有一个操作数是 choice，结果就标为估算。",
+                                            "type": "object",
+                                            "oneOf": [
+                                              {
+                                                "required": [
+                                                  "result"
+                                                ],
+                                                "properties": {
+                                                  "result": {
+                                                    "type": "object",
+                                                    "required": [
+                                                      "action_id",
+                                                      "pointer"
+                                                    ],
+                                                    "properties": {
+                                                      "action_id": {
+                                                        "description": "稳定动作名：域名.动作，小写，可多段（例如 hardware.change-scope、structure.build）。",
+                                                        "type": "string",
+                                                        "pattern": "^[a-z][a-z0-9-]*(\\.[a-z][a-z0-9-]*)+$"
+                                                      },
+                                                      "pointer": {
+                                                        "type": "string",
+                                                        "maxLength": 512,
+                                                        "pattern": "^(?:/(?:[^~/]|~[01])*)*$"
+                                                      }
+                                                    },
+                                                    "additionalProperties": false
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              },
+                                              {
+                                                "required": [
+                                                  "input"
+                                                ],
+                                                "properties": {
+                                                  "input": {
+                                                    "type": "string",
+                                                    "maxLength": 512,
+                                                    "pattern": "^(?:/(?:[^~/]|~[01])*)*$"
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              },
+                                              {
+                                                "required": [
+                                                  "choice"
+                                                ],
+                                                "properties": {
+                                                  "choice": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 300
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              }
+                                            ]
+                                          }
+                                        },
+                                        "additionalProperties": false
+                                      },
+                                      {
+                                        "required": [
+                                          "source"
+                                        ],
+                                        "properties": {
+                                          "source": {
+                                            "type": "object",
+                                            "required": [
+                                              "quote"
+                                            ],
+                                            "properties": {
+                                              "quote": {
+                                                "description": "引文来源：text 是逐字引文，source_id 是它所在的页或 Wiki（硬件写 component_id，算法与参考写 page_id），由消费方核对引文确实在其中；值不由模型写，由消费方代码用核心的量值解析器从引文里取。引文里不止一个量时用 index（从 0 起）指出取第几个。",
+                                                "type": "object",
+                                                "required": [
+                                                  "text",
+                                                  "source_id"
+                                                ],
+                                                "properties": {
+                                                  "text": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 2000
+                                                  },
+                                                  "source_id": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 128
+                                                  },
+                                                  "index": {
+                                                    "type": "integer",
+                                                    "minimum": 0,
+                                                    "maximum": 63
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              }
+                                            },
+                                            "additionalProperties": false
+                                          }
+                                        },
+                                        "additionalProperties": false
+                                      }
+                                    ]
+                                  }
+                                },
+                                "unit": {
+                                  "description": "结果单位：CalcUnit 之一，量纲必须与表达式的结果相同；表达式是顶层比较时写 bool。",
+                                  "enum": [
+                                    "um",
+                                    "mm",
+                                    "cm",
+                                    "m",
+                                    "in",
+                                    "mil",
+                                    "deg",
+                                    "rad",
+                                    "ms",
+                                    "s",
+                                    "min",
+                                    "h",
+                                    "g",
+                                    "kg",
+                                    "mA",
+                                    "A",
+                                    "mV",
+                                    "V",
+                                    "mW",
+                                    "W",
+                                    "mAh",
+                                    "Ah",
+                                    "mWh",
+                                    "Wh",
+                                    "Hz",
+                                    "kHz",
+                                    "MHz",
+                                    "GHz",
+                                    "B",
+                                    "kB",
+                                    "MB",
+                                    "GB",
+                                    "KiB",
+                                    "MiB",
+                                    "GiB",
+                                    "bit",
+                                    "bps",
+                                    "kbps",
+                                    "Mbps",
+                                    "1",
+                                    "%",
+                                    "count",
+                                    "bool"
+                                  ]
+                                },
+                                "round": {
+                                  "description": "可选：按结果单位保留的小数位数，银行家舍入。",
+                                  "type": "object",
+                                  "required": [
+                                    "places"
+                                  ],
+                                  "properties": {
+                                    "places": {
+                                      "type": "integer",
+                                      "minimum": 0,
+                                      "maximum": 12
+                                    }
+                                  },
+                                  "additionalProperties": false
+                                }
+                              },
+                              "additionalProperties": false
                             },
                             "summary": {
                               "type": "string",
@@ -494,7 +1474,6 @@
                           "type": "object",
                           "additionalProperties": false,
                           "required": [
-                            "status",
                             "summary",
                             "source_ids"
                           ],
@@ -505,7 +1484,263 @@
                                 "conflict",
                                 "unknown"
                               ],
-                              "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。"
+                              "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。不带数量的判断写 status；带数量的写 formula，两者只写一个。"
+                            },
+                            "formula": {
+                              "description": "数值类检查写公式、不写 status：比较式（unit 写 bool），操作数用 quote（source_id 写本检查 source_ids 里的来源 id，或 limit:<限制 id> 引用户限制原文；text 逐字引含该量的原文，有几个量时给 index）或 choice（你的假设，写依据）。代码求值，真为 pass、假为 conflict。",
+                              "type": "object",
+                              "required": [
+                                "expression",
+                                "operands",
+                                "unit"
+                              ],
+                              "properties": {
+                                "expression": {
+                                  "type": "string",
+                                  "minLength": 1,
+                                  "maxLength": 256
+                                },
+                                "operands": {
+                                  "type": "object",
+                                  "propertyNames": {
+                                    "pattern": "^[a-z][a-z0-9_]{0,31}$"
+                                  },
+                                  "maxProperties": 16,
+                                  "additionalProperties": {
+                                    "description": "Formula 的操作数，与计算器 calc.evaluate 的操作数同形，另多一种引文来源：带值的写 {value, unit, source}；引文的只写 {source: {quote}}，不写值和单位（单位取引文里写的；没写单位的裸数是无量纲数）。",
+                                    "type": "object",
+                                    "oneOf": [
+                                      {
+                                        "required": [
+                                          "value",
+                                          "unit",
+                                          "source"
+                                        ],
+                                        "properties": {
+                                          "value": {
+                                            "type": "number"
+                                          },
+                                          "unit": {
+                                            "description": "求值核心（abelien-harness/scripts/calc）认得的单位符号，大小写有别。长度 um mm cm m in mil；角度 deg rad；时间 ms s min h；质量 g kg；电学 mA A mV V mW W mAh Ah mWh Wh；频率 Hz kHz MHz GHz；数据 B kB MB GB（按 1000）、KiB MiB GiB（按 1024）、bit bps kbps Mbps；无量纲 1 % count。",
+                                            "enum": [
+                                              "um",
+                                              "mm",
+                                              "cm",
+                                              "m",
+                                              "in",
+                                              "mil",
+                                              "deg",
+                                              "rad",
+                                              "ms",
+                                              "s",
+                                              "min",
+                                              "h",
+                                              "g",
+                                              "kg",
+                                              "mA",
+                                              "A",
+                                              "mV",
+                                              "V",
+                                              "mW",
+                                              "W",
+                                              "mAh",
+                                              "Ah",
+                                              "mWh",
+                                              "Wh",
+                                              "Hz",
+                                              "kHz",
+                                              "MHz",
+                                              "GHz",
+                                              "B",
+                                              "kB",
+                                              "MB",
+                                              "GB",
+                                              "KiB",
+                                              "MiB",
+                                              "GiB",
+                                              "bit",
+                                              "bps",
+                                              "kbps",
+                                              "Mbps",
+                                              "1",
+                                              "%",
+                                              "count"
+                                            ]
+                                          },
+                                          "source": {
+                                            "description": "带值操作数的来源，三选一。result：本步之前某个动作结果里的 JSON 指针；input：本节点任务视图冻结输入里的 JSON 指针；这两种的值由节点定稿逐一核对（verifyCalcReceipts），抄错就拒收回复。choice：模型的选择或假设，写依据；只要有一个操作数是 choice，结果就标为估算。",
+                                            "type": "object",
+                                            "oneOf": [
+                                              {
+                                                "required": [
+                                                  "result"
+                                                ],
+                                                "properties": {
+                                                  "result": {
+                                                    "type": "object",
+                                                    "required": [
+                                                      "action_id",
+                                                      "pointer"
+                                                    ],
+                                                    "properties": {
+                                                      "action_id": {
+                                                        "description": "稳定动作名：域名.动作，小写，可多段（例如 hardware.change-scope、structure.build）。",
+                                                        "type": "string",
+                                                        "pattern": "^[a-z][a-z0-9-]*(\\.[a-z][a-z0-9-]*)+$"
+                                                      },
+                                                      "pointer": {
+                                                        "type": "string",
+                                                        "maxLength": 512,
+                                                        "pattern": "^(?:/(?:[^~/]|~[01])*)*$"
+                                                      }
+                                                    },
+                                                    "additionalProperties": false
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              },
+                                              {
+                                                "required": [
+                                                  "input"
+                                                ],
+                                                "properties": {
+                                                  "input": {
+                                                    "type": "string",
+                                                    "maxLength": 512,
+                                                    "pattern": "^(?:/(?:[^~/]|~[01])*)*$"
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              },
+                                              {
+                                                "required": [
+                                                  "choice"
+                                                ],
+                                                "properties": {
+                                                  "choice": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 300
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              }
+                                            ]
+                                          }
+                                        },
+                                        "additionalProperties": false
+                                      },
+                                      {
+                                        "required": [
+                                          "source"
+                                        ],
+                                        "properties": {
+                                          "source": {
+                                            "type": "object",
+                                            "required": [
+                                              "quote"
+                                            ],
+                                            "properties": {
+                                              "quote": {
+                                                "description": "引文来源：text 是逐字引文，source_id 是它所在的页或 Wiki（硬件写 component_id，算法与参考写 page_id），由消费方核对引文确实在其中；值不由模型写，由消费方代码用核心的量值解析器从引文里取。引文里不止一个量时用 index（从 0 起）指出取第几个。",
+                                                "type": "object",
+                                                "required": [
+                                                  "text",
+                                                  "source_id"
+                                                ],
+                                                "properties": {
+                                                  "text": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 2000
+                                                  },
+                                                  "source_id": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 128
+                                                  },
+                                                  "index": {
+                                                    "type": "integer",
+                                                    "minimum": 0,
+                                                    "maximum": 63
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              }
+                                            },
+                                            "additionalProperties": false
+                                          }
+                                        },
+                                        "additionalProperties": false
+                                      }
+                                    ]
+                                  }
+                                },
+                                "unit": {
+                                  "description": "结果单位：CalcUnit 之一，量纲必须与表达式的结果相同；表达式是顶层比较时写 bool。",
+                                  "enum": [
+                                    "um",
+                                    "mm",
+                                    "cm",
+                                    "m",
+                                    "in",
+                                    "mil",
+                                    "deg",
+                                    "rad",
+                                    "ms",
+                                    "s",
+                                    "min",
+                                    "h",
+                                    "g",
+                                    "kg",
+                                    "mA",
+                                    "A",
+                                    "mV",
+                                    "V",
+                                    "mW",
+                                    "W",
+                                    "mAh",
+                                    "Ah",
+                                    "mWh",
+                                    "Wh",
+                                    "Hz",
+                                    "kHz",
+                                    "MHz",
+                                    "GHz",
+                                    "B",
+                                    "kB",
+                                    "MB",
+                                    "GB",
+                                    "KiB",
+                                    "MiB",
+                                    "GiB",
+                                    "bit",
+                                    "bps",
+                                    "kbps",
+                                    "Mbps",
+                                    "1",
+                                    "%",
+                                    "count",
+                                    "bool"
+                                  ]
+                                },
+                                "round": {
+                                  "description": "可选：按结果单位保留的小数位数，银行家舍入。",
+                                  "type": "object",
+                                  "required": [
+                                    "places"
+                                  ],
+                                  "properties": {
+                                    "places": {
+                                      "type": "integer",
+                                      "minimum": 0,
+                                      "maximum": 12
+                                    }
+                                  },
+                                  "additionalProperties": false
+                                }
+                              },
+                              "additionalProperties": false
                             },
                             "summary": {
                               "type": "string",
@@ -525,7 +1760,6 @@
                           "type": "object",
                           "additionalProperties": false,
                           "required": [
-                            "status",
                             "summary",
                             "source_ids"
                           ],
@@ -536,7 +1770,263 @@
                                 "conflict",
                                 "unknown"
                               ],
-                              "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。"
+                              "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。不带数量的判断写 status；带数量的写 formula，两者只写一个。"
+                            },
+                            "formula": {
+                              "description": "数值类检查写公式、不写 status：比较式（unit 写 bool），操作数用 quote（source_id 写本检查 source_ids 里的来源 id，或 limit:<限制 id> 引用户限制原文；text 逐字引含该量的原文，有几个量时给 index）或 choice（你的假设，写依据）。代码求值，真为 pass、假为 conflict。",
+                              "type": "object",
+                              "required": [
+                                "expression",
+                                "operands",
+                                "unit"
+                              ],
+                              "properties": {
+                                "expression": {
+                                  "type": "string",
+                                  "minLength": 1,
+                                  "maxLength": 256
+                                },
+                                "operands": {
+                                  "type": "object",
+                                  "propertyNames": {
+                                    "pattern": "^[a-z][a-z0-9_]{0,31}$"
+                                  },
+                                  "maxProperties": 16,
+                                  "additionalProperties": {
+                                    "description": "Formula 的操作数，与计算器 calc.evaluate 的操作数同形，另多一种引文来源：带值的写 {value, unit, source}；引文的只写 {source: {quote}}，不写值和单位（单位取引文里写的；没写单位的裸数是无量纲数）。",
+                                    "type": "object",
+                                    "oneOf": [
+                                      {
+                                        "required": [
+                                          "value",
+                                          "unit",
+                                          "source"
+                                        ],
+                                        "properties": {
+                                          "value": {
+                                            "type": "number"
+                                          },
+                                          "unit": {
+                                            "description": "求值核心（abelien-harness/scripts/calc）认得的单位符号，大小写有别。长度 um mm cm m in mil；角度 deg rad；时间 ms s min h；质量 g kg；电学 mA A mV V mW W mAh Ah mWh Wh；频率 Hz kHz MHz GHz；数据 B kB MB GB（按 1000）、KiB MiB GiB（按 1024）、bit bps kbps Mbps；无量纲 1 % count。",
+                                            "enum": [
+                                              "um",
+                                              "mm",
+                                              "cm",
+                                              "m",
+                                              "in",
+                                              "mil",
+                                              "deg",
+                                              "rad",
+                                              "ms",
+                                              "s",
+                                              "min",
+                                              "h",
+                                              "g",
+                                              "kg",
+                                              "mA",
+                                              "A",
+                                              "mV",
+                                              "V",
+                                              "mW",
+                                              "W",
+                                              "mAh",
+                                              "Ah",
+                                              "mWh",
+                                              "Wh",
+                                              "Hz",
+                                              "kHz",
+                                              "MHz",
+                                              "GHz",
+                                              "B",
+                                              "kB",
+                                              "MB",
+                                              "GB",
+                                              "KiB",
+                                              "MiB",
+                                              "GiB",
+                                              "bit",
+                                              "bps",
+                                              "kbps",
+                                              "Mbps",
+                                              "1",
+                                              "%",
+                                              "count"
+                                            ]
+                                          },
+                                          "source": {
+                                            "description": "带值操作数的来源，三选一。result：本步之前某个动作结果里的 JSON 指针；input：本节点任务视图冻结输入里的 JSON 指针；这两种的值由节点定稿逐一核对（verifyCalcReceipts），抄错就拒收回复。choice：模型的选择或假设，写依据；只要有一个操作数是 choice，结果就标为估算。",
+                                            "type": "object",
+                                            "oneOf": [
+                                              {
+                                                "required": [
+                                                  "result"
+                                                ],
+                                                "properties": {
+                                                  "result": {
+                                                    "type": "object",
+                                                    "required": [
+                                                      "action_id",
+                                                      "pointer"
+                                                    ],
+                                                    "properties": {
+                                                      "action_id": {
+                                                        "description": "稳定动作名：域名.动作，小写，可多段（例如 hardware.change-scope、structure.build）。",
+                                                        "type": "string",
+                                                        "pattern": "^[a-z][a-z0-9-]*(\\.[a-z][a-z0-9-]*)+$"
+                                                      },
+                                                      "pointer": {
+                                                        "type": "string",
+                                                        "maxLength": 512,
+                                                        "pattern": "^(?:/(?:[^~/]|~[01])*)*$"
+                                                      }
+                                                    },
+                                                    "additionalProperties": false
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              },
+                                              {
+                                                "required": [
+                                                  "input"
+                                                ],
+                                                "properties": {
+                                                  "input": {
+                                                    "type": "string",
+                                                    "maxLength": 512,
+                                                    "pattern": "^(?:/(?:[^~/]|~[01])*)*$"
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              },
+                                              {
+                                                "required": [
+                                                  "choice"
+                                                ],
+                                                "properties": {
+                                                  "choice": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 300
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              }
+                                            ]
+                                          }
+                                        },
+                                        "additionalProperties": false
+                                      },
+                                      {
+                                        "required": [
+                                          "source"
+                                        ],
+                                        "properties": {
+                                          "source": {
+                                            "type": "object",
+                                            "required": [
+                                              "quote"
+                                            ],
+                                            "properties": {
+                                              "quote": {
+                                                "description": "引文来源：text 是逐字引文，source_id 是它所在的页或 Wiki（硬件写 component_id，算法与参考写 page_id），由消费方核对引文确实在其中；值不由模型写，由消费方代码用核心的量值解析器从引文里取。引文里不止一个量时用 index（从 0 起）指出取第几个。",
+                                                "type": "object",
+                                                "required": [
+                                                  "text",
+                                                  "source_id"
+                                                ],
+                                                "properties": {
+                                                  "text": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 2000
+                                                  },
+                                                  "source_id": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 128
+                                                  },
+                                                  "index": {
+                                                    "type": "integer",
+                                                    "minimum": 0,
+                                                    "maximum": 63
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              }
+                                            },
+                                            "additionalProperties": false
+                                          }
+                                        },
+                                        "additionalProperties": false
+                                      }
+                                    ]
+                                  }
+                                },
+                                "unit": {
+                                  "description": "结果单位：CalcUnit 之一，量纲必须与表达式的结果相同；表达式是顶层比较时写 bool。",
+                                  "enum": [
+                                    "um",
+                                    "mm",
+                                    "cm",
+                                    "m",
+                                    "in",
+                                    "mil",
+                                    "deg",
+                                    "rad",
+                                    "ms",
+                                    "s",
+                                    "min",
+                                    "h",
+                                    "g",
+                                    "kg",
+                                    "mA",
+                                    "A",
+                                    "mV",
+                                    "V",
+                                    "mW",
+                                    "W",
+                                    "mAh",
+                                    "Ah",
+                                    "mWh",
+                                    "Wh",
+                                    "Hz",
+                                    "kHz",
+                                    "MHz",
+                                    "GHz",
+                                    "B",
+                                    "kB",
+                                    "MB",
+                                    "GB",
+                                    "KiB",
+                                    "MiB",
+                                    "GiB",
+                                    "bit",
+                                    "bps",
+                                    "kbps",
+                                    "Mbps",
+                                    "1",
+                                    "%",
+                                    "count",
+                                    "bool"
+                                  ]
+                                },
+                                "round": {
+                                  "description": "可选：按结果单位保留的小数位数，银行家舍入。",
+                                  "type": "object",
+                                  "required": [
+                                    "places"
+                                  ],
+                                  "properties": {
+                                    "places": {
+                                      "type": "integer",
+                                      "minimum": 0,
+                                      "maximum": 12
+                                    }
+                                  },
+                                  "additionalProperties": false
+                                }
+                              },
+                              "additionalProperties": false
                             },
                             "summary": {
                               "type": "string",
@@ -556,7 +2046,6 @@
                           "type": "object",
                           "additionalProperties": false,
                           "required": [
-                            "status",
                             "summary",
                             "source_ids"
                           ],
@@ -567,7 +2056,263 @@
                                 "conflict",
                                 "unknown"
                               ],
-                              "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。"
+                              "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。不带数量的判断写 status；带数量的写 formula，两者只写一个。"
+                            },
+                            "formula": {
+                              "description": "数值类检查写公式、不写 status：比较式（unit 写 bool），操作数用 quote（source_id 写本检查 source_ids 里的来源 id，或 limit:<限制 id> 引用户限制原文；text 逐字引含该量的原文，有几个量时给 index）或 choice（你的假设，写依据）。代码求值，真为 pass、假为 conflict。",
+                              "type": "object",
+                              "required": [
+                                "expression",
+                                "operands",
+                                "unit"
+                              ],
+                              "properties": {
+                                "expression": {
+                                  "type": "string",
+                                  "minLength": 1,
+                                  "maxLength": 256
+                                },
+                                "operands": {
+                                  "type": "object",
+                                  "propertyNames": {
+                                    "pattern": "^[a-z][a-z0-9_]{0,31}$"
+                                  },
+                                  "maxProperties": 16,
+                                  "additionalProperties": {
+                                    "description": "Formula 的操作数，与计算器 calc.evaluate 的操作数同形，另多一种引文来源：带值的写 {value, unit, source}；引文的只写 {source: {quote}}，不写值和单位（单位取引文里写的；没写单位的裸数是无量纲数）。",
+                                    "type": "object",
+                                    "oneOf": [
+                                      {
+                                        "required": [
+                                          "value",
+                                          "unit",
+                                          "source"
+                                        ],
+                                        "properties": {
+                                          "value": {
+                                            "type": "number"
+                                          },
+                                          "unit": {
+                                            "description": "求值核心（abelien-harness/scripts/calc）认得的单位符号，大小写有别。长度 um mm cm m in mil；角度 deg rad；时间 ms s min h；质量 g kg；电学 mA A mV V mW W mAh Ah mWh Wh；频率 Hz kHz MHz GHz；数据 B kB MB GB（按 1000）、KiB MiB GiB（按 1024）、bit bps kbps Mbps；无量纲 1 % count。",
+                                            "enum": [
+                                              "um",
+                                              "mm",
+                                              "cm",
+                                              "m",
+                                              "in",
+                                              "mil",
+                                              "deg",
+                                              "rad",
+                                              "ms",
+                                              "s",
+                                              "min",
+                                              "h",
+                                              "g",
+                                              "kg",
+                                              "mA",
+                                              "A",
+                                              "mV",
+                                              "V",
+                                              "mW",
+                                              "W",
+                                              "mAh",
+                                              "Ah",
+                                              "mWh",
+                                              "Wh",
+                                              "Hz",
+                                              "kHz",
+                                              "MHz",
+                                              "GHz",
+                                              "B",
+                                              "kB",
+                                              "MB",
+                                              "GB",
+                                              "KiB",
+                                              "MiB",
+                                              "GiB",
+                                              "bit",
+                                              "bps",
+                                              "kbps",
+                                              "Mbps",
+                                              "1",
+                                              "%",
+                                              "count"
+                                            ]
+                                          },
+                                          "source": {
+                                            "description": "带值操作数的来源，三选一。result：本步之前某个动作结果里的 JSON 指针；input：本节点任务视图冻结输入里的 JSON 指针；这两种的值由节点定稿逐一核对（verifyCalcReceipts），抄错就拒收回复。choice：模型的选择或假设，写依据；只要有一个操作数是 choice，结果就标为估算。",
+                                            "type": "object",
+                                            "oneOf": [
+                                              {
+                                                "required": [
+                                                  "result"
+                                                ],
+                                                "properties": {
+                                                  "result": {
+                                                    "type": "object",
+                                                    "required": [
+                                                      "action_id",
+                                                      "pointer"
+                                                    ],
+                                                    "properties": {
+                                                      "action_id": {
+                                                        "description": "稳定动作名：域名.动作，小写，可多段（例如 hardware.change-scope、structure.build）。",
+                                                        "type": "string",
+                                                        "pattern": "^[a-z][a-z0-9-]*(\\.[a-z][a-z0-9-]*)+$"
+                                                      },
+                                                      "pointer": {
+                                                        "type": "string",
+                                                        "maxLength": 512,
+                                                        "pattern": "^(?:/(?:[^~/]|~[01])*)*$"
+                                                      }
+                                                    },
+                                                    "additionalProperties": false
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              },
+                                              {
+                                                "required": [
+                                                  "input"
+                                                ],
+                                                "properties": {
+                                                  "input": {
+                                                    "type": "string",
+                                                    "maxLength": 512,
+                                                    "pattern": "^(?:/(?:[^~/]|~[01])*)*$"
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              },
+                                              {
+                                                "required": [
+                                                  "choice"
+                                                ],
+                                                "properties": {
+                                                  "choice": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 300
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              }
+                                            ]
+                                          }
+                                        },
+                                        "additionalProperties": false
+                                      },
+                                      {
+                                        "required": [
+                                          "source"
+                                        ],
+                                        "properties": {
+                                          "source": {
+                                            "type": "object",
+                                            "required": [
+                                              "quote"
+                                            ],
+                                            "properties": {
+                                              "quote": {
+                                                "description": "引文来源：text 是逐字引文，source_id 是它所在的页或 Wiki（硬件写 component_id，算法与参考写 page_id），由消费方核对引文确实在其中；值不由模型写，由消费方代码用核心的量值解析器从引文里取。引文里不止一个量时用 index（从 0 起）指出取第几个。",
+                                                "type": "object",
+                                                "required": [
+                                                  "text",
+                                                  "source_id"
+                                                ],
+                                                "properties": {
+                                                  "text": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 2000
+                                                  },
+                                                  "source_id": {
+                                                    "type": "string",
+                                                    "minLength": 1,
+                                                    "maxLength": 128
+                                                  },
+                                                  "index": {
+                                                    "type": "integer",
+                                                    "minimum": 0,
+                                                    "maximum": 63
+                                                  }
+                                                },
+                                                "additionalProperties": false
+                                              }
+                                            },
+                                            "additionalProperties": false
+                                          }
+                                        },
+                                        "additionalProperties": false
+                                      }
+                                    ]
+                                  }
+                                },
+                                "unit": {
+                                  "description": "结果单位：CalcUnit 之一，量纲必须与表达式的结果相同；表达式是顶层比较时写 bool。",
+                                  "enum": [
+                                    "um",
+                                    "mm",
+                                    "cm",
+                                    "m",
+                                    "in",
+                                    "mil",
+                                    "deg",
+                                    "rad",
+                                    "ms",
+                                    "s",
+                                    "min",
+                                    "h",
+                                    "g",
+                                    "kg",
+                                    "mA",
+                                    "A",
+                                    "mV",
+                                    "V",
+                                    "mW",
+                                    "W",
+                                    "mAh",
+                                    "Ah",
+                                    "mWh",
+                                    "Wh",
+                                    "Hz",
+                                    "kHz",
+                                    "MHz",
+                                    "GHz",
+                                    "B",
+                                    "kB",
+                                    "MB",
+                                    "GB",
+                                    "KiB",
+                                    "MiB",
+                                    "GiB",
+                                    "bit",
+                                    "bps",
+                                    "kbps",
+                                    "Mbps",
+                                    "1",
+                                    "%",
+                                    "count",
+                                    "bool"
+                                  ]
+                                },
+                                "round": {
+                                  "description": "可选：按结果单位保留的小数位数，银行家舍入。",
+                                  "type": "object",
+                                  "required": [
+                                    "places"
+                                  ],
+                                  "properties": {
+                                    "places": {
+                                      "type": "integer",
+                                      "minimum": 0,
+                                      "maximum": 12
+                                    }
+                                  },
+                                  "additionalProperties": false
+                                }
+                              },
+                              "additionalProperties": false
                             },
                             "summary": {
                               "type": "string",
@@ -581,19 +2326,19 @@
                               },
                               "description": "支撑这条判断的 sources[].id。"
                             }
-                          }
+                          },
+                          "description": "候选 needs 里写了数量（内存、存储、算力）时必须写 formula，比较所需与板上可用。"
                         }
                       }
                     },
                     "constraint_checks": {
                       "type": "array",
-                      "description": "需求里每条非 preference 的 limits 各一条。",
+                      "description": "需求里每条非 preference、不带 envelope 的 limits 各一条（带 envelope 的尺寸限制由硬件与结构按包络检查）；限制原文带数量时写 formula。",
                       "items": {
                         "type": "object",
                         "additionalProperties": false,
                         "required": [
                           "constraint_id",
-                          "status",
                           "summary",
                           "source_ids"
                         ],
@@ -606,8 +2351,266 @@
                             "enum": [
                               "pass",
                               "conflict",
-                              "unknown"
-                            ]
+                              "unknown",
+                              "not_applicable"
+                            ],
+                            "description": "不带数量的限制写 status；带数量的写 formula，两者只写一个。这条限制与本绑定的实现无关时写 not_applicable 并在 summary 说明理由（不写 formula）。"
+                          },
+                          "formula": {
+                            "description": "数值类检查写公式、不写 status：比较式（unit 写 bool），操作数用 quote（source_id 写本检查 source_ids 里的来源 id，或 limit:<限制 id> 引用户限制原文；text 逐字引含该量的原文，有几个量时给 index）或 choice（你的假设，写依据）。代码求值，真为 pass、假为 conflict。",
+                            "type": "object",
+                            "required": [
+                              "expression",
+                              "operands",
+                              "unit"
+                            ],
+                            "properties": {
+                              "expression": {
+                                "type": "string",
+                                "minLength": 1,
+                                "maxLength": 256
+                              },
+                              "operands": {
+                                "type": "object",
+                                "propertyNames": {
+                                  "pattern": "^[a-z][a-z0-9_]{0,31}$"
+                                },
+                                "maxProperties": 16,
+                                "additionalProperties": {
+                                  "description": "Formula 的操作数，与计算器 calc.evaluate 的操作数同形，另多一种引文来源：带值的写 {value, unit, source}；引文的只写 {source: {quote}}，不写值和单位（单位取引文里写的；没写单位的裸数是无量纲数）。",
+                                  "type": "object",
+                                  "oneOf": [
+                                    {
+                                      "required": [
+                                        "value",
+                                        "unit",
+                                        "source"
+                                      ],
+                                      "properties": {
+                                        "value": {
+                                          "type": "number"
+                                        },
+                                        "unit": {
+                                          "description": "求值核心（abelien-harness/scripts/calc）认得的单位符号，大小写有别。长度 um mm cm m in mil；角度 deg rad；时间 ms s min h；质量 g kg；电学 mA A mV V mW W mAh Ah mWh Wh；频率 Hz kHz MHz GHz；数据 B kB MB GB（按 1000）、KiB MiB GiB（按 1024）、bit bps kbps Mbps；无量纲 1 % count。",
+                                          "enum": [
+                                            "um",
+                                            "mm",
+                                            "cm",
+                                            "m",
+                                            "in",
+                                            "mil",
+                                            "deg",
+                                            "rad",
+                                            "ms",
+                                            "s",
+                                            "min",
+                                            "h",
+                                            "g",
+                                            "kg",
+                                            "mA",
+                                            "A",
+                                            "mV",
+                                            "V",
+                                            "mW",
+                                            "W",
+                                            "mAh",
+                                            "Ah",
+                                            "mWh",
+                                            "Wh",
+                                            "Hz",
+                                            "kHz",
+                                            "MHz",
+                                            "GHz",
+                                            "B",
+                                            "kB",
+                                            "MB",
+                                            "GB",
+                                            "KiB",
+                                            "MiB",
+                                            "GiB",
+                                            "bit",
+                                            "bps",
+                                            "kbps",
+                                            "Mbps",
+                                            "1",
+                                            "%",
+                                            "count"
+                                          ]
+                                        },
+                                        "source": {
+                                          "description": "带值操作数的来源，三选一。result：本步之前某个动作结果里的 JSON 指针；input：本节点任务视图冻结输入里的 JSON 指针；这两种的值由节点定稿逐一核对（verifyCalcReceipts），抄错就拒收回复。choice：模型的选择或假设，写依据；只要有一个操作数是 choice，结果就标为估算。",
+                                          "type": "object",
+                                          "oneOf": [
+                                            {
+                                              "required": [
+                                                "result"
+                                              ],
+                                              "properties": {
+                                                "result": {
+                                                  "type": "object",
+                                                  "required": [
+                                                    "action_id",
+                                                    "pointer"
+                                                  ],
+                                                  "properties": {
+                                                    "action_id": {
+                                                      "description": "稳定动作名：域名.动作，小写，可多段（例如 hardware.change-scope、structure.build）。",
+                                                      "type": "string",
+                                                      "pattern": "^[a-z][a-z0-9-]*(\\.[a-z][a-z0-9-]*)+$"
+                                                    },
+                                                    "pointer": {
+                                                      "type": "string",
+                                                      "maxLength": 512,
+                                                      "pattern": "^(?:/(?:[^~/]|~[01])*)*$"
+                                                    }
+                                                  },
+                                                  "additionalProperties": false
+                                                }
+                                              },
+                                              "additionalProperties": false
+                                            },
+                                            {
+                                              "required": [
+                                                "input"
+                                              ],
+                                              "properties": {
+                                                "input": {
+                                                  "type": "string",
+                                                  "maxLength": 512,
+                                                  "pattern": "^(?:/(?:[^~/]|~[01])*)*$"
+                                                }
+                                              },
+                                              "additionalProperties": false
+                                            },
+                                            {
+                                              "required": [
+                                                "choice"
+                                              ],
+                                              "properties": {
+                                                "choice": {
+                                                  "type": "string",
+                                                  "minLength": 1,
+                                                  "maxLength": 300
+                                                }
+                                              },
+                                              "additionalProperties": false
+                                            }
+                                          ]
+                                        }
+                                      },
+                                      "additionalProperties": false
+                                    },
+                                    {
+                                      "required": [
+                                        "source"
+                                      ],
+                                      "properties": {
+                                        "source": {
+                                          "type": "object",
+                                          "required": [
+                                            "quote"
+                                          ],
+                                          "properties": {
+                                            "quote": {
+                                              "description": "引文来源：text 是逐字引文，source_id 是它所在的页或 Wiki（硬件写 component_id，算法与参考写 page_id），由消费方核对引文确实在其中；值不由模型写，由消费方代码用核心的量值解析器从引文里取。引文里不止一个量时用 index（从 0 起）指出取第几个。",
+                                              "type": "object",
+                                              "required": [
+                                                "text",
+                                                "source_id"
+                                              ],
+                                              "properties": {
+                                                "text": {
+                                                  "type": "string",
+                                                  "minLength": 1,
+                                                  "maxLength": 2000
+                                                },
+                                                "source_id": {
+                                                  "type": "string",
+                                                  "minLength": 1,
+                                                  "maxLength": 128
+                                                },
+                                                "index": {
+                                                  "type": "integer",
+                                                  "minimum": 0,
+                                                  "maximum": 63
+                                                }
+                                              },
+                                              "additionalProperties": false
+                                            }
+                                          },
+                                          "additionalProperties": false
+                                        }
+                                      },
+                                      "additionalProperties": false
+                                    }
+                                  ]
+                                }
+                              },
+                              "unit": {
+                                "description": "结果单位：CalcUnit 之一，量纲必须与表达式的结果相同；表达式是顶层比较时写 bool。",
+                                "enum": [
+                                  "um",
+                                  "mm",
+                                  "cm",
+                                  "m",
+                                  "in",
+                                  "mil",
+                                  "deg",
+                                  "rad",
+                                  "ms",
+                                  "s",
+                                  "min",
+                                  "h",
+                                  "g",
+                                  "kg",
+                                  "mA",
+                                  "A",
+                                  "mV",
+                                  "V",
+                                  "mW",
+                                  "W",
+                                  "mAh",
+                                  "Ah",
+                                  "mWh",
+                                  "Wh",
+                                  "Hz",
+                                  "kHz",
+                                  "MHz",
+                                  "GHz",
+                                  "B",
+                                  "kB",
+                                  "MB",
+                                  "GB",
+                                  "KiB",
+                                  "MiB",
+                                  "GiB",
+                                  "bit",
+                                  "bps",
+                                  "kbps",
+                                  "Mbps",
+                                  "1",
+                                  "%",
+                                  "count",
+                                  "bool"
+                                ]
+                              },
+                              "round": {
+                                "description": "可选：按结果单位保留的小数位数，银行家舍入。",
+                                "type": "object",
+                                "required": [
+                                  "places"
+                                ],
+                                "properties": {
+                                  "places": {
+                                    "type": "integer",
+                                    "minimum": 0,
+                                    "maximum": 12
+                                  }
+                                },
+                                "additionalProperties": false
+                              }
+                            },
+                            "additionalProperties": false
                           },
                           "summary": {
                             "type": "string",
@@ -725,7 +2728,8 @@
               }
             }
           }
-        }
+        },
+        "additionalProperties": false
       },
       "output_schema": {
         "title": "abelien.algorithm.finalize.result.v1",
@@ -734,8 +2738,7 @@
         "required": [
           "id",
           "status",
-          "hardware_selection_id",
-          "hardware_selection_revision",
+          "hardware_revision_ref",
           "source_snapshot",
           "revision",
           "bindings",
@@ -756,13 +2759,32 @@
               "needs_confirmation"
             ]
           },
-          "hardware_selection_id": {
-            "type": "string",
-            "minLength": 1
-          },
-          "hardware_selection_revision": {
-            "type": "string",
-            "minLength": 1
+          "hardware_revision_ref": {
+            "description": "绑定所在的冻结选型修订；algorithm_bind 定稿要求它等于本运行 hardware 产物的 selectionRevisionRef",
+            "type": "object",
+            "required": [
+              "id",
+              "version",
+              "digest"
+            ],
+            "properties": {
+              "id": {
+                "description": "稳定标识符：字母或数字开头，可含 _ . : -，最长 128。与硬件选型、Studio 回执现有的标识符规则相同；不含 @（@ 留给 id@version 的写法）。",
+                "type": "string",
+                "pattern": "^[A-Za-z0-9][A-Za-z0-9_.:-]{0,127}$"
+              },
+              "version": {
+                "description": "对象版本号，按字符串比较相等，不比较大小（例如 \"7\"、\"r-1a2b3c4d5e6f\"）。",
+                "type": "string",
+                "pattern": "^[A-Za-z0-9][A-Za-z0-9_.:-]{0,63}$"
+              },
+              "digest": {
+                "description": "sha256 小写十六进制（64 位，不带 sha256: 前缀）。对 JSON 值一律取 harness scripts/web/common.mjs 的 digest()，即对 canonical()（键排序、无空白）后的字节求 sha256。",
+                "type": "string",
+                "pattern": "^[0-9a-f]{64}$"
+              }
+            },
+            "additionalProperties": false
           },
           "operation": {
             "const": "bind"
@@ -802,6 +2824,62 @@
           },
           "blocking_unknowns": {
             "type": "array"
+          },
+          "numeric_provenance": {
+            "description": "只在 algorithm_bind 的产物上：节点定稿写下的本步计算器调用摘要（verifyCalcReceipts），供审计；动作本身不产出",
+            "type": "array",
+            "items": {
+              "type": "object",
+              "required": [
+                "id",
+                "items"
+              ],
+              "properties": {
+                "id": {
+                  "type": "string",
+                  "minLength": 1
+                },
+                "items": {
+                  "type": "array",
+                  "items": {
+                    "type": "object",
+                    "required": [
+                      "name",
+                      "expression",
+                      "text",
+                      "unit",
+                      "exact",
+                      "basis"
+                    ],
+                    "properties": {
+                      "name": {
+                        "type": "string"
+                      },
+                      "expression": {
+                        "type": "string"
+                      },
+                      "text": {
+                        "type": "string"
+                      },
+                      "unit": {
+                        "type": "string"
+                      },
+                      "exact": {
+                        "type": "boolean"
+                      },
+                      "basis": {
+                        "enum": [
+                          "computed",
+                          "estimate"
+                        ]
+                      }
+                    },
+                    "additionalProperties": false
+                  }
+                }
+              },
+              "additionalProperties": false
+            }
           }
         },
         "allOf": [
@@ -834,164 +2912,14 @@
       }
     },
     {
-      "action_id": "algorithm.lane-state",
+      "action_id": "algorithm.research",
       "contract_version": 1,
-      "definition_digest": "49dbca22c3b02beb0157012af6ec3042949f2d6e2efb98c887dbad746dce0e79",
+      "definition_digest": "e16fcb4fd574a25aa53d71a7cc808b28262c107e5f55f9ded3cd6e5a18ede9ea",
       "audience": "agent",
-      "description": "只读：按本草稿已存的资源回答当前需求有没有已提议的候选（落点、reaction、limits 与研究时一致），以及这些候选有没有绑定到给定的硬件选型 id 与 revision；宿主把结果映射成 workspace.lanes-next 的 artifacts",
+      "description": "执行 Agent 的检索计划并保存证据：purpose=implementation 只凭需求检索实现资料（可与硬件选型并行），purpose=hardware 检索冻结选型修订（hardware_revision_ref）里采购件的厂商资料；Volc 检索（每次最多 5 条）与公开 HTTPS 页面安全直读，正文按 sha256 存证；每条付费检索先存 sent 再发送，重跑复用已完成检索、结果未知时要求对账而不重发；同一请求完成后重复运行直接返回已有结果",
       "input_schema": {
-        "title": "abelien.algorithm.lane-state.input.v1",
-        "description": "只读：按本草稿已存的资源回答当前需求有没有已提议的候选，以及它们有没有绑定到给定的硬件选型。",
-        "type": "object",
-        "required": [
-          "requirements"
-        ],
-        "properties": {
-          "requirements": {
-            "description": "clarify 整理后的需求（Requirements），原样传入；研究只看 context、reaction 与 limits",
-            "type": "object",
-            "required": [
-              "reaction"
-            ],
-            "properties": {
-              "context": {
-                "type": "object",
-                "properties": {
-                  "text": {
-                    "type": "string"
-                  },
-                  "source": {
-                    "enum": [
-                      "user",
-                      "system"
-                    ]
-                  }
-                },
-                "description": "使用场景"
-              },
-              "reaction": {
-                "type": "array",
-                "minItems": 1,
-                "maxItems": 20,
-                "items": {
-                  "type": "object",
-                  "required": [
-                    "id",
-                    "text"
-                  ],
-                  "properties": {
-                    "id": {
-                      "type": "string",
-                      "minLength": 1
-                    },
-                    "text": {
-                      "type": "string",
-                      "minLength": 1
-                    }
-                  }
-                },
-                "description": "触发→反应条目，1–20 条，id 不重复"
-              },
-              "limits": {
-                "type": "array",
-                "items": {
-                  "type": "object",
-                  "required": [
-                    "id"
-                  ],
-                  "properties": {
-                    "id": {
-                      "type": "string",
-                      "minLength": 1
-                    },
-                    "text": {
-                      "type": "string"
-                    },
-                    "strength": {
-                      "enum": [
-                        "hard",
-                        "preference"
-                      ]
-                    }
-                  }
-                },
-                "description": "约束；只有明确的 preference 不阻断"
-              },
-              "intent": {
-                "type": "object"
-              }
-            }
-          },
-          "hardware_selection_id": {
-            "oneOf": [
-              {
-                "type": "null"
-              },
-              {
-                "type": "string",
-                "pattern": "^hardware-selection:[A-Za-z0-9][A-Za-z0-9_-]{0,127}$",
-                "description": "已存的硬件选型资源"
-              }
-            ],
-            "description": "当前硬件选型；还没有时省略或为 null"
-          },
-          "hardware_selection_revision": {
-            "type": "string",
-            "minLength": 1,
-            "description": "给出硬件选型时必填"
-          }
-        },
-        "additionalProperties": false
-      },
-      "output_schema": {
-        "title": "abelien.algorithm.lane-state.result.v1",
-        "description": "车道状态；宿主把它映射成 workspace.lanes-next 的 artifacts。",
-        "type": "object",
-        "required": [
-          "requirements_digest",
-          "proposed_id",
-          "selection_id",
-          "selection_status"
-        ],
-        "properties": {
-          "requirements_digest": {
-            "type": "string",
-            "minLength": 1,
-            "description": "落点、reaction、limits 的规范化摘要"
-          },
-          "proposed_id": {
-            "type": [
-              "string",
-              "null"
-            ],
-            "description": "同需求最新的已提议候选"
-          },
-          "selection_id": {
-            "type": [
-              "string",
-              "null"
-            ],
-            "description": "这些候选绑定到给定硬件的选型结果"
-          },
-          "selection_status": {
-            "type": [
-              "string",
-              "null"
-            ],
-            "description": "该绑定的状态"
-          }
-        }
-      }
-    },
-    {
-      "action_id": "algorithm.research",
-      "contract_version": 1,
-      "definition_digest": "2ef67d4c15ed3b06fb3772d7ec7ca83de4fb42b06ed740714e679f9bb08dc072",
-      "audience": "agent",
-      "description": "执行 Agent 的检索计划并保存证据：purpose=implementation 只凭需求检索实现资料（可与硬件选型并行），purpose=hardware 检索已选型号的厂商资料；Volc 检索（每次最多 5 条）与公开 HTTPS 页面安全直读，正文按 sha256 存证；每条付费检索先存 sent 再发送，重跑复用已完成检索、结果未知时要求对账而不重发；同一请求完成后重复运行直接返回已有结果",
-      "input_schema": {
-        "title": "abelien.algorithm.research.input.v1",
-        "description": "算法研究的检索计划：implementation 只凭需求检索实现资料（可与硬件选型并行），hardware 检索已选型号的厂商资料。",
+        "title": "abelien.algorithm.research.input.v1",
+        "description": "算法研究的检索计划：implementation 只凭需求检索实现资料（可与硬件选型并行），hardware 检索已选型号的厂商资料。",
         "type": "object",
         "required": [
           "purpose",
@@ -1070,10 +2998,17 @@
                         "hard",
                         "preference"
                       ]
+                    },
+                    "network": {
+                      "description": "限制在联网上的含义（只在用户原话说明时填写，原话写进 text）：offline 完全不联网也要能工作；no_cloud 可以连本地网络或手机，但数据不出设备、不调用云端服务。两者都意味着算法只能在端侧运行（hard 时由代码强制），差别留给硬件：只有 offline 说明不需要联网模块。",
+                      "enum": [
+                        "offline",
+                        "no_cloud"
+                      ]
                     }
                   }
                 },
-                "description": "约束；只有明确的 preference 不阻断"
+                "description": "约束；只有明确的 preference 不阻断；hard 限制带 network 时算法只能在端侧运行"
               },
               "intent": {
                 "type": "object"
@@ -1109,15 +3044,32 @@
               }
             }
           },
-          "hardware_selection_id": {
-            "type": "string",
-            "pattern": "^hardware-selection:[A-Za-z0-9][A-Za-z0-9_-]{0,127}$",
-            "description": "仅 hardware：所查型号来自这份选型"
-          },
-          "hardware_selection_revision": {
-            "type": "string",
-            "minLength": 1,
-            "description": "仅 hardware：选型修订号，必须是当前修订"
+          "hardware_revision_ref": {
+            "description": "仅 hardware（且必填）：所查型号来自这份冻结的选型修订；原样抄任务给的 hardware_revision_ref",
+            "type": "object",
+            "required": [
+              "id",
+              "version",
+              "digest"
+            ],
+            "properties": {
+              "id": {
+                "description": "稳定标识符：字母或数字开头，可含 _ . : -，最长 128。与硬件选型、Studio 回执现有的标识符规则相同；不含 @（@ 留给 id@version 的写法）。",
+                "type": "string",
+                "pattern": "^[A-Za-z0-9][A-Za-z0-9_.:-]{0,127}$"
+              },
+              "version": {
+                "description": "对象版本号，按字符串比较相等，不比较大小（例如 \"7\"、\"r-1a2b3c4d5e6f\"）。",
+                "type": "string",
+                "pattern": "^[A-Za-z0-9][A-Za-z0-9_.:-]{0,63}$"
+              },
+              "digest": {
+                "description": "sha256 小写十六进制（64 位，不带 sha256: 前缀）。对 JSON 值一律取 harness scripts/web/common.mjs 的 digest()，即对 canonical()（键排序、无空白）后的字节求 sha256。",
+                "type": "string",
+                "pattern": "^[0-9a-f]{64}$"
+              }
+            },
+            "additionalProperties": false
           },
           "plan": {
             "type": "object",
@@ -1177,7 +3129,10 @@
           "id",
           "status",
           "schema",
-          "request_digest"
+          "request_digest",
+          "hardware",
+          "pages",
+          "limits"
         ],
         "properties": {
           "id": {
@@ -1216,10 +3171,270 @@
               "type": "object"
             }
           },
+          "hardware": {
+            "description": "purpose=hardware 研究所查的冻结修订：修订引用与它的采购件（algorithm.finalize 的 bind 按 revision_ref 判断这份厂商资料属于哪份硬件）；implementation 研究与候选为 null",
+            "oneOf": [
+              {
+                "type": "null"
+              },
+              {
+                "type": "object",
+                "required": [
+                  "revision_ref",
+                  "models"
+                ],
+                "properties": {
+                  "revision_ref": {
+                    "description": "本运行冻结的硬件选型修订（hardware 产物的 selectionRevisionRef，hardware-selection-v2 修订的不可变引用）；按它读的是那份封存修订，不是可变的选型资源或谱系 head",
+                    "type": "object",
+                    "required": [
+                      "id",
+                      "version",
+                      "digest"
+                    ],
+                    "properties": {
+                      "id": {
+                        "description": "稳定标识符：字母或数字开头，可含 _ . : -，最长 128。与硬件选型、Studio 回执现有的标识符规则相同；不含 @（@ 留给 id@version 的写法）。",
+                        "type": "string",
+                        "pattern": "^[A-Za-z0-9][A-Za-z0-9_.:-]{0,127}$"
+                      },
+                      "version": {
+                        "description": "对象版本号，按字符串比较相等，不比较大小（例如 \"7\"、\"r-1a2b3c4d5e6f\"）。",
+                        "type": "string",
+                        "pattern": "^[A-Za-z0-9][A-Za-z0-9_.:-]{0,63}$"
+                      },
+                      "digest": {
+                        "description": "sha256 小写十六进制（64 位，不带 sha256: 前缀）。对 JSON 值一律取 harness scripts/web/common.mjs 的 digest()，即对 canonical()（键排序、无空白）后的字节求 sha256。",
+                        "type": "string",
+                        "pattern": "^[0-9a-f]{64}$"
+                      }
+                    },
+                    "additionalProperties": false
+                  },
+                  "models": {
+                    "type": "array",
+                    "minItems": 1,
+                    "items": {
+                      "description": "冻结修订里一条采购件 BOM 行的身份（厂商资料检索与绑定只能指向这些 component_id）",
+                      "type": "object",
+                      "required": [
+                        "slot_id",
+                        "bom_item_id",
+                        "component_id",
+                        "manufacturer",
+                        "model"
+                      ],
+                      "properties": {
+                        "slot_id": {
+                          "type": "string",
+                          "minLength": 1
+                        },
+                        "bom_item_id": {
+                          "type": "string",
+                          "minLength": 1
+                        },
+                        "component_id": {
+                          "type": "string",
+                          "minLength": 1
+                        },
+                        "manufacturer": {
+                          "type": "string",
+                          "minLength": 1
+                        },
+                        "model": {
+                          "type": "string",
+                          "minLength": 1
+                        }
+                      },
+                      "additionalProperties": false
+                    }
+                  }
+                },
+                "additionalProperties": false
+              }
+            ]
+          },
+          "limits": {
+            "type": "array",
+            "items": {
+              "description": "研究按 clarify 需求保存的一条限制（algorithm.candidates 按 strength 与 network 拒收非端侧候选）",
+              "type": "object",
+              "required": [
+                "id",
+                "text",
+                "strength",
+                "network"
+              ],
+              "properties": {
+                "id": {
+                  "type": [
+                    "string",
+                    "null"
+                  ]
+                },
+                "text": {
+                  "type": [
+                    "string",
+                    "null"
+                  ]
+                },
+                "strength": {
+                  "enum": [
+                    "hard",
+                    "preference",
+                    null
+                  ]
+                },
+                "network": {
+                  "oneOf": [
+                    {
+                      "type": "null"
+                    },
+                    {
+                      "description": "限制在联网上的含义（只在用户原话说明时填写，原话写进 text）：offline 完全不联网也要能工作；no_cloud 可以连本地网络或手机，但数据不出设备、不调用云端服务。两者都意味着算法只能在端侧运行（hard 时由代码强制），差别留给硬件：只有 offline 说明不需要联网模块。",
+                      "enum": [
+                        "offline",
+                        "no_cloud"
+                      ]
+                    }
+                  ]
+                }
+              },
+              "additionalProperties": false
+            }
+          },
           "pages": {
             "type": "array",
             "items": {
-              "type": "object"
+              "description": "研究读过的一页（algorithm.candidates 与 bind 按 id 取正文与回执）。status=read 时正文按 text_blob_ref 存证、text_sha256 是正文摘要；text_source=search_snippet 的只是检索摘要，只用于发现，bind 不认它作回执",
+              "type": "object",
+              "required": [
+                "id",
+                "url",
+                "final_url",
+                "search_id",
+                "reaction_id",
+                "component_id",
+                "status",
+                "reason",
+                "title",
+                "fetched_at",
+                "text_blob_ref",
+                "text_sha256",
+                "text_source",
+                "excerpt",
+                "registry"
+              ],
+              "properties": {
+                "id": {
+                  "type": "string",
+                  "pattern": "^p[0-9]{1,3}$"
+                },
+                "url": {
+                  "type": "string",
+                  "minLength": 1
+                },
+                "final_url": {
+                  "type": [
+                    "string",
+                    "null"
+                  ]
+                },
+                "search_id": {
+                  "type": "string",
+                  "minLength": 1
+                },
+                "reaction_id": {
+                  "type": [
+                    "string",
+                    "null"
+                  ]
+                },
+                "component_id": {
+                  "type": [
+                    "string",
+                    "null"
+                  ]
+                },
+                "status": {
+                  "enum": [
+                    "read",
+                    "unavailable"
+                  ]
+                },
+                "reason": {
+                  "type": [
+                    "string",
+                    "null"
+                  ]
+                },
+                "title": {
+                  "type": "string"
+                },
+                "fetched_at": {
+                  "type": [
+                    "string",
+                    "null"
+                  ]
+                },
+                "text_blob_ref": {
+                  "type": [
+                    "string",
+                    "null"
+                  ]
+                },
+                "text_sha256": {
+                  "type": [
+                    "string",
+                    "null"
+                  ]
+                },
+                "text_source": {
+                  "enum": [
+                    "page",
+                    "search_snippet",
+                    null
+                  ]
+                },
+                "excerpt": {
+                  "type": "string"
+                },
+                "registry": {
+                  "oneOf": [
+                    {
+                      "type": "null"
+                    },
+                    {
+                      "type": "object",
+                      "required": [
+                        "record_id",
+                        "version",
+                        "sha256",
+                        "hit"
+                      ],
+                      "properties": {
+                        "record_id": {
+                          "type": "string",
+                          "minLength": 1
+                        },
+                        "version": {
+                          "type": "integer",
+                          "minimum": 1
+                        },
+                        "sha256": {
+                          "type": "string",
+                          "pattern": "^[0-9a-f]{64}$"
+                        },
+                        "hit": {
+                          "type": "boolean"
+                        }
+                      },
+                      "additionalProperties": false
+                    }
+                  ]
+                }
+              },
+              "additionalProperties": false
             },
             "description": "读取的页面：url、status、text_sha256 与正文 blob 引用"
           },