信任与收据
给收据，不给承诺。
收据是一条可以自己核验的签名声明，无需依赖我们。本页说明它能证明什么、如何五分钟完成一次验证，以及任何签名都不能建立的东西。
有效签名能证明什么
它能证明对应密钥签署了这些规范化字节，且已检查的字节未被改动。签名或摘要检查本身不构成协议结论；它不能证明声明属实、密钥持有人拥有授权、密钥未被吊销、某项操作确实发生、付款已达终局或服务已交付。密码学检查的范围小于策略判定。
格式是公开的：Ed25519 对规范化 JSON 签名，签发者使用 did:key；已发布规范为 0.5（0.6 为实验性草案）。规范与一致性向量固定于已审阅的公开源码提交。
从浏览器示例开始
无需安装、密钥或上传。如需协议结论，再选择托管或本机验证器。
试用已发布的浏览器示例
验证器在本地运行签名与摘要检查，可核对公开的结算收据或你自己的 bundle。它不计算协议核心结论，也不建立授权、吊销、付款终局或交付事实。
内置的 0.4 示例来自已发布的 17_agreement_bound.json 测试向量；它演示检查过程，不证明示例事件实际发生。
检查示例或自己的任务包
内置已发布示例会在浏览器本地检查。你也可以粘贴自己的连续性收据任务包。任务包字节不会发送到托管服务。
本地检查结果
已发布示例：continuity-receipt/0.4尚未检查当前输入。打开 JSON 编辑器并运行本地检查。
这不是协议核心的 TRUSTED / PROVISIONAL / INSUFFICIENT_EVIDENCE / UNTRUSTED 裁决；不解析授权或撤销，也不证明签名者身份、事件真实发生、付款最终性或服务交付。
内置示例完整标识：continuity-receipt/0.4 · urn:uuid:01a0d12f-c327-7953-928b-d3089c9da9df
托管协议验证：完整步骤
需要 curl 与一个免费评估密钥。 获取密钥（无需账户，按日限额）。将下方占位符替换为你的密钥，勿公开分享。示例下载固定版本的公开测试向量，并发送给托管服务；使用自有文件时，请先确认可以分享其内容。
curl -fLsS https://raw.githubusercontent.com/lbailey94/continuity-receipt/v0.5.0/vectors/17_agreement_bound.json -o bundle.json
export WM_API_KEY='paste-your-evaluation-key-here'
curl -s https://api.whitemagic.dev/verify \
-H "Authorization: Bearer $WM_API_KEY" \
-H 'Content-Type: application/json' \
-d @bundle.json读取返回的 verdict：TRUSTED, PROVISIONAL, INSUFFICIENT_EVIDENCE, UNTRUSTED. 附加 ?require_anchor=1 可要求外部时间戳；?receipt=1 可请求签名结果记录。结论取决于提供的证据与策略，测试向量不证明真实事件发生。
离线协议验证：完整步骤
需要 Python、pip 与 curl；也可手动下载示例文件。安装软件包与下载示例时需要网络，之后可在本地核验文件。建议使用你现有的 Python 虚拟环境。
python3 -m pip install continuity-receipt==0.5.2
curl -fLsS https://raw.githubusercontent.com/lbailey94/continuity-receipt/v0.5.0/vectors/17_agreement_bound.json -o bundle.json
continuity-receipt-verify bundle.json将 bundle.json 替换为你自己的文件路径即可核验自有收据包。离线验证只能评估提供的证据；外部状态、时间戳与策略前提仍需对应证据。
评估者与审计快速通道
按主题查看证据
面向技术审阅者的导航索引。链接分别指向项目测试记录、标准工作材料或线上元数据；各卡片说明相应证据的范围与限制。固定源码版本的测试结果不等于已发布安装包或托管运行时的验证；请分别核对版本、构建产物与相应证据。
宿主沙盒 · 运行元数据报告的文件系统约束与网络测试范围
线上 /info 报告宿主沙盒字段；这些由服务提供的元数据不是独立运行时审计。源码含有本地零外联测试脚本；一次本地网络命名空间测试不能证明生产环境默认禁止外联。
存储完整性 · Memory Crystals晶体存储篡改矩阵：8/10 与 10/10（T1–T10）
固定的 wm-crystal 测试矩阵在同盘承诺配置下于读取时拒绝 8/10 项编辑，在存储目录外锚定含擦除摘要的承诺时拒绝 10/10 项（含 T9 整库快照回滚与 T10 擦除复活）。这是一个实现的测试记录，不是 IETF 规范或对其他存储产品的评测结论。
因果溯源 · 规范实现Causal Provenance Receipts (CPR 0.5.1)
公开语料库包含 80 个规范化 JSON 向量夹具（含 27 个验证收据向量）；固定版本记录报告 Python↔Rust 对 40 个 bundle 向量及 21 个验证收据向量达成差分一致，JavaScript 另有同一语料的 CONFORMANT 报告（40/40 bundle、21/21 收据、208/208 hostile 输入）并记录非向量边界差异；这些是已发布记录，并非本次重新运行。
互操作 · 技术说明Memory Crystals 与 SAIHM 草案的配置比较
固定版本的项目技术说明提出若干 cellId、密钥轮换与签名配置的比较。SAIHM -03 是未获 IETF 背书的 Internet-Draft，其核心配置由运营方托管密钥；持有者自持密钥的配置在该版范围之外。说明中的跨项目映射不代表 W3C 背书、标准合规或已验证的互操作性。
静态存储 · 篡改测试可选启用的静态记录封装：8/8 翻转被拒
一次新建的 Gen3 存储测试中，对启用 XChaCha20-Poly1305 封装的 8 条记录逐条翻转磁盘字节，8/8 次读取均拒绝。该功能目前需选择启用；此测试不评估擦除、审计轨迹或 EU MDR / 21 CFR Part 11 合规性。
开放接口 · 客户端完整性检查浏览器端签名与摘要检查
浏览器示例在本地检查发布的测试向量或用户提供 bundle 的签名与摘要；它不计算协议 verdict，也不证明权限、撤销状态、付款最终性或交付。线上 OpenAPI 是独立的接口描述。
供应链自动化信号 · CI 运行记录Scorecard 自动化信号与可追溯 CI 结果
OpenSSF Scorecard 提供自动化仓库安全信号，不是独立安全审计。CI 示例：提交 91a2005fa39ff8da7137fe2e69bea9772c915670 的运行 40791608285 总体失败；7 个任务成功，macOS advisory 任务因未能取得托管 runner 而取消。Dominion Observatory 的 Issue #28 记录了 2026-10-27 的 55 项 MCP tools/list 私有、未签名快照；作者说明未调用工具。该记录不提供发布二进制文件、SBOM 或运行时审计证据。
规范、软件包、一致性
三套实现，一个语料库。
已发布软件包
- Python 0.5.2 – pip install continuity-receipt==0.5.2
- Rust 0.5.1 – cargo add continuity-receipt@0.5.1
- JavaScript 0.1.1 – 独立版本号；软件包版本不等于规范版本
Python 0.5.2 是实验性的本地接收器版本。它不改变规范 0.5、Rust 0.5.1、 JavaScript 0.1.1 或托管验证器 0.5.1，也不表示线格式 0.6 已发布。
托管接口：api.whitemagic.dev/verify，无状态、支持密钥或 x402；元数据见 /info 与 /openapi.json。当前部署声明验证器 0.5.1 与规范支持 0.1–0.6；声明范围不构成对每条路径的一致性证明。
规范、向量与评审
- 规范性规范 0.5 · 实验性 0.6 草案 · 一致性向量
- IETF SCITT 载荷配置（个人 Internet-Draft，进行中草案）： draft-bailey-scitt-agent-session-receipt-00 （纯文本）——在不修改基础标准的前提下，将 CPR 会话收据包与 chain_head 承诺映射至 RFC 9943 / RFC 9942；个人提交属于工作文档，不代表 IETF 正式标准或工作组采纳声明。
- 公开 CI 在已审阅修订上运行实现测试与语料对比；不支持或格式错误的输入按失败关闭处理，缺失证据永不上调结论。
- 在线 一致性裁判 为第三方验证器评分并返回绑定提交与语料摘要的签名报告；裁判从不执行提交的代码。
- 独立评审已开放但尚未完成——见 REVIEW_BRIEF.md。
第三方扫描器
当扫描器误读防护代码。
查看扫描器说明与源码链接
安全目录偶尔会把 WhiteMagic 标记为“具备”某些能力——而对应字符串其实是被反转的防护、诱饵或打包步骤。最常见的三条：
- 云端元数据引用——crates/wm-memory/src/embedder.rs 里有一段标题为 “Block cloud metadata endpoints” 的黑名单（该函数对 169.254.169.254 等地址返回 false）。这是 SSRF 加固：WhiteMagic 拒绝这些目标，从不访问它们。
- 形似凭据的文件——crates/wm-governance/src/decoy_shell.rs 会在入侵者最先翻查的路径上放置一棵结构无效的假密钥诱饵树（每个都带 DECOY_TAG 标记）；它从不接触真实凭据。
- “执行外部命令”——npm 包是安装器：下载经校验和的 wm 二进制并执行它。这就是它的全部职责。
以上每一条都可以在 源码中核实；真正的漏洞请走 SECURITY.md.
静态存储完整性
静态封装：一项八条记录的历史测试。
这项本地测试启用了可选的逐记录封装。默认存储不加密；注明日期的结果不代表所有发布版本或存储。
阅读测试范围、对照与历史结果
在一个开启逐记录 XChaCha20-Poly1305 静态封装（记录身份绑定至 AAD）的 Gen3 存储上，直接修改磁盘上的每一条加密记录字节：8/8 次篡改在读取路径上被拒绝（未改动记录正常读取，恢复字节后再次通过；状态收据摘要篡改同样被拒绝）。原始测试记录保留在本地供审查；此候选测试结果不代表所有发布版本或存储。
这项 2026-10-14 的测试针对能够接触磁盘、但没有静态密钥的对手。持有密钥的对手可以重新封装修改后的内容；状态收据提交的是 epoch 与记录数，而不是记录内容。异地保留的已密封链头可约束已见证证据链的重写，但不证明所有未密封事件完整。原始测试记录保留在本地，页面不提供该八条记录测试的公开复现脚本。
2026-10-15/22 补充实测套件：（1）在十项存储编辑矩阵（T1–T10）中，客户端加密记忆水晶（wm-crystal）在同盘承诺配置下于读取路径拒绝 8/10 项编辑，在异地锚定含擦除摘要的 wm.crystal-set-commitment 配置下拒绝全部 10/10 项编辑（含 T9 整库快照回滚与 T10 擦除复活；见 适配器与固定测试）；（2）在 14 例 anchored-record-chain/v1 外部验证轨道上达成 14/14 一致（0 分歧；见 一致性报告）；（3）连续性收据链头按小时向外部见证日志密封（公开快照）；（4）当前的本地替代服务与归档完整性检查在隔离网络命名空间中于 2026-10-18T03:27:47Z运行；保存记录显示 23/23 项检查通过。范围包括归档字节与成员安全、恢复后的存储和应用检查、本地网关认证，以及收据、属主和重放检查。 详细证据保留在本地；不能证明其与签名发布或已部署 next lane 二进制一致。此前 00:36Z 和 16:59Z 的结果以历史记录保留其中。这些结果均未测量整机 RTO 或最坏情况下的 RPO，也未验证全新操作系统引导、systemd 恢复、Caddy/TLS、DNS 切换或 next lane 恢复。
托管防御证据
请求日志记录特定时间窗口内观察到的流量。
响应状态码、被拒请求或自动告警，只是特定服务与时间窗口内的观察结果。4xx 响应本身不证明一次攻击已被阻止、攻击者身份唯一或隔离成功。自动告警文字需要佐证，才能作为事件结论。
有用的防御报告应说明来源、观察窗口、部署版本、计数规则及产生结果的控制措施。请求计数不证明对手消耗了多少推理费用，也不证明没有发生入侵。隔离声明需要针对确切运行时的成功对照与拒绝测试。
CPR 按其已实现规则验证签名记录。收据不会自动执行存储攻击测试集、防止回滚或证明安全删除。请查看 有明确范围的证据路径 及其负向对照；源码、已发布软件包与托管结果需要分别验证。
诚实的边界
收据永远不能证明什么。
发布分发健康检查覆盖下载可用性、签名产物身份与附带的安装检查；源码 CI 与性能资格核验是独立证据。 2026-10-17 记录的 PEB-10 耗时比较尚未达标：相对于模拟 DAG 基线，加速比中位数为 1.1140×，低于保留的 1.4× 门槛。 详见 注明日期的运行与原始样本。较新的 GitHub 预发布 v10.5 同样未达到耗时门槛（中位数 1.1489×）；参见其 单独的耗时记录。网站保留当前安装固定版本；分发健康结果不能证明集群任务执行或基于收据的信用发放已获得资格。
有效签名只说明签发者签过这条声明，不说明声明正确。锚定是可选的；要求锚定时，缺少锚定导致 PROVISIONAL，而非 TRUSTED。吊销检查需主动启用，且只与发布的吊销文档同样新鲜。验证收据由 API 签发者签名，这让验证器本身也可被核验。
常规验证在内存中处理 bundle，不存储 bundle 内容。网关审计条目可能包含密钥名称、时间、方法、状态码、字节数、规范化路由、客户端类型与决策详情；不包含 bundle 内容、查询文本、工具参数或 bearer token。单独披露的例外：匿名试用计数器在内存中使用客户端 IP；水龙头审计记录可能持久保存 IP 与付款方标识。详见 《隐私政策》。
首笔外部结算（2026-09-28）：实验室的无内容声明记录了一笔 0.01 USDC 的 Base 结算，并关联到一条网关审计记录。转账是链上事实；将其关联到托管请求是实验室的声明；不主张身份、意图或服务交付。来源：Base 交易 · 实验室声明 · OpenTimestamps 锚定。
外部需求（截至 2026-10-14）：7 笔非自我 x402 结算，来自 5 个不同付款钱包，其中 3 个付款两次 — Base 上共 0.046 USDC。每笔交易都列于需求声明中；分类依据与上文相同的非自我标准，金额为公开的 x402 档位价格，并非服务价值、独立用户身份或更广泛采用情况的度量。声明记录的是实验室的分类，并受其来源中说明的限制约束。
方案注册表：continuity-receipt 方案的版别、状态与验证器入口公布于此——0.5（现行）、0.6（候选）、0.6-pq（计划中，Ed25519 + ML-DSA 双签）。状态迁移与聚合计数位于内容中立的 注册表清单中；它是运营方声明，并非全球普查，计数器在接入前保持不公开。
合规与监管对齐 · 审计矩阵
企业与监管标准交叉映射
企业安全主管 (CISO) 与合规审计团队可以直接使用 WhiteMagic 的本地优先物理隔离与因果源流收据满足下列核心监管指标：
| 框架 / 法规 | 条款要求 | WhiteMagic 满足方案 |
|---|---|---|
| NIST AI RMF 1.0 | AI 系统可追溯性、状态源流与有界代理执行。 | 确定性因果源流收据 (CPR) + Linux Landlock LSM 硬件级沙箱约束。 |
| 欧盟 AI 法案 (EU AI Act) | 高风险自主智能体操作的全生命周期日志记录、可审计性与事件溯源。 | 规范 JSON 上的 Ed25519 签名收据包，原生防篡改，可独立离线验签。 |
| SOC 2 Type II / HIPAA | 防止敏感客户数据、代码或鉴权凭据向第三方云服务未经授权外泄。 | 本地优先 LMDB 存储，默认零网络外泄 (Zero-Egress)，纯本地进程间 stdio 通信。 |
| IETF SCITT / AER | 智能体工具执行收据与会话声明的标准化开放签名信封格式。 | 开源公开规范 0.5.0 与 0.6 草案，附带完整测试向量与跨语言独立验证器。 |
因果源流收据 (CPR) 结构分解
执行端运行时的唯一 did:key 公钥标识
所执行操作与其上下文状态的 SHA-256 哈希摘要
结构化事实、环境证据及上游检查点父哈希
基于规范字节的不可抵赖分离式数字签名