code wiki / (root) / nx_medbill_nsa_gate.nx

nx_medbill_nsa_gate.nx

buildroot/runtime/nx_medbill_nsa_gate.nx

4883 B87 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic medbill
docsdependenciesstructsconstsfunctions

about

nx_medbill_nsa_gate.nx -- ADV3 GATE: the situation classifier routes to the CORRECT federal protection (truth table incl precedence: emergency wins; PPDR is uninsured-only and threshold-gated), the PPDR 120-day window is computed exactly off the shared leap-safe calendar, and each route's letter carries its load-bearing content. Neg-controls: an INSURED patient can never route to PPDR; below-threshold overage never routes to PPDR; route 4 fabricates no protection. Exits 0 iff ALL pass. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_medbill_codes.nx nx_medbill_nsa.nx nx_medbill_nsa_gate.nx

imports: nx_syscalls.nxnx_medbill_codes.nxnx_medbill_nsa.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap chk g_puts sys_write g_putn sys_write ↻ sys_mmap ↻ nsa_classify fl sys_mmap ↻ mba_add_days mba_cfd mba_dfc nsa_letter mba_cat mba_add_days ↻ nsa_money nsa_n sys_mmap ↻ mba_n2 mba_date mba_n2 ↻ mbc_contains mbc_slen mbc_find mbc_slen ↻ g_puts ↻ g_putn ↻

structs

none

consts

none

functions

11func g_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 2: chkmain calls 1: sys_write
12func g_putn(v: i64) -> i64
called by 2: chkmain calls 2: sys_writesys_mmap
25func chk(name: *u8, got: i64, want: i64, st: *i64) -> i64
called by 1: main calls 2: g_putsg_putn
31func fl(a: i64, b: i64, c: i64, d: i64, e: i64) -> *i64
called by 1: main calls 1: sys_mmap
41func main() -> i64
calls 9: sys_mmapchknsa_classifyflmba_add_daysnsa_letter+3