nx_watch_gate.nx
buildroot/runtime/nx_watch_gate.nx
about
nx_watch_gate.nx -- gate for the sovereign job/liveness monitor (the anti-flaky-WSL-poll capability).
T1 PURE verdict table (deterministic, no clock race): green-class->GREEN, red->RED, live+fresh->
RUNNING, live+stale->STALLED, absent-class->ABSENT.
T2 class classifier: GREEN/DONE->green, RED->red, RUNNING/BEAT->live, CUSTOM word->live,
empty->malformed. (Custom progress words are LIVENESS -- the old unknown->-1 made nw_status
print ABSENT for present keys with phase words like ADMIT-WAIT = fail-loud violation.)
T3 store roundtrip: mark RUNNING -> status reads RUNNING (fresh); mark GREEN -> status GREEN;
the terminal state is read back from the SOVEREIGN STORE (no WSL, no polling).
T4 NEG: an absent id -> ABSENT verdict (no fabricated liveness); ABSENT means MISSING KEY only.
T5 custom-phase roundtrip: mark "ADMIT-WAIT" -> status RUNNING (fresh custom word = live).
license_tier: ORIGINAL expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_watch.nxnx_gate_verdict.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 15 | func main(argc: i64, argv: *i64) -> i64 |