v0.3.6

Forenyx AI 0.3.6

• [新功能] 新增 uvm-env-sva Skill：从 testplan 的「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]
• [增强] uvm-env-impl：补充 SVA 阶段衔接说明

Full Changelog: v0.3.5...v0.3.6

v0.3.5

• 修复了 CLI 假死问题：/uvm-testcase-auto执行后，后续输入全部积压没有处理响应
• 修复了用例误报'生成失败'的问题：register_tc.py 硬性要求 tbench.v 里有 include 标记
• 修复了执行技能时报 .py 脚本找不到（在工作目录下误寻 scripts/）的问题

v0.3.4

• 交互命令行拦截优化
• 环境搭建技能规范修正

v0.3.3

• 优化 UVM 搭建 Skill 约束

v0.3.2

• 更新uvm环境搭建Skill

v0.3.1

• 引入商业版一码一机（One-Time License）安全授权与激活校验机制
• 支持设备硬件 UUID 与操作系统用户名双重哈希绑定，防范二次拷贝分发与跨设备冒用
• 优化一键免交互自更新（forenyx update）逻辑，实现公网静默鉴权升级

v0.2.9

• 移除内置技能（Skills）中未定义的 $SKILL_DIR 依赖，统一重构为标准相对路径
• 在~/.forenyx/.env中单独配置 内置技能 ic-docx2md的api key

v0.2.8

• [体验优化] CLI 升级与版本检测支持 2 秒非阻塞异步检测、翠绿加粗色彩高亮反馈，并支持 update 智能重复拦截，大幅提升操作交互体验

v0.2.7

• [安全加固]
• [体验优化] 优化 CLI 安装目录结构

v0.2.6

1. 新增FSDB波形抽取Skill /uvm-fsdb-extract
2. 新增FSDB波形根因分析Skill: /uvm-testcase-wave-rca