nx_folkgame_align_gate.nx
buildroot/runtime/nx_folkgame_align_gate.nx
about
nx_folkgame_align_gate.nx -- GATE for the align family of nx_folkgame_lib.
THE LOAD-BEARING TOOTH IS T5. The number of possible games of Tic-Tac-Toe -- counting every
distinct sequence of moves and stopping each line the moment somebody wins -- is 255,168. That
is a PUBLISHED COMBINATORIAL CONSTANT, not a number this estate computed and then asserted about
itself. A move generator that is wrong anywhere (one illegal move admitted, one legal move
missed, a win not detected, a draw detected early) cannot land on it by accident. Every other
tooth here checks a shape; T5 checks the RULES.
The neg-controls are equally deliberate: three malformed specs that MUST be refused, because a
parser that accepts everything passes every positive test ever written against it.
license_tier: ORIGINAL No hw writes (Rule 26).
dependencies 4 imports · 0 importers
imports: nx_folkgame_lib.nxnx_folkgame_ai_lib.nxnx_lineconf_lib.nxnx_gate_verdict.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
| 20 | const FGA_TTT_GAMES: i64 = 255168 |
| 21 | const FGA_TTT_CELLS: i64 = 9 |
| 22 | const FGA_TTT_LINES: i64 = 8 |
| 23 | const FGA_NMM_CELLS: i64 = 24 |
| 24 | const FGA_NMM_LINES: i64 = 16 |
| 25 | const FGA_MOR_LINES: i64 = 20 |
| 26 | const FGA_GOM_LINES: i64 = 572 |
| 27 | const FGA_ACHI_PLACEMENTS: i64 = 8 |
| 28 | const FGA_DARA_CELLS: i64 = 30 |
| 29 | const FGA_DARA_W: i64 = 6 |
| 30 | const FGA_DARA_H: i64 = 5 |
| 31 | const FGA_DARA_L: i64 = 3 |
| 33 | const FGA_DARA_LINES: i64 = 38 |
| 36 | const FGA_DARA_LINES_DIAG: i64 = 62 |
| 37 | const FGA_SPEC: *u8 = "knowledge/compare/folkgames.align" |
| 38 | const FGA_CONF: *u8 = "knowledge/folkgames.conf" |
functions
| 40 | func fga_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 1: main |
| 44 | func fga_games(base: i64, snap: *i64, sw: i64, mvb: *i64, mm: i64, scratch: *i64, d: i64) -> i64 |
| 62 | func fga_open_moves(base: i64) -> i64 |
| 70 | func main() -> i64 |