🤝 Skill 技能规范契约

Forenyx AI 的三大 Skill 遵循严格的上下游契约规范，确保全自动化闭环无缝衔接。

📋 契约维度与规范

1. 检查点前缀标签契约

• testplan 产出：[CSR] / [Scoreboard] / [SVA-cover] / [SVA-off]
• testcase 消费：
  • 识别 [SVA-cover] ➔ 按正常正向用例流程处理，继承常开。
  • 识别 [SVA-off] ➔ 四格决策矩阵识别为负向用例，调用 sva_index.md 进行成对 $assertoff / $asserton 关断。

2. 双向核对覆盖率契约

• [SVA-cover] 与 [SVA-off] 引用中出现的 SVA-INV-XX 在「二. DUT 级 SVA 不变式清单」中必须存在。
• 核对未引用的不变式（计算未覆盖覆盖率）时，仅统计 [SVA-cover] 正向触发；[SVA-off] 为关断触发，不计入正向覆盖率。

3. fail-closed 容错契约

• 索引缺失或 sva_index.md 未建立时，自动退化为写 TODO 占位与日志输出，不得阻断整个 VCS 编译流程。