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)

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 }
23func wn(v: i64) -> i64
32func mkframe(fb: *i64, shift: i64) -> i64
45func main() -> i64