AIV Standard (v1.0)
Quickstart ./scripts/verify_cert.sh certs/AIV_CERT_CLAIM_0001.json
Artifacts
- standard/AIV_STANDARD_v1.md
- schema/aiv-cert.schema.json
- certs/AIV_CERT_CLAIM_0001.json
- dist/AIV_Founding_Standard_v1.pdf
- canonical
- verifier-infrastructure-layer
- stable
- release-certified
- deterministic
- not theorem-prover-complete
- not a primary mathematics-closure repository
This repository is verifier infrastructure for URF artifacts. It does not generate proofs, establish mathematical truth, or serve as the canonical location for final theorem closure of URF mathematics.
See SCOPE_LIMITATIONS_STATUS.md for the authoritative scope and limitations surface.