code wiki / _hdl_build / nx_game_breed_gate.nx
nx_game_breed_gate.nx
buildroot/runtime/_hdl_build/nx_game_breed_gate.nx
about
nx_game_breed_gate.nx -- proves the breeders mechanic end-to-end with the lane's discipline.
The flagship claims, each with its refutation path designed in:
dominance is EARNED (a scrape-by win must NOT dominate -- T2's found-seed control)
the game is LOSABLE (a weak player genuinely loses -- T1b)
the one you dominated is the one you OWN (byte-equal genes across capture -- T3)
inheritance is REAL (every child gene provably near a parent slot -- T4; the mutation target)
breeding never mass-produces (uniqueness at roster scale -- T5)
persistence is transparent (save -> load -> SAME child from the same pair+seed -- T6)
beats are causal + the whole thing replays bit-exact (T7)
MUTATION TARGET (documented): brd_gene -> pure rng ignoring parents => T4 RED, T5/T7 stay GREEN.
license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_game_breed.nxnx_gamesave.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
| 16 | func p(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } |
| 17 | func pn(v: i64) -> i64 |
| 31 | func nl() -> i64 { p("\n" as *u8); return 0 } |
| 34 | func mk(ros: *i64, sp: i64, a: i64, b: i64, c: i64, d: i64, lvl: i64) -> i64 |
| 44 | func main() -> i64 |