code wiki / (root) / nx_haar_cascade_gate.nx

nx_haar_cascade_gate.nx

buildroot/runtime/nx_haar_cascade_gate.nx

5828 B125 linesdepth 8pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic haar
docsdependenciesstructsconstsfunctions

about

nx_haar_cascade_gate.nx -- REFEREE for R-FACE-2 (nx_haar_cascade machinery). 24x24 patterns: FACE : rows 0-7 dark(40), rows 8-23 bright(180) -> strong full edge AND top edge PARTIAL: rows 0-11 dark(40), rows 12-23 bright(180) -> strong full edge, weak top edge NONFACE: flat 110 -> no edge Hand-built 2-stage cascade (EDGE_V full @stage1, EDGE_V top-16 @stage2): FACE -> passes both stages -> ACCEPT PARTIAL -> passes stage1, fails stage2 -> REJECT (proves multi-stage AND) NONFACE -> fails stage1 -> REJECT (early reject) Validates weak vote, stage threshold, AND, and early-reject. The PARAMETERS are hand-set (machinery test) -- real params come from training. Every value PRINTED. stdout + knowledge/status/haar_cascade_gate.log. Exit 0/1. Sovereign: syscalls + nx_image + nx_integral + nx_haar + nx_haar_cascade. license_tier: ORIGINAL

dependencies 5 imports · 0 importers

syscalls.nx nx_image.nx nx_integral.nx nx_haar.nx nx_haar_cascade.nx nx_haar_cascade_gate.nx

imports: syscalls.nxnx_image.nxnx_integral.nxnx_haar.nxnx_haar_cascade.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_openat_append gp make_band nx_image_alloc sys_mmap nx_image_set nx_image_alloc ↻ nx_image_set ↻ nx_integral_build nx_image_get nx_haar_cascade_eval nx_stage_eval nx_weak_eval nx_haar_eval nx_integral_rect_sum gn nx_haar_eval ↻ nx_stage_eval ↻

structs

none

consts

21const N: i64 = 24

functions

23func gp(logfd: i64, s: *u8) -> i64
called by 1: main
30func gn(logfd: i64, v: i64) -> i64
called by 1: main
46func make_band(v_top: i64, top_rows: i64, v_bot: i64) -> *Image
called by 1: main calls 2: nx_image_allocnx_image_set
62func main() -> i64