code wiki / _hdl_build / nx_gen_realpipe_gate.nx

nx_gen_realpipe_gate.nx

buildroot/runtime/_hdl_build/nx_gen_realpipe_gate.nx

3804 B61 linesdepth 8pulls 12 transitivereach 0 importersview sourcekind gate/prooftopic gen
docsdependenciesstructsconstsfunctions

about

nx_gen_realpipe_gate.nx -- R3 sovereign proof: run a REAL sd-server response (captured from the live 5080) through the full generate pipeline. Reads the captured /sdapi/v1/txt2img JSON, runs gp_response (decode base64 -> inject GENREC -> ingest -> blob -> sidecar), and asserts 2 real images landed as substantial PNG blobs in the gallery store. Blobs go to the Windows scratchpad so a real generated image can be eyeballed. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_gen_pipeline.nx nx_syscalls.nx nx_gen_realpipe_gate.nx

imports: nx_gen_pipeline.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close rp sys_write sys_exit rpn sys_mmap ↻ sys_write ↻ rp_freshns sys_mmap ↻ sys_openat_wr sys_close ↻ rp_truncate sys_openat_wr ↻ sys_close ↻ gp_response sys_mmap ↻ gp_find_from gp_slen gp_next_b64json gp_find_from ↻ gp_itoa sys_mmap ↻ gp_one sys_mmap ↻ gp_b64_decode gp_b64_dec_char png_insert_genrec pw_find_iend pw_text pw_slen nx_store_ingest_ingest_cid sys_mmap ↻ nx_store_ingest_compute_ci

structs

none

consts

none

functions

9func rp(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 calls 1: sys_write
10func rpn(v: i64) -> i64 { let t: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m; sys_write(1,"-" as *u8,1)} let b: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48 as u8;k=1} while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1} var i: i64=0; while i<k{b[i]=t[k-1-i];i=i+1} sys_write(1,b,k); return 0 }
called by 1: main calls 2: sys_mmapsys_write
11func rp_freshns(prefix: *u8) -> i64
called by 1: main calls 3: sys_mmapsys_openat_wrsys_close
20func rp_truncate(path: *u8) -> i64 { let fd: i64 = sys_openat_wr(path, 0x1a4); if fd>=0 {sys_close(fd)} return 0 }
called by 1: main calls 2: sys_openat_wrsys_close
22func main() -> i64
calls 10: sys_mmapsys_read_filerpsys_exitrpnrp_freshns+4