Structs§
- Constraint
- Edge
- Graph
Arena - The GraphArena represents the CPU Geometry Layer in the hybrid pipeline.
It translates the semantic interactions (from the
FormulaArena) into a weighted directed graph using De Bruijn indexing and lexical depths, enabling purely structural verification. - Scoped
Var