code wiki / _hdl_build / nx_meal_cost_gate.nx

nx_meal_cost_gate.nx

buildroot/runtime/_hdl_build/nx_meal_cost_gate.nx

8100 B148 linesdepth 6pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic meal

docs dependencies structs consts functions

about

nx_meal_cost_gate.nx -- proves the pantry x price bridge on per-run /tmp fixtures (never its own history). Two cells are BITE-PROVEN: each first demonstrates that the failure mode is REAL against this very data, then that the guard blocks it. A guard proven only against data that could not have tripped it is a comment. license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 3 imports · 0 importers

imports: nx_syscalls.nxnx_meal_cost.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

9	const CG_PFX: i64 = 160
10	const CG_FLD: i64 = 256
11	const CG_MIN_SALE: i64 = 50

functions

13	func main(argc: i64, argv: *i64) -> i64 calls 24: gv_ctr gv_head sys_now_realtime_sec sys_mmap as_append fd_apnum+18