FORWARD-ONLY FINALITY SYSTEM FOR DETERMINISTIC VERIFICATION.
- VERIFRAX-verify → Public verifier (FROZEN)
- VERIFRAX-SPEC → Proof specification (FROZEN)
- VERIFRAX-PROFILES → Policy profiles (LOCKED)
- VERIFRAX-SAMPLES → Canonical examples (READ-ONLY)
- VERIFRAX-DOCS → Explanatory material
ONE ENGINE. ONE SPEC. MANY PROFILES.