code wiki / (root) / nx_gltf_inverse_contract_t374.nx

nx_gltf_inverse_contract_t374.nx

buildroot/runtime/nx_gltf_inverse_contract_t374.nx

1706 B50 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind tooltopic gltf
docsdependenciesstructsconstsfunctions

about

nx_gltf_inverse_contract_t374.nx First native contract fixture for the reusable GLB inverse path. It proves bounded GLB container admission and structured refusal codes. Geometry conversion remains deliberately unimplemented until the NXMSH2 writer owner is adopted.

dependencies 1 imports · 0 importers

nx_syscalls.nx nx_gltf_inverse_contract_t374.

imports: nx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_munmap sys_close glb_admit rd32 sys_munmap ↻

structs

none

consts

7const GLB_OK:i64=0
8const GLB_E_OPEN:i64=-1001
9const GLB_E_EMPTY:i64=-1002
10const GLB_E_MAGIC:i64=-1003
11const GLB_E_VERSION:i64=-1004
12const GLB_E_HEADER:i64=-1005
13const GLB_E_JSON:i64=-1006
14const GLB_E_BIN:i64=-1007
15const GLB_E_LIMIT:i64=-1008
16const GLB_CONFIG_MAX_BYTES:i64=67108864

functions

18func rd32(p:*u8,o:i64)->i64
called by 1: glb_admit
21func glb_admit(p:*u8,n:i64)->i64
called by 1: main calls 1: rd32
40func main()->i64
calls 4: sys_mmapsys_read_fileglb_admitsys_munmap