code wiki / (root) / nx_netscope_heal_loop_test.nx

nx_netscope_heal_loop_test.nx

buildroot/runtime/nx_netscope_heal_loop_test.nx

4731 B90 linesdepth 6pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic netscope
docsdependenciesstructsconstsfunctions

about

nx_netscope_heal_loop_test.nx -- 1:1 KAT for the live MAPE-K loop safety brain (nx_netscope_heal_loop.nx). Pure + deterministic: backoff stays in its Full-Jitter bound, the circuit breaker trips/opens/half-opens, the retry budget exhausts + refills, and the composed step gates act/wait/give-up so the loop CONVERGES instead of thrashing. expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_netscope_heal_loop.nx nx_netscope_heal_loop_test.nx

imports: nx_netscope_heal_loop.nx

imported by: nobody (leaf or entry point)

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

main heal_backoff_ms heal_jitter heal_cb_init heal_cb_allow heal_cb_on_fail heal_cb_on_success heal_budget_init heal_budget_try heal_loop_next heal_cb_allow ↻ heal_backoff_ms ↻ heal_budget_try ↻

structs

none

consts

none

functions

12func main() -> i64
calls 8: heal_backoff_msheal_cb_initheal_cb_allowheal_cb_on_failheal_cb_on_successheal_budget_init+2