code wiki / _hdl_build / nx_js_fuel_gate.nx

nx_js_fuel_gate.nx

buildroot/runtime/_hdl_build/nx_js_fuel_gate.nx

2418 B41 linesdepth 7pulls 23 transitivereach 0 importersview sourcekind gate/prooftopic js
docsdependenciesstructsconstsfunctions

about

nx_js_fuel_gate.nx -- non-vacuous tooth for the GLOBAL JS execution budget (debt 1785032369). Proves BOTH directions: (T1) a hostile unbounded loop -- the exact class that degraded the crawler to minutes-per-page and that per-loop caps cannot bound compositionally -- ABORTS with an eval error instead of hanging; (T2) a legitimate script still runs to completion under the same budget (the guard must not overreach); (T3) budget RESETS between programs (a spent budget must not poison the next run). Rides nx_gate_verdict (D001). license_tier: ORIGINAL expect_exit: 0

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_js_eval.nx nx_gate_verdict.nx nx_js_fuel_gate.nx

imports: nx_syscalls.nxnx_js_eval.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_head gv_puts sys_write gv_ctr sys_mmap sys_mmap ↻ sys_now_realtime_sec sys_mmap ↻ sys_clock_gettime_real gv_check gv_puts ↻ 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 ↻ gv_cat sys_write ↻ sys_close sys_munmap ↻ sys_exit

structs

none

consts

none

functions

11func main() -> i64