nx_ws_exceed_gate.nx

nx_ws_exceed_gate.nx -- WMS-R11: the MEASURED exceed-git scorecard (the no-wave proof). The [[feedback-no-wave-measured-exceed]] law: don't CLAIM we beat the incumbent -- MEASURE it with real numbers. git is the measuring stick (the reference workstream/state tracker every engineer knows): it gets crash-safety from (a) lock files that SERIALIZE writers (index.lock -- the loser FAILS and must retry) and (b) the reflog that REBUILDS lost refs. This gate MEASURES the WMS's hard numbers on the same two axes, head-to-head against the NAIVE baseline we actually execute (the unprotected path = "what you get WITHOUT these rungs"), and states git's guarantee as the named yardstick those numbers meet/exceed -- git is NOT run here (sovereign/no-bleed), so its column is a by-design reference, never reported as measured. MEASURED dimensions (our execution, identical concurrent load each side): DIM-A concurrent-write lost-update : NWORKERS write NPER distinct keys each. WMS = ws_put_locked (R8 flock) -> expect retrievable == total (0 lost) naive= ws_put_p (unlocked) -> expect retrievable < total (lost > 0) [the manifest RMW race] DIM-B crash-recovery completeness : NWORKERS write NPER reflog transitions concurrently; the derived registry is then LOST (wiped). WMS = ledger_rebuild from reflog -> expect recovered == total (100%) naive= no reflog / no rebuild -> expect recovered == 0 (everything gone) EXCEED CLAIM (precise, measured): the WMS hits git's atomicity + recoverability guarantees with ZERO git dependency AND -- unlike git's index.lock -- EVERY concurrent writer COMPLETES (the flock path serializes-and-finishes; it never refuses the loser). GREEN(0) iff the WMS side hits the durable target on BOTH dims AND the naive baseline measurably FAILS BOTH (load-bearing + non-vacuous measurement -- a number that proves itself). Self-log via fa_appendz (dogfoods R0b). Evidence -> knowledge/status/ws_exceed_gate.log. Sovereign: nx_ws_repair + nx_ws_cas + nx_ws_ledger + nx_workstream_store + nx_seg_store + nx_framed_append + nx_syscalls. license_tier: ORIGINAL