CAC Architecture
The formal architecture and derivation rules for the Cayley Algebraic Compiler (Phase 2).
Overview
The Cayley Algebraic Compiler (CAC) provides 1,687 functions across 12 engineering disciplines. Every function is strictly derived from theorems in the Hari-Frobenius Framework (HFF) using Lean 4.
- Phase Gating: No CAC function may be promoted to verified until its parent HFF theorem is verified.
- Provenance: Every CAC call carries a ZK-proof / MasterCompatibilityCert.