code wiki / _hdl_build / nx_x11_put_image_gate.nx

nx_x11_put_image_gate.nx

buildroot/runtime/_hdl_build/nx_x11_put_image_gate.nx

4662 B101 linesdepth 6pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic x11
docsdependenciesstructsconstsfunctions

about

nx_x11_put_image_gate.nx -- byte-asserts the PutImage encoder against the X11 wire spec, the packed-fb -> ZPixmap conversion (exact bytes + round-trip identity), and the band math that keeps every request under the server's advertised max. The LIVE server path is proven separately by nx_desktop_breeders --selftest (put -> GetImage byte compare); this gate is the no-server half. license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

nx_x11_put_image.nx nx_x11_put_image_gate.nx

imports: nx_x11_put_image.nx

imported by: nobody (leaf or entry point)

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

main vw nx_x11_put_image_hdr _x11_wr_u16 _x11_wr_u32 vn nx_fb_to_zpixmap nx_x11_put_max_rows

structs

none

consts

none

functions

8func vw(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
9func vn(v: i64) -> i64
called by 1: main
22func main() -> i64