code wiki / _hdl_build / nx_reader_list_test.nx

nx_reader_list_test.nx

buildroot/runtime/_hdl_build/nx_reader_list_test.nx

704 B12 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic reader
docsdependenciesstructsconstsfunctions

about

nx_reader_list_test.nx -- DEFINITIVE check that /api/personal (rl_list_personal_json) returns a user's books. argv[1] = the ukey (extracted from the on-disk idx_book_personal_<ukey>.wsl). Prints the exact JSON the daemon would return -- so we can see whether the list logic (incl rl_slug_guard) surfaces the operator's downloads.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_reader_library.nx nx_reader_list_test.nx

imports: nx_syscalls.nxnx_reader_library.nx

imported by: nobody (leaf or entry point)

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

main sys_write sys_mmap rl_list_personal_json sys_mmap ↻ rl_personal_index zs_apps rl_read sys_openat_rd sys_read sys_close zs_apps ↻ zs_slug_safe zs_slen rl_slug_guard rl_slen

structs

none

consts

none

functions

6func main(argc: i64, argv: *i64) -> i64