待验证50% 置信事实精确时间
cosign 的 attestation 可被 Kubernetes 策略引擎（如 Kyverno、OPA Gatekeeper）在部署时自动拦截验证
1
来源数
50%
置信度
长期有效
时效性
2026/10/8
首次发现
来源
涉及实体
相关事实
待验证运行时验证在系统运行时动态检查每个动作是否满足预定义的安全规范，计算开销相对可控，更适合生产环境部署64% 相似待验证反馈循环要求代理在每个阶段结束后能自动验证自己的输出（如运行单元测试、检查类型错误、验证构建成功），这些自动化验证机制构成AFK模式的安全网60% 相似已验证传统静态分析工具（如SonarQube、Fortify、Checkmarx等）通过预定义的规则模式匹配来检测代码中的安全漏洞60% 相似待验证COGEXT 的矛盾雷达（Contradiction Radar）用于检测 Agent 前后陈述之间的自相矛盾60% 相似待验证COGEXT v2.0 包含验证引擎、急停开关、矛盾雷达、失败预测器、公开审计凭证五大能力60% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/988192API
curl https://kongchang.com/api/v1/knowledge/claims/988192MCP
get_claim(id=988192)