code wiki / _hdl_build / _flock_active_probe.nx

_flock_active_probe.nx

buildroot/runtime/_hdl_build/_flock_active_probe.nx

1371 B25 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind probe

docs dependencies structs consts functions

about

_flock_active_probe.nx -- DISCRIMINATING proof + durable evidence that flock(2) is live in the compiler that built this binary (X-SYSXLATE-FLOCK). flock(fd, LOCK_EX) on a fresh lockfile fd: a compiler with the rv64->x86_64 map fix (32->73) emits a real flock -> returns 0. The OLD compiler fell through 32 -> x86_64 32 = dup2(fd, 2) -> returns 2 (the new fd). exit 0 == flock ACTIVE; appends a durable verdict to knowledge/status/flock_deploy.log so reconcile can close X-SYSXLATE-FLOCK. 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

9	func fp_w(fd: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd,s,n); return 0 } called by 1: main calls 1: sys_write
11	func main() -> i64 calls 4: sys_openat_wr sys_close sys_openat_append fp_w