code wiki / _hdl_build / nx_ctrl_same.nx
nx_ctrl_same.nx
buildroot/runtime/_hdl_build/nx_ctrl_same.nx
about
nx_procchurn_gate.nx -- proves the four pure predicates of nx_procchurn_lib, BOTH POLARITIES.
Non-vacuity discipline (seq395 / the quality ruler): every policy cell is a gv_bite -- it must FIRE on
the crafted-bad input AND stay SILENT on the crafted-good one. A cell that is green before the defect
exists proves nothing. The value cells are pinned to the ACTUAL 2026-07-30 field measurement so the
gate would have caught the live fork-storm, not merely compiled.
license_tier: ORIGINAL expect_exit: 0 No hw writes (Rule 26).
dependencies 2 imports · 0 importers
imports: nx_procchurn_lib.nxnx_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
| 11 | const PG_BUF: i64 = 2048 |
| 12 | const PG_OUT_BYTES: i64 = 256 |
| 14 | const PG_FIELD_FORKS: i64 = 9164 |
| 15 | const PG_FIELD_MS: i64 = 117000 |
| 16 | const PG_FIELD_FORKS_PS: i64 = 78 |
| 17 | const PG_FIELD_SYS_J: i64 = 21639 |
| 18 | const PG_FIELD_USR_J: i64 = 9163 |
| 19 | const PG_FIELD_RATIO: i64 = 2361 |
| 20 | const PG_FIELD_CTXSW_PS: i64 = 91718 |
| 22 | const PG_F_AMBER: i64 = 20 |
| 23 | const PG_F_RED: i64 = 50 |
| 24 | const PG_R_AMBER: i64 = 1000 |
| 25 | const PG_R_RED: i64 = 1500 |
| 26 | const PG_C_AMBER: i64 = 20000 |
| 27 | const PG_C_RED: i64 = 50000 |
functions
| 29 | func pg_cpy(d: *u8, s: *u8) -> i64 called by 1: main |
| 35 | func pg_eq(a: i64, b: i64) -> i64 { if a == b { return 1 } return 0 } called by 1: main |
| 37 | func main() -> i64 |