本体协作平台
纲要合规

纲要合规检查

按《本体知识库说明书》第二/四/五章可机器判定的条文,对登记表实时检查:互指(writer↔side_effects/outputs、product_of↔product)、宿主/端点合法、五轴取值、六要素、规则挂载与门类、图谱约束(青蓝无直接边)。只报告不改数据。 卡在二期接地或三期字段的条目单独收在页底(现在做不了),但其中「涉及未裁决冲突」的会提到正列——那是一期该收口的。这是「场景核验 SOP」的步骤 0/5;完整流程见仓库 docs/场景核验SOP.md(机器审计 → 对象判定 → 链路走查 → 覆盖对照 → 内容质量 → 叙事同步)。

2
违规(error)
2
提示(warn) · 一期核验
20
待二期接地 / 三期补字段
182
已检查构件 · ① 开通与授信
纲要 2.2

推断属性 writer 须指函数

2
纲要 2.1

对象须有身份标识(缺则登缺口)

1
纲要 2.2

枚举须有取值字典

1
纲要 6.x卡在二期/三期的门槛 · 20 条不是核验漏项:属性未接地要等数据团队回填(二期),expr / allowed_states 等字段留给 use case 小组按第六章补(三期)。 这里只列「现在做不了的」;需要你收口的冲突已单独提到正列。点开查看 ▸
纲要 6.11

三期字段未齐(verified,尚不能切 active)

20
  • grounding 未 verified(6.3.4)
  • outputs P011 未接地(6.3.4)
  • outputs P072 未接地(6.3.4)
  • outputs P095 未接地(6.3.4)
  • outputs P127 未接地(6.3.4)
  • outputs P023 未接地(6.3.4)
  • outputs P247 未接地(6.3.4)
  • outputs P019 未接地(6.3.4)
  • outputs P257 未接地(6.3.4)
  • outputs P019 未接地(6.3.4)
  • outputs P090 未接地(6.3.4)
  • outputs P074 未接地(6.3.4)
  • outputs P074 未接地(6.3.4)
  • outputs P089 未接地(6.3.4)
  • outputs P246 未接地(6.3.4)
  • outputs P246 未接地(6.3.4)
  • outputs P125 未接地(6.3.4)
  • outputs P218 未接地(6.3.4)
  • outputs P267 未接地(6.3.4)
  • outputs P268 未接地(6.3.4)