code wiki / _hdl_build / nx_varcensus_gate.nx
nx_varcensus_gate.nx
buildroot/runtime/_hdl_build/nx_varcensus_gate.nx
about
nx_varcensus_gate.nx -- PROVE THE VaM CENSUS CLASSIFIER IS DATA, FIRST-MATCH, A PARTITION ON BOTH AXES, AND THAT A
MALFORMED RULE REFUSES. In-process over nx_varcensus_lib with fixture rules and fixture member names: no corpus is read and
no asset byte exists anywhere in this gate. The rules text is assembled at runtime with real TAB bytes.
license_tier: ORIGINAL No hw writes (Rule 26).
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_gate_verdict.nxnx_varcensus_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
| 9 | const VG_TAB: i64 = 9 |
| 10 | const VG_LF: i64 = 10 |
| 11 | const VG_KEYS: i64 = 1000 |
functions
| 13 | func vg_row(a: *i64, f0: *u8, f1: *u8, f2: *u8, f3: *u8, f4: *u8, f5: *u8) -> i64 |
| 30 | func vg_ptr(s: *u8) -> i64 { return s as i64 } called by 1: main |
| 31 | func vg_cls(rs: *i64, axis: i64, name: *u8) -> i64 |
| 36 | func vg_idx(rs: *i64, axis: i64, cls: *u8) -> i64 |
| 41 | func main(argc: i64, argv: *i64) -> i64 |