code wiki / _hdl_build / nx_vcodec_inter_vm_gate.nx

nx_vcodec_inter_vm_gate.nx

buildroot/runtime/_hdl_build/nx_vcodec_inter_vm_gate.nx

5690 B94 linesdepth 5pulls 17 transitivereach 0 importersview sourcekind gate/prooftopic vcodec
docsdependenciesstructsconstsfunctions

about

nx_vcodec_inter_vm_gate.nx -- SOVEREIGN VM verification of the INTER-FRAME (P-frame) path of the shipped nx_vcodec.wasm. The existing nx_wasm_vm_exec_gate proves the KEYFRAME path byte-exact; this proves the TEMPORAL-COMPRESSION path (keyframe=0, coded against O_PREV) -- the actual 9->30fps lever the H9 live-wiring depends on. Flow (mirrors the browser's real inter loop): encode frame A as a KEYFRAME, decode it, copy the decoded recon -> O_PREV (what the browser does between frames), then encode a near-static frame B as an INTER frame (keyframe=0) against that PREV, decode it. Prove, via the ecosystem's OWN wasm VM vs the native codec authority: - keyframe recon VM == native (byte-exact) - inter-frame recon VM == native (byte-exact) <- the new coverage - inter frame costs FAR fewer bits than the keyframe (temporal compression is real) No deploy, no live-client touch -- pure headless de-risk. 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.nx nx_vcodec_inter_vm_gate.nx

imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_wasm_vm.nxnx_vcodec.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 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 ↻ sys_exit ↻

structs

none

consts

19const VCODEC_WASM: *u8 = "/mnt/c/Users/elder/nishi-core/nxc2/web_assets/_video_build/nx_vcodec.wasm"
20const O_CUR: i64 = 0
21const O_PREV: i64 = 16384
22const O_DEC: i64 = 49152

functions

24func main() -> i64