code wiki / (root) / nx_mse_scan_gate.nx

nx_mse_scan_gate.nx

buildroot/runtime/nx_mse_scan_gate.nx

2610 B40 linesdepth 7pulls 12 transitivereach 0 importersview sourcekind gate/prooftopic mse
docsdependenciesstructsconstsfunctions

about

nx_mse_scan_gate.nx -- proves mw_recv_scan (the MSE stream-sync primitive) skips an arbitrary-length pad and positions the stream right after the matched pattern -- i.e. the mainstream-peer interop path (real clients send random PadA/PadB before req1/VC). Uses a pipe: write [37-byte pad][20-byte pattern][10 tail], scan for the pattern, then read the tail back. license_tier: ORIGINAL depends: nx_mse_wire

dependencies 2 imports · 0 importers

nx_mse_wire.nx nx_gate_verdict.nx nx_mse_scan_gate.nx

imports: nx_mse_wire.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main sg_p sys_pipe2 mw_recv_scan mw_read_n sys_read mw_memeq mw_read_n ↻ gv_ctr sys_mmap gv_verdict gv_puts sys_write gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_journal sys_openat_append sys_mmap ↻ gv_catn sys_mmap ↻ sys_munmap ↻ sys_now_realtime_sec sys_mmap ↻ sys_clock_gettime_real gv_cat sys_write ↻ sys_close sys_munmap ↻

structs

none

consts

none

functions

8func sg_p(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
10func main() -> i64