Document the current public Arena boundary

tests/test_probe.py

@@ -41,21 +41,17 @@ STEP_AT_ORACLE = frozenset({
     ("fault-localisation", "gate"),
 })
 
-# The environments that are allowed to carry no probe yet, because their taskset layer is not
-# written. Everything discovered and NOT in here MUST be gated.
+# The environments that are allowed to carry no probe yet. Everything discovered and NOT in
+# here MUST be gated.
 #
 # This list is the floor, and it is why it exists rather than a bare count: without it, both
 # loops below are vacuous when nothing is gated, and CI goes green while gating zero
 # environments. Commenting out a single `@probes(...)` decorator used to pass — the degated
 # name simply moved into the warning line, which already legitimately carries five names.
 #
-# It only ever shrinks. Delete a name here in the same commit that lands its probe.
-PENDING_PROBES = frozenset({
-    "tera-crow-nav",
-    "tera-drive-101",
-    "tera-office-nav",
-    "tera-california-flight",
-})
+# It only ever shrinks. The former Tera entries moved to the private Tera repository with their
+# simulator source, so every environment remaining in public Arena is gated today.
+PENDING_PROBES: frozenset[str] = frozenset()
 
 
 def discovered_tasksets() -> set[str]: