code wiki / _hdl_build / nx_browser_arc_pipeline_test.nx

nx_browser_arc_pipeline_test.nx

buildroot/runtime/_hdl_build/nx_browser_arc_pipeline_test.nx

2234 B46 linesdepth 6pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic browser
docsdependenciesstructsconstsfunctions

about

nx_browser_arc_pipeline_test.nx -- the ENGINEER's KAT gate for the Warden's browser-arc pipeline. Synthetic gate-log buffer proves the evidence reader (last-run-wins, PASS/FAIL/ABSENT) and the RACI routing (NEEDS_TUTOR for novel absent cores, SCAFFOLD-READY for covered, ADMITTED only on PASS evidence, HEAL-QUEUED on FAIL). Exit 0 iff all KATs green. license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_browser_arc_pipeline.nx nx_browser_arc_pipeline_test.n

imports: nx_browser_arc_pipeline.nx

imported by: nobody (leaf or entry point)

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

main t_len t_report ba_fputs sys_write ba_fputn nxi_fd sys_mmap ccz_cat_num sys_write ↻ sys_munmap ba_row_status ba_find_last ba_rung_stage br_decide br_separation_ok br_roles_correct raci_clean bp_core_autonomous ba_fputs ↻ ba_fputn ↻

structs

none

consts

none

functions

8func t_len(s: *u8) -> i64
called by 1: main
14func t_report(name: *u8, got: i64, want: i64) -> i64
called by 1: main calls 2: ba_fputsba_fputn
26func main() -> i64
calls 6: t_lent_reportba_row_statusba_rung_stageba_fputsba_fputn