code wiki / (root) / nx_licgate.nx

nx_licgate.nx

buildroot/runtime/nx_licgate.nx

18741 B356 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind tool
docsdependenciesstructsconstsfunctions

about

nx_licgate.nx -- thin CLI over nx_licgate_lib (the shippability verdict). The table and the intersection live in the LIB so the EMIT PATH and this command line prove the SAME code. A gate that only exists as a CLI is a gate the generator can forget to call. EXIT: 0 SHIP_OK | 3 REVIEW (a conditional term a machine may not settle) | 4 REFUSE | 2 usage. REVIEW is not a pass -- it is a human's decision, unmade. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_licgate_lib.nx nx_licgate.nx

imports: nx_syscalls.nxnx_licgate_lib.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 ↻ lg_put sys_write ↻ lg_ctx sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_munmap sys_close lg_field lg_num lg_sseq sys_exit ↻ lg_ceq lg_putd sys_mmap ↻ lg_putn lg_verdict lg_ctx ↻ sys_mmap ↻ lg_eval lg_find_model

structs

none

consts

11const K_MAGIC_262144: i64 = 262144

functions

16func lg_row_verbatim(out: *u8, at: i64, buf: *u8, n: i64, tag: i64, id: *u8) -> i64
48func main(argc: i64, argv: *i64) -> i64