code wiki / _hdl_build / nx_game_gate_register.nx
nx_game_gate_register.nx
buildroot/runtime/_hdl_build/nx_game_gate_register.nx
about
nx_game_gate_register.nx -- GOVERNED registration of the game-engine
evidence gate (operator: "keep building the team to build this").
ENGINEER verdict = run the gate twice and require DISCRIMINATION:
(a) with the UNFIXED _offc/nx_cc_sovereign.elf the gate must FAIL >=1
module (it must catch the known unterminated-block miscompile via
nx_term_kat + nx_tictactoe_test);
(b) the gate must judge by RAW wait status (signal-aware) and exit with
the fails count -- a gate that can't go red is not a gate.
If a FIXED compiler candidate is present at /tmp/nx_cc_fixed_oracle.elf the
Engineer also requires it to gate GREEN (fails=0).
license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_cap_register.nxnx_pm_review_log.nxnx_syscalls.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
| 16 | const GGR_LAYER: i64 = 4 // CON -- build/test orchestration (same shelf as nx_sov_build_run) |
| 17 | const GGR_STATUS: i64 = 2 // ECO_PROVEN |
| 18 | const GGR_IDX: i64 = 216 |
| 19 | const GGR_NLAYERS: i64 = 6 |
functions
| 22 | func ggr_run1(path: *u8, arg1: *u8) -> i64 |
| 38 | func main() -> i64 |