@cannbot-plugin/cannbot-harness 0.0.0-stage → 0.1.5

package/assets/ops-direct-invoke/skills/ops-direct-invoke/scripts/validate_unit_contracts.py

@@ -0,0 +1,228 @@
+#!/usr/bin/env python3
+# ----------------------------------------------------------------------------
+# Copyright (c) 2026 Huawei Technologies Co., Ltd.
+# This program is free software, you can redistribute it and/or modify it under the terms and conditions of
+# CANN Open Software License Agreement Version 2.0 (the "License").
+# Please refer to the License for details. You may not use this file except in compliance with the License.
+# THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, EITHER EXPRESS OR IMPLIED,
+# INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, MERCHANTABILITY, OR FITNESS FOR A PARTICULAR PURPOSE.
+# See LICENSE in the root of the software repository for the full text of the License.
+# ----------------------------------------------------------------------------
+"""Validate implementation Unit contracts before test generation or scheduling."""
+
+import argparse
+import logging
+from pathlib import Path
+
+import yaml
+
+
+def names(value, label):
+    if (
+        not isinstance(value, list)
+        or any(not isinstance(item, str) or not item.strip() for item in value)
+        or len(value) != len(set(value))
+    ):
+        raise ValueError(f"{label} must contain unique nonempty names")
+    return value
+
+
+def reject_duplicate_keys(node, visited=None):
+    visited = visited if visited is not None else set()
+    if node is None or id(node) in visited:
+        return
+    visited.add(id(node))
+    if isinstance(node, yaml.MappingNode):
+        seen = set()
+        for key, value in node.value:
+            if (
+                not isinstance(key, yaml.ScalarNode)
+                or key.tag != "tag:yaml.org,2002:str"
+            ):
+                raise ValueError("non-string YAML key")
+            if key.value in seen:
+                raise ValueError(f"duplicate YAML key: {key.value!r}")
+            seen.add(key.value)
+            reject_duplicate_keys(value, visited)
+    elif isinstance(node, yaml.SequenceNode):
+        for item in node.value:
+            reject_duplicate_keys(item, visited)
+
+
+def load_units(directory):
+    native = {}
+    for source in sorted(Path(directory).glob("U*.yaml")):
+        text = source.read_text(encoding="utf-8")
+        reject_duplicate_keys(yaml.compose(text, Loader=yaml.SafeLoader))
+        doc = yaml.safe_load(text)
+        if not isinstance(doc, dict) or set(doc) != {"unit"}:
+            raise ValueError(f"{source}: expected one unit object")
+        unit = doc["unit"]
+        if not isinstance(unit, dict) or unit.get("unit_id") != source.stem:
+            raise ValueError(f"{source}: unit_id must match filename")
+        native[source.stem] = unit
+    if not native:
+        raise ValueError(f"{directory}: no U*.yaml")
+    return native
+
+
+def validate_units(native):
+    """Return a deterministic dependency order; planning metadata is never proof of success."""
+    graph, obligations = {}, {}
+    all_ids = set()
+    for uid, unit in native.items():
+        if not isinstance(unit, dict) or unit.get("unit_id") != uid:
+            raise ValueError(f"{uid}: invalid unit object")
+        graph[uid] = names(unit.get("depends_on", []), f"{uid}: depends_on")
+        for field in ("requires", "provides"):
+            names(unit.get(field, []), f"{uid}: {field}")
+        obligations[uid] = validate_obligations(uid, unit, all_ids)
+
+    order, ancestors = dependency_order(graph)
+    for uid in order:
+        validate_evidence(
+            uid, native[uid], graph[uid], ancestors[uid], native, obligations
+        )
+    return order
+
+
+def validate_obligations(uid, unit, all_ids):
+    scope = unit.get("scope", {})
+    if not isinstance(scope, dict):
+        raise ValueError(f"{uid}: scope must be a mapping")
+    names(scope.get("source_files", []), f"{uid}: source_files")
+    items = unit.get("verification_obligations")
+    if not isinstance(items, list) or not items:
+        raise ValueError(f"{uid}: verification_obligations must be a nonempty list")
+    ids, kinds = set(), set()
+    for item in items:
+        if not isinstance(item, dict):
+            raise ValueError(f"{uid}: obligation must be a mapping")
+        ref = item.get("id")
+        if not isinstance(ref, str) or not ref.strip() or ref in all_ids:
+            raise ValueError(
+                f"{uid}: obligation IDs must be nonempty and globally unique"
+            )
+        kind = item.get("kind")
+        if not isinstance(kind, str) or kind not in {
+            "numerical",
+            "structural",
+            "semantic",
+            "device",
+        }:
+            raise ValueError(f"{uid}: unsupported obligation kind: {kind}")
+        ids.add(ref)
+        all_ids.add(ref)
+        kinds.add(kind)
+    if unit.get("kind") == "minimal_operator" and "numerical" not in kinds:
+        raise ValueError(f"{uid}: minimal operator lacks numerical obligation")
+    if unit.get("kind") == "pipeline_framework" and "structural" not in kinds:
+        raise ValueError(f"{uid}: pipeline framework lacks structural obligation")
+    return ids
+
+
+def dependency_order(graph):
+    ancestors, order, visiting = {}, [], set()
+
+    def visit(uid):
+        if uid in visiting:
+            raise ValueError(f"unit dependency cycle includes {uid}")
+        if uid in ancestors:
+            return
+        visiting.add(uid)
+        inherited = set()
+        for dep in sorted(graph[uid]):
+            if dep not in graph:
+                raise ValueError(f"{uid}: unknown unit dependency: {dep}")
+            visit(dep)
+            inherited.add(dep)
+            inherited.update(ancestors[dep])
+        visiting.remove(uid)
+        ancestors[uid] = inherited
+        order.append(uid)
+
+    for uid in sorted(graph):
+        visit(uid)
+
+    return order, ancestors
+
+
+def validate_evidence(uid, unit, dependencies, ancestors, native, obligations):
+    available = {cap for dep in ancestors for cap in native[dep].get("provides", [])}
+    if not set(unit.get("requires", [])) <= available:
+        raise ValueError(f"{uid}: requires capability without dependency provider")
+    if "dependency_reasons" in unit:
+        reasons = unit["dependency_reasons"]
+        if (
+            not isinstance(reasons, dict)
+            or set(reasons) != set(dependencies)
+            or any(
+                not isinstance(reason, str) or not reason.strip()
+                for reason in reasons.values()
+            )
+        ):
+            raise ValueError(f"{uid}: dependency_reasons must explain each dependency")
+    refs = obligations[uid] | {ref for dep in ancestors for ref in obligations[dep]}
+    implementation = unit.get("implementation", {})
+    if not isinstance(implementation, dict):
+        raise ValueError(f"{uid}: implementation must be a mapping")
+    checks = (
+        (
+            "design_constraints",
+            unit.get("design_constraints", []),
+            ("source", "commitment"),
+        ),
+        (
+            "feasibility_checks",
+            implementation.get("feasibility_checks", []),
+            ("design_source", "question", "before_step", "on_failure"),
+        ),
+    )
+    for label, items, fields in checks:
+        validate_check_items(uid, label, items, fields, refs)
+
+
+def validate_check_items(uid, label, items, fields, refs):
+    if not isinstance(items, list):
+        raise ValueError(f"{uid}: {label} must be a list")
+    for item in items:
+        if not isinstance(item, dict) or any(
+            not isinstance(item.get(key), str) or not item[key].strip()
+            for key in fields
+        ):
+            raise ValueError(f"{uid}: {label} requires actionable contract fields")
+        bound = names(item.get("obligation_ids", []), f"{uid}: {label} obligation_ids")
+        if not set(bound) <= refs:
+            raise ValueError(f"{uid}: invalid {label} obligation references")
+        review = item.get("review_evidence", [])
+        if not isinstance(review, list) or any(
+            not isinstance(entry, dict)
+            or any(
+                not isinstance(entry.get(key), str) or not entry[key].strip()
+                for key in ("artifact", "check", "pass_criteria")
+            )
+            for entry in review
+        ):
+            raise ValueError(
+                f"{uid}: {label} review evidence needs artifact/check/pass_criteria"
+            )
+        if not bound and not review:
+            raise ValueError(
+                f"{uid}: {label} requires executable obligations or review evidence"
+            )
+
+
+def main():
+    parser = argparse.ArgumentParser(description=__doc__)
+    parser.add_argument("--units-dir", required=True, type=Path)
+    args = parser.parse_args()
+    try:
+        order = validate_units(load_units(args.units_dir))
+    except (ValueError, OSError, yaml.YAMLError) as error:
+        parser.exit(1, f"{error}\n")
+    logging.basicConfig(level=logging.INFO, format="%(message)s")
+    logging.info("validated %d Unit contracts: %s", len(order), ", ".join(order))
+
+
+if __name__ == "__main__":
+    main()

package/assets/ops-direct-invoke/skills/ops-direct-invoke/tasks/ascendc//344/273/243/347/240/201/344/277/256/345/244/215.yaml

@@ -0,0 +1,39 @@
+variables:
+  repair_requirements: null
+  executor_skills: 无补充 Skill。
+  verifier_skills: 无补充 Skill。
+task_type: normal
+title: 代码修复
+goal:
+- 完成下发范围内的代码修复并通过回归与检视。
+approach:
+- 读取 $USER_PROMPT、$WORK_DIR/需求分析.md 和 $WORK_DIR/环境信息.md；必要输入缺失、失效或冲突时，停止依赖该输入的操作，在本阶段报告中记录阻塞证据，按 harness 原生协议结束执行。
+- 必须加载 `repo-coding-rules`、`repo-build-guide`、`repo-test-develop` Skill，按其中的要求执行。
+- '{{var:executor_skills}}'
+- 补充 Skill 中的必需项直接加载，候选项仅在实际证据满足所列条件时加载；未命中不加载。所需能力超出清单或需改变已确认约束、任务范围时，记录阻塞，不自行扩展。
+- 本轮修复要求：{{var:repair_requirements}}。读取问题证据、目标代码和测试入口，确认授权路径、预期行为及回归范围；必要信息缺失时记录阻塞，不猜测修复目标。
+- 定位根因并修复授权代码，补齐用例；实现分支改变时同步白盒用例和覆盖记录。按已安装的 ops-direct-invoke/templates/测试执行记录.md 中的证据复用规则，确定重建、回归或复用范围，写入 $WORK_DIR/{{id}}-测试执行记录.md。没有待修复缺陷且已有当前版本的有效全量证据时，记录无需修改与复用依据，不重复构建或测试；不满足复用条件时补齐验证。
+- 将修复目标、改动摘要、测试证据路径及补充 Skill 使用依据写入 $WORK_DIR/{{id}}-修复记录.md；将授权对象的实际绝对路径赋给 repair_file，多文件逐一检查。
+procedure:
+- 读取 $USER_PROMPT、$WORK_DIR/需求分析.md 和 $WORK_DIR/环境信息.md；必要输入缺失、失效或冲突时，记录阻塞证据并判定验收失败。
+- 必须加载 `repo-coding-rules`、`repo-build-guide`、`repo-test-develop` Skill，按其中的要求执行。
+- '{{var:verifier_skills}}'
+- 补充 Skill 中的必需项直接加载，候选项仅在实际证据满足所列条件时加载；未命中不加载。所需能力超出清单或需改变已确认约束、任务范围时，记录阻塞，不自行扩展。诊断仅限已有证据分析与判定，不修改被验收对象。
+- 本轮修复要求：{{var:repair_requirements}}。读取原问题证据、当前代码、测试入口及 $WORK_DIR/{{id}}-修复记录.md；给 repair_file 赋实际路径，多文件逐一检查。
+- 只读核对 $WORK_DIR/{{id}}-测试执行记录.md、原问题复现及当前版本的全量黑盒/白盒原始日志、当前源码/测试/构建产物哈希和加载路径，确认问题解决且无遗漏或跳过；检视全部修复变更及受影响分支覆盖。按测试执行记录模板核对证据复用条件、版本差异及受影响项；无代码改动也核对完整证据，不重复构建或运行测试。
+- 由 verifier 按已安装的 ops-direct-invoke/templates/验收报告.md 写入 $WORK_DIR/{{id}}-验收报告.md，执行 test -s "$WORK_DIR/{{id}}-验收报告.md"；通过、失败或阻塞均记录逐项结论与证据路径。重试仅追加问题处理和受影响项复核结果；当前版本缺少有效证据即失败，不补造或重跑测试。
+acceptance:
+- test -s "$repair_file"
+- test -s "$WORK_DIR/{{id}}-修复记录.md"
+- test -s "$WORK_DIR/{{id}}-测试执行记录.md"
+- 下发问题已修复，变更范围明确，相关源码与用例一致。
+- 现有全量回归与代码检视通过，证据及补充 Skill 使用依据完整，未放宽需求或测试标准。
+out_of_scope:
+- 改动已确认需求或放宽精度标准、以篡改 golden/用例掩盖失败、伪造确认或验证证据。
+- 加载固定项及当前阶段下发清单以外的 Skill、向 PM 或用户发起交互、等待其答复、派发 Agent、修改 harness 或调度状态、重置或回退其他节点。
+- 将中间产物写出 $WORK_DIR，或使用不以 {{id}}- 开头的中间报告名；算子交付件按目标仓约定路径写入。
+- 性能采集与优化验收、回顾与经验总结、PR、外部 CI 或合并事务。
+- executor 编写或修改验收者报告、为等待验收报告而停止交付；verifier 重新构建、安装或运行测试、替执行者补造执行证据。
+executor: ops-direct-invoke-developer
+verifier: ops-direct-invoke-verifier
+on_exhaust: exit

package/assets/ops-direct-invoke/skills/ops-direct-invoke/tasks/ascendc//346/212/200/346/234/257/347/251/277/345/210/272.yaml

@@ -0,0 +1,40 @@
+variables:
+  spike_scope: null
+  executor_skills: 无补充 Skill。
+  verifier_skills: 无补充 Skill。
+task_type: normal
+title: 技术穿刺
+goal:
+- 用最小可运行实现验证关键技术路线。
+approach:
+- 读取 $USER_PROMPT、$WORK_DIR/需求分析.md 和 $WORK_DIR/环境信息.md；必要输入缺失、失效或冲突时，停止依赖该输入的操作，在本阶段报告中记录阻塞证据，按 harness 原生协议结束执行。
+- 必须加载 `repo-knowledge`、`repo-op-templates`、`repo-build-guide`、`repo-test-develop`、`repo-coding-rules` Skill，按其中的要求执行。
+- '{{var:executor_skills}}'
+- 穿刺范围：{{var:spike_scope}}。只验证下发路线及关键疑点；代表用例覆盖关键组合，不展开完整测试矩阵、白盒工程或交付文档。
+- 复用目标仓已有工程和测试入口，编写最小实现及精度断言；临时实现、用例和构建文件放在 $WORK_DIR/{{id}}-穿刺/ 下，保留工程要求的文件名，明确授权的项目交付件按目标仓路径写入。将实现及测试入口实际文件路径赋给 spike_source、spike_test_entry，多文件逐一检查。
+- 在目标芯片真实编译并运行代表用例，覆盖待验证的端到端关键组合；保持已确认接口、架构、精度与单 Kernel 等约束。只查到 API、各子步骤分别可用、CPU 自检或模拟执行不能代替设备证据。
+- 按已安装的 ops-direct-invoke/templates/测试执行记录.md 写入 $WORK_DIR/{{id}}-测试执行记录.md，记录疑点、采用路线、代码/测试/构建产物版本、真实编译和设备原始日志、代表用例及结果、未验证范围和下一轮复用路径；不另写长篇方案。缺少设备、规则冲突或路线不可行时保存阻塞证据，停止受阻操作，不宣称穿刺成功。
+procedure:
+- 读取 $USER_PROMPT、$WORK_DIR/需求分析.md 和 $WORK_DIR/环境信息.md；必要输入缺失、失效或冲突时，记录阻塞证据并判定验收失败。
+- 必须加载 `repo-coding-rules` Skill，按其中的要求执行。
+- '{{var:verifier_skills}}'
+- 穿刺范围：{{var:spike_scope}}。读取实现、测试入口及 $WORK_DIR/{{id}}-测试执行记录.md，给 spike_source、spike_test_entry 赋实际文件路径，逐一核对；静态检视关键组合、调用真实性及已确认约束，并检视本节点实现、测试和脚本代码的编码规范。
+- 只读核对当前源码/测试/构建产物哈希、实际加载路径、目标设备、编译退出码及代表用例精度结果；不重新构建或运行。验收本次关键疑点是否有设备证据闭合，不要求未下发的全量覆盖或正式文档。
+- 未验证关键组合、只有资料推导或 CPU/模拟证据、规则冲突未解时判失败；明确记录失败条件及未验证范围。通过仅证明穿刺范围可行，不证明完整算子已交付。
+- 由 verifier 按已安装的 ops-direct-invoke/templates/验收报告.md 写入 $WORK_DIR/{{id}}-验收报告.md，执行 test -s "$WORK_DIR/{{id}}-验收报告.md"；通过、失败或阻塞均记录逐项结论与证据路径。重试仅追加问题处理和受影响项复核结果；当前版本缺少有效证据即失败，不补造或重跑测试。
+acceptance:
+- test -s "$spike_source"
+- test -s "$spike_test_entry"
+- test -s "$WORK_DIR/{{id}}-测试执行记录.md"
+- 关键技术组合在目标芯片编译和运行成功，代表用例满足已确认的精度及架构约束。
+- 实现、测试和脚本代码符合编码规则；证据对应当前版本，已验证范围、剩余风险及可复用路径明确。
+out_of_scope:
+- 改动已确认需求或放宽精度标准、以篡改 golden/用例掩盖失败、伪造确认或验证证据。
+- 加载固定项及当前阶段下发清单以外的 Skill、向 PM 或用户发起交互、等待其答复、派发 Agent、修改 harness 或调度状态、重置或回退其他节点。
+- 将中间产物写出 $WORK_DIR，或使用不以 {{id}}- 开头的中间报告名；算子交付件按目标仓约定路径写入。
+- 性能采集与优化验收、回顾与经验总结、PR、外部 CI 或合并事务。
+- executor 编写或修改验收者报告、为等待验收报告而停止交付；verifier 重新构建、安装或运行测试、替执行者补造执行证据。
+- 把少量代表用例通过当作完整交付，展开与穿刺疑点无关的资料搜集或全量测试工程。
+executor: ops-direct-invoke-developer
+verifier: ops-direct-invoke-verifier
+on_exhaust: exit

package/assets/ops-direct-invoke/skills/ops-direct-invoke/tasks/ascendc//346/226/207/346/241/243/345/207/206/345/244/207.yaml

@@ -0,0 +1,27 @@
+task_type: normal
+title: 文档准备
+goal:
+- 按仓内已有算子文档规范补全本算子的相关资料。
+approach:
+- 读取 $USER_PROMPT、$WORK_DIR/需求分析.md 和 $WORK_DIR/环境信息.md；必要输入缺失、失效或冲突时，停止依赖该输入的操作，在本阶段报告中记录阻塞证据，按 harness 原生协议结束执行。
+- 必须加载 `repo-knowledge` Skill，按其中的要求执行。
+- 读取当前实现、测试及 $WORK_DIR/{{id:代码修复}}-修复记录.md、$WORK_DIR/{{id:代码修复}}-验收报告.md，以修复后版本为准。
+- 对照仓内已有同类算子文档，确定路径、章节与示例；若无已有文档，记录本节点前置条件不满足的证据，不凭空创建格式或文档要求。
+- 按仓内格式补全接口、参数、约束和使用资料，写入约定位置；给 operator_doc 赋实际绝对路径，多文件逐一检查。
+procedure:
+- 读取 $USER_PROMPT、$WORK_DIR/需求分析.md 和 $WORK_DIR/环境信息.md；必要输入缺失、失效或冲突时，记录阻塞证据并判定验收失败。
+- 读取本次文档、仓内同类文档、当前代码/测试和 $WORK_DIR/{{id:代码修复}}-验收报告.md；给 operator_doc 赋实际路径，多文件逐一检查。
+- 核对格式、内容完整性及接口/约束/示例与最终交付的一致性，不要求未开展的性能产物。
+- 由 verifier 按已安装的 ops-direct-invoke/templates/验收报告.md 写入 $WORK_DIR/{{id}}-验收报告.md，执行 test -s "$WORK_DIR/{{id}}-验收报告.md"；通过、失败或阻塞均记录逐项结论与证据路径。重试仅追加问题处理和受影响项复核结果；当前版本缺少有效证据即失败，不补造或重跑测试。
+acceptance:
+- test -s "$operator_doc"
+- 算子相关资料符合仓内已有格式和内容要求，与当前交付实现及验收证据一致。
+out_of_scope:
+- 改动已确认需求或放宽精度标准、以篡改 golden/用例掩盖失败、伪造确认或验证证据。
+- 加载本 task 明确引用以外的 Skill、向 PM 或用户发起交互、等待其答复、派发 Agent、修改 harness 或调度状态、重置或回退其他节点。
+- 将中间产物写出 $WORK_DIR，或使用不以 {{id}}- 开头的中间报告名；算子交付件按目标仓约定路径写入。
+- 性能采集与优化验收、回顾与经验总结、PR、外部 CI 或合并事务。
+- executor 编写或修改验收者报告、为等待验收报告而停止交付；verifier 重新构建、安装或运行测试、替执行者补造执行证据。
+executor: ops-direct-invoke-developer
+verifier: ops-direct-invoke-verifier
+on_exhaust: exit

package/assets/ops-direct-invoke/skills/ops-direct-invoke/tasks/ascendc//346/265/213/350/257/225/345/267/245/347/250/213/345/274/200/345/217/221.yaml

@@ -0,0 +1,33 @@
+task_type: normal
+title: 测试工程开发
+goal:
+- 准备可执行的 ST 测试工程与完整黑盒用例。
+approach:
+- 读取 $USER_PROMPT、$WORK_DIR/需求分析.md 和 $WORK_DIR/环境信息.md；必要输入缺失、失效或冲突时，停止依赖该输入的操作，在本阶段报告中记录阻塞证据，按 harness 原生协议结束执行。
+- 必须加载 `repo-test-develop`、`repo-coding-rules` Skill，按其中的要求执行。
+- 读取 $WORK_DIR/{{id:黑盒测试设计}}-黑盒测试设计.md；环境记录中的框架信息仅作线索，检查目标仓当前测试入口，复用已有 ST 框架，仅在不存在框架时按目标仓布局搭建，必要信息不足时记录阻塞，不猜测框架布局。
+- 任务上下文提供穿刺测试入口时，核对当前接口后复用并扩展，不重新搭建已有可用框架；穿刺的少量用例不代替完整黑盒覆盖。
+- 复用现有 golden、数据生成、精度判定与统一入口，补齐目标任务和全部黑盒用例；缺失内容按已确认规格实现，保留方案用例 ID，并支持后续白盒接入。将入口及用例文件的实际绝对路径赋给 test_entry、test_cases，多文件逐一检查。
+- 先按仓库测试契约完成代表用例的任务发现、golden 参数绑定、数据生成与报告输出自检，再补齐全部用例并核对发现数；提交前检查本节点新增或修改的代码符合编码规则。写入 $WORK_DIR/{{id}}-测试工程说明.md，记录框架位置、复用或新建依据、文件与用例映射、代码哈希、自检命令、退出码及原始日志路径。
+procedure:
+- 读取 $USER_PROMPT、$WORK_DIR/需求分析.md 和 $WORK_DIR/环境信息.md；必要输入缺失、失效或冲突时，记录阻塞证据并判定验收失败。
+- 必须加载 `repo-test-develop`、`repo-coding-rules` Skill，按其中的要求执行。
+- 读取黑盒方案、测试工程及 $WORK_DIR/{{id}}-测试工程说明.md，核对框架复用情况和全部用例的参数、预期结果及断言；给 test_entry、test_cases 赋实际路径，多文件逐一检查。
+- 检视本节点新增或修改的测试与脚本代码是否符合编码规则；核对 golden 参数绑定、数据生成、用例发现、报告输出与比对逻辑的代码及自检日志，证据应对应当前文件哈希；不代跑执行者的测试。本节点只验收测试工程就绪，不要求执行尚未实现的算子，也不宣称算子全量通过。
+- 由 verifier 按已安装的 ops-direct-invoke/templates/验收报告.md 写入 $WORK_DIR/{{id}}-验收报告.md，执行 test -s "$WORK_DIR/{{id}}-验收报告.md"；通过、失败或阻塞均记录逐项结论与证据路径。重试仅追加问题处理和受影响项复核结果；当前版本缺少有效证据即失败，不补造或重跑测试。
+acceptance:
+- test -s "$test_entry"
+- test -s "$test_cases"
+- test -s "$WORK_DIR/{{id}}-测试工程说明.md"
+- ST 框架可用，已有框架得到复用；黑盒用例完整符合方案，入口支持后续白盒用例接入。
+- golden、参数绑定、数据生成与精度断言可运行，报告可生成，发现数与预期一致。
+- 本节点交付的测试与脚本代码符合编码规则，无遗留阻断项。
+out_of_scope:
+- 改动已确认需求或放宽精度标准、以篡改 golden/用例掩盖失败、伪造确认或验证证据。
+- 加载本 task 明确引用以外的 Skill、向 PM 或用户发起交互、等待其答复、派发 Agent、修改 harness 或调度状态、重置或回退其他节点。
+- 将中间产物写出 $WORK_DIR，或使用不以 {{id}}- 开头的中间报告名；算子交付件按目标仓约定路径写入。
+- 性能采集与优化验收、回顾与经验总结、PR、外部 CI 或合并事务。
+- executor 编写或修改验收者报告、为等待验收报告而停止交付；verifier 重新构建、安装或运行测试、替执行者补造执行证据。
+executor: ops-direct-invoke-developer
+verifier: ops-direct-invoke-verifier
+on_exhaust: exit

package/assets/ops-direct-invoke/skills/ops-direct-invoke/tasks/ascendc//347/231/275/347/233/222/346/265/213/350/257/225/350/256/276/350/256/241.yaml

@@ -0,0 +1,34 @@
+task_type: normal
+title: 白盒测试设计
+goal:
+- 依据实际代码生成白盒用例并纳入现有测试框架。
+approach:
+- 读取 $USER_PROMPT、$WORK_DIR/需求分析.md 和 $WORK_DIR/环境信息.md；必要输入缺失、失效或冲突时，停止依赖该输入的操作，在本阶段报告中记录阻塞证据，按 harness 原生协议结束执行。
+- 必须加载 `repo-test-develop`、`repo-coding-rules` Skill，按其中的要求执行。
+- 读取当前源码、$WORK_DIR/{{id:算子开发}}-实现记录.md、$WORK_DIR/{{id:黑盒测试设计}}-黑盒测试设计.md 和 $WORK_DIR/{{id:测试工程开发}}-测试工程说明.md，按实际代码枚举有效控制流与边界。
+- 按需求允许范围生成触发用例，直接写入现有 ST 框架并接入统一入口；沿用已确认的 golden、预期错误和阈值，不另建框架、不修改算子。将全部用例文件路径赋给 whitebox_cases，多文件逐一检查。
+- 运行全量黑盒与白盒用例，按已安装的 ops-direct-invoke/templates/测试执行记录.md 写入 $WORK_DIR/{{id}}-测试执行记录.md，保存原始日志与问题归属证据；按已安装的 ops-direct-invoke/templates/白盒测试设计.md
+  写入 $WORK_DIR/{{id}}-白盒测试设计.md，记录源码位置/条件、用例映射、文件和执行命令。暴露的算子缺陷连同复现证据交下游修复。
+procedure:
+- 读取 $USER_PROMPT、$WORK_DIR/需求分析.md 和 $WORK_DIR/环境信息.md；必要输入缺失、失效或冲突时，记录阻塞证据并判定验收失败。
+- 必须加载 `repo-test-develop`、`repo-coding-rules` Skill，按其中的要求执行。
+- 读取源码、ST 框架与 $WORK_DIR/{{id}}-白盒测试设计.md，独立核对有效分支、触发用例和接入情况；给 whitebox_cases 赋实际路径，多文件逐一检查。
+- 只读核对 $WORK_DIR/{{id}}-测试执行记录.md、全量黑盒与白盒原始日志及当前源码/测试哈希，区分设计覆盖、实际命中与受阻路径；不重复构建或运行用例。
+- 检视本节点新增或修改的测试与脚本代码是否符合编码规则；本节点验收用例及接入质量：测试/框架错误或设计遗漏导致失败；正确用例暴露的算子缺陷须有归属证据，连同受影响覆盖交下游修复，不将节点通过表述为算子功能通过。
+- 由 verifier 按已安装的 ops-direct-invoke/templates/验收报告.md 写入 $WORK_DIR/{{id}}-验收报告.md，执行 test -s "$WORK_DIR/{{id}}-验收报告.md"；通过、失败或阻塞均记录逐项结论与证据路径。重试仅追加问题处理和受影响项复核结果；当前版本缺少有效证据即失败，不补造或重跑测试。
+acceptance:
+- test -s "$whitebox_cases"
+- test -s "$WORK_DIR/{{id}}-白盒测试设计.md"
+- test -s "$WORK_DIR/{{id}}-测试执行记录.md"
+- 白盒用例已进入现有框架，覆盖全部已识别的有效源码分支，测试实现符合需求、精度标准与编码规则。
+- 运行记录真实、问题归属与证据完整，算子缺陷及受影响覆盖明确；无未解决的测试实现或框架接入问题。
+out_of_scope:
+- 改动已确认需求或放宽精度标准、以篡改 golden/用例掩盖失败、伪造确认或验证证据。
+- 加载本 task 明确引用以外的 Skill、向 PM 或用户发起交互、等待其答复、派发 Agent、修改 harness 或调度状态、重置或回退其他节点。
+- 将中间产物写出 $WORK_DIR，或使用不以 {{id}}- 开头的中间报告名；算子交付件按目标仓约定路径写入。
+- 性能采集与优化验收、回顾与经验总结、PR、外部 CI 或合并事务。
+- 修改被测算子实现；算子缺陷交下游代码修复。
+- executor 编写或修改验收者报告、为等待验收报告而停止交付；verifier 重新构建、安装或运行测试、替执行者补造执行证据。
+executor: ops-direct-invoke-developer
+verifier: ops-direct-invoke-verifier
+on_exhaust: exit

package/assets/ops-direct-invoke/skills/ops-direct-invoke/tasks/ascendc//347/237/245/350/257/206/346/220/234/351/233/206.yaml

@@ -0,0 +1,36 @@
+variables:
+  research_focus: 目标芯片、算子专项资料、可组合 API 与需求 shape 范围的初版 Tiling。
+  executor_skills: 无补充 Skill。
+  verifier_skills: 无补充 Skill。
+task_type: normal
+title: 知识搜集
+goal:
+- 形成可溯源的算子知识资料与初版实现草稿。
+approach:
+- 读取 $USER_PROMPT、$WORK_DIR/需求分析.md 和 $WORK_DIR/环境信息.md；必要输入缺失、失效或冲突时，停止依赖该输入的操作，在本阶段报告中记录阻塞证据，按 harness 原生协议结束执行。
+- 必须加载 `repo-knowledge`、`npu-arch`、`ascendc-docs-search` Skill，按其中的要求执行。
+- '{{var:executor_skills}}'
+- 按 {{var:research_focus}} 检索目标仓、Skill 库和可用资料库，仅记录与本轮重点相关的关键资料、路径、版本和适用范围；不遍历无关资料，不给所有读过的文件逐一计算哈希；新增 Skill 建议注明适用任务、执行/验收阶段及依据，仅供整轮结束后的编排参考，不改变本轮 Skill
+  清单。
+- 归纳算法路线、API 签名与组合、数据流及平台约束；按需求中的代表性 shape 分组给出多核、块大小、Buffer 和尾块处理草稿，区分证据、推导和待验证项；非关键资料未命中或无法复核时，删去无依据断言并标注未知。
+- 按已安装的 ops-direct-invoke/templates/知识搜集.md 写入 $WORK_DIR/{{id}}-知识搜集.md；草稿供实现尝试，不作为必须照搬的方案。
+procedure:
+- 读取 $USER_PROMPT、$WORK_DIR/需求分析.md 和 $WORK_DIR/环境信息.md；必要输入缺失、失效或冲突时，记录阻塞证据并判定验收失败。
+- 必须加载 `ascendc-docs-search`、`npu-arch` Skill，按其中的要求执行。
+- '{{var:verifier_skills}}'
+- 读取 $WORK_DIR/{{id}}-知识搜集.md，按 {{var:research_focus}} 核对决定路线和 API 使用的关键引用、芯片/版本/dtype 适用范围；不重新执行全库检索，不扩展本轮搜集范围。
+- 核对 API 组合与代表性 shape 分组的 Tiling 草稿具有可尝试的方向；关键引用虚构、证据矛盾或遗漏搜集要求时失败。非关键资料未命中或无法复核但已标注未知且未被当作事实使用时，不以其单独阻断；残留无依据断言时指出位置并要求执行者修正；待验证假设不等于路线已验证。
+- 由 verifier 按已安装的 ops-direct-invoke/templates/验收报告.md 写入 $WORK_DIR/{{id}}-验收报告.md，执行 test -s "$WORK_DIR/{{id}}-验收报告.md"；通过、失败或阻塞均记录逐项结论与证据路径。重试仅追加问题处理和受影响项复核结果；当前版本缺少有效证据即失败，不补造或重跑测试。
+acceptance:
+- test -s "$WORK_DIR/{{id}}-知识搜集.md"
+- 资料及专项 Skill 检索记录可溯源，结论与适用条件准确。
+- API 组合与代表性 shape 分组的初版 Tiling 草稿齐备，事实、建议和待验证项区分清楚。
+out_of_scope:
+- 改动已确认需求或放宽精度标准、以篡改 golden/用例掩盖失败、伪造确认或验证证据。
+- 加载固定项及当前阶段下发清单以外的 Skill、向 PM 或用户发起交互、等待其答复、派发 Agent、修改 harness 或调度状态、重置或回退其他节点。
+- 将中间产物写出 $WORK_DIR，或使用不以 {{id}}- 开头的中间报告名；算子交付件按目标仓约定路径写入。
+- 性能采集与优化验收、回顾与经验总结、PR、外部 CI 或合并事务。
+- executor 编写或修改验收者报告、为等待验收报告而停止交付；verifier 重新构建、安装或运行测试、替执行者补造执行证据。
+executor: ops-direct-invoke-architect
+verifier: ops-direct-invoke-verifier
+on_exhaust: exit

package/assets/ops-direct-invoke/skills/ops-direct-invoke/tasks/ascendc//347/256/227/345/255/220/345/274/200/345/217/221.yaml

@@ -0,0 +1,47 @@
+variables:
+  executor_skills: 无补充 Skill。
+  verifier_skills: 无补充 Skill。
+  knowledge_documents: 无补充文档。
+task_type: normal
+title: 算子开发
+goal:
+- 完成满足已确认需求的直调算子实现。
+approach:
+- 读取 $USER_PROMPT、$WORK_DIR/需求分析.md 和 $WORK_DIR/环境信息.md；必要输入缺失、失效或冲突时，停止依赖该输入的操作，在本阶段报告中记录阻塞证据，按 harness 原生协议结束执行。
+- 必须加载 `repo-op-templates`、`repo-coding-rules`、`repo-build-guide`、`repo-knowledge`、`ascendc-api-best-practices`、`ascendc-docs-search`
+  Skill，按其中的要求执行。
+- 补充知识文档：{{var:knowledge_documents}}。有则读取，作为中立参考，区分证据、建议与待验证项；无则直接依据需求、固定 Skill 和测试工程开发，不要求图中存在知识搜集节点。
+- '{{var:executor_skills}}'
+- 补充 Skill 中的必需项直接加载，候选项仅在实际证据满足所列条件时加载；未命中不加载。所需能力超出清单或需改变已确认约束、任务范围时，记录阻塞，不自行扩展。
+- 读取 $WORK_DIR/{{id:黑盒测试设计}}-黑盒测试设计.md 和 $WORK_DIR/{{id:测试工程开发}}-测试工程说明.md，复用资料及测试入口。
+- 任务上下文提供前轮穿刺代码或证据时，核对其路径、版本与适用范围，复用有效实现和测试入口，仅补齐正式交付缺口；穿刺通过不代替本节点全量黑盒与代码检视。
+- 按目标仓布局实现算子，可根据验证调整草稿中的 API、Buffer、Tiling 与分支；已确认接口、芯片、架构和精度仍是约束。将源码、注册封装和构建入口的实际路径赋给 operator_source、registration_source、build_entry，多文件逐一检查。
+- 独立构建当前代码并运行全量黑盒用例；将实现路线、关键分支、变更摘要及补充 Skill 使用依据写入 $WORK_DIR/{{id}}-实现记录.md。按已安装的 ops-direct-invoke/templates/测试执行记录.md 写入
+  $WORK_DIR/{{id}}-测试执行记录.md，保存构建及全量测试原始日志；实现记录仅引用证据路径，不再抄录命令输出和逐用例明细。代码检视由 verifier 执行，白盒由后续节点生成。
+procedure:
+- 读取 $USER_PROMPT、$WORK_DIR/需求分析.md 和 $WORK_DIR/环境信息.md；必要输入缺失、失效或冲突时，记录阻塞证据并判定验收失败。
+- 必须加载 `repo-build-guide`、`repo-test-develop`、`repo-knowledge`、`repo-coding-rules` Skill，按其中的要求执行。
+- '{{var:verifier_skills}}'
+- 补充 Skill 中的必需项直接加载，候选项仅在实际证据满足所列条件时加载；未命中不加载。所需能力超出清单或需改变已确认约束、任务范围时，记录阻塞，不自行扩展。诊断仅限已有证据分析与判定，不修改被验收对象。
+- 读取当前代码、$WORK_DIR/{{id}}-实现记录.md、黑盒方案与测试工程说明；给 operator_source、registration_source、build_entry 赋实际路径，多文件逐一检查。
+- 读取 $WORK_DIR/{{id}}-测试执行记录.md 与原始构建、测试日志，核对当前源码、测试、构建产物的哈希与运行时加载路径一致；全量黑盒生成数、执行数及结果可核对，无缺失、跳过、待验或失败，不虚构白盒覆盖。只读核验现有证据，不重新构建或运行测试。
+- 检视全部算子变更与关联接口，核对需求、硬件约束、编码规则及实现记录；草稿仅作参考。按已安装的 ops-direct-invoke/templates/代码检视报告.md 写入 $WORK_DIR/{{id}}-代码检视报告.md，两个维度均通过才通过本节点；验收报告记录本阶段实际加载的补充
+  Skill 与选择依据（未加载记无）。
+- 由 verifier 按已安装的 ops-direct-invoke/templates/验收报告.md 写入 $WORK_DIR/{{id}}-验收报告.md，执行 test -s "$WORK_DIR/{{id}}-验收报告.md"；通过、失败或阻塞均记录逐项结论与证据路径。重试仅追加问题处理和受影响项复核结果；当前版本缺少有效证据即失败，不补造或重跑测试。
+acceptance:
+- test -s "$operator_source"
+- test -s "$registration_source"
+- test -s "$build_entry"
+- test -s "$WORK_DIR/{{id}}-实现记录.md"
+- test -s "$WORK_DIR/{{id}}-测试执行记录.md"
+- 黑盒用例全量通过，当前代码构建成功，接口与精度满足需求，无缺失、跳过或待验项。
+- 代码检视通过，当前实现满足需求与编码规则，无阻塞或高级问题；记录和报告与实际交付一致，补充 Skill 使用及依据可追溯。
+out_of_scope:
+- 改动已确认需求或放宽精度标准、以篡改 golden/用例掩盖失败、伪造确认或验证证据。
+- 加载固定项及当前阶段下发清单以外的 Skill、向 PM 或用户发起交互、等待其答复、派发 Agent、修改 harness 或调度状态、重置或回退其他节点。
+- 将中间产物写出 $WORK_DIR，或使用不以 {{id}}- 开头的中间报告名；算子交付件按目标仓约定路径写入。
+- 性能采集与优化验收、回顾与经验总结、PR、外部 CI 或合并事务。
+- executor 编写或修改验收者报告、为等待验收报告而停止交付；verifier 重新构建、安装或运行测试、替执行者补造执行证据。
+executor: ops-direct-invoke-developer
+verifier: ops-direct-invoke-verifier
+on_exhaust: exit

package/assets/ops-direct-invoke/skills/ops-direct-invoke/tasks/ascendc//351/273/221/347/233/222/346/265/213/350/257/225/350/256/276/350/256/241.yaml

@@ -0,0 +1,27 @@
+task_type: normal
+title: 黑盒测试设计
+goal:
+- 形成覆盖算子规格的黑盒测试方案。
+approach:
+- 读取 $USER_PROMPT、$WORK_DIR/需求分析.md 和 $WORK_DIR/环境信息.md；必要输入缺失、失效或冲突时，停止依赖该输入的操作，在本阶段报告中记录阻塞证据，按 harness 原生协议结束执行。
+- 必须加载 `repo-test-develop`、`ascendc-st-design` Skill，按其中的要求执行。
+- 依据已确认规格设计 golden、L0/L1/L2 用例、覆盖矩阵、预期错误及逐输出精度标准；按已安装的 ops-direct-invoke/templates/黑盒测试设计.md 写入 $WORK_DIR/{{id}}-黑盒测试设计.md。
+procedure:
+- 读取 $USER_PROMPT、$WORK_DIR/需求分析.md 和 $WORK_DIR/环境信息.md；必要输入缺失、失效或冲突时，记录阻塞证据并判定验收失败。
+- 必须加载 `repo-test-develop` Skill，按其中的要求执行。
+- 对照需求和已安装的 ops-direct-invoke/templates/黑盒测试设计.md，检查 $WORK_DIR/{{id}}-黑盒测试设计.md 的规格覆盖、golden、预期结果及精度口径，记录缺口与依据。
+- 由 verifier 按已安装的 ops-direct-invoke/templates/验收报告.md 写入 $WORK_DIR/{{id}}-验收报告.md，执行 test -s "$WORK_DIR/{{id}}-验收报告.md"；通过、失败或阻塞均记录逐项结论与证据路径。重试仅追加问题处理和受影响项复核结果；当前版本缺少有效证据即失败，不补造或重跑测试。
+acceptance:
+- test -s "$WORK_DIR/{{id}}-黑盒测试设计.md"
+- golden 与测试方案符合已确认需求。
+- L0/L1/L2 覆盖完整，覆盖矩阵、补充用例和预期错误明确。
+- 逐输出精度口径完整、权威且可执行，无未说明的差异。
+out_of_scope:
+- 改动已确认需求或放宽精度标准、以篡改 golden/用例掩盖失败、伪造确认或验证证据。
+- 加载本 task 明确引用以外的 Skill、向 PM 或用户发起交互、等待其答复、派发 Agent、修改 harness 或调度状态、重置或回退其他节点。
+- 将中间产物写出 $WORK_DIR，或使用不以 {{id}}- 开头的中间报告名；算子交付件按目标仓约定路径写入。
+- 性能采集与优化验收、回顾与经验总结、PR、外部 CI 或合并事务。
+- executor 编写或修改验收者报告、为等待验收报告而停止交付；verifier 重新构建、安装或运行测试、替执行者补造执行证据。
+executor: ops-direct-invoke-architect
+verifier: ops-direct-invoke-verifier
+on_exhaust: exit

package/assets/ops-direct-invoke/skills/ops-direct-invoke/tasks/cannbot-dsl//344/272/244/344/273/230.yaml

@@ -0,0 +1,15 @@
+title: 交付｜汇总最终产物
+goal:
+- 汇总当前算子的全部交付件与验收证据，形成可追溯交付清单。
+approach:
+- 逐项读取上游节点的通过状态、最终文件路径、适用环境与结果证据。
+- 在 `$WORK_DIR/DELIVERY.md` 列出交付件、运行、导出与复验入口、Native 产物及其验证证据、限制和未解决的非阻断事项。
+- 将本节点执行过程记录写入 `$WORK_DIR/.workflow/reports/`，文件名包含节点 ID；业务产物仍写入本任务约定的位置。
+procedure:
+- 核对 `DELIVERY.md` 所列交付件均可定位到真实文件。
+- 核对必需的功能、精度、性能、文档与代码检视证据齐备且相互对应；未将未通过的节点或测试描述为已通过。
+- 将验收结论与证据写入 `$WORK_DIR/.workflow/reports/`，文件名包含节点 ID。
+acceptance:
+- 'test -s "$WORK_DIR/DELIVERY.md"'
+out_of_scope:
+- 不新增实现功能，不把未通过的节点或测试描述为已通过。

package/assets/ops-direct-invoke/skills/ops-direct-invoke/tasks/cannbot-dsl//344/273/243/347/240/201/346/243/200/350/247/206.yaml

@@ -0,0 +1,18 @@
+title: R2｜代码检视
+goal:
+- 检视最终算子实现及相关测试、文档的一致性和可维护性。
+approach:
+- 必须加载 `cannbot-dsl-code-reviewer` Skill，按其中的要求执行 DSL 算子源码的可读性检视；本节点检视者必须实际读取算子代码，禁止仅凭规则文档示例下结论。
+- 对照 `spec.yaml`、`DESIGN.md`、Unit 设计与验收证据检查实现路径、边界、资源生命周期和同步处理。
+- 检视报告按工作流要求落盘 `$WORK_DIR/code-review/`；FAIL/SUSPICIOUS/待确认分级如实记录并引用真实代码行号与片段，语料外发现单独标注，禁止为凑结论强行判 FAIL。
+- 在 `$WORK_DIR/code-review/` 记录逐项发现、严重程度、定位和修复状态；阻断问题未闭合时按执行协议终止本节点。
+- 将本节点执行过程记录写入 `$WORK_DIR/.workflow/reports/`，文件名包含节点 ID；业务产物仍写入本任务约定的位置。
+procedure:
+- 核对检视报告逐项发现有真实代码行号与片段支撑，分级（FAIL/SUSPICIOUS/待确认）与证据匹配。
+- 核对所有阻断问题均已闭合，并有对应代码版本和回归证据。
+- 核对未通过放宽测试阈值、修改 Golden 或改写验收报告来消除问题。
+- 将验收结论与证据写入 `$WORK_DIR/.workflow/reports/`，文件名包含节点 ID。
+acceptance:
+- 'find "$WORK_DIR/code-review" -type f -size +0 | grep -q .'
+out_of_scope:
+- 不通过放宽测试阈值、修改 Golden 或改写验收报告来消除问题。

package/assets/ops-direct-invoke/skills/ops-direct-invoke/tasks/cannbot-dsl//345/210/233/345/273/272/345/267/245/344/275/234/345/214/272.yaml

@@ -0,0 +1,17 @@
+title: 初始化｜创建工作目录
+goal:
+- 初始化本轮算子开发工作目录。
+approach:
+- 保留 harness 已创建的 `$WORK_DIR` 及其中的 `.workflow/`，只补齐本轮需要的工作目录，不得清空或覆盖既有运行状态。
+- 浅克隆 DSL 示例仓：`git clone --depth 1 https://gitcode.com/cann/cannbot-dsl.git "$WORK_DIR/cannbot-dsl"`，并在节点执行记录中写明 commit SHA；该仓本轮只读，不修改、不构建、不安装，示例代码仅供设计与实现参考。
+- 将本节点执行过程记录写入 `$WORK_DIR/.workflow/reports/`，文件名包含节点 ID；业务产物仍写入本任务约定的位置。
+procedure:
+- 核对 `.workflow/` 下的 harness 运行状态未被删除或修改。
+- 核对 `$WORK_DIR/cannbot-dsl` 的 remote 为官方仓、工作树无修改（`git status --porcelain` 为空），commit SHA 与执行记录一致。
+- 将验收结论与证据写入 `$WORK_DIR/.workflow/reports/`，文件名包含节点 ID。
+acceptance:
+- 'test -d "$WORK_DIR" && test -w "$WORK_DIR"'
+- 'test -d "$WORK_DIR/.workflow"'
+- 'test -d "$WORK_DIR/cannbot-dsl/samples"'
+out_of_scope:
+- 不进行环境判定、算子规格设计、实现或性能优化。

package/assets/ops-direct-invoke/skills/ops-direct-invoke/tasks/cannbot-dsl//345/215/225/345/205/203/344/273/273/345/212/241/346/213/206/345/210/206.yaml

@@ -0,0 +1,22 @@
+title: Unit 规划｜从算子设计拆分实现单元
+goal:
+- 将已验收的算子设计拆分为具有依赖关系、可独立验收的最小纵向实现单元。
+approach:
+- 将 `$WORK_DIR/design/doc/spec.yaml`、设计目录和已有实现信息提供给 `cannbot-dsl-unit-planner`；Skill 只读取这些输入并在 `$WORK_DIR/design/units/` 产出 `U01.yaml` 至 `U<n>.yaml`。
+- 向规划 Skill 提供实现路径约定：公开模块为 `operators/<op>/<op>.py`，结构探针为 `operators/<op>/probe/<op>_probe.py`；`<op>` 取 spec.op.name。每个 Unit 填写明确的允许修改文件，结构义务所属 Unit 包含探针文件及必要的包初始化文件；Unit 依赖表达能力或设计先后要求，共享写集的串行关系由实现子图生成器添加。
+- 将设计中的导出入口和共享编译工厂纳入对应 Unit 的实现范围与可观察验证义务；性能目标保留在设计验证方案，由性能节点实测，不声明为只靠 TDD 验收的 performance 义务。
+- 不设固定 Unit 数量，不发明设计中没有的算法、API、资源数字或测试 Case。设计缺少实现所需事实时记录缺项与来源并终止本节点，由框架处理结果。
+- Unit 的 `design_sources` 记录实际设计文件与章节；具体测试输入、Case ID 和 Golden 留给测试生成节点。
+- 将设计的强制承诺、允许选项和演进边界提供给规划 Skill；新增设计约束与补证须关联验证义务或明确的源码、编译产物、设备证据检查，不以描述字段代替完成判据。
+- 将节点执行过程写入 `$WORK_DIR/.workflow/reports/`，文件名包含节点 ID。
+procedure:
+- 运行 `scripts/validate_unit_contracts.py --units-dir "$WORK_DIR/design/units"`，校验能力依赖闭包、义务 ID、设计约束与补证关联；失败时停止交接测试生成。脚本检查声明结构，不证明人工证据已通过。
+- 核对每个 Unit 文件可解析，依赖无环，`requires` 能由依赖中的 `provides` 满足，首个数值 Unit 有独立端到端验收义务。
+- 核对各 Unit 的设计来源真实存在且内容相关，没有固定数量假设或提前分配的测试 Case。
+- 核对 supported_domain 与边界、out_of_scope 及后继覆盖一致，能力依赖与写入顺序原因明确；设计约束和补证有义务关联或带通过判据的 review_evidence，输入触发条件对应真实故障面。
+- 将验收结论与证据写入 `$WORK_DIR/.workflow/reports/`。
+acceptance:
+- set -- "$WORK_DIR"/design/units/U*.yaml; for unit_file do test -s "$unit_file" || exit 1; done
+- Unit 契约校验退出码为 0，记录对应本轮 Unit 文件；设计约束与补证关联无缺项。
+out_of_scope:
+- 不生成 Golden、白盒或 TDD Case，不编写实现，不运行设备精度或性能验证。