The Shape of an Operation Is a Signature: Inside ObfTypes

How compile-time equivalence classes, seeded operator variants, SIMD backends, and Z3 proofs can shift brittle static signatures without pretending behavior disappears.