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

5040 B107 linesdepth 6pulls 7 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 2 imports · 0 importers

nx_x11_put_image.nx nx_gate_verdict.nx nx_x11_put_image_gate.nx

imports: nx_x11_put_image.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

9func vw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
10func vn(v: i64) -> i64
23func main() -> i64