code wiki / _hdl_build / nx_browser_game_marker_gate.nx

nx_browser_game_marker_gate.nx

buildroot/runtime/_hdl_build/nx_browser_game_marker_gate.nx

4365 B93 linesdepth 23pulls 213 transitivereach 0 importersview sourcekind gate/prooftopic browser
docsdependenciesstructsconstsfunctions

about

nx_browser_game_marker_gate.nx -- proves the nishi-game marker extraction is BOTH correct on the real emitted pages AND fail-closed against hostile ones. The marker value is page-controlled and becomes an exec path in br_launch_game, so the adversarial teeth are the point: traversal bytes, wrong prefix, uppercase, unterminated strings must ALL yield 0 -- reject, never truncate-accept. license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

nx_browser.nx nx_browser_game_marker_gate.nx

imports: nx_browser.nx

imported by: nobody (leaf or entry point)

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

main gw sys_read_file sys_openat_rd sys_lseek sys_mmap sys_read sys_close br_game_organ gn gs_eq try br_game_organ ↻

structs

none

consts

none

functions

8func gw(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 gn(v: i64) -> i64
called by 1: main
21func gs_eq(a: *u8, alen: i64, b: *u8) -> i64
called by 1: main
29func try(html: *u8, out: *u8) -> i64
called by 1: main calls 1: br_game_organ
35func main() -> i64