code wiki / _hdl_build / nx_game_breed_gate.nx

nx_game_breed_gate.nx

buildroot/runtime/_hdl_build/nx_game_breed_gate.nx

16302 B322 linesdepth 5pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic game
docsdependenciesstructsconstsfunctions

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

nx_syscalls.nx nx_game_breed.nx nx_gamesave.nx nx_game_breed_gate.nx

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

main p sys_write sys_mmap brd_species_default en_bytes en_words en_init en_o_gen en_o_alive en_cap en_o_dense en_cap ↻ en_o_pos en_cap ↻ en_o_free en_cap ↻ mk en_spawn en_freelen en_o_free ↻ en_o_free ↻ en_cap ↻ en_o_alive ↻ en_ncomp en_o_comp en_cap ↻ en_o_dense ↻ en_o_pos ↻ en_make_handle en_o_gen ↻ en_set en_valid en_handle_idx en_cap ↻ en_o_alive ↻ en_o_gen ↻ en_handle_gen en_ncomp ↻ en_o_comp ↻

structs

none

consts

none

functions

16func p(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 2: nlmain calls 1: sys_write
17func pn(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
31func nl() -> i64 { p("\n" as *u8); return 0 }
called by 1: main calls 1: p
34func mk(ros: *i64, sp: i64, a: i64, b: i64, c: i64, d: i64, lvl: i64) -> i64
called by 1: main calls 3: en_spawnen_seten_count
44func main() -> i64