nx_pattern_emit13_demo.nx

nx_pattern_emit13_demo.nx -- the TEAM authoring the STATE_MACHINE shape's first real machine (no Claude core logic): _pe_tlshs = the TLS 1.3 server-flight ORDER VALIDATOR. States: 0=START 1=WAIT_EE 2=WAIT_CERT 3=WAIT_CV 4=WAIT_FIN 5=CONNECTED; events = handshake msg kinds 0=server_hello 1=encrypted_extensions 2=certificate 3=cert_verify 4=finished. Exactly the canonical chain is defined; EVERYTHING else (reorder, replay-after-connect, skip) refuses -- the browser arc's out-of-order-handshake security property as an authored, gateable core. ALSO proves the refusal rails: a table value past nstates and an out-of-range s0 are REFUSED. license_tier: ORIGINAL