code wiki / (root) / nx_analyst_dashboard_gate.nx

nx_analyst_dashboard_gate.nx

buildroot/runtime/nx_analyst_dashboard_gate.nx

5327 B90 linesdepth 11pulls 23 transitivereach 0 importersview sourcekind gate/prooftopic analyst
docsdependenciesstructsconstsfunctions

about

nx_analyst_dashboard_gate.nx -- proves the BI dashboard is DATA-BOUND (real numbers derived from the census SSOT + the live store, not hardcoded), WELL-FORMED (balanced <div>/<table> tags -- browsers stay silent on unclosed tags, so the gate must not), and ACCESSIBLE-SHAPED (a doctype, lang, viewport, a title, table headers). D001 verdict via nx_gate_verdict. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_gate_verdict.nx nx_analyst_dashboard.nx nx_analyst_dashboard_gate.nx

imports: nx_gate_verdict.nxnx_analyst_dashboard.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap gv_head gv_puts sys_write db_build sys_mmap ↻ db_census sys_openat_rd sys_mmap ↻ sys_read sys_close db_streq_span db_raw db_num sys_mmap ↻ db_bar db_raw ↻ db_num ↻ asr_load_field_sharded sys_mmap ↻ asr_shard_key sys_mmap ↻ asr_load_field_win asr_scan_slots sys_mmap ↻ ss_scan sys_mmap ↻ ss_manifest_dyn ss_manifest_file_dyn ss_scan_seglist ss_len sys_mmap ↻ ss_cat ss_readall ss_r32 asr_field_i64 db_relrow am_pearson_milli

structs

none

consts

none

functions

8func dg_has(hay: *u8, hn: i64, needle: *u8) -> i64
called by 1: main
22func dg_count(hay: *u8, hn: i64, needle: *u8) -> i64
called by 1: main
35func dg_eq(a: i64, b: i64) -> i64 { if a == b { return 1 } return 0 }
called by 1: main
37func main() -> i64