code wiki / _hdl_build / nx_multilang_render_gate.nx

nx_multilang_render_gate.nx

buildroot/runtime/_hdl_build/nx_multilang_render_gate.nx

4095 B91 linesdepth 5pulls 11 transitivereach 0 importersview sourcekind gate/proof

docs dependencies structs consts functions

about

nx_multilang_render_gate.nx -- proves native rendering of all four broadened languages, NO fake green: Russian (привет друг), Belarusian (вітаю любоў -> exercises І and Ў), Ukrainian (привіт дякую -> exercises І), Polish (cześć miłość -> exercises ś ć ł, native lowercase diacritics). Each onto its own video frame; asserts each sets glyph pixels. Eyeball -> knowledge/nx_multilang_render.png (4 stacked panels). 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_font_latinext8.nxnx_font_cyrillic_ext8.nxnx_utf8.nxnx_caption_render_uni.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

16	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
17	func rgn(v: i64) -> i64 called by 1: main calls 2: sys_write sys_mmap
26	func slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n } called by 1: main
27	func mkfb(w: i64, h: i64) -> *Framebuffer called by 1: main calls 3: sys_mmap nx_framebuffer_init nx_framebuffer_clear
34	func main() -> i64 calls 10: rg sys_mmap mkfb nx_paint_solid_rect nx_caption_render_uni slen+4