nx_ws_board_live_gate.nx

nx_ws_board_live_gate.nx -- THE REFEREE for the M2 board's LIVE-STREAM upgrade: (a) the retired 512 enumeration cap, and (b) FRESH liveness (active=alive-NOW, not a one-time ACTIVE stamp). Operator law for this rung: "the 2 is not a one-time thing like energy -- the data must be fresh and alive." This gate proves the board honors it. HERMETIC fixtures (controlled, NOT production claims): prefix wsblive- : ws:empires=E-LIVE ; 5 named streams with KNOWN last_touched, so an INJECTED now/window makes each verdict deterministic (no wall-clock): FRESH-A ACTIVE lt=1000 -> @now=1010,win=60 age=10 -> ALIVE STALE-A ACTIVE lt=100 -> @now=1010,win=60 age=910 -> STALLED UNK-A ACTIVE lt=0 -> no activity -> UNKNOWN HB-A ACTIVE lt=100 BUT a fresh heartbeat beat @1000 -> ALIVE (live channel wins) BLK-A BLOCKED lt=1000 -> @now=1010,win=60 age=10 -> ALIVE + config key ws:cfg:fresh_window_sec=123 (proves the window is DATA, not baked). prefix wsbcap- : 600 complete DONE streams in ONE empire -- > the old 512 cap. POSITIVE (all must hold): T1 named-count==5 T2 FRESH-A=ALIVE T3 STALE-A=STALLED T4 UNK-A=UNKNOWN T5 HB-A=ALIVE (heartbeat overrides a stale last_touched) T6 summary EXACT (active=4 alive=2 stalled=1 unknown=1 ; blocked=1 alive=1) T7 cap-gone: wb_board_p(wsbcap-) total==600 (the 512 cap would have truncated) T8 config: wb_cfg_int reads 123 from the store, returns the floor 999 when absent NEGATIVE CONTROLS (a GREEN with no working neg-control is INVALID): N1 threshold-is-REAL : re-run @win=2000 -> STALE-A flips ALIVE AND a_stalled==0 (proves the window is a live parameter, not a magic number). N2 stale-active-NOT-counted-alive : @win=60, a_stalled>=1 AND a_alive < active_total (the literal "an ACTIVE label alone is not 'alive'" control). N3 detector-sees-diff : a_stalled differs across the two windows (1 vs 0). GREEN only if T1..T8 AND N1..N3 all hold. Evidence rows + verdict -> knowledge/status/ ws_board_live_gate.log via the MANDATORY fa_appendz one-buffer-one-locked-write. Exit 0 GREEN / 1 RED. Sovereign: imports only the WMS/heartbeat stack + nx_syscalls (no gcc). license_tier: ORIGINAL