nx_pattern_emit7.nx

nx_pattern_emit7.nx -- PATTERN EMITTER: WIRE_TLV (shape 12 -- the browser-grade binary-parser shape; the BROWSER arc's autonomy lever). The single most recurring browser core is the [type][length][body] wire walk: TLS extensions + handshake messages (type-first, widths 2/2 or 1/3), PNG chunks (length-first, 4/4), JPEG segments (1/2). emit4's PARSER_KAT covers text->int; this authors the BINARY wire walker from 3 spec params: type_w bytes in the type field (1/2/4) len_w bytes in the length field (1/2/4) type_first 1 = [type][len] (TLS/JPEG), 0 = [len][type] (PNG) Field offsets are COMPUTED AT EMIT TIME and baked as integer literals -- the spec is the config (rule 11); the authored core has ZERO layout branching. Authored functions: <name>_rdbe(b,off,w) big-endian field read <name>_count(b,n) well-formed entry count; -1 = TRUNCATED ENTRY REFUSED (never clipped) <name>_find(b,n,t) body offset of first entry of type t; -1 absent; -2 malformed Test KATs are COMPUTED BY THE EMITTER from the same spec (synthetic 2-entry image: exact count, exact body offsets, absent type, truncation refusal). REFUSAL RAILS at author time: widths must be 1/2/4 and type_first 0/1 -- a bad spec is REFUSED, never authored. Drives the BROWSER arc's bp_claude_touch toward 0 (B2 ClientHello census + B5 PNG/JPEG walks are this shape). Extends emit(231)/emit2(235)/emit3(241)/emit4(262)/emit5(264)/emit6(MATH_KERNEL). LAWS: struct-free, integer-only, flat ifs, no &&/||, <=6 args per func. license_tier: ORIGINAL