code wiki / _hdl_build / nx_faceanat_gate.nx
nx_faceanat_gate.nx
buildroot/runtime/_hdl_build/nx_faceanat_gate.nx
about
nx_faceanat_gate.nx -- prove the INSIDE-OUT face (nx_faceanat: canon proportions + tissue-depth relief) is a
principled, MEASURED improvement over the eyeballed sdf_face -- the operator's "skeleton->muscle->skin" call,
tested not asserted.
T1 CANON proportions hold in the EMITTED parts (rule of fifths: eye centers +-258 symmetric on the eye line;
thirds: brow->subnasale and subnasale->chin within the anthropometric band)
T2 TISSUE-DEPTH relief is real: the cheekbone (proud ~10mm) sits FORWARD (-z) of the forehead (shallow ~4.5mm)
and FORWARD of the recessed temple -- differential relief DERIVED from the depth table, not sculpted flat
T3 ★THE FIT TEST: rs_err (render-vs-reference luma over mapped correspondences) of the anatomical face must be
COMPARABLE-OR-BETTER than the hand-tuned sdf_face -- inside-out derivation is not worse than eyeballing
T4 determinism + PNG knowledge/nx_faceanat.png
license_tier: ORIGINAL expect_exit: 0
dependencies 5 imports · 0 importers
imports: nx_syscalls.nxnx_jpeg_ascii.nxnx_sdfrender_mt.nxnx_faceanat.nxnx_png.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
| 22 | const P_UC: i64 = 256 |
| 23 | const P_VC: i64 = 329 |
| 24 | const P_SU: i64 = 333 |
| 25 | const P_SV: i64 = 350 |
| 26 | const P_VLO: i64 = 240 |
| 27 | const P_VHI: i64 = 440 |
functions
| 18 | func hw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } |
| 19 | func pn(v: i64) -> i64 { let b: *u8=sys_mmap(32) as *u8; var x: i64=v; var ng: i64=0; if x<0{ng=1;x=0-x} var i: i64=31; if x==0{b[i]=48 as u8;i=i-1} while x>0{b[i]=(48+x%10) as u8;x=x/10;i=i-1} if ng==1{b[i]=45 as u8;i=i-1} sys_write(1,(b as i64+i+1) as *u8,31-i); return 0 } |
| 20 | func fbdiff(a: *i64, b: *i64, n: i64) -> i64 { var d: i64=0; var i: i64=0; while i<n { if a[i]!=b[i] { d=d+1 } i=i+1 } return d } called by 1: main |
| 31 | func rs_err(fb: *i64, rgb: *u8, tw: i64, th: i64) -> i64 called by 1: main |
| 71 | func main() -> i64 |