code wiki / input
topic: input
7 modules sharing the input name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_input.nx | terminal input primitives (line + byte read from stdin). | 133 | 3 |
| nx_input_abstract.nx | SOVEREIGN device-agnostic input core (F1102, game-platform lane). | 205 | 14 |
| nx_input_abstract_gate.nx | proves the device-agnostic input core (F1102) does what the game | 202 | 5 |
| nx_input_abstract_part.nx | RENAMED FROM nx_input_abstract.nx 2026-07-31 (lib-reconcile). | 221 | 16 |
| nx_input_gpio.nx | GPIO button input abstraction. | 154 | 7 |
| nx_input_gpio_test.nx | smoke for nx_input_gpio. | 54 | 1 |
| nx_input_scan.nx | INPUT-INTEGRITY scanner (first control of the 3-stage untrusted-input fence, seq497). | 146 | 8 |