nx_workmix_gate.nx
buildroot/runtime/nx_workmix_gate.nx
about
nx_workmix_gate.nx -- gate for THE WORK-MIX RULER (ecosystem EC56, nx_workmix_lib). In-process on PLANTED rows: a ledger,
two board plans and a class table, so every class, the re-land rule and the feature-deps index each meet a tooth and a
negative control. Nothing here reads the production ledger. The fixture asserts its own condition first.
license_tier: ORIGINAL No hw writes (Rule 26).
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_workmix_lib.nxnx_gate_verdict.nx
imported by: nobody (leaf or entry point)
structs
| none |
consts
| 9 | const G_I64: i64 = 8 |
| 10 | const G_LO: i64 = 1000 // the fixture window [1000, 2000): every planted epoch is placed against it |
| 11 | const G_HI: i64 = 2000 |
| 12 | const G_BIG: i64 = 9000000000000000 // sixteen digits in every slot: the status line must still fit its derived bound |
| 13 | const G_CONF: *u8 = "board|prod|product|x\nboard|ops|operations|x\nboard|bad|neither|x\n" |
| 14 | const G_PLAN_PROD: *u8 = "rung|F1|t|-|n|Organ|2|ops:E1\nrung|F2|t|-|n|Organ|1|F1, E9\nrung|S1|t|-|n|Organ|1|-\nrungrole|S1|substrate|T1|why\nrungrole|X1|superseded|T1|why\nrung|X1|t|-|n|Organ|1|-\n" |
| 15 | const G_PLAN_OPS: *u8 = "rung|E1|t|-|n|Organ|3|-\nrung|E2|t|-|n|Organ|1|-\nrung|C1|t|-|n|Organ|1|-\nrungrole|C1|contender|T1|why\n" |
| 16 | const G_LEDGER: *u8 = "land|prod|F1|1100|20\nland|ops|E1|1150|5\nland|ops|E1|1200|30\nland|ops|E2|1300|10\nland|ops|C1|1400|10\nland|prod|S1|1500|10\nland|prod|X1|1600|10\nland|ghost|G1|1700|10\nretract|prod|F2|1750\nland|prod|F2|1800|10\nland|prod|F2|900|10\nland|prod|F1|2500|10\nland|prod|F1|bad|10\nland|prod|short\nopen|prod|O1|1050|1060|10\nopen|prod|O2|500|1900|10\n" |
functions
| 18 | func g_count_nl(b: *u8, n: i64) -> i64 |
| 24 | func g_contains(b: *u8, n: i64, lit: *u8) -> i64 |
| 34 | func main(argc: i64, argv: *i64) -> i64 |