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 を増やせます。
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 --jsonPolicy を検査
npa package check --root ../npa-std --json