code wiki / _hdl_build / nx_os_fs_exceed_gate.nx
nx_os_fs_exceed_gate.nx
buildroot/runtime/_hdl_build/nx_os_fs_exceed_gate.nx
about
nx_os_fs_exceed_gate.nx -- MEASURED OS+FILESYSTEM exceed harness: Nishi vs Linux/Windows/macOS/
Android/iOS, organ-graded, never self-scored. Extends nx_os_exceed_gate with FILESYSTEM axes +
Android/iOS + the June-2026 research frontiers (deep-research wf_b31a496b-971: 105 agents, cited +
3-vote adversarial; sovereign researcher kernel.org live fetch). MEASURES Nishi's content-addressed
FS off real files (nx_seg_store, nx_fs, the C2 core nx_nishifs_cid, the C4 mount nx_nishifs_mount, the
C3 sha256-verify installer, the C1 partition organ, the genesis lineage) and grades each axis by a RULE.
Incumbent columns = BY-DESIGN / cited-research FACTS (APFS no data checksums; dm-verity fixed-ADDRESS
not hash-keyed; composefs verifies in USERSPACE; bcachefs removed Linux 6.18; ReFS opt-in not Win11
default; seL4 ~90% Arm-verified; hardware RoT breakable -- BatteringRam).
RATCHET 2026-06-20: C2 (nx_nishifs_cid) built the content-addressed core + C4 (nx_nishifs_mount) the
format+mount-on-a-C1-partition, so those axes are BUILT-CORE (measured); CoW + native encryption stay design.
THREE honesty rails keep it un-whitewashable: (A) OVERCLAIM CONTROL -> RED unless it admits >=1 BREADTH
deficit; (B) FS-HONESTY CONTROL -> RED unless the FULL NishiFS still has >=1 DESIGN-TARGET (not all built);
(C) CORE-EVIDENCE -> the BUILT-CORE axes require nx_nishifs_cid + nx_nishifs_mount on disk.
VERDICT GREEN = an HONEST NARROW exceed on integrity/content-addressing/never-brick/sovereignty, NOT a
claim of overall victory. expect_exit: 0 license_tier: ORIGINAL
dependencies 1 imports · 0 importers
imports: nx_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
| none |
functions
| 19 | func ox_puts(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } |
| 20 | func ox_num(v: i64) -> i64 { let b: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m;sys_write(1,"-" as *u8,1)} let t: *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 } |
| 21 | func ox_len(path: *u8) -> i64 { let lenp: *i64 = sys_mmap(8) as *i64; let buf: *u8 = sys_read_file(path, lenp); if (buf as i64)==0 { return 0-1 } return lenp[0] } |
| 22 | func ox_rows(path: *u8) -> i64 { let lenp: *i64 = sys_mmap(8) as *i64; let buf: *u8 = sys_read_file(path, lenp); if (buf as i64)==0 { return 0 } let n: i64=lenp[0]; var rows: i64=0; var ls: i64=0; var i: i64=0; while i<=n { var atend: i64=0; if i==n { atend=1 } if i<n { if buf[i]==(10 as u8) { atend=1 } } if atend==1 { if i>ls { if buf[ls]!=(35 as u8) { rows=rows+1 } } ls=i+1 } i=i+1 } return rows } |
| 24 | func main() -> i64 |