code wiki / (root) / nx_input_abstract_gate.nx

nx_input_abstract_gate.nx

buildroot/runtime/nx_input_abstract_gate.nx

8257 B202 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic input

docs dependencies structs consts functions

about

nx_input_abstract_gate.nx -- proves the device-agnostic input core (F1102) does what the game platform needs: four sources drive ONE action state, edges are real (no held-repeat), releasing one device never eats another's hold, axis hysteresis is asymmetric, bindings are data, and the whole thing is deterministic. T8 is the anti-vacuity tooth: the scripted mixed-source session must have actually produced actions, or a lib that returns 0 forever would score 7/8. license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

imports: nx_input_abstract.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

none

functions

9	func vw(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
10	func vn(v: i64) -> i64 called by 1: main
22	func pop8(v: i64) -> i64 called by 2: seq main
31	func seq(p: i64, stt: i64) -> i64 called by 1: main calls 8: ia_init ia_key ia_pad ia_axis ia_touch ia_held+2
65	func main() -> i64 calls 14: vw ia_init ia_key ia_held ia_pad ia_axis+8