From 4f7ab8e4f0ac3457ead8be1e80a024e4152e6ecb Mon Sep 17 00:00:00 2001
From: ruv <ruv@ruv.net>
Date: Sat, 30 May 2026 17:15:08 -0400
Subject: [PATCH] =?UTF-8?q?docs(aether-arena):=20v0=20infrastructure=20com?=
 =?UTF-8?q?plete=20=E2=80=94=20Space=20live,=20harness=20gate=20passing=20?=
 =?UTF-8?q?(M8)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 aether-arena/STATUS.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/aether-arena/STATUS.md b/aether-arena/STATUS.md
index 1566983a..8d97519a 100644
--- a/aether-arena/STATUS.md
+++ b/aether-arena/STATUS.md
@@ -14,7 +14,11 @@ ADR-079 camera-ground-truth collection — *not* an infra-completion blocker.
 | M5 | Public smoke split (committed) + private MM-Fi held-out split prep | 🟡 smoke split done (`fixtures/smoke_*.json`); private MM-Fi prep pending |
 | M6 | HF Space (Gradio) — leaderboard + ledger integrity + submit/verify/about | ✅ deployed → https://huggingface.co/spaces/ruvnet/aether-arena (sandboxed scorer container = later hardening) |
 | M7 | **Witness ledger chain** — append-only, hash-chained, tamper-evident | ✅ done — `ledger/ledger_tools.py` (seed/append/verify); tamper test fails as designed |
-| M8 | Public launch | ⏳ — **board starts EMPTY; no seeded numbers** (benchmark-first: only real harness scores) |
+| M8 | Public launch | ✅ Space **LIVE** (gradio 5.9.1, serving 200) — **board empty, awaiting first real harness score** (benchmark-first: no seeded numbers) |
+
+## v0 infrastructure: COMPLETE
+Implement ✅ · Test ✅ · Deploy to HF ✅ (https://huggingface.co/spaces/ruvnet/aether-arena) · Instructions+Verification ✅ · PR runs the harness ✅ (PR #874, AA harness gate **passed**).
+Remaining = data + hardening, not infra: private MM-Fi held-out split (M5), sandboxed scorer container (M6), privacy-leakage attacker (gated category), and **model SOTA** (separate ML effort, blocked on ADR-079 — explicitly not an infra exit).
 
 ## Benchmark-first posture (per user direction)
 - **No placeholder numbers on the board.** The ledger seeds to genesis only; every result is a real scoring-pipeline witness. RuView gets no seeded baseline.