内容
# WarrantOS: 声明的持续集成
每个 AI 辅助文档中的事实声明都附带来源、`[需要引用]` 标签或已记录的 BLOCK。没有担保，不予通过。
*`claude-provenance` 在 GitHub 上以及作为旧版 Claude Code 插件；`warrantos` 在 PyPI 上以及 CLI。*
[](https://github.com/jvega017/warrantos/actions/workflows/ci.yml)
[](docs/STATUS.md)
## 十秒钟
```text
$ warrantos demo
WarrantOS 演示
---------------------
检查一个合成的 AI 风格草稿，该草稿故意包含不受支持的事实声明和会话脚手架残留。
预计 BLOCK 判决。
warrantos check
运行 ID： run_6e466f721f8a
配置文件： final-prose
检测到的声明： 6
支持的声明： 0
不支持的声明： 6
边界： blocked (7 次违规)
记录的覆盖： 0
判决：BLOCK
- BLOCK: 边界违规 [assistant_opener severity=high] 第 9 行： Certainly!
- BLOCK: 边界违规 [hedge_provenance severity=medium] 第 15 行： Based on the information provided
- BLOCK: 边界违规 [scaffold_placeholder severity=high] 第 17 行： [TODO: add the figures from the evaluation once the team sen
- BLOCK: 边界违规 [assistant_closer severity=high] 第 19 行： I hope this helps
```
实际输出，已修剪。完整的运行列表显示所有七项违规和审计文物的路径。
## 安装
```bash
pipx install warrantos # 隔离的 CLI 安装
uvx warrantos demo # 零安装试运行
pip install warrantos # 普通 pip 也可用
```
## 检查文档中的 AI 残留
```bash
warrantos slop docs/ README.md # 扫描路径中的脚手架残留和无来源声明
warrantos slop --json docs/ # 机器可读输出
warrantos slop --badge docs/ # 为 README 生成徽章 URL
warrantos slop --fail-over 0 docs/ # CI 模式：在阈值以上时非零退出
```
捕获 AI 草稿未编辑的迹象：助手开启和关闭、身份免责声明、交付框架、遗留 TODO 占位符以及没有可达来源的事实句子。完整的模式列表位于一个地方，[`context_admissibility`](warrantos/provenance/context_admissibility.py)，因此 `slop` 发现和 `check` 违规始终由同一规则解释。默认情况下，封闭的代码块被跳过，因为它们通常引用刻意的例子；使用 `--include-fences` 扫描它们。
然后使用 `warrantos tells` 进入更深层次：它标志着没有残留但仍然读起来像机器写的文本（对比性否定“不是 X，而是 Y”系列、堆叠的 hedge、em-dash 标点符号、AI 填充短语、公式化的段落开头）。房屋风格是人为判断的，因此 `tells` 存在于自己的命令和自己的评分中；其哲学和限制在 [`docs/TELLS.md`](docs/TELLS.md) 中。
```
warrantos tells docs/ # TELL SCORE 加上每个发现的模式和类别
```
该存储库将其自身约束在这两者之内：文档扫描无残留且无 tells。
## 门控代理
```bash
pip install "warrantos[mcp]"
warrantos-mcp # 为 Claude Code / Claude Desktop 提供 stdio MCP 服务器
```
Claude Code 停止钩子（`warrantos-verify-hook`）在回合结束前检查模型编写的内容：仅限标准库，无网络，从不破坏会话。有关连接说明，请参阅 [`docs/MCP-CONFIG.md`](docs/MCP-CONFIG.md)；钩子表面位于 [`warrantos/hooks/`](warrantos/hooks/) 中。
## 审计轨迹用于治理
```bash
warrantos attest final.md --run-dir .warrant/runs/<id> --out final.warrant
warrantos verify-external final.warrant --prose final.md # 出现任何故障时退出非零
```
每个检查运行都可以密封到一个可移植的 `.warrant` 包中，第三方可以离线验证：无需访问您的账本，无需网络调用，失败关闭，并为只有文件的读者提供零后端浏览器验证器（`web/verify.html`）。详细信息请参阅 [`docs/VERIFICATION.md`](docs/VERIFICATION.md)；控制映射到 ISO/IEC 42001 和 NIST AI RMF 的内容请参阅 [`docs/COMPLIANCE.md`](docs/COMPLIANCE.md)。
## 工作原理
WarrantOS 在文档到达作者的工作台之前读取文档。
它检测事实声明句子，并检查每个句子是否在同一句子或下一行有来源，或显式 `[需要引用]`。
它扫描聊天脚手架和流程残留是否已渗入到制品中。
它返回一个判决（`PASS`、`HOLD`、`BLOCK` 或 `NOT_ASSESSABLE`），并将每次错过写入一个只追加、抗篡改的账本，您可以交给审计员。
仅限标准库，MIT，无 API，无账户。
| 文档 | 涵盖内容 |
|---|---|
| [`docs/QUICKSTART.md`](docs/QUICKSTART.md) | 五分钟游览，每行输出都有解释 |
| [`docs/SPEC.md`](docs/SPEC.md) | 规范性规格 |
| [`docs/STATUS.md`](docs/STATUS.md) | 按层构建状态仪表盘 |
| [`docs/LIMITATIONS.md`](docs/LIMITATIONS.md) | 已知的故障模式，以平易近人的方式说明 |
| [`docs/COMPLIANCE.md`](docs/COMPLIANCE.md) | ISO/IEC 42001 和 NIST AI RMF 自评估映射 |
| [`docs/VERIFICATION.md`](docs/VERIFICATION.md) | 完整的离线 `.warrant` 验证 |
| [`docs/FULL-OVERVIEW.md`](docs/FULL-OVERVIEW.md) | 0.10 版之前的 README 正文：完整叙述、工具映射、发布历史 |
## 本工具不具备的功能
WarrantOS 不检测真相，也不尝试检测。声明检测器是一种启发式方法，会产生假阳性和假阴性。离线验证检查标记重叠，而不是含义。正确来源的声明仍可能具有误导性或选择性引用。本工具保证的内容较窄且可操作：无来源或未经检查的声明变得昂贵而不是不可见，且错过记录在案。它不取代人工审查，也不声称取代。完整列表请参阅 [`docs/LIMITATIONS.md`](docs/LIMITATIONS.md)。
## 许可证
MIT。由 Juan Vega、Prometheus Policy Lab 以个人身份构建。与任何雇主或政府无关、未获得资助或认可。
