code wiki / _hdl_build / nx_meal_plan_gate.nx

nx_meal_plan_gate.nx

buildroot/runtime/_hdl_build/nx_meal_plan_gate.nx

7050 B122 linesdepth 5pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic meal

docs dependencies structs consts functions

about

nx_meal_plan_gate.nx -- proves the recipe/unit spine on per-run /tmp fixtures. The BITE cell guards the vacuous-requirement trap: a recipe with NO ingredients is trivially satisfied by an EMPTY pantry, so a naive "can I cook it" check recommends phantom dishes to someone with nothing in the house. license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 3 imports · 0 importers

imports: nx_syscalls.nxnx_meal_plan.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 PG_PFX: i64 = 160
10	const PG_FLD: i64 = 512

functions

12	func main(argc: i64, argv: *i64) -> i64 calls 25: gv_ctr gv_head sys_now_realtime_sec sys_mmap as_append fd_apnum+19