nx_ws_cas_gate.nx

nx_ws_cas_gate.nx -- the REFEREE for WMS-R8 (concurrent-SSOT-safe registry write). Proves ws_put_locked defeats the concurrent-writer LOST-UPDATE race, AND proves the test can DETECT lost updates (the mandatory negative control): GOOD lane: NWORKERS fork, each ws_put_locked's NPER distinct keys into a FRESH /tmp store. After join, ALL NWORKERS*NPER keys MUST be retrievable -> ZERO lost updates. BAD lane (NEG-CONTROL): the SAME concurrency, SAME distinct keys, but the UNLOCKED ws_put_p -> concurrent segid + manifest.txt RMW collisions LOSE updates -> retrievable < total. If the bad lane loses NOTHING, the detector is worthless -> RED (no false green). Each lane uses its OWN per-run unique prefix under /tmp (epoch-stamped) so every run starts on a pristine store -- /tmp is disposable, so no clearing/unlink is needed (mirrors the R0 gate's /tmp/fa_*.log discipline). Verification uses ss_open ONCE + ss_hget per key (zero per-call IO, the same snapshot discipline the R4 audit was hardened to). The evidence line is one assembled record written via fa_appendz -> it DOGFOODS the restored R0b lock-framed primitive (no torn self-log -- closing the gap the critic flagged on earlier gates). Evidence -> knowledge/status/ws_cas_gate.log. GREEN (exit 0) iff good==total AND bad<total; else RED (exit 1). Sovereign: nx_ws_cas + nx_workstream_store + nx_seg_store + nx_framed_append + nx_syscalls. license_tier: ORIGINAL