// std/trit.neb
// The Trit algebra — the axiom expressed in its own language.
// Loading this file gives you the complete Trit governance as a Geoit.
// The system describes its own foundation.
type imag = { x * x = -1 }
type dual = { x * x = 0 }
type hyp = { x * x = 1 }
// The three fundamental self-relations.
// A generator IS its square signature.
for x : imag => x * x = -1
for x : dual => x * x = 0
for x : hyp => x * x = 1
// Anticommutativity: distinct generators anticommute.
// This is the one rule that makes Clifford algebra Clifford algebra.
for a : any, b : any where ordered(a, b) => b * a = -a * b