code wiki / (root) / sketch_cuckoo_test.nx

sketch_cuckoo_test.nx

buildroot/runtime/sketch_cuckoo_test.nx

4689 B136 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic sketch
docsdependenciesstructsconstsfunctions

about

sketch_cuckoo_test.nx -- Cuckoo Filter end-to-end verification. Exit code mapping (matches smoke gate): 0 all pass 5 alloc returned NULL or rejected power-of-2 10/11 empty filter false positives 20 insert returned 0 (failed) under-capacity 21/22 contains returns wrong value after insert 30 delete returned 0 (failed) for present item 31 contains still returns 1 after delete 32 total counter wrong after delete 40 rejected non-power-of-2 50 multiple inserts collide / total wrong 60 envelope_kind wrong 61 conf_ppb wrong (should be 1e9 - 31e6) 62 maturity wrong 63 adv_safety wrong 70 deterministic reproducibility broken

dependencies 3 imports · 0 importers

syscalls.nx sketch_cuckoo.nx sketch_types.nx sketch_cuckoo_test.nx

imports: syscalls.nxsketch_cuckoo.nxsketch_types.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_cuckoo_alloc nx_cuckoo_contains nx_cuckoo_fingerprint nx_cuckoo_bucket1 nx_cuckoo_bucket_contains nx_cuckoo_bucket_addr nx_cuckoo_bucket2 nx_cuckoo_fp_hash nx_cuckoo_insert nx_cuckoo_fingerprint ↻ nx_cuckoo_bucket1 ↻ nx_cuckoo_try_insert_bucke nx_cuckoo_bucket_addr ↻ nx_cuckoo_bucket2 ↻ nx_cuckoo_rng_next nx_cuckoo_bucket_addr ↻ nx_cuckoo_delete nx_cuckoo_fingerprint ↻ nx_cuckoo_bucket1 ↻ nx_cuckoo_bucket_remove nx_cuckoo_bucket_addr ↻ nx_cuckoo_bucket2 ↻ nx_cuckoo_query nx_cuckoo_contains ↻ nx_approx_new nx_cuckoo_fpr_ppb

structs

none

consts

none

functions

24func main() -> i64 {