maintain-formal-verification-skill

在代码变更后，将项目的形式化验证重新与代码保持一致：找出涉及已验证代码的提交，更新模型、测试工具或属性以描述当前代码状态，重新运行验证，并判断每次失败是验证的漂移还是代码中的缺陷。适用于 /maintain-formal-verification-skill，用于回答“模型是否仍与代码一致”，或在合并和重构涉及已验证代码但未重新验证后的场景。

模型生成摘要（rules/v1 · 2026-11-15 05:30）：在代码变更后，将项目的形式化验证重新与代码保持一致：找出涉及已验证代码的提交，更新模型、测试工具或属性以描述当前代码状态，重新运行验证，并判断每次失败是验证的漂移还是代码中的缺陷
这是模型对公开材料的总结，不是官方声明，请以原链内容为准。

存档时间线

版本	存档时间	内容哈希	内容
v1	2026-11-15 05:29	c5b91474	可取

版本索引永久保留；内容副本只保留最新 1 份，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。

下载存档内容副本

纠错与举报（发现条目失效、署名有误或涉及侵权？）

提交举报 / 纠错

侵权举报经核验成立后，我们会即时下线该条目并删除已存的内容副本。