# CLI 下载与试用说明 · 1130 知识锚工具包

模型: deepseek-v4-flash · 版本: v1.0.0 · P0 版本闸: sha 2fe633e6

## 方式 A：直接跑 staging 工具包（本 demo 的 CLI 下载件）

```bash
# 在 Mac 上（需 python3 + sympy + pytest）
cd <工具包目录>/anchor_toolkit
python3 auditor_cli.py --version
python3 auditor_cli.py audit "2+2=4。这个政策有利于社会发展。能量守恒定律是物理学的基石。"
python3 auditor_cli.py batch example_claims.txt
python3 -m pytest test_auditor.py -v
```

## 方式 B：打包分发件（出厂 tar.gz）

```bash
bash anchor_toolkit/package_toolkit.sh
# 产出 dist/anchor-toolkit-v1.0.0.tar.gz（自包含只读工具包）
```

## 依赖

- python3（3.10+）
- sympy（符号验证核心）
- pytest（仅跑出厂自检用）

## 覆盖度诚实线（必读）

- 本工具包带 **registry 小子集（15 定理 + 6 推导链）**，非全量 7146 定理库。
- 自家 demo 口径 **MIX=67**（2/3 verified）。真实世界 claim 集实测 **verified 39%**（见 claim_probe_set.md）。
- 三态定义：verified（命中已核实定理·附推导链）/ unverifiable（无对应定理·软叙事拒作可验证）/ falsified（恒假或否定锚定理·附反例）。
- 差异点：**falsified 判决 + 字节级可复现 + 审计轨（推导链引用）**。

## 试用登记与反馈

请到 [market_collection](../market_collection/) 提交试用登记 / 反馈 / 付费意愿表态。每次试用是实数，0 也是实数。