where the field is visible and the programmer thinks in constraints. division is exact (multiplicative inverse). every operation becomes a polynomial constraint in the zheng execution trace Trident-only primitives: `divine()` (inject prover witness), `hash()` (Hemera, single constraint),…