code wiki / (root) / nx_canon_solver_gate.nx

nx_canon_solver_gate.nx

buildroot/runtime/nx_canon_solver_gate.nx

9693 B205 linesdepth 3pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic canon
docsdependenciesstructsconstsfunctions

about

nx_canon_solver_gate.nx -- GATE for the canon→constraint bridge (B1a, /world/procgen plan). Fixtures are synthetic mini-canons ASSEMBLED AT RUNTIME with exactly-known typed placements, so the three outcomes are asserted EXACTLY: CLEAN (deltas 0), ADJUSTED (the lint fires on precisely the planted defect and moves it the right DIRECTION), INCONSISTENT (refused, worst named). gv-based. The REAL canon runs as a parse census behind gv_need (its part indices are not yet identity-verified -- stated, not assumed). license_tier: ORIGINAL expect_exit: 0

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_part_solver_lib.nx nx_gate_verdict.nx nx_canon_solver_gate.nx

imports: nx_syscalls.nxnx_part_solver_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 ↻ gc_run sys_mmap ↻ ps_slen gc_rd gc_cats gc_catn sys_mmap ↻ ps_load ps_reset sys_mmap ↻ sys_mmap ↻ ps_ntok ps_tokeq ps_slen ↻ ps_err sys_write ↻ ps_slen ↻ ps_name ps_toknum ps_tokpart

structs

none

consts

none

functions

11func gc_wfile(path: *u8, s: *u8) -> i64
calls 4: sys_openat_wrsys_writeps_slensys_close
20func gc_run(canon: *u8, rules: *u8) -> i64
called by 1: main calls 7: sys_mmapps_slengc_rdgc_catsgc_catnps_load+1
61func gc_rd(b: *u8, pos: *i64, end: i64) -> i64
called by 2: gc_runmain
83func gc_cats(d: *u8, o: i64, s: *u8) -> i64 { var i: i64 = 0; var p: i64 = o; while s[i] != (0 as u8) { d[p] = s[i]; p = p + 1; i = i + 1 } return p }
called by 1: gc_run
84func gc_catn(d: *u8, o: i64, v: i64) -> i64
called by 1: gc_run calls 1: sys_mmap
97func main() -> i64
calls 20: gv_ctrgv_headgc_runps_xps_yps_z+14