runtime-verification-for-agents

将形式化不变量（TLA+、Alloy、时序逻辑）编译为运行时监视器，持续审计代理协调守护进程。仲裁器模式：一个验证代理，针对已证明的属性对实时会话进行冒烟测试，并在违反时触发补救措施。不适用于应用程序性能监控（请使用可观测性技能）、日志聚合、静态分析或单元测试。

模型生成摘要（rules/v1 · 2026-11-13 22:22）：将形式化不变量（TLA+、Alloy、时序逻辑）编译为运行时监视器，持续审计代理协调守护进程
这是模型对公开材料的总结，不是官方声明，请以原链内容为准。

存档时间线

版本	存档时间	内容哈希	内容
v1	2026-11-13 22:20	42c45435	可取

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

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

提交举报 / 纠错

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