nx_sdfprim_gate.nx
buildroot/runtime/nx_sdfprim_gate.nx
about
nx_sdfprim_gate.nx -- KNOWN-ANSWER TEETH FOR THE IMPLICIT PRIMITIVE FAMILY nx_sdfprim_lib (anatomy AN17, 2026-09-19).
Every tooth is a distance a hand can check: a sphere is where the first-order ellipsoid estimator is EXACT, so its
values are asserted to the unit; the walled cylinder and the swept arch are asserted at points that lie on a
primitive's own construction (a polyline vertex, an axis crossing) where the answer is closed-form. The pitched
ellipsoid is held to the plain one at zero tilt (an identity) and to the axis swap at a quarter turn.
NEG-CONTROL: the detector "a point off the surface reads non-zero" must fire on a planted 5 mm shift and stay silent
on the surface point (gv_bite): a primitive that read zero everywhere would pass every equality tooth by accident.
license_tier: ORIGINAL. No hw writes (Rule 26).
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_gate_verdict.nxnx_sdfprim_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
| 13 | const SG_R: i64 = 40 // the sphere every exact tooth uses, mm |
| 14 | const SG_IN: i64 = 20 // a point this far inside the sphere (from the centre) |
| 15 | const SG_OUT: i64 = 50 // a point this far from the centre, outside |
| 16 | const SG_PLANT: i64 = 45 // the neg-control's planted off-surface radius |
| 17 | const SG_TOL_Q: i64 = 1 // one output unit: the integer roots' own rounding |
functions
| 19 | func main(argc: i64, argv: *i64) -> i64 |