code wiki / _hdl_build / nx_eff_board_gate.nx

nx_eff_board_gate.nx

buildroot/runtime/_hdl_build/nx_eff_board_gate.nx

7689 B149 linesdepth 6pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic eff
docsdependenciesstructsconstsfunctions

about

nx_eff_board_gate.nx -- gate for the efficiency/ROI board core (nx_eff_board_lib). On nx_gate_verdict (D001 migrate-on-touch). Proves: eff- plane day-row summing + meta read; roi- value sum; conversion KAT (money integer-exact); monthly extrapolation; FAIL-CLOSED UNSEEDED (no fabricated spend); JSON emit markers (UNSEEDED vs ESTIMATE); production-shape scale tooth (28 day rows = full window). license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 2 imports · 0 importers

nx_eff_board_lib.nx nx_gate_verdict.nx nx_eff_board_gate.nx

imports: nx_eff_board_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 g_cat g_zero eb_eff_scan eb_cols eb_is_dayrow eb_slice_int eb_slice_eq eb_len eb_modrow_tier gv_check gv_puts ↻ eb_roi_value eb_cols ↻ eb_slice_int ↻ eb_monthly eb_emit_json efl_cost_cents efl_weighted_bp eb_realcost efl_cost_tier efl_weighted_bp ↻ efl_tier_rate efl_energy_wh efl_weighted_bp ↻ eb_monthly ↻ efl_cost_tier ↻ sys_now_realtime_sec sys_mmap ↻ sys_clock_gettime_real eb_cost_per_action eb_cache_ratio_pct g_has eb_len ↻ eb_emit_html

structs

none

consts

9const G_BUF: i64 = 262144

functions

11func g_cat(d: *u8, o: i64, s: *u8) -> i64 { var i: i64 = 0; var oo: i64 = o; while s[i] != (0 as u8) { d[oo] = s[i]; oo = oo + 1; i = i + 1 } return oo }
called by 1: main
12func g_catn(d: *u8, o: i64, v: i64) -> i64 { return ss_catn(d, o, v) }
called by 1: main
14func g_has(buf: *u8, n: i64, pat: *u8) -> i64
called by 1: main calls 1: eb_len
27func g_zero(m: *i64) -> i64 { var z: i64 = 0; while z < 64 { m[z] = 0; z = z + 1 } return 0 }
called by 1: main
29func main(argc: i64, argv: *i64) -> i64