code wiki / _hdl_build / nx_docportal_search_serve_gate.nx

nx_docportal_search_serve_gate.nx

buildroot/runtime/_hdl_build/nx_docportal_search_serve_gate.nx

23489 B347 linesdepth 5pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic docportal
docsdependenciesstructsconstsfunctions

about

nx_docportal_search_serve_gate.nx -- GATE for R2 (dss_serve). Writes a test PUBLIC shard, then feeds crafted GET /search requests to dss_serve and asserts the rendered branded page: 200 + Content-Length, result count, the hit's text present, empty-query prompt, no-match=0, and XSS-escaping of the echoed query (defensive at the boundary). All over the REAL sovereign seg_store path, no tsv. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_docportal_search_serve.nx nx_g_puts_lib.nx nx_docportal_search_serve_gate

imports: nx_docportal_search_serve.nxnx_g_puts_lib.nx

imported by: nobody (leaf or entry point)

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

main g_puts sys_write ss_begin ss_begin_cap sys_mmap ss_add ss_add2 ss_w32 ss_len g_strlen ss_commit ss_segid_ok sys_mmap ↻ ss_cat ss_catn sys_mmap ↻ sys_write ↻ ss_write_seg ss_segid_ok ↻ sys_mmap ↻ ss_cat ↻ ss_catn ↻ sys_write ↻ ss_segname ss_cat ↻ ss_catn ↻ ss_writefile sys_openat_wr sys_write ↻ sys_close sys_fsync sys_renameat ss_build_keys sys_mmap ↻ ss_r32 ss_kcmp ss_w32 ↻ ss_build_terms sys_mmap ↻

structs

none

consts

none

functions

8func g_strlen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 2: g_containsmain
9func g_num(v: i64) -> i64
called by 1: main
19func g_contains(hay: *u8, hn: i64, needle: *u8) -> i64
called by 1: main calls 1: g_strlen
32func g_streq(a: *u8, b: *u8) -> i64
called by 1: main
38func g_check(name: *u8, cond: i64, pass: *i64, total: *i64) -> i64
called by 1: main calls 1: g_puts
45func main(argc: i64, argv: *i64) -> i64