code wiki / _hdl_build / nx_wire_harness_gate.nx
nx_wire_harness_gate.nx
buildroot/runtime/_hdl_build/nx_wire_harness_gate.nx
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
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
structs
| none |
consts
| 18 | const W: i64 = 96 |
| 19 | const H: i64 = 64 |
| 20 | const N: i64 = 6144 // W*H |
functions
| 22 | func ww(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } |
| 23 | func wn(v: i64) -> i64 |
| 32 | func mkframe(fb: *i64, shift: i64) -> i64 |
| 45 | func main() -> i64 |