code wiki / (root) / nx_facefind_gate.nx

nx_facefind_gate.nx

buildroot/runtime/nx_facefind_gate.nx

14367 B206 linesdepth 10pulls 31 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_facefind_gate.nx -- the referee for the sovereign cascade engine and its loader (aesthetictwin AT30, 2026-09-16). In-process: the decimal-to-Q24 parser on the data's own spellings against values computed outside once; the loader on the two mirrored cascades (window, stage, classifier and feature counts, stumps versus trees); planted refusals (a file without the <cascade> root, a tilted feature assembled at run time so this source never spells it). End to end: two mirrored stills whose landmarks an OUTSIDE oracle placed (knowledge/refintake/diora_baird.oracle, MediaPipe, laptop): the face box must contain the four canthi and the nose, each eye box its iris centre; a flat field must yield no face; the mirrored still must find the face and both eyes again. Values are printed with gv_kv. license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_jpeg_ascii.nx nx_facefind_lib.nx nx_facefind_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_jpeg_ascii.nxnx_facefind_lib.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_check gv_puts sys_write ↻ fg_near fg_abs fg_q24 sys_mmap ↻ hx_num_q24 hx_skip_ws hx_is_ws hx_is_digit fg_slen fg_int sys_mmap ↻ hx_int hx_skip_ws ↻ hx_is_digit ↻ fg_slen ↻ sys_mmap ↻ ff_load_face hx_load sys_mmap ↻ sys_read_file

structs

none

consts

14const FG_I64: i64 = 8
15const FG_TOL_Q24: i64 = 3
16const FG_Q24_A: i64 = 0 - 528684
17const FG_Q24_B: i64 = 35023076
18const FG_Q24_C: i64 = 0 - 37198612
19const FG_Q24_D: i64 = 0 - 84599952
20const FG_Q24_M1: i64 = 0 - 16777216
21const FG_Q24_3: i64 = 50331648
22const FG_Q24_2: i64 = 33554432
23const FG_Q24_E: i64 = 1678
24const FG_INT_A: i64 = 12
25const FG_INT_B: i64 = 0 - 1
26const FG_FACE_WIN: i64 = 24
27const FG_FACE_STAGES: i64 = 25
28const FG_FACE_WEAK: i64 = 2913
29const FG_FACE_FEATS: i64 = 2913
30const FG_EYE_WIN: i64 = 20
31const FG_EYE_STAGES: i64 = 24
32const FG_EYE_WEAK: i64 = 1066
33const FG_FIX1: *u8 = "knowledge/fetched/ri_diora_baird_18.jpg"
34const FG_F1_W: i64 = 551
35const FG_F1_H: i64 = 1200
36const FG_F1_RLAT_X: i64 = 231
37const FG_F1_RLAT_Y: i64 = 190
38const FG_F1_RMED_X: i64 = 255
39const FG_F1_RMED_Y: i64 = 194
40const FG_F1_LMED_X: i64 = 288
41const FG_F1_LMED_Y: i64 = 196
42const FG_F1_LLAT_X: i64 = 323
43const FG_F1_LLAT_Y: i64 = 194
44const FG_F1_NOSE_X: i64 = 244
45const FG_F1_NOSE_Y: i64 = 231
46const FG_F1_IRIS_R_X: i64 = 248
47const FG_F1_IRIS_R_Y: i64 = 190
48const FG_F1_IRIS_L_X: i64 = 311
49const FG_F1_IRIS_L_Y: i64 = 192
50const FG_FIX2: *u8 = "knowledge/fetched/cmp_aesthetictwin_babepedia_diora_baird_pic1.jpg"
51const FG_F2_W: i64 = 1200
52const FG_F2_H: i64 = 1600
53const FG_F2_RLAT_X: i64 = 564
54const FG_F2_RLAT_Y: i64 = 252
55const FG_F2_LLAT_X: i64 = 694
56const FG_F2_LLAT_Y: i64 = 258
57const FG_F2_NOSE_X: i64 = 604
58const FG_F2_NOSE_Y: i64 = 324
59const FG_F2_IRIS_R_X: i64 = 586
60const FG_F2_IRIS_R_Y: i64 = 254
61const FG_F2_IRIS_L_X: i64 = 676
62const FG_F2_IRIS_L_Y: i64 = 258
63const FG_FLAT_W: i64 = 320
64const FG_FLAT_H: i64 = 400
65const FG_FLAT_V: i64 = 128
66const FG_FLAT_PERMIL: i64 = 100
67const FG_E_UNREADABLE: i64 = 0 - 1

functions

69func fg_abs(v: i64) -> i64 { if v < 0 { return 0 - v } return v }
called by 1: fg_near
70func fg_near(a: i64, b: i64, tol: i64) -> i64 { if fg_abs(a - b) <= tol { return 1 } return 0 }
called by 1: main calls 1: fg_abs
71func fg_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 3: fg_q24fg_intmain
72func fg_q24(s: *u8) -> i64
called by 1: main calls 3: sys_mmaphx_num_q24fg_slen
77func fg_int(s: *u8) -> i64
called by 1: main calls 3: sys_mmaphx_intfg_slen
83func fg_inside(px: i64, py: i64, x: i64, y: i64, w: i64, h: i64) -> i64
called by 1: main
91func fg_luma(path: *u8, out: *i64) -> i64
108func fg_cat(dst: *u8, o: i64, s: *u8) -> i64 { var i: i64 = 0; while s[i] != (0 as u8) { dst[o + i] = s[i]; i = i + 1 } dst[o + i] = 0 as u8; return o + i }
called by 1: main
109func main() -> i64