code wiki / _hdl_build / nx_reader_sov.nx

nx_reader_sov.nx

buildroot/runtime/_hdl_build/nx_reader_sov.nx

1585 B25 linesdepth 0pulls 0 transitivereach 2 importersview sourcekind librarytopic reader
docsdependenciesstructsconstsfunctions

about

nx_reader_sov.nx -- shared FAIL-CLOSED sovereignty predicate for the reader last-mile. reader_sovereign_ok(buf,n): 1 = clean (zero third-party loads), 0 = REFUSE. Used by BOTH nx_reader_page (emit-time enforcement: refuse to write the served file if the source carries a 3rd-party load) AND nx_reader_page_gate (tests the SAME predicate directly -> no subprocess needed). Prefixed helpers compose without symbol clash. Pure (no syscalls). license_tier: ORIGINAL

dependencies 0 imports · 2 importers

nx_reader_sov.nx nx_reader_page.nx nx_reader_page_gate.nx

imports: none

imported by: nx_reader_page.nxnx_reader_page_gate.nx

structs

none

consts

none

functions

6func rsv_slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
called by 1: rsv_find
7func rsv_find(hay: *u8, hl: i64, needle: *u8) -> i64
called by 1: rsv_has calls 1: rsv_slen
13func rsv_has(hay: *u8, hl: i64, needle: *u8) -> i64 { if rsv_find(hay, hl, needle) >= 0 { return 1 } return 0 }
called by 1: reader_sovereign_ok calls 1: rsv_find
14func reader_sovereign_ok(buf: *u8, n: i64) -> i64
called by 1: main calls 1: rsv_has