nx_crawl_sufficiency_gate.nx
buildroot/runtime/nx_crawl_sufficiency_gate.nx
about
nx_crawl_sufficiency_gate.nx -- GATE for nx_crawl_sufficiency (the /compare/webscraping R5 contract
cs_confidence). Network-free, fixtures assembled at runtime. The accept rule pre-declared on the board: a
crawl that has covered half the query MUST NOT stop; near-duplicate pages MUST NOT raise confidence; a
crawl that has covered the query and stopped discovering vocabulary MUST stop and say which metric moved;
off-topic pages can never reach CONFIDENT; a full term set makes saturation UNOBSERVABLE, never 0-as-fact.
license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_crawl_sufficiency.nxnx_gate_verdict.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
| 11 | const SG_CAP: i64 = 8192 |
functions
| 13 | func sg_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 14 | func sg_has(hay: *u8, n: i64, needle: *u8) -> i64 |
| 27 | func sg_add(st: *i64, s: *u8) -> i64 { return cs_add_doc(st, s, sg_len(s)) } |
| 29 | func main() -> i64 |