nx_pabi_gate.nx
buildroot/runtime/nx_pabi_gate.nx
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
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
structs
| none |
consts
| none |
functions
| 13 | func pg_eq(a: *u8, an: i64, b: *u8, bn: i64) -> i64 called by 1: main |
| 20 | func main(argc: i64, argv: *i64) -> i64 |