Logic and arithmetic
源 npa-site 将 npa-std 描述为 Nano Proof Auditor 的 standard logical and arithmetic primitives package。
返回 NPA
NPA package
npa-std: NPA primitives 的 standard package path。
URL 策略为 standard logic and arithmetic package 保留 /npa/std/。本页面保留 npa-site 的 package framing，同时把 npa-std 放入 NPA 主 URL 家族。
Package role
NPA standard package 的短 URL。
npa-std 是 logical and arithmetic primitives 的 standard package area。本页明确 /npa/std/ 政策，避免漂移到 /oss/ 或冗余 package slug。
Reserved path
/npa/std/ 是推荐路径。它比 /npa/npa-std/ 更短，也比放在 /oss/ 下更能体现 NPA 品牌关系。
小 package surface
source catalog 当前展示 2 standard modules 和 0 theorem entries。
同一 audit workflow
standard package 同样使用 NPA package family 的 certificate audit 与 package policy commands。
Exported modules
面向 standard primitives 的 modules。
这个精简 module list 来自 npa-site catalog。后续扩展模块时不需要改变 URL 政策。
Module
Theorems
Imports
Status
Std.Logic.Eq
/pkg/Std/Logic/Eq/
Theorems: 0
Imports: 0
untrusted
Std.Nat.Basic
/pkg/Std/Nat/Basic/
Theorems: 0
Imports: 0
untrusted
Auditing
用 NPA commands 审计 standard package。
这些命令保留 npa-site 的 package workflow，并限定在 npa-std checkout。
审计 certificates
npa package verify-certs --root ../npa-std --checker reference --json检查 policy
npa package check --root ../npa-std --jsonRelated NPA pages