code wiki / _hdl_build / nx_vcodec_color_gop_vm_gate.nx

nx_vcodec_color_gop_vm_gate.nx

buildroot/runtime/_hdl_build/nx_vcodec_color_gop_vm_gate.nx

7018 B129 linesdepth 6pulls 20 transitivereach 0 importersview sourcekind gate/prooftopic vcodec
docsdependenciesstructsconstsfunctions

about

nx_vcodec_color_gop_vm_gate.nx -- SOVEREIGN VM proof of a full COLOR GOP: the shipped nx_vcodec_color.wasm coding a REAL multi-frame COLOR video (1 keyframe + 5 P-frames, a moving colored object), prev-recon chained across all 3 planes (Y full-res + Cb/Cr 4:2:0) exactly as the browser would. The color VM gate proves ONE keyframe; this proves the chain stays byte-exact over a whole COLOR sequence (no temporal drift) via the ecosystem's OWN wasm VM vs the new native color-inter authority (vc_color_encode_p / vc_color_decode_p): - every frame's decoded RGB VM == native byte-exact (drift-free over the GOP) <- new coverage - every frame's bitcount VM == native (wat->wasm lowering faithful across the sequence) - the COLOR GOP costs far less than coding every frame as a keyframe (temporal compression real) - NEG-CONTROL: the byte-exact comparator detects the moved object (frame0 RGB != frameN RGB) No deploy, no browser, no JS -- pure headless de-risk in our VM. expect_exit: 0 license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_gate_emit_lib.nx nx_wasm_vm.nx nx_vcodec_color_codec.nx nx_vcodec_color_gop_vm_gate.nx

imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_wasm_vm.nxnx_vcodec_color_codec.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 sys_mmap sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close sys_exit wm_new sys_mmap ↻ wm_parse sys_mmap ↻ wv_u8 wv_uleb gen_color_frame wm_run wm_find_export wm_name_eq sys_mmap ↻ wm_call sys_mmap ↻ wv_u8 ↻ wm_memo_get wm_match_end sys_mmap ↻ sys_write ↻ sys_exit ↻ wv_u8 ↻ wm_skip_imm wv_u8 ↻ wv_uleb ↻ wv_sleb sys_munmap wm_memo_put wm_match_else sys_mmap ↻ sys_write ↻

structs

none

consts

17const COLOR_WASM: *u8 = "/mnt/c/Users/elder/nishi-core/nxc2/web_assets/_video_build/nx_vcodec_color.wasm"
20const O_RGB: i64 = 0
21const O_PREVY: i64 = 106496
22const O_PREVCB: i64 = 122880
23const O_PREVCR: i64 = 126976
24const O_DECY: i64 = 188416
25const O_DECCB: i64 = 204800
26const O_DECCR: i64 = 208896
27const O_RGBOUT: i64 = 245760

functions

29func gen_color_frame(rgb: *u8, W: i64, H: i64, ox: i64, oy: i64) -> i64
called by 1: main
46func main() -> i64