Fix PSH: restrict to r-round FO^k; remove invalid saturation claims

inaciovasquez2020 · inaciovasquez2020 · commit 51202601c887 · 2026-02-24T15:54:52.000-03:00
diff --git a/docs/PSH_STATUS.md b/docs/PSH_STATUS.md
@@ -0,0 +1,2 @@
+Only r-round / rank-bounded FO^k statements are valid.
+Unbounded-round pebble saturation and universal-cover reductions are invalid.

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+Only r-round / rank-bounded FO^k statements are valid.`
	`2`	`+Unbounded-round pebble saturation and universal-cover reductions are invalid.`