Normalize PSH to PSH_{k,Δ,r}; remove unbounded-round and WL claims

Author: inaciovasquez2020

docs/PSH_STATUS.md

@@ -1,2 +1,3 @@
-Only r-round / rank-bounded FO^k statements are valid.
-Unbounded-round pebble saturation and universal-cover reductions are invalid.
+PSH is used only in rank-bounded form PSH_{k,Δ,r}.
+No unbounded-round pebble game, full FO^k, or global WL stabilization
+is assumed anywhere in this repository.

docs/deps/chronos_entropydepth_deps.md

@@ -1,11 +1,11 @@
 Chronos / EntropyDepth dependency graph
 
 FO^k locality + bounded degree
-→ PSH_k_Delta (closed)
+→ PSH_{k,\Delta,r} (closed)
 → bounded pebble continuation types
 → no multiplicity escape in local refinement histories
 → orbit finiteness under covers
 → stabilized transcript capacity
 → EntropyDepth lower bound transfer
 
-PSH_k_Delta closes the continuation-types branch.
+PSH_{k,\Delta,r} closes the continuation-types branch.