code wiki / (root) / nx_provenance_test.nx

nx_provenance_test.nx

buildroot/runtime/nx_provenance_test.nx

2307 B51 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic provenance
docsdependenciesstructsconstsfunctions

about

nx_provenance_test.nx -- gate semantics on the live allowlist.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_provenance.nx nx_provenance_test.nx

imports: nx_syscalls.nxnx_tier.nxnx_provenance.nx

imported by: nobody (leaf or entry point)

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

main nx_provenance_load sys_mmap sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close nx_prov_parse_line nx_lc_from_str nx_str_eq sys_mmap ↻ nx_str_cpy nx_provenance_n_records nx_provenance_check nx_str_eq ↻ nx_provenance_is_allowed nx_provenance_check ↻ nx_provenance_n_by_class

structs

none

consts

none

functions

7func main() -> nx_exit
calls 5: nx_provenance_loadnx_provenance_n_recordsnx_provenance_checknx_provenance_is_allowednx_provenance_n_by_class