keel

衡量代码库的验证是否真正触及外部世界，还是仅在自我检查。Keel 会收集目标（GitHub Actions、CircleCI、GitLab CI、Travis、package scripts、Makefile、Rakefile、pyproject 及十几种工具配置）中可读的验证边，并报告其识别但无法解析的表面，从而避免将“不可见”误判为“不存在”。它通过判断被验证者是否能写入信号生产者，将每条边分类为锚定、自引用或未知，并输出接地比率。对于新出现的案例，由代理进行判定，并将其固化为探针——即小型可审查脚本——使得重复模式在每次运行中成本更低。随后，将每条未接地的检查路由至同一图中已存在的锚定信号。适用场景包括：（1）审计 AI 生成或由代理维护的工作是否真正经过验证；（2）评估代码库的实际“AI 原生”程度——以其验证中代理无法编写的比例衡量；（3）审查 CI/CD 流水线是否存在循环验证；（4）当有人声称测试通过时，你想知道该说法的依据；（5）衡量验证者的独立性。触发关键词：keel、接地比率、已接地、这真的被验证了吗、谁来检查检查者、循环验证、自引用验证、验证者独立性。

存档时间线

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

下载存档内容副本