sketch_types_gate.nx

sketch_types_gate.nx -- the gate for the typed loss-envelope 139 modules import. WHY: nx_gensota's gen-3 worklist rank 1 after the first three closures. This module is the substrate's honesty contract for approximate primitives -- every sketch ships its loss NAMED, BOUNDED and QUERYABLE -- so a defect here silently un-bounds every approximate answer. THE TWO TEETH THAT ACTUALLY MATTER: (a) DISCRIMINATOR DISTINCTNESS. envelope_kind, maturity and adv_safety are enums whose whole job is to be TOLD APART at a composition boundary ("refuse Theoretical in production", "never substitute Honest-only where Adversarial is required"). If two constants collide, every such refusal silently passes the wrong thing and NOTHING else would notice. ★A DISCRIMINATOR WHOSE VALUES CAN COLLIDE IS NOT A DISCRIMINATOR. (b) 6-FIELD STRUCT ROUND-TRIP with SIX DISTINCT values. This ecosystem has a banked compiler defect class where struct field offsets mis-resolve; a constructor test using repeated values would pass straight through a swapped pair. Every field here gets a unique witness, so any offset error surfaces as a specific mismatch. license_tier: ORIGINAL expect_exit: 0 No hw writes (Rule 26).