nx_pabi_native_core_gate.nx
buildroot/runtime/nx_pabi_native_core_gate.nx
about
nx_pabi_native_core_gate.nx -- F103b "pabi-native core byte-exact" (os lane, M3; dep F103a=D 2026-07-21).
THE CLAIM: the NishiOS-NATIVE pabi core (block-VFS files/dirs + verified-NXE exec + the portable
forge judge) is BYTE-EXACT with the linux-host lane at WORKLOAD SCALE. nx_pabi_gate proves
single-op identity; THIS gate proves the core: a 24-file binary workload (block-boundary sizes
255/256/257/512, embedded 0x00/0xFF bytes, >15KB total) + a 5-arg exec sweep (fork lane vs
verified-NXE lane) + the judge loop, folded into ORDER-SENSITIVE rolling checksums that must be
IDENTICAL across substrates, plus per-file byte-diff (mism==0). D001: emits the nx_gate_verdict
contract. REFUTATION: argv[1]=negctl corrupts ONE byte of ONE nishios payload -> the byte-exact
teeth (C02/C03) MUST go RED; registered sibling tool nx_pabi_native_negtest pins that arg.
license_tier: ORIGINAL expect_exit: 0 No hw writes (Rule 26).
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
| 14 | const PN_NF: i64 = 24 |
| 15 | const PN_BUF: i64 = 8192 |
| 16 | const PN_EXECN: i64 = 5 |
functions
| 19 | func pn_sz(i: i64) -> i64 called by 1: main |
| 32 | func pn_fill(buf: *u8, seed: i64, sz: i64) -> i64 called by 1: main |
| 45 | func pn_copy(dst: *u8, off: i64, src: *u8) -> i64 called by 1: main |
| 52 | func pn_d2(buf: *u8, off: i64, v: i64) -> i64 called by 1: main |
| 62 | func pn_fold(ck: i64, buf: *u8, n: i64) -> i64 called by 1: main |
| 70 | func main(argc: i64, argv: *i64) -> i64 |