code wiki / (root) / nx_ledes_gate.nx

nx_ledes_gate.nx

buildroot/runtime/nx_ledes_gate.nx

5301 B74 linesdepth 8pulls 14 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_ledes_gate.nx -- INDEPENDENT GATE: UTBMS coding + LEDES entry validation + billing guidelines. ZERO storage. The teeth: BLOCK BILLING is REJECTED, not merely flagged (a flagged-but-payable line gets paid); quarter-hour increments FAIL because they inflate every short task; an unrecognised task or activity code is INVALID rather than assumed billable; and a rate cap of zero means NO CAP AGREED, which fails closed instead of granting an unlimited rate. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 2 imports · 0 importers

nx_ledes_lib.nx nx_gate_verdict.nx nx_ledes_gate.nx

imports: nx_ledes_lib.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 gv_head gv_puts sys_write gv_check gv_puts ↻ led_task_ok_pure led_activity_ok_pure led_expense_ok_pure led_block_billed_pure led_increment_ok_pure led_rate_ok_pure led_entry_check_pure led_is1 led_task_ok_pure ↻ led_activity_ok_pure ↻ led_block_billed_pure ↻ led_increment_ok_pure ↻ led_rate_ok_pure ↻ led_verdict_label mt_catcopy led_line_amount_pure led_entry_payable_pure led_entry_payable_pure ↻ led_invoice_clean_pure gv_verdict gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_journal sys_openat_append sys_mmap ↻ gv_catn sys_mmap ↻ sys_munmap ↻ sys_now_realtime_sec

structs

none

consts

none

functions

11func main(argc: i64, argv: *i64) -> i64
calls 15: gv_ctrgv_headgv_checkled_task_ok_pureled_activity_ok_pureled_expense_ok_pure+9