code wiki / (root) / nx_pabi_gate.nx

nx_pabi_gate.nx

buildroot/runtime/nx_pabi_gate.nx

8613 B116 linesdepth 7pulls 10 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_pabi_gate.nx -- gate for the portable syscall-ABI seam (R1 kernel: one forge file op, two OSes). T1 LINUX roundtrip: write "FORGE-PABI-2026" -> read back byte-exact (host kernel path). T2 NISHIOS roundtrip: same op in a fresh sovereign block-VFS image -> read back byte-exact (NO Linux kernel -- the NishiOS-native path via nx_vfsblock_lib). T3 ★CROSS-SUBSTRATE IDENTITY: the LINUX result and the NISHIOS result are BYTE-IDENTICAL -- the SAME forge-level file operation produced the SAME bytes on the host kernel AND on NishiOS. This is the portability seam PROVEN: forge is no longer bound to one OS. T4 NEG: read an absent path on NISHIOS -> -1 (no fabricated content). license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_pabi.nx nx_gate_verdict.nx nx_pabi_gate.nx

imports: nx_pabi.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main std_putln std_puts std_slen sys_write pabi_write sys_openat_wr pabi_basename vb_create vb_ino vb_rd vb_lookup vb_ino ↻ vb_rd ↻ vb_nm_eq vb_alloc_inode vb_rd ↻ vb_ino ↻ vb_wr vb_sum vb_nm_set pabi_read sys_read vb_resolve sys_mmap vb_lookup ↻ vb_read vb_ino ↻ vb_rd ↻ pg_eq std_puts ↻ std_pdec sys_mmap ↻ std_itoa sys_mmap ↻ sys_write ↻ pabi_nishios_new vb_format vb_wr ↻ vb_ino ↻

structs

none

consts

none

functions

13func pg_eq(a: *u8, an: i64, b: *u8, bn: i64) -> i64
called by 1: main
20func main(argc: i64, argv: *i64) -> i64