nx_flatstore_flip_gate.nx
buildroot/runtime/nx_flatstore_flip_gate.nx
about
nx_flatstore_flip_gate.nx -- proves the GENERIC store-law flip primitive (nx_flatstore_flip) works on a planted
fixture: writes a temp .conf (3 data rows + comments + a blank line), flips it to a temp seg_store, and checks
migrate byte-exactness (ver==tot==3), round-trip (fsf_count==3), reader reconstruction (fsf_read_all = 3 lines,
row 0 == the first data line), + neg-controls (no phantom row past the end; the byte compare has teeth). Run
standalone (CWD=nxc2; fixture + store live under /tmp). license_tier: ORIGINAL
dependencies 2 imports · 0 importers
imports: nx_flatstore_flip.nxnx_syscalls.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
| 19 | const FX_CONF: *u8 = "/tmp/fsf_fixture.conf" |
| 20 | const FX_STORE: *u8 = "/tmp/fsf_store" |
| 21 | const FX_KEY: *u8 = "fsftest:row:" |
functions
| 9 | func gp(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 |
| 16 | func gred(msg: *u8) -> i64 { gp(" RED: " as *u8); gp(msg); gp("\n" as *u8); sys_exit(1); return 1 } |
| 17 | func gstreq(a: *u8, b: *u8) -> i64 { var i: i64=0; while a[i]!=(0 as u8){ if a[i]!=b[i]{return 0} i=i+1 } if b[i]!=(0 as u8){return 0} return 1 } called by 1: main |
| 23 | func main() -> i64 |