code wiki / (root) / nx_netscope_heal_test.nx

nx_netscope_heal_test.nx

buildroot/runtime/nx_netscope_heal_test.nx

4346 B87 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic netscope
docsdependenciesstructsconstsfunctions

about

nx_netscope_heal_test.nx -- 1:1 KAT for the rung-3 self-healing decision core (nx_netscope_heal.nx). Deterministic fault-injection (synthetic probe matrices, NO live link): inject a bad/best cell, assert the agent selects the correct resolver + the heal action + reason. Proves the Happy-Eyeballs correctness gate (fast WRONG answer never wins), the fail-over, the anti-flap hysteresis, owned-domain hairpin demotion, and the safe give-up. expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_netscope_heal.nx nx_netscope_heal_test.nx

imports: nx_netscope_heal.nx

imported by: nobody (leaf or entry point)

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

main hset heal_decide heal_select_best nxv_cell heal_cell_eligible nxv_cell ↻ heal_cell_eligible ↻ heal_select_best ↻ heal_render nxv_w nxv_ip nxv_dec nxv_w ↻ nxv_dec ↻

structs

none

consts

none

functions

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