code wiki / _hdl_build / nx_x11_keyboard_gate.nx

nx_x11_keyboard_gate.nx

buildroot/runtime/_hdl_build/nx_x11_keyboard_gate.nx

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

about

nx_x11_keyboard_gate.nx -- proves the keysym -> browser-vk fold (the codes nx_input_abstract binds), the GetKeyboardMapping request bytes, and the SendEvent(Key) frame layout -- all pure, no server. The live keymap fetch + synthetic-key round trip are proven by nx_desktop_breeders --selftest against the real X server. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_x11_keyboard.nx nx_gate_verdict.nx nx_x11_keyboard_gate.nx

imports: nx_x11_keyboard.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