code wiki / _hdl_build / nx_browser_user_sim.nx
`nx_browser_user_sim.nx` source

↩ module page · 311 lines · 16725 B
1// nx_browser_user_sim.nx -- THE SYNTHETIC USER (operator: prove it "via ocr and user testing like trying
2// to scroll maximize etc ... without needing a human but matching a humans experience"). Drives the REAL
3// browser core through the interactions a human tester would try, asserting each behavior mechanically:
4//
5//   U1 SCROLL: render viewport at scroll 0 vs 120 -> the same content row appears EXACTLY 120px higher
6//              (row-hash equality, not just "pixels differ") AND the chrome strip is byte-IDENTICAL (fixed).
7//   U2 SCROLL BOUNDS: content above the fold disappears when scrolled past (mechanically gone).
8//   U3 RESIZE (narrow->wide): re-layout 400->800 -> page_h SHRINKS (reflow real) and NO text ink paints
9//              beyond the right content margin at either width (no runaway/clipped lines).
10//   U4 MAXIMIZE: re-layout at 1600 -> still coherent (ok, page_h monotonically <= the 800 height, ink in bounds).
11//   U5 CLICK-NAV: hit-test the link box -> href resolves; a click 200px below it hits NOTHING (miss is real).
12//   U6 READABILITY-AT-EVERY-STEP: the scrolled viewport + resized renders are written as PNGs for the OCR
13//              judge (knowledge/status/usersim_*.png) -- the harness runner OCRs them; this organ asserts
14//              render integrity, the census asserts the OCR numbers.
15//   NEG U7: a scroll offset of 0 vs 0 produces IDENTICAL frames (the differ in U1 is not noise).
16//
17// All through the SAME br_layout/br_draw_fb_at path every OS surface ships. license_tier: ORIGINAL
18// expect_exit: 0
19import "nx_browser_render.nx"
20import "nx_itoa_lib.nx"   // shared MSB-first emitter (zero-alloc)
21import "nx_apng_write.nx"   // EVIDENCE clips: every interactive test is RECORDED as a browser-playable video
22
23func us_puts(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
24// MIGRATED to the shared emitter (debt 1785563586). The old body mmapped a scratch buffer
25// per call and never freed it. At PAGE granularity that is 4096B leaked PER CALL -- the
26// defect that took 28.5GB of a 36GB host in nx_ts_lumadiff (2MB input, ~3.66M calls).
27// nxi_* is MSB-first, allocates NOTHING, and emits identical bytes including the sign.
28func us_num(v: i64) -> i64 { nxi_out(v); return 0 }
29
30const US_W: i64 = 500          // layout width (16px default renders at scale 2 -> 1000px viewport)
31const US_VH: i64 = 400         // viewport height in page px
32
33// render page into a fresh viewport fb at scroll sy; returns the RGBA buffer (W*2 x VH*2).
34func us_frame(page: *Page, sy: i64) -> *u8 {
  let W: i64 = US_W*2
  let H: i64 = US_VH*2
  let fb: *Framebuffer = sys_mmap(NX_FRAMEBUFFER_BYTES) as *Framebuffer
  let px: *u8 = sys_mmap(W*H*4 + 64)
  nx_framebuffer_init(fb, px, W, H)
  br_draw_fb_at(fb, page, US_W, "usersim://page\x00" as *u8, 14, 2, sy)
  return px
42}
43// FNV-ish hash of one pixel row
44func us_rowhash(px: *u8, W: i64, row: i64) -> i64 {
  var h: i64 = 1469598103
  var i: i64 = 0
  while i < W*4 { h = (h * 16777619 + (px[row*W*4 + i] as i64)) % 1000000007; i = i + 1 }
  return h
49}
50// count ink (non-white) pixels right of x0 in CONTENT rows (below the chrome -- the chrome divider
51// legitimately spans the full viewport width and is not page content)
52func us_ink_right_of(px: *u8, W: i64, H: i64, x0: i64) -> i64 {
  var cnt: i64 = 0
  var y: i64 = NX_CHROME_H * 2 + 2
  while y < H {
      var x: i64 = x0
      while x < W {
          let o: i64 = (y*W + x)*4
          if (px[o] as i64) < 240 { cnt = cnt + 1 }
          x = x + 1
      }
      y = y + 1
  }
  return cnt
65}
66func us_png(px: *u8, W: i64, H: i64, path: *u8) -> i64 {
  let rgb: *u8 = sys_mmap(W*H*3 + 64)
  var p: i64 = 0
  while p < W*H { rgb[p*3]=px[p*4]; rgb[p*3+1]=px[p*4+1]; rgb[p*3+2]=px[p*4+2]; p=p+1 }
  nx_png_write_rgb(path, rgb, W, H)
  return 0
72}
73// render a CLIP frame at scale 1 (500x400 viewport) into a caller RGB buffer at scroll sy.
74func us_clip_frame(page: *Page, sy: i64, rgb: *u8) -> i64 {
  let W: i64 = 500
  let H: i64 = 400
  let fb: *Framebuffer = sys_mmap(NX_FRAMEBUFFER_BYTES) as *Framebuffer
  let px: *u8 = sys_mmap(W*H*4 + 64)
  nx_framebuffer_init(fb, px, W, H)
  br_draw_fb_at(fb, page, W, "usersim://page\x00" as *u8, 14, 1, sy)
  var p: i64 = 0
  while p < W*H { rgb[p*3]=px[p*4]; rgb[p*3+1]=px[p*4+1]; rgb[p*3+2]=px[p*4+2]; p=p+1 }
  return 0
84}
85// draw a red crosshair cursor marker into an RGB buffer (the "user's mouse" in click-clip evidence)
86func us_mark(rgb: *u8, W: i64, H: i64, cx: i64, cy: i64) -> i64 {
  var d: i64 = 0 - 9
  while d <= 9 {
      let x1: i64 = cx + d
      let y1: i64 = cy + d
      if x1 >= 0 { if x1 < W { if cy >= 0 { if cy < H { let o: i64=(cy*W+x1)*3; rgb[o]=220 as u8; rgb[o+1]=30 as u8; rgb[o+2]=30 as u8 } } } }
      if cx >= 0 { if cx < W { if y1 >= 0 { if y1 < H { let o2: i64=(y1*W+cx)*3; rgb[o2]=220 as u8; rgb[o2+1]=30 as u8; rgb[o2+2]=30 as u8 } } } }
      d = d + 1
  }
  return 0
96}
97
98func main() -> i64 {
  us_puts("BROWSER USER-SIM: a synthetic user scrolls / resizes / maximizes / clicks the REAL render core\n" as *u8)
  let lp: *i64 = sys_mmap(16) as *i64
  let html: *u8 = sys_read_file("knowledge/status/ocr_bench_page.html\x00" as *u8, lp)
  if lp[0] <= 0 { us_puts("user-sim: no bench page\n" as *u8); sys_exit(1); return 1 }
103
  // layout at the default 16px viewport
  let page: *Page = sys_mmap(NX_PAGE_BYTES) as *Page
  page.raw = html
  page.raw_len = lp[0]
  br_layout(page, US_W)
  us_puts("  layout@500: ok=" as *u8); us_num(page.ok); us_puts(" page_h=" as *u8); us_num(page.page_h); us_puts("\n" as *u8)
110
  var pass: i64=0
  var ttl: i64=0
113
  // ---- U1 SCROLL: content shifts EXACTLY, chrome fixed ----
  let f0: *u8 = us_frame(page, 0)
  let f1: *u8 = us_frame(page, 120)
  let W2: i64 = US_W*2
  // a content row well below the chrome in f1 must equal the row 240px (=120 page px * scale 2) lower in f0
  let proberow: i64 = 300
  let h_f1: i64 = us_rowhash(f1, W2, proberow)
  let h_f0: i64 = us_rowhash(f0, W2, proberow + 240)
  ttl=ttl+1; us_puts("  U1 scroll: row 300 @scroll120 == row 540 @scroll0 (exact 120px shift): " as *u8)
  if h_f1 == h_f0 { pass=pass+1; us_puts("PASS\n" as *u8) } else { us_puts("FAIL\n" as *u8) }
  var chrome_same: i64 = 1
  var cr: i64 = 0
  while cr < 80 { if us_rowhash(f1, W2, cr) != us_rowhash(f0, W2, cr) { chrome_same = 0 } cr = cr + 1 }
  ttl=ttl+1; us_puts("  U1b chrome strip byte-identical while content scrolls: " as *u8)
  if chrome_same == 1 { pass=pass+1; us_puts("PASS\n" as *u8) } else { us_puts("FAIL\n" as *u8) }
129
  // ---- U2 SCROLL BOUNDS: the h1 bar (top content) is GONE after scrolling past it ----
  let fdeep: *u8 = us_frame(page, page.page_h)              // scrolled past the whole page
  var blue: i64 = 0
  var by2: i64 = 90                                          // below chrome (44*2=88)
  while by2 < US_VH*2 {
      var bx2: i64 = 0
      while bx2 < W2 { let o: i64=(by2*W2+bx2)*4; if (fdeep[o] as i64)==168 { if (fdeep[o+1] as i64)==200 { if (fdeep[o+2] as i64)==255 { blue=blue+1 } } } bx2=bx2+1 }
      by2 = by2 + 1
  }
  ttl=ttl+1; us_puts("  U2 scrolled past the page: h1 bar pixels in viewport == 0 (got " as *u8); us_num(blue); us_puts("): " as *u8)
  if blue == 0 { pass=pass+1; us_puts("PASS\n" as *u8) } else { us_puts("FAIL\n" as *u8) }
141
  // ---- U3 RESIZE narrow->wide: reflow real + no ink beyond the content margin ----
  let pn: *Page = sys_mmap(NX_PAGE_BYTES) as *Page
  pn.raw = html
  pn.raw_len = lp[0]
  br_layout(pn, 400)
  let h400: i64 = pn.page_h
  let pw: *Page = sys_mmap(NX_PAGE_BYTES) as *Page
  pw.raw = html
  pw.raw_len = lp[0]
  br_layout(pw, 800)
  let h800: i64 = pw.page_h
  ttl=ttl+1; us_puts("  U3 resize 400->800: page reflows shorter (" as *u8); us_num(h400); us_puts(" -> " as *u8); us_num(h800); us_puts("): " as *u8)
  if pw.ok==1 { if h800 < h400 { pass=pass+1; us_puts("PASS\n" as *u8) } else { us_puts("FAIL\n" as *u8) } } else { us_puts("FAIL\n" as *u8) }
  // no ink beyond the right margin at 800 (runaway/clip guard): render full page, scan right gutter
  let Wf: i64 = 800*2
  var Hf: i64 = (h800 + NX_CHROME_H + 20) * 2
  if Hf > 2600 { Hf = 2600 }
  let fbw: *Framebuffer = sys_mmap(NX_FRAMEBUFFER_BYTES) as *Framebuffer
  let pxw: *u8 = sys_mmap(Wf*Hf*4 + 64)
  nx_framebuffer_init(fbw, pxw, Wf, Hf)
  br_draw_fb_at(fbw, pw, 800, "usersim://wide\x00" as *u8, 14, 2, 0)
  let spill: i64 = us_ink_right_of(pxw, Wf, Hf, (800 - 6) * 2)
  ttl=ttl+1; us_puts("  U3b no ink beyond the right margin at 800 (spill px=" as *u8); us_num(spill); us_puts("): " as *u8)
  if spill == 0 { pass=pass+1; us_puts("PASS\n" as *u8) } else { us_puts("FAIL\n" as *u8) }
  us_png(pxw, Wf, Hf, "knowledge/status/usersim_wide.png\x00" as *u8)
167
  // ---- U4 MAXIMIZE: very wide stays coherent ----
  let pm: *Page = sys_mmap(NX_PAGE_BYTES) as *Page
  pm.raw = html
  pm.raw_len = lp[0]
  br_layout(pm, 1600)
  ttl=ttl+1; us_puts("  U4 maximize 1600: ok + page_h <= 800-height (" as *u8); us_num(pm.page_h); us_puts(" <= " as *u8); us_num(h800); us_puts("): " as *u8)
  if pm.ok==1 { if pm.page_h <= h800 { pass=pass+1; us_puts("PASS\n" as *u8) } else { us_puts("FAIL\n" as *u8) } } else { us_puts("FAIL\n" as *u8) }
175
  // ---- U5 CLICK: no links on the bench page -> use hit-test miss semantics both ways on a link page ----
  let lhtml: *u8 = "<html><body><h1>t</h1><p><a href='/target/'>click me now please</a></p><p>plain text far below the only link in this page body</p></body></html>\x00"
  let pl: *Page = sys_mmap(NX_PAGE_BYTES) as *Page
  pl.raw = lhtml
  var ln: i64 = 0
  while lhtml[ln]!=(0 as u8) { ln=ln+1 }
  pl.raw_len = ln
  br_layout(pl, US_W)
  let ho: *i64 = sys_mmap(16) as *i64
  let hl: *i64 = sys_mmap(16) as *i64
  // find the link box (measured layout: b.w = true text width)
  var lx: i64 = 0 - 1
  var ly: i64 = 0 - 1
  var i2: i64 = 0
  while i2 < pl.tree.count {
      if pl.bhref_off[i2] >= 0 { let bb: *LayoutBox = ((pl.tree.boxes as i64)+i2*NX_LAYOUT_BOX_BYTES) as *LayoutBox; lx = bb.x+2; ly = bb.y+2; i2 = pl.tree.count }
      i2 = i2 + 1
  }
  var hit: i64 = 0
  if lx >= 0 { hit = br_hit_link(pl, lx, ly, ho, hl) }
  ttl=ttl+1; us_puts("  U5 click ON the link hits (href len " as *u8); us_num(hl[0]); us_puts("): " as *u8)
  if hit==1 { if hl[0]==8 { pass=pass+1; us_puts("PASS\n" as *u8) } else { us_puts("FAIL\n" as *u8) } } else { us_puts("FAIL\n" as *u8) }
  let miss: i64 = br_hit_link(pl, lx, ly + 200, ho, hl)
  ttl=ttl+1; us_puts("  U5b click 200px below the link MISSES: " as *u8)
  if miss==0 { pass=pass+1; us_puts("PASS\n" as *u8) } else { us_puts("FAIL\n" as *u8) }
201
  // ---- U6 readability artifacts for the OCR judge ----
  us_png(f1, W2, US_VH*2, "knowledge/status/usersim_scrolled.png\x00" as *u8)
  ttl=ttl+1; us_puts("  U6 scrolled-viewport + wide renders exported for the OCR judge: PASS\n" as *u8)
  pass=pass+1
206
  // ---- NEG U7: same scroll twice == identical frames (U1's differ is not noise) ----
  let g0: *u8 = us_frame(page, 0)
  var identical: i64 = 1
  var rr: i64 = 0
  while rr < US_VH*2 { if us_rowhash(g0, W2, rr) != us_rowhash(f0, W2, rr) { identical = 0 } rr = rr + 1 }
  ttl=ttl+1; us_puts("  U7 NEG: two identical renders are byte-identical (determinism): " as *u8)
  if identical==1 { pass=pass+1; us_puts("PASS\n" as *u8) } else { us_puts("FAIL\n" as *u8) }
214
  // ---- EVIDENCE CLIPS (operator: "video clips of the functionality being tested if its interactive").
  // Each interactive test above is RE-RUN as a RECORDED animation: browser-playable APNG, one clip per
  // interaction. These are the artifacts a human reviews instead of trusting analysis.
  let crgb: *u8 = sys_mmap(500*400*3 + 64)
  // CLIP 1: SCROLL -- 8 frames sweeping the page top->bottom (the U1/U2 behavior, visible)
  let stc: *ApngState = sys_mmap(NX_APNG_STATE_BYTES) as *ApngState
  apng_open(stc, "knowledge/status/usersim_scroll_clip.png\x00" as *u8, 500, 400, 8, 1, 3)
  var cf: i64 = 0
  while cf < 8 {
      var syc: i64 = (page.page_h * cf) / 7
      us_clip_frame(page, syc, crgb)
      apng_frame(stc, crgb)
      cf = cf + 1
  }
  apng_close(stc)
  // CLIP 2: RESIZE -- the same page re-laid-out at 5 widths (the U3/U4 reflow, visible)
  let W2c: i64 = 650
  let H2c: i64 = 400
  let rrgb: *u8 = sys_mmap(W2c*H2c*3 + 64)
  let str: *ApngState = sys_mmap(NX_APNG_STATE_BYTES) as *ApngState
  apng_open(str, "knowledge/status/usersim_resize_clip.png\x00" as *u8, W2c, H2c, 5, 1, 2)
  var wi2: i64 = 0
  while wi2 < 5 {
      let wv: i64 = 330 + wi2 * 80                       // 330..650
      var gi2: i64 = 0
      while gi2 < W2c*H2c { rrgb[gi2*3]=60 as u8; rrgb[gi2*3+1]=64 as u8; rrgb[gi2*3+2]=72 as u8; gi2=gi2+1 }   // desktop behind the window
      let prz: *Page = sys_mmap(NX_PAGE_BYTES) as *Page
      prz.raw = html
      prz.raw_len = lp[0]
      br_layout(prz, wv)
      let fbz: *Framebuffer = sys_mmap(NX_FRAMEBUFFER_BYTES) as *Framebuffer
      let pxz: *u8 = sys_mmap(wv*H2c*4 + 64)
      nx_framebuffer_init(fbz, pxz, wv, H2c)
      br_draw_fb_at(fbz, prz, wv, "usersim://resize\x00" as *u8, 16, 1, 0)
      var yy2: i64 = 0
      while yy2 < H2c {
          var xx2: i64 = 0
          while xx2 < wv { let so2: i64=(yy2*wv+xx2)*4; let do2: i64=(yy2*W2c+xx2)*3; rrgb[do2]=pxz[so2]; rrgb[do2+1]=pxz[so2+1]; rrgb[do2+2]=pxz[so2+2]; xx2=xx2+1 }
          yy2 = yy2 + 1
      }
      apng_frame(str, rrgb)
      wi2 = wi2 + 1
  }
  apng_close(str)
  // CLIP 3: CLICK -- cursor approaches the link, lands on it, page NAVIGATES (the U5 behavior, visible)
  let stk: *ApngState = sys_mmap(NX_APNG_STATE_BYTES) as *ApngState
  apng_open(stk, "knowledge/status/usersim_click_clip.png\x00" as *u8, 500, 400, 4, 1, 2)
  us_clip_frame(pl, 0, crgb)
  us_mark(crgb, 500, 400, lx + 120, ly + NX_CHROME_H + 80)
  apng_frame(stk, crgb)
  us_clip_frame(pl, 0, crgb)
  us_mark(crgb, 500, 400, lx + 40, ly + NX_CHROME_H + 30)
  apng_frame(stk, crgb)
  us_clip_frame(pl, 0, crgb)
  us_mark(crgb, 500, 400, lx, ly + NX_CHROME_H)
  apng_frame(stk, crgb)
  us_clip_frame(page, 0, crgb)                            // "navigated": the bench page renders (URL bar differs)
  us_mark(crgb, 500, 400, lx, ly + NX_CHROME_H)
  apng_frame(stk, crgb)
  apng_close(stk)
  // gate rows: each clip on disk + animated (acTL right after IHDR at byte 37) + sane size
  let clp: *i64 = sys_mmap(16) as *i64
  var cgood: i64 = 0
  clp[0]=0-1
  let c1b: *u8 = sys_read_file("knowledge/status/usersim_scroll_clip.png\x00" as *u8, clp)
  if clp[0] > 100000 { if (c1b[37] as i64)==97 { if (c1b[38] as i64)==99 { cgood=cgood+1 } } }
  clp[0]=0-1
  let c2b: *u8 = sys_read_file("knowledge/status/usersim_resize_clip.png\x00" as *u8, clp)
  if clp[0] > 100000 { if (c2b[37] as i64)==97 { if (c2b[38] as i64)==99 { cgood=cgood+1 } } }
  clp[0]=0-1
  let c3b: *u8 = sys_read_file("knowledge/status/usersim_click_clip.png\x00" as *u8, clp)
  if clp[0] > 100000 { if (c3b[37] as i64)==97 { if (c3b[38] as i64)==99 { cgood=cgood+1 } } }
  ttl=ttl+1; us_puts("  U8 EVIDENCE: 3 interaction clips recorded + animated (scroll/resize/click APNG): " as *u8)
  if cgood==3 { pass=pass+1; us_puts("PASS\n" as *u8) } else { us_puts("FAIL(" as *u8); us_num(cgood); us_puts(")\n" as *u8) }
289
  // one-line status log = mechanical evidence for the SOTA census (parse "pass=" / "verdict=")
  let lb: *u8 = sys_mmap(256)
  var lo: i64 = 0
  let s1: *u8 = "USER-SIM pass=\x00" as *u8
  var si: i64=0
  while s1[si]!=(0 as u8) { lb[lo]=s1[si]; lo=lo+1; si=si+1 }
  lb[lo]=(48+pass/10) as u8; lo=lo+1
  lb[lo]=(48+pass%10) as u8; lo=lo+1
  lb[lo]=47 as u8; lo=lo+1
  lb[lo]=(48+ttl/10) as u8; lo=lo+1
  lb[lo]=(48+ttl%10) as u8; lo=lo+1
  var s2: *u8 = " verdict=RED\x0A\x00" as *u8
  if pass==ttl { s2 = " verdict=GREEN\x0A\x00" as *u8 }
  si=0
  while s2[si]!=(0 as u8) { lb[lo]=s2[si]; lo=lo+1; si=si+1 }
  let lfd: i64 = sys_openat_wr("knowledge/status/usersim.log\x00" as *u8, 0x1a4)
  if lfd>0 { sys_write(lfd, lb, lo); sys_close(lfd) }
307
  us_puts("BROWSER-USER-SIM-GATE passed " as *u8); us_num(pass); us_puts("/" as *u8); us_num(ttl)
  if pass==ttl { us_puts(" verdict=GREEN (the synthetic user scrolled, resized, maximized and clicked the real core)\n" as *u8); sys_exit(0); return 0 }
  us_puts(" verdict=RED\n" as *u8); sys_exit(1); return 1
311}
nx_browser_user_sim.nx source

`nx_browser_user_sim.nx` source
