文档中心 / 规范编译链 草稿 【建模约定】

本页状态:关键口径待定

按”完成度诚实原则”(W1.0 治理规则 2.4),本页明确标注未完成及其阻塞项,不用占位内容充实。

覆盖率想回答什么

“系统对该任务适用的标准条款,编译并测试了多少?”

Coverage(T)=已编译并通过测试的适用条款判定适用的条款全集\mathrm{Coverage}(T) = \frac{|\text{已编译并通过测试的适用条款}|}{|\text{判定适用的条款全集}|}

分子是清晰的:SignedConstraintArtifact 库中状态为”已发布”的产物可数。

阻塞项:分母由谁认定

“判定适用条款”由谁认定、以什么为准——这是 W1.0 遗留的四个内容问题之一(问题③),未拍板前本页不能给出数字:

候选口径优点问题
规范专家人工圈定权威专家间可能不一致,需仲裁机制
按任务类型的条款映射表可复用映射表本身需要评审与版本化
检索召回 + 专家确认效率高召回遗漏无法自证

倾向方案:任务类型 → 条款映射表(本身作为受版本治理的编译产物),由规范专家评审签署;检索召回仅作辅助查漏。待 167 首个任务的条款圈定实践后冻结口径。

冲突消解(框架已定,实例待积累)

多标准并存时的冲突处理顺序:

  1. 效力层级:国标 > 行标 > 企标(同层级新版本优先)
  2. 特殊优先:针对具体工况的条款优先于一般条款
  3. 从严原则:安全约束冲突时取更严格值
  4. 无法消解 → UNKNOWN:进入人工复核,不自动裁决

冲突消解的每次裁决记录为产物变更历史的一部分,可追溯、可复盘。

完成本页需要

  • 决策点③拍板(覆盖率分母口径)
  • 167 任务首批条款圈定实践(KB 中 9 份标准文档为起点)
  • 首例真实冲突消解记录