code wiki / (root) / nx_ocr_classify_gate.nx

nx_ocr_classify_gate.nx

buildroot/runtime/nx_ocr_classify_gate.nx

3369 B67 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic ocr

docs dependencies structs consts functions

about

nx_ocr_classify_gate.nx -- proves R4 (glyph -> character). Templates for '0','1','7' on a 3x5 grid. Renders a '7' as a binary image, resamples it, and classifies it correctly; checks Hamming distance and 1-pixel noise tolerance. Exit 0 iff all pass. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

imports: nx_gate.nxnx_ocr_classify.nxnx_img_core.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

none

functions

8	func chk(name: u8, got: i64, want: i64, st: i64) -> i64 called by 1: main calls 2: gw gn
14	func set15(t: *i64, o: i64, a0: i64, a1: i64, a2: i64, a3: i64, a4: i64, a5: i64, a6: i64, a7: i64, a8: i64, a9: i64, a10: i64, a11: i64, a12: i64, a13: i64, a14: i64) -> i64 called by 1: main
20	func main() -> i64 calls 8: set15 img_pgm_decode chk ocr_resample ocr_hamming ocr_classify+2