Module graph 

Structs

Constraint

Edge

GraphArena

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.

ScopedVar

Functions

extract_atom_constraints

extract_constraints_aux

extract_dnf_clauses

extract_dnf_clauses_aux