code wiki / (root) / nx_netscope_verdict_test.nx

nx_netscope_verdict_test.nx

buildroot/runtime/nx_netscope_verdict_test.nx

3593 B73 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic netscope
docsdependenciesstructsconstsfunctions

about

nx_netscope_verdict_test.nx -- 1:1 KAT for the easy-for-anyone verdict layer (nx_netscope_verdict.nx). Builds synthetic probe matrices (no network) and asserts the COMPUTED category + severity + process exit code for each failure class, then RENDERS the real human-facing output for the split-DNS-race and all-clear cases so the gate can grep that the headline is plain language ("PROBLEM FOUND" / "ALL CLEAR") with a FIX attached -- not raw RCODEs. expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_netscope_verdict.nx nx_netscope_verdict_test.nx

imports: nx_netscope_verdict.nx

imported by: nobody (leaf or entry point)

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

main vset nxv_host_category nx_dns_host_would_poison nxv_count_ok nxv_cell nx_dns_host_hairpin_risk nxv_cat_severity nx_netscope_verdict_all nx_netscope_verdict_host nxv_host_category ↻ nxv_cat_severity ↻ nxv_w nxv_sym nxv_w ↻ nxv_cat_name nxv_w ↻ nxv_cell ↻ nxv_ip nxv_dec nxv_w ↻ nxv_answer nxv_ip ↻ nxv_w ↻ nxv_cell_mark nxv_w ↻ nxv_fix nxv_w ↻ nx_netscope_verdict_host ↻

structs

none

consts

none

functions

14func vset(cells: *ProbeCell, idx: i64, verdict: i64, ipv4: i64, rfc1918: i64) -> i64
called by 1: main
21func main() -> i64