nx_readcap_gate.nx
buildroot/runtime/nx_readcap_gate.nx
about
nx_readcap_gate.nx -- teeth for nx_readcap_lib: the ONE read-into-cap helper names every outcome the hand-rolled
loops could not. In-process (the lib is imported), fixtures built at SETUP under /tmp/nx_readcap/ (the gate-fixture
law), every tooth prints its values, and the negative controls are named so the census can see them.
license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_gate_verdict.nxnx_readcap_lib.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
| 9 | const RG_DIR: *u8 = "/tmp/nx_readcap" as *u8 |
| 10 | const RG_SMALL: *u8 = "/tmp/nx_readcap/small.bin" as *u8 |
| 11 | const RG_BIG: *u8 = "/tmp/nx_readcap/big.bin" as *u8 |
| 12 | const RG_EXACT: *u8 = "/tmp/nx_readcap/exact.bin" as *u8 |
| 13 | const RG_ABSENT: *u8 = "/tmp/nx_readcap/absent.bin" as *u8 |
| 14 | const RG_CAP: i64 = 1000 |
| 15 | const RG_SMALL_N: i64 = 100 |
| 16 | const RG_BIG_N: i64 = 5000 |
| 17 | const RG_MODE_755: i64 = 493 |
| 18 | const RG_MODE_644: i64 = 420 |
functions
| 20 | func rg_mkdir(path: *u8) -> i64 |
| 28 | func rg_write_fixture(path: *u8, n: i64) -> i64 |
| 38 | func rg_bytes_match(buf: *u8, n: i64) -> i64 called by 1: main |
| 44 | func main(argc: i64, argv: *i64) -> i64 |