code wiki / _hdl_build / nx_fissure_gate.nx
nx_fissure_gate.nx
buildroot/runtime/_hdl_build/nx_fissure_gate.nx
about
nx_fissure_gate.nx -- GATE for aesthetictwin rung AT16: the PALPEBRAL FISSURE, so that a canthus
exists to be measured at all.
WHY THIS RUNG IS FIRST. AT4 (canthal tilt) ranked #1 on this board for weeks and was NOT BUILDABLE: a
canthus is the junction of the upper and lower lid margins, and the face carried a socket, a globe and
a lash with no lid at all. Worse, the obvious proxy was provably vacuous -- the socket carve and the
globe are axis-aligned and share cx exactly, so their intersection is mirror-symmetric, both ends land
at the SAME y, and a tilt read off it is identically zero for every face forever. An axis that cannot
fail is not an axis, so shipping fa_canthal_tilt against that geometry would have lit the board green
with nothing behind it.
THE LOAD-BEARING TOOTH IS T4 AND IT IS THE ONE THAT COULD NOT HAVE PASSED YESTERDAY: the two canthi
must sit at DIFFERENT y. That is exactly the assertion the old geometry made impossible, so it is the
tooth that proves the prerequisite actually landed rather than that a name was written. T5 pins its
SIGN -- lateral above medial, a positive canthal tilt -- because a non-zero number of the wrong sign
would still pass T4 while describing an anatomy nobody has.
T7 IS THE NEGATIVE CONTROL AND IT IS THE PRE-AT16 FACE ITSELF: dropping the part count back to 27
reproduces exactly the model that could not be measured, and the ruler must refuse BY NAME rather than
return the most flattering reading available. A measure that answered anyway would be reading its own
parameters back out.
dependencies 4 imports · 0 importers
imports: nx_syscalls.nxnx_gate_verdict.nxnx_gatekit_lib.nxnx_faceanat.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
| 27 | const FG_ASCII0: i64 = 48 |
| 28 | const FG_MINUS: i64 = 45 |
| 29 | const FG_NL: i64 = 10 |
| 30 | const FG_FIELDS: i64 = 6 |
| 31 | const FG_PART_CY: i64 = 1 |
| 32 | const FG_LID_LU: i64 = 27 |
| 33 | const FG_PRE_AT16_PARTS: i64 = 27 |
| 34 | const FG_LEFT: i64 = 0 - 1 |
| 35 | const FG_RIGHT: i64 = 1 |
| 38 | const FG_SHIFT: i64 = 24 |
functions
| 40 | func fg_pnum(tag: *u8, v: i64) -> i64 |
| 62 | func fg_abs(v: i64) -> i64 { if v < 0 { return 0 - v } return v } |
| 64 | func main(argc: i64, argv: *i64) -> i64 |