code wiki / _hdl_build / nx_quic_pkt_test.nx

nx_quic_pkt_test.nx

buildroot/runtime/_hdl_build/nx_quic_pkt_test.nx

2671 B49 linesdepth 4pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic quic

docs dependencies structs consts functions

about

nx_quic_pkt_gate.nx -- RUNG 2 gate: QUIC packet number encode/decode vs RFC 9000 Appendix A.2/A.3 (the exact sample vectors) + both wraparound-window branches + in-order round-trips. Native, sovereign. license_tier: ORIGINAL

dependencies 4 imports · 0 importers

imports: nx_quic_pkt.nxnx_g_check_lib.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

structs

none

consts

none

functions

9	func main() -> i64 calls 6: g_puts quic_pn_decode g_check quic_pn_enc_len quic_pn_truncate g_pn