code wiki / _hdl_build / nx_model_get_gate.nx

nx_model_get_gate.nx

buildroot/runtime/_hdl_build/nx_model_get_gate.nx

5423 B108 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic model
docsdependenciesstructsconstsfunctions

about

nx_model_get_gate.nx -- GATE for the offline decision half of G9 mg_fetch (nx_model_get_lib). The network half (nx_https_fetch_range windows + streaming sha256 + wp_ verify) is composed from already-gated incumbents (nx_weights_pull_gate proves the fail-closed verify; the fetch stack carries its own gates); what THIS gate proves is every decision nx_model_get makes around them: hash admission, dest-name admission (path escape), Content-Range/Content-Length parsing, and conf parsing. In-process over the lib. Planted-bad + neg-controls per tooth. license_tier: ORIGINAL expect_exit: 0

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_model_get_lib.nx nx_model_get_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_model_get_lib.nx

imported by: nobody (leaf or entry point)

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

main gv_head gv_puts sys_write gv_ctr sys_mmap nxa_die sys_write ↻ sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ sys_mmap ↻ mg_hex_norm mg_lc gv_check gv_puts ↻ gv_bite gv_puts ↻ mg_dest_ok mg_join mg_cat mg_find_ci mg_slen mg_lc ↻ mg_slen ↻ mg_content_range_total mg_find_ci ↻ mg_parse_uint gv_puts ↻ gv_num sys_mmap ↻

structs

none

consts

none

functions

11func main() -> i64