code wiki / _hdl_build / nx_tcratchet_gate.nx
nx_tcratchet_gate.nx
buildroot/runtime/_hdl_build/nx_tcratchet_gate.nx
about
nx_tcratchet_gate.nx -- proves the toolchain ratchet REFUSES a shrink and BLESSES a growth, then runs it
LIVE against the real toolchain artifacts.
NON-VACUITY: T2 is the tooth that would have caught the 2026-07-30 incident -- it feeds the ACTUAL numbers
(live 520103 vs banked 543126, the regressed compiler that was found running on the hub) and asserts REFUSE.
If anyone loosens the floor, T2 goes RED with the real incident in its name.
T5/T6 are the matched pair that keeps the guard honest in BOTH directions: unbanked must never read OK,
and a legitimate GROWTH must never read REGRESSED (a ratchet that refuses everything is not a ratchet).
license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0
dependencies 1 imports · 0 importers
imports: nx_tcratchet_lib.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
| 12 | const TG_CC: *u8 = "buildroot/_offc/nx_cc_sovereign.elf" as *u8 |
| 13 | const TG_ASM: *u8 = "buildroot/_offc/nxasm_x86_main.elf" as *u8 |
| 14 | const TG_RUN: *u8 = "buildroot/_offc/nx_sov_build_run.elf" as *u8 |
functions
| 16 | func tg_t(name: *u8, cond: i64, ctr: *i64) |
| 28 | func tg_report(label: *u8, path: *u8) |
| 39 | func main(argc: i64, argv: *i64) -> i64 |