code wiki / (root) / nx_medrec_gate.nx

nx_medrec_gate.nx

buildroot/runtime/nx_medrec_gate.nx

9189 B136 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_medrec_gate.nx -- GREEN/RED gate for the media-recovery admission core. EVERY fixture row below is a VERBATIM CDX row pulled LIVE from web.archive.org on 2026-08-06 -- nothing here is invented or hand-shaped (Rule 4, and the estate law: a ruler from a REAL corpus). Inherits nx_gate_verdict (D001) so nx_gate_green can judge this from outside and flake stays visible. Composes nx_medrec + nx_cdx_parse. Deterministic, no network. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_medrec.nx nx_gate_verdict.nx nx_medrec_gate.nx

imports: nx_medrec.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main 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 ↻ gv_head gv_puts sys_write ↻ ap cdx_rows mr_url_kind mr_ci_has mr_lc

structs

none

consts

none

functions

9func ap(buf: *u8, off: i64, s: *u8) -> i64 { var i: i64=0; while s[i]!=(0 as u8) { buf[off+i]=s[i]; i=i+1 } return off+i }
called by 1: main
10func apnl(buf: *u8, off: i64) -> i64 { buf[off]=0x0a as u8; return off+1 }
11func eqi(a: i64, b: i64) -> i64 { if a == b { return 1 } return 0 }
12func slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
13func andi(a: i64, b: i64) -> i64 { if a == 1 { if b == 1 { return 1 } } return 0 }
15func main() -> i64