code wiki / (root) / nx_doc_dashboard_test.nx

nx_doc_dashboard_test.nx

buildroot/runtime/nx_doc_dashboard_test.nx

2306 B57 linesdepth 8pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic doc
docsdependenciesstructsconstsfunctions

about

nx_doc_dashboard_test.nx -- KAT + visual smoke for D23.

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_string_ops.nx nx_doc_decision.nx nx_doc_incumbent.nx nx_doc_dashboard.nx nx_doc_dashboard_test.nx

imports: nx_syscalls.nxnx_string_ops.nxnx_doc_decision.nxnx_doc_incumbent.nxnx_doc_dashboard.nx

imported by: nobody (leaf or entry point)

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

main nx_doc_dashboard_emit_head sys_write sys_mmap nx_str_format_int nx_doc_dashboard_emit_sect sys_write ↻ nx_doc_dashboard_emit_subs sys_write ↻ sys_mmap ↻ nx_str_format_int ↻ nx_doc_dashboard_emit_foot sys_write ↻ sys_mmap ↻ nx_decision_record_init nx_incumbent_table_init nx_pclass_is_valid nx_provenance_is_valid nx_incumbent_row_init nx_provenance_is_valid ↻ nx_incumbent_table_set_row nx_doc_dashboard_compose nx_doc_dashboard_emit_head ↻ nx_doc_dashboard_emit_subs ↻ sys_write ↻ nx_doc_dashboard_emit_sect ↻ nx_decision_record_emit nx_decision_record_complet nx_decision_status_is_vali sys_write ↻ sys_mmap ↻ nx_str_format_int ↻ nx_decision_status_name nx_str_len _docdec_write_section sys_write ↻ nx_incumbent_table_emit nx_pclass_is_valid ↻ sys_write ↻ nx_pclass_name

structs

none

consts

none

functions

9func main() -> i64
calls 10: nx_doc_dashboard_emit_headernx_doc_dashboard_emit_sectionnx_doc_dashboard_emit_substrate_statenx_doc_dashboard_emit_footersys_mmapnx_decision_record_init+4