Vocabulary & Identities

The complete reference for GCD's formal vocabulary. Six symbols, five words, three algebraic identities, five frozen parameters, and three regime gates. Everything derives from a single axiom. Everything is verifiable by computation.

Algebra est cautio, non porta. — The algebra is a warranty, not a gate.