nx_paged_fetch_gate.nx
buildroot/runtime/nx_paged_fetch_gate.nx
about
nx_paged_fetch_gate.nx -- GATE for the dynamic paged fetcher (rf_fetch_bank_paged, debt-eaten hardened form).
T1 POSITIVE: fresh 2x5-row SQuAD paged fetch -> returns 1, .raw EXISTS, .raw.part GONE (atomic promotion),
>=10 "question" keys in the file (both pages really banked).
T2 IDEMPOTENT: second call -> [banked-skip] returns 1 without refetching.
T3 NEG-CONTROL: nonexistent dataset -> returns 0, .raw NEVER created (a failed run must not look banked).
expect_exit: 0 license_tier: ORIGINAL
dependencies 1 imports · 0 importers
imports: nx_research_fetch_ext.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 pg_count_key(buf: *u8, n: i64) -> i64 |
| 24 | func main() -> i64 calls 1: rf_fetch_bank_paged |