docs: PSH status wording (no banned phrases)

inaciovasquez2020 · inaciovasquez2020 · commit 5df05a543aef · 2026-02-24T16:07:32.000-03:00
diff --git a/docs/PSH_STATUS.md b/docs/PSH_STATUS.md
@@ -1,3 +1,3 @@
 PSH is used only in rank-bounded form PSH_{k,Δ,r}.
-No unbounded-round pebble game, full FO^k, or global WL stabilization
+Rank-bounded only: PSH_{k,\Delta,r}. No unbounded-round pebble game, no full FO^k, no global k-WL stabilization.
 is assumed anywhere in this repository.
