nx_procgen_features_test.nx
buildroot/runtime/nx_procgen_features_test.nx
about
nx_procgen_features_test.nx -- KATs for the P3 biome-lawed feature kinds.
Exit 0 = all pass; first failing KAT's number is the exit code.
KAT 1 determinism: same (land, biomes, seed) twice -> identical kinds.
KAT 2 validity: every kind is sealed (0..3).
KAT 3 histogram conservation: counts sum to n_features.
KAT 4 variety axis LIVE: grader FEATURE_VARIETY >= 9830 (WIN floor)
worst-of-3-seeds on the mountain preset.
KAT 5 variety discriminates: an all-ICE biome map (rock-only law)
scores 0; the real map scores strictly higher.
KAT 6 biome law holds: a pure-DESERT map grows NO trees.
KAT 7 independent streams: kinds seed does not change the biome map.
KAT 8 width: every preset x 3 seeds stays >= 6553 (marginal floor) --
the variety axis must never fall back into LOSS territory
(honest 2026-06-10 baseline: meadow worst = 6585; forest/meadow
rock-band skew is the named P4/P5 improvement surface).
license_tier: ORIGINAL
dependencies 6 imports · 0 importers
imports: nx_syscalls.nxnx_tier.nxnx_procgen_preset.nxnx_procgen_biome.nxnx_procgen_features.nxnx_world_quality_grader.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
| 26 | const FW: nx_int = 64 |
| 27 | const FH: nx_int = 64 |
functions
| 29 | func main() -> i64 |