nx_games_page_gate.nx
buildroot/runtime/nx_games_page_gate.nx
about
nx_games_page_gate.nx -- proves the /games + /world/games EMITTER adopted the estate's design-token
SSOT (nx_brand_tokens) and that adopting it cost NO colour. Subject = the EMITTED artifacts
web_assets/games.html + web_assets/world_games.html, never the source: a source that says the right
thing and an artifact that carries it are different claims, and only the second one ships.
WHAT IT IS FOR. Operator #1 gap: "incredible backend + dev-grade frontend". The estate's own ruler
nx_ui_audit scored /games 8/12 on 2026-08-25 with theme-aware 0/2 and responsive 1/3, and its
envelope is explicit that it MEASURES DESIGN-SYSTEM HYGIENE ONLY -- are the ingredients present --
and NOT beauty. This gate is held to the same honest bar: it proves the INGREDIENTS are in the
emitted bytes. It cannot and does not claim the page looks good.
THE NO-REGRESSION PROOF IS MECHANICAL, NOT ASSERTED. Every colour v2 painted is re-checked as a
literal in the v3 artifact (T5), every themed token must appear EXACTLY TWICE (light :root + dark
override, T3), and every deliberately theme-INDEPENDENT token must appear EXACTLY ONCE (T4). A
dropped dark line therefore cannot pass, and neither can a token silently promoted out of the theme.
license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0
dependencies 1 imports · 0 importers
imports: nx_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
| 19 | const GP_CAP: i64 = 262144 |
| 20 | const GP_THEMED_N: i64 = 16 |
| 21 | const GP_FIXED_N: i64 = 5 |
| 22 | const GP_V2HEX_N: i64 = 18 |
| 27 | const GP_BAR_TOKENS: i64 = 15 |
| 28 | const GP_BAR_MEDIA: i64 = 3 |
| 29 | const GP_BAR_FONTSIZE: i64 = 3 |
functions
| 31 | func gp_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 1: gp_count |
| 35 | func gp_count(buf: *u8, n: i64, pat: *u8) -> i64 |
| 49 | func gp_read(path: *u8, buf: *u8, cap: i64) -> i64 called by 1: main |
| 60 | func gp_theme_points(buf: *u8, n: i64) -> i64 |
| 66 | func gp_themed(i: i64) -> *u8 called by 1: main |
| 88 | func gp_fixed(i: i64) -> *u8 called by 1: main |
| 97 | func gp_v2hex(i: i64) -> *u8 called by 1: main |
| 118 | func main() -> i64 |