code wiki / (root) / nx_checkers_test.nx

nx_checkers_test.nx

buildroot/runtime/nx_checkers_test.nx

29101 B610 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

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

nx_syscalls.nx nx_hal.nx nx_tier.nx nx_checkers.nx nx_checkers_test.nx

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

main nx_chk_new sys_mmap nx_chk_is_dark nx_chk_sq nx_chk_count_side nx_chk_side_of nx_chk_is_red nx_chk_is_black nx_hal_exit nx_hal_active_shim nx_hal_exit_linux nx_hal_exit_bare_metal nx_hal_exit_nishi_silicon nx_chk_is_dark ↻ nx_chk_cell nx_chk_in_bounds nx_chk_sq ↻ nx_chk_turn nx_chk_outcome nx_chk_force_continue nx_chk_plies nx_chk_in_bounds ↻ nx_chk_sq ↻ nx_chk_apply_simple_move nx_chk_in_bounds ↻ nx_chk_is_dark ↻ nx_chk_sq ↻ nx_chk_side_of ↻ nx_chk_jumps_exist sys_mmap ↻ nx_chk_legal_jumps nx_chk_is_dark ↻ nx_chk_sq ↻ nx_chk_side_of ↻ nx_chk_is_king nx_chk_in_bounds ↻ nx_chk_other nx_chk_other ↻ nx_chk_check_outcome

structs

none

consts

none

functions

18func main() -> i64