nx_uxf_ebml_gate.nx

nx_uxf_ebml_gate.nx -- the D001 MIGRATION of nx_uxf_ebml_test onto nx_gate_verdict (2026-09-06). IT DRIVES THE EXTRACTED LIB, NOT A SECOND COPY. nx_uxf_ebml_test carried its own ebml_vint_len, ebml_read_id and ebml_read_size, byte-for-byte the same logic that now lives in nx_uxf_remux.nx as uxr_vint_len, uxr_read_id and uxr_read_size. Migrating the test's teeth onto the LIB means the estate keeps exactly one EBML reader instead of a test copy and a shipping copy that can drift apart -- which is the duplicate-ruler defect this family already paid for once. ALL FIVE ORIGINAL TEETH PRESERVED IN PREDICATE, with T2 and T3 split so the VALUE and the CURSOR ADVANCE are separately falsifiable: the original asserted both inside one conjunction, so a reader that returned the right number without advancing would have failed without saying which half broke. license_tier: ORIGINAL No hw writes (Rule 26).