code wiki / (root) / nx_browser_buyguard_gate.nx

nx_browser_buyguard_gate.nx

buildroot/runtime/nx_browser_buyguard_gate.nx

6608 B112 linesdepth 6pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic browser

docs dependencies structs consts functions

about

nx_browser_buyguard_gate.nx -- proves the browser "before you buy" pass works on REAL page HTML via the browser's own nx_html_to_text. A realistic product page (nav, the $249.99 product price, $12.99 shipping, a $25.00 gift-card footer) -> strip to text -> detect the product price (largest, not shipping) -> emit the overlay (what you have vs what it truly costs + opportunity cost) -> PAUSE. A page with NO price -> ALLOW + empty overlay (does nothing). Exits 0 iff ALL pass. license_tier: ORIGINAL

dependencies 6 imports · 0 importers

imports: nx_syscalls.nxnx_money.nxnx_html_to_text.nxnx_price_extract.nxnx_adhd.nxnx_browser_buyguard.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

none

functions

13	func g_puts(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 2: chk main calls 1: sys_write
14	func g_putn(v: i64) -> i64 called by 2: chk main calls 2: sys_write sys_mmap
23	func chk(name: u8, got: i64, want: i64, st: i64) -> i64 called by 1: main calls 2: g_puts g_putn
28	func slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 1: main
29	func gfind(hay: u8, n: i64, needle: u8) -> i64 called by 2: has main
41	func has(hay: u8, n: i64, needle: u8) -> i64 { if gfind(hay, n, needle) >= 0 { return 1 } return 0 } called by 1: main calls 1: gfind
42	func seti(a: *i64, i: i64, v: i64) -> i64 { a[i] = v; return 0 } called by 1: main
44	func main() -> i64 calls 13: sys_mmap seti mny_rate_from_pct slen nx_html_to_text chk+7