nx_fsops_write_gate.nx
buildroot/runtime/nx_fsops_write_gate.nx
about
nx_fsops_write_gate.nx -- END-TO-END gate for the estate's WRITE PATH (the binary behind the nx_fs_write tool).
Until 2026-09-05 this organ -- every seat's edit, append and write -- had NO gate at all. This one forks the SUBJECT
ARTIFACT on a fixture tree under /tmp/<gate>/ and proves the idempotency-key contract added the same day
(/compare/dataio DI4): a keyed write applied once is returned, not re-applied, on a retry carrying the same key;
a different key or no key keeps today's behaviour exactly (a neg-control each), and a REFUSAL never poisons a key.
The subject is forked IN PLACE by an absolute path (NAS /tmp is noexec); only its CWD is inside the fixture, which
is where its CWD-relative ledger knowledge/status/fswrite_idem.jrnl lands.
exit: 0 GREEN / 1 RED (gv_verdict law).
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_gate_verdict.nxnx_tool_run.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
| 13 | const WG_OUT: i64 = 65536 |
| 14 | const WG_PATH: i64 = 512 |
| 15 | const WG_MODE_755: i64 = 493 |
| 16 | const WG_MODE_644: i64 = 420 |
| 17 | const WG_DIR: *u8 = "/tmp/nx_fsops_write_gate" as *u8 |
functions
| 19 | func wg_find(q: *u8, n: i64, lit: *u8) -> i64 called by 1: main |
| 33 | func wg_exists(path: *u8) -> i64 |
| 39 | func wg_size(path: *u8) -> i64 |
| 46 | func wg_write_text(path: *u8, s: *u8) -> i64 |
| 56 | func wg_artifact(path: *u8) -> i64 |
| 75 | func wg_equal(a: *u8, b: *u8) -> i64 |
| 87 | func wg_run(sub: *u8, a1: *u8, a2: *u8, a3: *u8, a4: *u8, a5: *u8, a6: *u8, cout: *u8, colen: *i64) -> i64 |
| 102 | func main(argc: i64, argv: *i64) -> i64 |