code wiki / _hdl_build / nx_multilang_call_gate.nx

nx_multilang_call_gate.nx

buildroot/runtime/_hdl_build/nx_multilang_call_gate.nx

5725 B118 linesdepth 5pulls 12 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_multilang_call_gate.nx -- proves the EN-pivot multilingual translated call across EN/RU/BE/UK/PL, NO fake green. Direct pairs (EN<->each) AND cross-pairs via the English pivot (RU->PL, PL->UK). Byte-exact asserts + neg-controls (same-language verbatim, unknown passthrough). Renders BE/PL/UK captions to frames + eyeball -> knowledge/nx_multilang_call.png. expect_exit: 0 license_tier: ORIGINAL

dependencies 11 imports · 0 importers

nx_syscalls.nx nx_css_color_decode.nx nx_paint_solid_rect.nx nx_font8x8.nx nx_font_cyrillic8.nx nx_font_latinext8.nx nx_font_cyrillic_ext8.nx nx_utf8.nx nx_caption_render_uni.nx nx_mt_multi.nx nx_multilang_call_gate.nx

diagram shows first 10 each side; +1 more imports, +0 more importers in the complete lists below.

imports: nx_syscalls.nxnx_css_color_decode.nxnx_paint_solid_rect.nxnx_font8x8.nxnx_font_cyrillic8.nxnx_font_latinext8.nxnx_font_cyrillic_ext8.nxnx_utf8.nxnx_caption_render_uni.nxnx_mt_multi.nxnx_png_write.nx

imported by: nobody (leaf or entry point)

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

main rg sys_write sys_mmap tcheck sys_mmap ↻ nx_multi_translate sys_mmap ↻ mm_is_tok mm_extract mm_lc mm_appb mm_xlate_token mm_en_to mm_streq mm_to_en mm_streq ↻ mm_app slen rg ↻ sys_write ↻ bcmp mkfb sys_mmap ↻ nx_framebuffer_init nx_framebuffer_clear nx_paint_solid_rect nx_caption_render_uni nx_paint_solid_rect ↻ font8x8_table sys_mmap ↻ fg cyr8_table sys_mmap ↻ cf cr_cp_count sys_mmap ↻ utf8_decode_one sys_mmap ↻ utf8_decode_one ↻

structs

none

consts

none

functions

17func rg(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
called by 2: tcheckmain calls 1: sys_write
18func rgn(v: i64) -> i64
called by 1: main calls 2: sys_writesys_mmap
27func slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
called by 2: tcheckmain
28func bcmp(a: *u8, alen: i64, b: *u8) -> i64
called by 1: tcheck
34func mkfb(w: i64, h: i64) -> *Framebuffer
41func tcheck(src: *u8, a: i64, b: i64, expect: *u8, lbl: *u8, pass: *i64, fail: *i64) -> *u8
49func main() -> i64