code wiki / _hdl_build / nx_quic_wire_test.nx

nx_quic_wire_test.nx

buildroot/runtime/_hdl_build/nx_quic_wire_test.nx

5538 B97 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic quic
docsdependenciesstructsconstsfunctions

about

nx_quic_wire_gate.nx -- RUNG 1 gate: proves the sovereign QUIC varint + DATAGRAM frame codec is RFC-CONFORMANT against the actual RFC 9000 Appendix A.1 test vectors + RFC 9221 DATAGRAM round-trip. Native (same source the transport ships), no browser. GREEN = byte-exact vs the RFCs. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_quic_wire.nx nx_g_pn_lib.nx nx_g_puts_lib.nx nx_quic_wire_test.nx

imports: nx_quic_wire.nxnx_g_pn_lib.nxnx_g_puts_lib.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main g_puts sys_write g_check g_puts ↻ dec_ok quic_varint_decode enc_ok quic_varint_encode quic_varint_encode ↻ quic_varint_decode ↻ quic_datagram_encode quic_varint_encode ↻ quic_datagram_parse sys_mmap quic_varint_decode ↻ g_pn nxi_out nxi_fd sys_mmap ↻ ccz_cat_num sys_write ↻ sys_munmap

structs

none

consts

none

functions

8func g_check(name: *u8, cond: i64) -> i64
called by 1: main calls 1: g_puts
13func dec_ok(b: *u8, ev: i64, el: i64, ov: *i64) -> i64
called by 1: main calls 1: quic_varint_decode
20func enc_ok(val: i64, exp: *u8, el: i64, scratch: *u8) -> i64
called by 1: main calls 1: quic_varint_encode
27func main() -> i64
calls 9: g_putsg_checkdec_okenc_okquic_varint_encodequic_varint_decode+3