code wiki / _hdl_build / nx_live_xlate_call_gate.nx

nx_live_xlate_call_gate.nx

buildroot/runtime/_hdl_build/nx_live_xlate_call_gate.nx

5929 B111 linesdepth 5pulls 13 transitivereach 0 importersview sourcekind gate/prooftopic live

docs dependencies structs consts functions

about

nx_live_xlate_call_gate.nx -- proves the live-translated call for "a girl in Belarus (RU) talking to a boy in Texas (EN)", NO fake green. (1) the boy says "hello friend" -> the GIRL's screen shows it in RUSSIAN "привет друг" (byte-exact) rendered in NATIVE Cyrillic; (2) the girl says "спасибо любовь" -> the BOY's screen shows "thanks love" in Latin; (3) neg-control: same-locale = NO translation (verbatim). Eyeball -> knowledge/nx_live_xlate_call.png (girl's screen top, boy's screen bottom). expect_exit: 0 license_tier: ORIGINAL

dependencies 10 imports · 0 importers

imports: nx_syscalls.nxnx_css_color_decode.nxnx_paint_solid_rect.nxnx_font8x8.nxnx_font_cyrillic8.nxnx_utf8.nxnx_caption_render_uni.nxnx_mt_ruen.nxnx_live_xlate_call.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

structs

none

consts

none

functions

17	func 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 1: main calls 1: sys_write
18	func rgn(v: i64) -> i64 called by 1: main calls 2: sys_write sys_mmap
27	func slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n } called by 1: main
29	func bcmp(a: u8, alen: i64, b: u8) -> i64 called by 1: main
35	func mkfb(w: i64, h: i64) -> *Framebuffer called by 1: main calls 3: sys_mmap nx_framebuffer_init nx_framebuffer_clear
43	func main() -> i64 calls 12: rg sys_mmap lx_caption_for_listener slen sys_write bcmp+6