code wiki / (root) / nx_nxa_texc_gate.nx

nx_nxa_texc_gate.nx

buildroot/runtime/nx_nxa_texc_gate.nx

11042 B244 linesdepth 5pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic nxa
docsdependenciesstructsconstsfunctions

about

nx_nxa_texc_gate.nx -- GATE for the TEXC format rung (debt 1785794796 rung 1). Fixtures are ASSEMBLED AT RUNTIME in /tmp (a detector that scans source finds its own fixture). Anti-vacuity: T5 tiles-disjoint and T6 coordinate-discrimination kill a constant-UV implementation; T8 is the named neg-control (no SKIN -> refuse, never fabricate); T9 runs the REAL rigged asset (ref9.nxa) behind gv_need. gv-based (D001 clean). license_tier: ORIGINAL expect_exit: 0

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_nxa.nx nx_nxa_texc_lib.nx nx_gate_verdict.nx nx_nxa_texc_gate.nx

imports: nx_syscalls.nxnx_nxa.nxnx_nxa_texc_lib.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr 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 ↻ gv_head gv_puts sys_write ↻ gx_mkfix sys_mmap ↻ nt_wr64 nxa_magic nxa_tag4 nxa_check2 gx_wfile sys_openat_wr sys_write ↻ sys_close ntx_apply sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_munmap sys_close ↻ nt_err

structs

none

consts

11const GXT_NV: i64 = 6
12const GXT_NJ: i64 = 3

functions

14func gx_wfile(path: *u8, b: *u8, n: i64) -> i64
called by 1: gx_mkfix calls 3: sys_openat_wrsys_writesys_close
22func gx_mkfix(path: *u8, withskin: i64) -> i64
called by 1: main calls 6: sys_mmapnt_wr64nxa_magicnxa_tag4nxa_check2gx_wfile
100func main() -> i64
calls 16: gv_ctrgv_headgx_mkfixntx_applygv_checksys_mmap+10