code wiki / _hdl_build / nx_js_fuel_gate.nx
nx_js_fuel_gate.nx
buildroot/runtime/_hdl_build/nx_js_fuel_gate.nx
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
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
structs
| none |
consts
| none |
functions
| 11 | func main() -> i64 |