code wiki / (root) / nx_iot_watchdog_test.nx

nx_iot_watchdog_test.nx

buildroot/runtime/nx_iot_watchdog_test.nx

7662 B147 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic iot
docsdependenciesstructsconstsfunctions

about

nx_iot_watchdog_test.nx -- gate for the per-device link healer. Proves the operator's blink loop is closed automatically + MEASURED: - sealed-enum validity (health / observation / action) - NEVER-BRICK: the whole action alphabet is brick-safe + writes no firmware; the classifier is FAIL-SAFE (out-of-range -> RED) - init: default threshold / override / null guard - per-transition coverage of every (health x observation) edge - THE FULL BLINK LOOP end-to-end: HEALTHY -> (misses) UNREACHABLE -> PAIRING -> REPROVISION -> READOPTED -> HEALTHY, with recover_count incrementing once per auto-heal (the manual re-pairs spared) and brick-safety asserted at every emitted action - a SECOND cycle increments the measured count again - self-recovery (UNREACHABLE -> SEEN) revives WITHOUT counting as a re-provision (honest: it came back on its own) - defensive: malformed observation is a no-op; null does not crash expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_iot_watchdog.nx nx_iot_watchdog_test.nx

imports: nx_syscalls_x86_64.nxnx_iot_watchdog.nx

imported by: nobody (leaf or entry point)

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

main nx_iot_wd_state_is_valid nx_iot_wd_obs_is_valid nx_iot_wd_action_is_valid nx_iot_wd_action_is_brick_ nx_iot_wd_action_is_valid ↻ nx_iot_wd_action_writes_fi nx_iot_wd_action_writes_fi ↻ nx_iot_wd_init nx_iot_wd_state nx_iot_wd_logical_id nx_iot_wd_consec_misses nx_iot_wd_recover_count nx_iot_wd_tick_count nx_iot_wd_observe nx_iot_wd_obs_is_valid ↻ nx_iot_wd_is_down nx_iot_wd_is_healthy

structs

none

consts

none

functions

25func main() -> i64