From b7ee46415d6d76d5fd6dbfb7f8ed370362b78094 Mon Sep 17 00:00:00 2001 From: "Inacio F. Vasquez" Date: Tue, 24 Feb 2026 16:32:33 -0300 Subject: [PATCH 1/3] =?UTF-8?q?Normalize=20PSH=20to=20PSH=5F{k,=CE=94,r}?= =?UTF-8?q?=20(rank-bounded=20only)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/PSH_STATUS.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/docs/PSH_STATUS.md b/docs/PSH_STATUS.md index d4ff0a5..f7ddc38 100644 --- a/docs/PSH_STATUS.md +++ b/docs/PSH_STATUS.md @@ -1,3 +1,2 @@ -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. From 23306f91fe8376b7eabf947010da06324f4d3a5e Mon Sep 17 00:00:00 2001 From: "Inacio F. Vasquez" Date: Tue, 24 Feb 2026 16:39:30 -0300 Subject: [PATCH 2/3] ci: retrigger chronos-check --- docs/PSH_STATUS.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/PSH_STATUS.md b/docs/PSH_STATUS.md index f7ddc38..d8cbd2a 100644 --- a/docs/PSH_STATUS.md +++ b/docs/PSH_STATUS.md @@ -1,2 +1,3 @@ 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. + From d1be6a4b011334e7c6a4c4b96c4fb9e65db8a245 Mon Sep 17 00:00:00 2001 From: "Inacio F. Vasquez" Date: Tue, 24 Feb 2026 16:41:05 -0300 Subject: [PATCH 3/3] ci: retrigger chronos-check --- docs/PSH_STATUS.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/PSH_STATUS.md b/docs/PSH_STATUS.md index d8cbd2a..7dad969 100644 --- a/docs/PSH_STATUS.md +++ b/docs/PSH_STATUS.md @@ -1,3 +1,4 @@ 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. +