VERIFRAX DOCUMENTATION

AUTHORITATIVE EXPLANATIONS OF THE VERIFRAX SYSTEM.

THIS REPO:

• EXPLAINS (NOT DEFINES)
• REFERENCES SPEC AND PROFILES
• NEVER OVERRIDES CONTRACTS

---

AUTHORITATIVE LINKS:

• SPEC: https://github.com/Verifrax/VERIFRAX-SPEC
• PROFILES: https://github.com/Verifrax/VERIFRAX-PROFILES
• VERIFIER: https://github.com/Verifrax/VERIFRAX-verify

Contract

• stable permalinks
• SPEC-anchored normative references
• minimal + deterministic build pipeline

Core links

• SPEC: https://github.com/Verifrax/VERIFRAX-SPEC
• PROFILES: https://github.com/Verifrax/VERIFRAX-PROFILES
• Engine: https://github.com/Verifrax/VERIFRAX