code wiki / _hdl_build / nx_wire_harness_gate.nx

nx_wire_harness_gate.nx

buildroot/runtime/_hdl_build/nx_wire_harness_gate.nx

5795 B132 linesdepth 5pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic wire
docsdependenciesstructsconstsfunctions

about

nx_wire_harness_gate.nx -- certifies the shared wiring scaffold. Each tooth guards a property the three title gates depend on; mutation target = the causal menu (wh_menu_pick2 must return the policy item, and the caller acting on a different id must be observable). T1 fbck order-sensitive (a swapped pixel changes it -- not a plain sum) T2 fbck deterministic (same frame -> same ck) T3 chain fold accumulates (order matters) T4 menu returns the policy item (id a) and is modal-closed after T5 menu is CAUSAL: a caller that acts on the returned id vs a fixed id diverges (mutation proof built into the gate so the property cannot rot) T6 experiential passes a real 2D frame and REFUSES a void frame T7 ink counts non-bg pixels, 0 on a cleared frame T8 anti-vacuity: the frames compared in T1/T2 carried real ink license_tier: ORIGINAL expect_exit: 0

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_wire_harness.nx nx_game_raster.nx nx_wire_harness_gate.nx

imports: nx_syscalls.nxnx_wire_harness.nxnx_game_raster.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_mmap mkframe gr_pack gr_clear gr_rect gr_disc gr_px gr_clear ↻ gr_pack ↻ ww sys_write wh_fbck wn sys_write ↻ sys_mmap ↻ wh_chain wh_menu_pick2 gh_menu_open gh_menu_item wh_menu_wrapsel gh_menu_move gh_menu_sel wh_experiential sys_mmap ↻ fs_default_th fs_score_i64 sys_mmap ↻ fs_score fs_lum fs_verdict wh_ink

structs

none

consts

18const W: i64 = 96
19const H: i64 = 64
20const N: i64 = 6144 // W*H

functions

22func ww(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
called by 1: main calls 1: sys_write
23func wn(v: i64) -> i64
called by 1: main calls 2: sys_writesys_mmap
32func mkframe(fb: *i64, shift: i64) -> i64
called by 1: main calls 4: gr_packgr_cleargr_rectgr_disc
45func main() -> i64