nx_face_feature_gate_t367r3.nx source
↩ module page · 37 lines · 2125 B
1// nx_face_feature_gate_t367r3.nx -- reusable face feature referee.
2// Uses nx_faceanat's arena initialization exactly once; checks native result contracts.
3import "nx_syscalls.nx"
4import "nx_sdfrender.nx"
5import "nx_faceanat.nx"
6const FFG_EXIT_USAGE: i64 = 2
7const FFG_EXIT_REFUSE: i64 = 1
8const FFG_FACE_SIZE: i64 = 1
9const FFG_LEFT_EYE: i64 = 0 - 1
10const FFG_RIGHT_EYE: i64 = 1
11func main(argc: i64, argv: *i64) -> i64 {
12 if argc != FFG_FACE_SIZE { return FFG_EXIT_USAGE }
13 let arena: *u8 = sys_mmap(sdf_bytes())
14 if (arena as i64) == 0 { return FFG_EXIT_REFUSE }
15 if faceanat_build(arena as i64) != 0 { return FFG_EXIT_REFUSE }
16 let left: *i64 = sys_mmap(FA_PF_O_FIELDS * 8 + FA_LIP_SLACK) as *i64
17 let right: *i64 = sys_mmap(FA_PF_O_FIELDS * 8 + FA_LIP_SLACK) as *i64
18 if (left as i64) == 0 || (right as i64) == 0 { return FFG_EXIT_REFUSE }
19 if fa_palpebral_fissure(arena as i64, FFG_LEFT_EYE, left) != 0 { return FFG_EXIT_REFUSE }
20 if fa_palpebral_fissure(arena as i64, FFG_RIGHT_EYE, right) != 0 { return FFG_EXIT_REFUSE }
21 let lip: *i64 = sys_mmap(FA_LIP_O_FIELDS * 8 + FA_LIP_SLACK) as *i64
22 if (lip as i64) == 0 { return FFG_EXIT_REFUSE }
23 let lip_result: i64 = fa_lip_ratio(arena as i64, lip)
24 if lip_result == FA_LIP_UNMEASURED { return FFG_EXIT_REFUSE }
25 if lip[FA_LIP_O_REASON] != FA_LIP_R_OK { return FFG_EXIT_REFUSE }
26 let genes: *i64 = sys_mmap(6 * 8) as *i64
27 if (genes as i64) == 0 { return FFG_EXIT_REFUSE }
28 genes[0] = 50; genes[1] = 100; genes[2] = 100; genes[3] = 581; genes[4] = 0; genes[5] = 0
29 if faceanat_eye_genes(arena as i64, genes) != 0 { return FFG_EXIT_REFUSE }
30 if faceanat_build(arena as i64) != 0 { return FFG_EXIT_REFUSE }
31 if fa_palpebral_fissure(arena as i64, FFG_LEFT_EYE, left) != 0 { return FFG_EXIT_REFUSE }
32 if fa_palpebral_fissure(arena as i64, FFG_RIGHT_EYE, right) != 0 { return FFG_EXIT_REFUSE }
33 let lip_after_genes: i64 = fa_lip_ratio(arena as i64, lip)
34 if lip_after_genes == FA_LIP_UNMEASURED { return FFG_EXIT_REFUSE }
35 if lip[FA_LIP_O_REASON] != FA_LIP_R_OK { return FFG_EXIT_REFUSE }
36 return 0
37}