nx_procgen_p23_register.nx source

1// nx_procgen_p23_register.nx -- registers PROCGEN P2 (causal biome map) + 2// P3 (biome-lawed feature kinds) and the nx_flap_probe verify organ via the 3// Librarian (atomic alloc, dual-write live + durable journal). 4// ENGINEER evidence = REAL re-runs of the gate-built KAT elves and the 5// probe's own refusal/stable paths. license_tier: ORIGINAL 6import "nx_cap_register.nx" 7import "nx_capreg_librarian.nx" 8import "nx_syscalls.nx" 9 10func pr_run(path: *u8, a1: *u8, a2: *u8) -> i64 { 11 let pid: i64 = sys_fork() 12 if pid == 0 { 13 let dn: i64 = sys_openat_wr("/dev/null" as *u8, 0x1a4) 14 if dn >= 0 { sys_dup3(dn, 1, 0); sys_dup3(dn, 2, 0) } 15 let argv: *i64 = sys_mmap(40) as *i64 16 argv[0] = path as i64 17 var i: i64 = 1 18 if (a1 as i64) != 0 { argv[i] = a1 as i64; i = i + 1 } 19 if (a2 as i64) != 0 { argv[i] = a2 as i64; i = i + 1 } 20 argv[i] = 0 21 let envp: *i64 = sys_mmap(16) as *i64; envp[0] = 0 22 sys_execve(path, argv, envp); sys_exit(127) 23 } 24 let st: *i64 = sys_mmap(16) as *i64 25 sys_wait4(pid, st, 0) 26 let sig: i64 = st[0] & 0x7f 27 if sig != 0 { return 128 + sig } 28 return (st[0] >> 8) & 0xff 29} 30 31func main() -> i64 { 32 let nul: *u8 = 0 as *u8 33 34 // ---- ENGINEER evidence: both P2/P3 KAT elves green ---- 35 var p23ok: i64 = 1 36 if pr_run("/tmp/nx_procgen_biome_test.gg.elf" as *u8, nul, nul) != 0 { p23ok = 0 } 37 if pr_run("/tmp/nx_procgen_features_test.gg.elf" as *u8, nul, nul) != 0 { p23ok = 0 } 38 cr_w(1, "ENGINEER: P2 biome + P3 features KAT elves pass=" as *u8); cr_wn(1, p23ok); cr_w(1, "\n" as *u8) 39 40 // ---- ENGINEER evidence: flap probe refusal + stable paths ---- 41 var fpok: i64 = 1 42 if pr_run("/tmp/fp.elf" as *u8, nul, nul) != 3 { fpok = 0 } // usage refusal 43 if pr_run("/tmp/fp.elf" as *u8, "/tmp/nx_procgen_biome_test.gg.elf" as *u8, "5" as *u8) != 0 { fpok = 0 } 44 cr_w(1, "ENGINEER: flap-probe refusal+stable pass=" as *u8); cr_wn(1, fpok); cr_w(1, "\n" as *u8) 45 46 let lp: *u8 = "/tmp/nishi_cap_registry.log" as *u8 47 let jp: *u8 = "knowledge/status/cap_registry_durable.log" as *u8 48 49 // ---- row 1: PROCGEN P2+P3 (GEN, layer 5) ---- 50 let eng1: i64 = ig_engineer(1, 1, 1, p23ok) 51 let dec1: i64 = ig_decision(eng1, ig_council(eng1, 1, 1, 2), 1) 52 if dec1 != IG_INGEST { cr_w(1, "HELD P23\n" as *u8); sys_exit(1) } 53 if cr_can_register(5, 2, 6, dec1) != 1 { cr_w(1, "REFUSED P23\n" as *u8); sys_exit(1) } 54 let idx1: i64 = cl_next_idx(lp, jp) 55 let ok1: i64 = cl_register_dual(lp, jp, idx1, 5, 56 2, "GEN PROCGEN-P2P3 CAUSAL BIOMES + BIOME-LAWED FEATURE KINDS (arc=EXCEED10 rungs R1+R2; the grader's two structurally-ABSENT axes go LIVE). P2 nx_procgen_biome: biome = f(elevation band, moisture) -- band law mirrors the grader's quartile cuts comparison-for-comparison (coherence lawful BY CONSTRUCTION, grader independently proves it: 16384 exact on every preset x density config), moisture = independent perlin stream (seed+9173) picks within band Whittaker-style (LOW desert/tundra, MID grassland/boreal/temperate/tropical, HIGH snow, PEAK ice). P3 nx_procgen_features: kind = f(biome, jitter stream seed+24107) over the landscape's poisson points; mix tables are DATA w/ named ecology (subalpine treeline pines, tundra melt ponds, desert shrub-steppe oasis) -- rebalanced from measurement after the value-quartile band law + signature basins made every preset rock-dominant (meadow 79 percent rock -> richer mixes, never stripped kinds). GATES: nx_procgen_biome_test 8 KATs (determinism, validity, coherence>=12000 all 5 presets x 2 seeds, moisture distinctness, all-ICE tamper RED <8000, flat-map refusal, grader-band mirror) + nx_procgen_features_test 8 KATs (determinism, validity, hist conservation, mountain variety>=9830 WIN worst-of-3, all-ICE rock-only variety==0 discriminates, NO-TREE-IN-DESERT law, stream independence, width all-presets>=6553) = game-gate modules 19+20, full gate 21 modules fails=0. wr_eval_cfg feeds both axes every sweep (biome 0->16384, feat 0->live 4329-12999); refine verdict ADD_DETAIL names P5 erosion as next rung. LESSON RE-PROVEN: inline RC=$? echoes through Git-Bash->wsl are FAKE-GREEN (pre-expanded); only wait4 channels judge -- a $?-judged KAT pass hid a latent KAT7 stale-reference bug the honest gate surfaced" as *u8) 57 if ok1 != 1 { cr_w(1, "DUAL-WRITE FAILED P23\n" as *u8); sys_exit(1) } 58 cr_w(1, "CAPREG idx=" as *u8); cr_wn(1, idx1); cr_w(1, " REGISTERED (PROCGEN P2+P3)\n" as *u8) 59 60 // ---- row 2: flap probe (VER, layer 3) ---- 61 let eng2: i64 = ig_engineer(1, 1, 1, fpok) 62 let dec2: i64 = ig_decision(eng2, ig_council(eng2, 1, 1, 2), 1) 63 if dec2 != IG_INGEST { cr_w(1, "HELD FP\n" as *u8); sys_exit(1) } 64 if cr_can_register(3, 2, 6, dec2) != 1 { cr_w(1, "REFUSED FP\n" as *u8); sys_exit(1) } 65 let idx2: i64 = cl_next_idx(lp, jp) 66 let ok2: i64 = cl_register_dual(lp, jp, idx2, 3, 67 2, "VER FLAP-PROBE repeat-run stability organ (Engineer verify verb; born from the 2026-06-10 fake-green hunt). nx_flap_probe <target.elf> [n]: N x fork/execve/wait4 RAW-status runs -> status histogram on one FLAPPROBE line; exit 0=STABLE (status itself reported not judged -- a stable failure is the caller's evidence), 2=FLAP (nondeterminism proven), 3=usage/exec refusal; signal-aware (128+sig, segfault never decodes as success). Pure NishiLang from the syscall layer (no sh loops, no $? -- the channel that lied: Git-Bash AND PS pre-expand $vars/$? into wsl bash -c, so every inline RC=$? echo reports the OUTER shell's status; this organ killed a phantom same-binary-nondeterminism in minutes: 30x status=4 STABLE = the binary was always honest, the $? channel was not). First real service: P3 KAT verification 20x STABLE pre-gate" as *u8) 68 if ok2 != 1 { cr_w(1, "DUAL-WRITE FAILED FP\n" as *u8); sys_exit(1) } 69 cr_w(1, "CAPREG idx=" as *u8); cr_wn(1, idx2); cr_w(1, " REGISTERED (flap probe)\n" as *u8) 70 sys_exit(0) 71 return 0 72}