nx_arxiv_census_gate.nx
buildroot/runtime/nx_arxiv_census_gate.nx
about
nx_arxiv_census_gate.nx -- teeth for the arXiv population-census decision core.
Drives nx_arxiv_census_lib IN-PROCESS, so the gate and the CLI cannot disagree: there is exactly one
ac_verdict in the estate and both call it. Emits every value it tests via gv_kv, because a gate that
prints only PASS is unfalsifiable from the outside.
license_tier: ORIGINAL No hw writes (Rule 26).
dependencies 3 imports · 0 importers
imports: nx_gate_verdict.nxnx_arxiv_census_lib.nxnx_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
| 12 | const G_CSSE_TOTAL: i64 = 55 |
| 13 | const G_CSSE_DELIVERED: i64 = 55 |
| 14 | const G_CSPL_TOTAL: i64 = 14 |
| 15 | const G_CSPL_DELIVERED: i64 = 14 |
| 16 | const G_SLM_TOTAL: i64 = 35 |
| 17 | const G_SLM_DELIVERED: i64 = 35 |
| 18 | const G_SLOTCAP: i64 = 4096 |
| 19 | const G_TRUNC_DELIVERED: i64 = 10 // what max_results=10 would have delivered against cs.SE |
| 20 | const G_NO_TOTAL: i64 = 0-1 |
functions
| 22 | func main(argc: i64, argv: *i64) -> i64 |