nx_cuad_gate.nx

nx_cuad_gate.nx -- INDEPENDENT GATE: the CUAD 41-type taxonomy, on real clause text. INHERITS nx_gate_verdict (D001): counters, PASS/FAIL vector, verdict line and the harness.jrnl frame all come from the base class, so nx_gate_green can judge this gate and its flake/erosion is visible. A gate that rolls its own verdict is unreadable to the harness -- it can be green forever and nothing downstream can tell. The teeth: u2605u2605COVERAGE CANNOT BE SELF-FLATTERED: 41 types are declared but coverage is scored ONLY against the CUED subset, so adding a constant can never raise a number. u2605u2605BITE-PROVEN CONTRADICTION: the cap-vs-uncapped check must FIRE on a contract asserting both and stay SILENT on one asserting only a cap -- a detector green before the defect exists proves nothing. u2605UNCLASSIFIABLE IS UNKNOWN, never the nearest type. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0