Merge pull request #22 from inaciovasquez2020/fix/psh-rank-bounded

Normalize PSH to rank-bounded PSH_{k,Δ,r}

Author: inaciovasquez2020

docs/PSH_STATUS.md

@@ -1,3 +1,4 @@
-PSH is used only in rank-bounded form PSH_{k,Δ,r}.
-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.
+PSH is used only in rank-bounded form PSH_{k,Δ,r} (r-round k-pebble / FO^k rank ≤ r).
+No unbounded-round pebble game, no full FO^k, and no global k-WL stabilization is assumed.
+
+