记录与复现问题

迁移后出现编译失败或行为异常时，先通过差异查询或症状排查定位，再缩小为可比较的双库用例。

记录	内容
工具与库	VCS/Verdi 完整版本、实际加载库路径、启动 banner
触发条件	宏、plusarg、命令、seed；RAL 还需端序、宽度、响应与预测方式
预期与实际	事务数、数据、status、镜像或消息，以及首次分歧的位置
最小复现	最小 TB、文件列表与运行步骤，保留对应 1.2 / 2.0 结果
已做修改	临时兼容措施、具体改法和相关条目 ID

示例包中的运行器可以作为双库比较的起点。记录到迁移清单的证据备注中；涉及工具问题时，同一份最小复现也可用于技术支持定位。