code wiki / (root) / nx_acquire_license_gate.nx

nx_acquire_license_gate.nx

buildroot/runtime/nx_acquire_license_gate.nx

6482 B98 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic acquire
docsdependenciesstructsconstsfunctions

about

nx_acquire_license_gate.nx -- GATE for nx_acquire_license_lib. The subject is pure (a URL in, a URL out), so this gate needs NO fixture on disk and cannot go vacuous through a missing one. Every expected string below is written out in full rather than rebuilt by the same concatenation the subject uses -- a test that assembles its expectation with the code under test passes for any consistent bug, which is the tautological-oracle defect. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_acquire_license_lib.nx nx_acquire_license_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_acquire_license_lib.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 ↻ gv_check gv_puts ↻ alg_is sys_mmap ↻ al_streq al_host al_starts al_cat alg_refuses sys_mmap ↻ gv_bite gv_puts ↻ gv_verdict gv_note_bare_rate gv_bare_rate gv_at gv_obj_has_n gv_at ↻ gv_puts ↻ gv_num

structs

none

consts

none

functions

12func alg_is(url: *u8, cand: i64, want: *u8) -> i64
called by 1: main calls 2: sys_mmapal_streq
19func alg_refuses(url: *u8, cand: i64) -> i64
called by 1: main calls 1: sys_mmap
26func main(argc: i64, argv: *i64) -> i64