code wiki / _hdl_build / nx_fissure_gate.nx

nx_fissure_gate.nx

buildroot/runtime/_hdl_build/nx_fissure_gate.nx

9623 B179 linesdepth 5pulls 9 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

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

nx_syscalls.nx nx_gate_verdict.nx nx_gatekit_lib.nx nx_faceanat.nx nx_fissure_gate.nx

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

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_head gv_puts sys_write ↻ sys_mmap ↻ faceanat_build sdf_clear_ops sdf_set_floor sdf_set_mtx_amp fa_tissue_z sdf_set_op fa_lip_prims sdf_set_prim sdf_set_kb sdf_set_mat sdf_set_rot it_cos4096 it_sin4096 it_sin4096 ↻ sdf_set_prim ↻ sdf_set_roll it_cos4096 ↻ it_sin4096 ↻ fa_palpebral_fissure

structs

none

consts

27const FG_ASCII0: i64 = 48
28const FG_MINUS: i64 = 45
29const FG_NL: i64 = 10
30const FG_FIELDS: i64 = 6
31const FG_PART_CY: i64 = 1
32const FG_LID_LU: i64 = 27
33const FG_PRE_AT16_PARTS: i64 = 27
34const FG_LEFT: i64 = 0 - 1
35const FG_RIGHT: i64 = 1
38const FG_SHIFT: i64 = 24

functions

40func fg_pnum(tag: *u8, v: i64) -> i64
called by 1: main calls 3: sys_mmapsys_writegk_len
62func fg_abs(v: i64) -> i64 { if v < 0 { return 0 - v } return v }
64func main(argc: i64, argv: *i64) -> i64