📜 更新日志

Forenyx AI v0.3.6 (2026-07-27)

新增 uvm-env-sva Skill：从 uvm_testplan.md 的「DUT 级 SVA 不变式清单」自动生成 SVA checker 模块、非侵入 bind 与 sva_index.md 索引，支持信号发现脚本（discover_signals.py）与 fail-closed 降级容错。

uvm-testplan-gen-testplan：检查点新增 [SVA-off] 标签（负向/异常用例关断断言），与 [SVA-cover]（正向覆盖）区分；输出模板同步更新。
uvm-testcase-gen-testcase：新增 2c 步「SVA 状态探测与四格决策矩阵」，vseq 强制 SVA 决策记录与 $assertoff / $asserton 成对平衡校验；步骤重编号 2a~2h 并全量同步交叉引用。
uvm-env-sva 双向交叉校验：[SVA-cover] 与 [SVA-off] 引用的不变式 ID 须在清单中存在；清单 → 引用覆盖检查仅算 [SVA-cover]。