nx_checkers_test.nx
buildroot/runtime/nx_checkers_test.nx
about
nx_checkers_test.nx -- C1a substrate smoke.
8 assertions covering the initial setup at minimum complexity:
1. new game has 24 pieces total (12 red + 12 black)
2. red men occupy rows 5,6,7 dark squares (4 per row = 12 total)
3. black men occupy rows 0,1,2 dark squares
4. no pieces on rows 3 or 4 (the gap)
5. no pieces on any LIGHT square (parity invariant)
6. turn = RED (red moves first per standard rules)
7. outcome = ONGOING, force_continue = -1, plies = 0
8. coord helpers: is_dark + in_bounds + sq round-trip
dependencies 4 imports · 0 importers
imports: nx_syscalls.nxnx_hal.nxnx_tier.nxnx_checkers.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
| 18 | func main() -> i64 |