code wiki / (root) / nx_h264_coeff_token_gate.nx

nx_h264_coeff_token_gate.nx

buildroot/runtime/nx_h264_coeff_token_gate.nx

4091 B105 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic h264

docs dependencies structs consts functions

about

nx_h264_coeff_token_gate.nx -- REFEREE for coeff_token machinery (rung 4c-ii). (a) ANCHOR encoder to canonical 0<=nC<2 code words (bit-exact): (0,0)->"1"(0x80,1) (1,1)->"01"(0x40,2) (2,2)->"001"(0x20,3) (3,3)->"00011"(0x18,5) (1,0)->"000101"(0x14,6) (b) ROUND-TRIP every table entry: encode(TC,TO)->decode->recover (TC,TO). Every value PRINTED. stdout + knowledge/status/h264_coeff_token_gate.log. Exit 0/1. Sovereign: nx_syscalls + nx_h264_bits + nx_h264_bitwriter + nx_h264_coeff_token. license_tier: ORIGINAL

dependencies 4 imports · 0 importers

imports: nx_syscalls.nxnx_h264_bits.nxnx_h264_bitwriter.nxnx_h264_coeff_token.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

14	func gp(logfd: i64, s: *u8) -> i64 called by 2: anchor main calls 1: sys_write
21	func gn(logfd: i64, v: i64) -> i64 called by 2: anchor main calls 2: sys_mmap sys_write
35	func anchor(logfd: i64, tc: i64, to: i64, exp_byte: i64, exp_bits: i64) -> i64 called by 1: main calls 6: sys_mmap bw_init nx_coeff_token_encode bw_total_bits gp gn
51	func main() -> i64 calls 11: sys_openat_append gp anchor sys_mmap bw_init nx_coeff_token_encode+5