小可信基础
可信叙事从 canonical certificate bytes 和 checker output 开始，而不是从 source generation 或 navigation metadata 开始。
Nano Proof Auditor
面向数学包的证书优先证明验证。
NPA 明确区分已检查的证书证据，以及有用但不在可信边界内的元数据。本页介绍工具链、信任模型，以及 finitefield.org/npa/ 下的包 URL。
NPA tag
v0.1.1
来自 npa-site catalog 的 package toolchain pin。
Rust
1.95.0
源站记录的 toolchain version。
Packages
2
npa-mathlib 与 npa-std 发布在 /npa/ 下。
Theorems
750
从 npa-mathlib 展示的当前 theorem count。
Pinned toolchain
NPA_GIT_TAG = v0.1.1
RUST_TOOLCHAIN_VERSION = 1.95.0
包审计线索
包页面在稳定 URL 中展示 version、license、module count、theorem count 与 verification commands。
数学定理发布
后续增加 npa-mathlib 定理介绍时，可以放在推荐的数学 URL 结构下。
Trust boundary
已检查证据与 sidecar 被有意分离。
NPA 兼容仓库可以包含 source files、replay data、theorem indexes 和 reports。可信边界是已检查的 certificate path，其余内容用于发现、审阅和导航。
Certificates and checker results
verifier output 与 .npcert files 是作为数学 checking evidence 的 artifacts。
Metadata and replay data
meta.json、replay.json、indexes 和 generated navigation files 可帮助 proof inspection，但不是 checker boundary。
Package URLs
在 /npa/ 下使用简短、品牌归属清晰的 package path。
URL 策略将 NPA 作为研究品牌和公司长期资产，因此包页面放在 finitefield.org/npa/ 下，而不是通用 OSS 区域。
Local audit
在包介绍旁保留 verification commands。
源站将 NPA 呈现为 local auditing workflow。公司站也保留这一操作语境。
审计 certificates
npa package verify-certs --root ../npa-mathlib --checker reference --json检查 package policy
npa package check --root ../npa-mathlib --json