code wiki / (root) / nx_asset_search_gate.nx

nx_asset_search_gate.nx

buildroot/runtime/nx_asset_search_gate.nx

7759 B137 linesdepth 10pulls 13 transitivereach 0 importersview sourcekind gate/prooftopic asset
docsdependenciesstructsconstsfunctions

about

nx_asset_search_gate.nx -- KAT + TEETH for nx_asset_search (faceted findability over the catalog). Ingests 4 known records into a fresh catalog then proves the facet filters return EXACTLY the right sets (and the right CIDs): A image / professional / tags="gallery,generated" B image / private / tags="gallery,private" C doc / professional / tags="wiki,doctrine" D video / professional / tags="clip" (a) by type=image -> 2 (b) by type=doc -> 1 (c) by type=video -> 1 (d) by classification=private -> 1 (e) by classification=professional -> 3 (f) by tag=gallery -> 2 (g) by tag=doctrine -> 1 (h) membership: the type=doc result actually contains C's CID TEETH (must be empty): (i) type=audio -> 0 (j) tag=nonexistent -> 0 Verdict appended to knowledge/status/asset_search_gate.log (additive law #13). expect_exit: 0 license_tier: ORIGINAL

dependencies 6 imports · 0 importers

nx_syscalls.nx nx_canon_cid.nx nx_asset_record.nx nx_asset_catalog.nx nx_asset_search.nx nx_gate_verdict.nx nx_asset_search_gate.nx

imports: nx_syscalls.nxnx_canon_cid.nxnx_asset_record.nxnx_asset_catalog.nxnx_asset_search.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

main sys_openat_append g_puts sys_write sys_mmap gt_prefix sys_now_ms sys_mmap ↻ sys_clock_gettime_mono sys_mmap ↻ mk_asset sys_mmap ↻ sset E ar_fields sys_mmap ↻ ar_addf ar_present ar_encode canon_encode sys_mmap ↻ cc_cmp cc_w32 cc_len sys_munmap cat_ingest_cid ar_cid cid_of sys_mmap ↻ sha256_digest sys_mmap ↻ sha256_init sys_mmap ↻ sha256_k sha256_update sha256_compress_ni_blocks blk_set_byte sha256_compress sha256_final blk_set_byte ↻

structs

none

consts

none

functions

24func g_puts(logfd: i64, s: *u8) -> i64
called by 3: g_putnexpect_countmain calls 1: sys_write
31func g_putn(logfd: i64, v: i64) -> i64
called by 2: expect_countmain calls 3: sys_mmapg_putssys_write
45func E() -> *u8 { return "\x00" as *u8 }
called by 1: mk_asset
46func sset(a: *i64, i: i64, s: *u8) -> i64 { a[i] = s as i64; return 0 }
called by 1: mk_asset
49func mk_asset(typ: *u8, cls: *u8, tags: *u8, id: *u8, out: *u8) -> i64
called by 1: main calls 5: sys_mmapssetEar_fieldsar_encode
65func gt_prefix(prefix: *u8, base: *u8) -> i64
called by 1: main calls 2: sys_now_mssys_mmap
80func expect_count(logfd: i64, label: *u8, got: i64, want: i64) -> i64
called by 1: main calls 2: g_putsg_putn
86func main() -> i64
calls 15: sys_openat_appendg_putssys_mmapgt_prefixmk_assetcat_ingest_cid+9