nx_gif_decode_gate.nx
buildroot/runtime/nx_gif_decode_gate.nx
about
nx_gif_decode_gate.nx -- GREEN/RED gate: decode the REAL page3.com mast3.gif (fetched by nx_archive_media_fetch)
with nx_gif_decode and prove it yields a sane, non-blank grayscale image; NEG-CTL rejects a non-GIF buffer.
2026-07-29 DISPLAY teeth added for the browser image path: gif_decode_rgb must be BYTE-EXACT vs oracles
banked from the stdlib reference _ops/gif_ref.py (T5 mast3 279x123 non-interlaced, T6 the constructed
16x16 INTERLACED KAT -- the de-interlace proof), and T7 rejects the archive's HTML-saved-as-.gif body.
Image stack (syscalls.nx). license_tier: ORIGINAL
dependencies 1 imports · 0 importers
imports: nx_gif_decode.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
| 9 | func gw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } |
| 10 | func gn(v: i64) -> i64 { if v==0 { sys_write(1,"0" as *u8,1); return 0 } var m: i64=v; if m<0 { sys_write(1,"-" as *u8,1); m=0-m } let t: *u8=sys_mmap(24); var k: i64=0; while m>0 { t[k]=(48+(m%10)) as u8; m=m/10; k=k+1 } let o: *u8=sys_mmap(24); var w: i64=0; var q: i64=k-1; while q>=0 { o[w]=t[q]; w=w+1; q=q-1 } sys_write(1,o,w); return 0 } |
| 13 | func _rgb_vs_oracle(rgb: *u8, w: i64, h: i64, opath: *u8) -> i64 |
| 25 | func main() -> i64 |