code wiki / (root) / nx_hardship_nav_gate.nx

nx_hardship_nav_gate.nx

buildroot/runtime/nx_hardship_nav_gate.nx

3237 B51 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_hardship_nav_gate.nx -- proves the hardship module on hand-verified fixtures: bankruptcy means-test (below-median -> Ch.7; above-median + high disposable -> presumed abuse -> Ch.13), PSLF/IDR forgiveness progress, and forbearance interest cost. Exit 0 iff all pass. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_gate.nx nx_hardship_nav.nx nx_hardship_nav_gate.nx

imports: nx_gate.nxnx_hardship_nav.nx

imported by: nobody (leaf or entry point)

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

main chk gw sys_write gn sys_write ↻ sys_mmap hn_annualize hn_below_median hn_disposable_monthly hn_presumption hn_ch7_screen hn_below_median ↻ hn_presumption ↻ hn_disposable_monthly ↻ hn_pslf_remaining hn_pslf_complete hn_pslf_progress_bps hn_idr_remaining hn_forbearance_cost hn_forbearance_balance hn_forbearance_cost ↻ hn_requires_professional gw ↻ gn ↻

structs

none

consts

none

functions

7func chk(name: *u8, got: i64, want: i64, st: *i64) -> i64
called by 1: main calls 2: gwgn
13func main() -> i64
calls 15: chkhn_annualizehn_below_medianhn_disposable_monthlyhn_presumptionhn_ch7_screen+9