code wiki / (root) / nx_money_situation_gate.nx

nx_money_situation_gate.nx

buildroot/runtime/nx_money_situation_gate.nx

3612 B60 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic money
docsdependenciesstructsconstsfunctions

about

nx_money_situation_gate.nx -- proves the situation model + the priority router on three hand-computed personas: A = healthy saver with debt -> priority ATTACK DEBT (2) B = negative cash flow -> priority CRISIS/RELIEF (0) C = debt-free, funded -> priority INVEST (3) plus the derived metrics (surplus, DTI, net worth, emergency-fund months, max debt paydown). Exit 0 iff all pass. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_gate.nx nx_money_situation.nx nx_money_situation_gate.nx

imports: nx_gate.nxnx_money_situation.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 sit_total_debt sit_total_min sit_net_worth sit_total_assets sit_total_debt ↻ sit_monthly_surplus sit_total_min ↻ sit_max_debt_paydown sit_total_min ↻ sit_dti_bps sit_total_min ↻ sit_efund_months_x100 sit_dti_status sit_dti_bps ↻ sit_priority sit_monthly_surplus ↻ ds_can_meet_minimums sys_mmap ↻ ds_simulate sys_mmap ↻ ds_month_interest ds_snowball_target ds_avalanche_target sit_max_debt_paydown ↻ sit_efund_months_x100 ↻ sit_total_debt ↻ gw ↻ gn ↻

structs

none

consts

none

functions

10func chk(name: *u8, got: i64, want: i64, st: *i64) -> i64
called by 1: main calls 2: gwgn
16func main() -> i64
calls 12: chksit_total_debtsit_total_minsit_net_worthsit_monthly_surplussit_max_debt_paydown+6