nx_meshvalid_gate.nx
buildroot/runtime/nx_meshvalid_gate.nx
about
nx_meshvalid_gate.nx -- the gate for nx_meshvalid_lib (/compare/dcc DC3).
THE HAZARD THIS GATE IS SHAPED AGAINST: a validity checker that REFUSES EVERYTHING passes every negative
test ever written for it. That is the inverse of the usual vacuity defect -- there the guard never fires,
here it always does -- and four SSRF deny-tests once went green in this estate while the guard was wholly
broken. So the load-bearing cell here is the POSITIVE control: a genuine closed tetrahedron with
consistent outward winding that must come back with EVERY counter at zero. Each defect class is then a
gv_bite: it must FIRE on its own planted defect and stay SILENT on the good mesh.
The tetrahedron is built once and mutated per fixture, so every negative control differs from the positive
one by exactly the defect under test -- if it differed by more, a kill would not attribute to the defect.
100% sovereign. No hardware writes (Rule 26). license_tier: ORIGINAL expect_exit: 0
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_gate_verdict.nxnx_meshvalid_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
| 17 | const MG_S: i64 = 100 |
| 18 | const MG_TETRA_V: i64 = 4 |
| 19 | const MG_TETRA_T: i64 = 4 |
| 20 | const MG_TRI_T: i64 = 1 // one triangle in the single-face fixtures |
| 32 | const MG_CAP_SMALL: i64 = 10 |
| 33 | const MG_CAP_BIG: i64 = 1000 |
| 37 | const MG_CAP_PROBE: i64 = 64 |
functions
| 39 | func mg_eq(a: i64, b: i64) -> i64 { if a == b { return 1 } return 0 } called by 1: main |
| 40 | func mg_ne(a: i64, b: i64) -> i64 { if a != b { return 1 } return 0 } called by 1: main |
| 41 | func mg_gt(a: i64, b: i64) -> i64 { if a > b { return 1 } return 0 } called by 1: main |
| 46 | func mg_tetra(extra_v: i64, extra_t: i64) -> *i64 |
| 60 | func mg_all_clean(m: *i64) -> i64 |
| 67 | func main(argc: i64, argv: *i64) -> i64 |