code wiki / _hdl_build / nx_asset_dashboard_gate.nx

nx_asset_dashboard_gate.nx

buildroot/runtime/_hdl_build/nx_asset_dashboard_gate.nx

11947 B214 linesdepth 13pulls 35 transitivereach 0 importersview sourcekind gate/prooftopic asset
docsdependenciesstructsconstsfunctions

about

nx_asset_dashboard_gate.nx -- KAT + TEETH for the asset DASHBOARD emitter (the GOING-ON pillar). Drives the SAME render core (nx_asset_dashboard_lib dp_emit) the production page uses, against a CONTROLLED /tmp catalog (production catalog untouched), and proves: (T1) the live STATS are counted correctly (3 records: 1 doc + 1 image + 1 video; machine/human/ downloaded; 2 current + 1 retired) -- the numbers the dashboard renders are real, not typed (T2) MISSING_PROVENANCE signal fires for every record (deny-by-default; the honest TO-DO state) (T3) dp_emit renders an HTML file containing all THREE pillar headings + the correct live total (T4 TEETH) an EMPTY catalog -> all stats ZERO (no fabricated numbers on an empty inventory) Verdict appended to knowledge/status/asset_dashboard_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_status.nx nx_asset_dashboard_lib.nx nx_asset_dashboard_gate.nx

imports: nx_syscalls.nxnx_canon_cid.nxnx_asset_record.nxnx_asset_catalog.nxnx_asset_status.nxnx_asset_dashboard_lib.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_full 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 sys_mmap ↻ cat_ingest_cid ar_cid cid_of sys_mmap ↻ sha256_digest sys_mmap ↻ sha256_init sha256_update sha256_final cid_from_digest sys_munmap ↻ ss_open ss_open2

structs

none

consts

none

functions

20func g_puts(logfd: i64, s: *u8) -> i64
called by 4: g_putnexpectgt_visfiltermain calls 1: sys_write
27func g_putn(logfd: i64, v: i64) -> i64
called by 2: expectmain calls 3: sys_mmapg_putssys_write
41func E() -> *u8 { return "\x00" as *u8 }
called by 2: mk_fullmk_vis
42func sset(a: *i64, i: i64, s: *u8) -> i64 { a[i] = s as i64; return 0 }
called by 2: mk_fullmk_vis
45func mk_full(typ: *u8, prov: *u8, current: *u8, id: *u8, out: *u8) -> i64
called by 1: main calls 5: sys_mmapssetEar_fieldsar_encode
62func mk_vis(typ: *u8, loc: *u8, ident: *u8, out: *u8) -> i64
called by 1: gt_visfilter calls 5: sys_mmapssetEar_fieldsar_encode
78func gt_prefix(prefix: *u8, base: *u8, salt: i64) -> i64
called by 2: gt_visfiltermain calls 2: sys_now_mssys_mmap
94func g_read(path: *u8, buf: *u8, cap: i64) -> i64
called by 2: gt_visfiltermain calls 3: sys_openat_rdsys_readsys_close
104func g_contains(hay: *u8, hn: i64, needle: *u8) -> i64
called by 2: gt_visfiltermain
119func expect(logfd: i64, label: *u8, got: i64, want: i64) -> i64
called by 1: main calls 2: g_putsg_putn
127func gt_visfilter(logfd: i64) -> i64
called by 1: main calls 8: sys_mmapgt_prefixmk_viscat_ingestdp_emitg_read+2
149func main() -> i64
calls 26: sys_openat_appendg_putssys_mmapgt_prefixmk_fullcat_ingest+20