code wiki / (root) / nx_patent_check_test.nx

nx_patent_check_test.nx

buildroot/runtime/nx_patent_check_test.nx

3186 B85 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_patent_check_test.nx -- smoke for the offline patent gate. Builds a synthetic patent table at /tmp/nx_patent_t1.txt with one row per status enum, then verifies lookup + safety predicate + observability counters.

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_str.nx nx_patent_check.nx nx_patent_check_test.nx

imports: nx_syscalls.nxnx_tier.nxnx_str.nxnx_patent_check.nx

imported by: nobody (leaf or entry point)

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

main nx_pt_write_fixture sys_openat_wr nx_pt_write_str sys_write sys_close nx_patent_load sys_mmap sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close ↻ nx_pat_parse_line sys_mmap ↻ nx_str_cpy nx_pat_status_from_str nx_str_eq nx_patent_n_records nx_patent_check nx_str_eq ↻ nx_patent_is_safe nx_patent_check ↻ nx_patent_n_by_status

structs

none

consts

12const NX_PT_MODE: i64 = 420 // 0o644

functions

14func nx_pt_write_str(fd: i64, s: *u8) -> nx_int
called by 1: nx_pt_write_fixture calls 1: sys_write
22func nx_pt_write_fixture(path: *u8) -> nx_int
called by 1: main calls 3: sys_openat_wrnx_pt_write_strsys_close
38func main() -> nx_exit
calls 6: nx_pt_write_fixturenx_patent_loadnx_patent_n_recordsnx_patent_checknx_patent_is_safenx_patent_n_by_status