code wiki / (root) / nx_h264_bits_gate.nx

nx_h264_bits_gate.nx

buildroot/runtime/nx_h264_bits_gate.nx

3413 B89 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic h264
docsdependenciesstructsconstsfunctions

about

nx_h264_bits_gate.nx -- REFEREE for the H.264 bit reader + Exp-Golomb keystone. Canonical code words, verified by KAT (not docs): stream1 bits "1 010 011 00100" = bytes {0xA6,0x40} -> ue sequence [0,1,2,3] stream2 bits "010 011 00100 00101" = bytes {0x4C,0x85} -> se sequence [1,-1,2,-2] read_bits: from 0xA6 -> first 3 bits =5 (101), next 5 bits =6 (00110) Every value PRINTED. stdout + knowledge/status/h264_bits_gate.log. Exit 0/1. Sovereign: nx_syscalls + nx_h264_bits. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_h264_bits.nx nx_h264_bits_gate.nx

imports: nx_syscalls.nxnx_h264_bits.nx

imported by: nobody (leaf or entry point)

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

main sys_openat_append gp sys_write sys_mmap br_init sys_mmap ↻ br_read_ue br_read_bit br_read_bits br_read_bit ↻ gn sys_mmap ↻ sys_write ↻ br_read_se br_read_ue ↻ br_read_bits ↻ sys_close sys_exit

structs

none

consts

none

functions

11func gp(logfd: i64, s: *u8) -> i64
called by 1: main calls 1: sys_write
18func gn(logfd: i64, v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
33func main() -> i64
calls 10: sys_openat_appendgpsys_mmapbr_initbr_read_uegn+4