From 0c48a8fb8867bfa0f811ce3e34d2d6b78194b482 Mon Sep 17 00:00:00 2001 From: mrphilo420 Date: Tue, 27 Oct 2026 08:38:36 +0800 Subject: [PATCH 1/2] catalog: restore rouche_zero_count_eq to active --- manifests/problems/rouche_zero_count_eq.toml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/manifests/problems/rouche_zero_count_eq.toml b/manifests/problems/rouche_zero_count_eq.toml index f8ae77b7..f4bc9e3f 100644 --- a/manifests/problems/rouche_zero_count_eq.toml +++ b/manifests/problems/rouche_zero_count_eq.toml @@ -1,7 +1,7 @@ id = "rouche_zero_count_eq" title = "Rouche theorem via zero counting" group = "formalization-evaluation" -status = "archived" +status = "active" visible = true statement_revision = 1 tags = [] @@ -16,3 +16,8 @@ informal_solution = "Assuming f is meromorphic in normal form on ℂ and |g| < | status = "archived" effective_date = "2026-08-20" reason = "policy" + +[[status_history]] +status = "active" +effective_date = "2026-10-27" +reason = "restoration" From 70993aaad6b99b609e1a1c8516d22a3364fdcd59 Mon Sep 17 00:00:00 2001 From: mrphilo420 Date: Tue, 27 Oct 2026 08:38:45 +0800 Subject: [PATCH 2/2] docs: mark rouche_zero_count_eq generated workspace active --- generated/rouche_zero_count_eq/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generated/rouche_zero_count_eq/README.md b/generated/rouche_zero_count_eq/README.md index ec2e76d3..38d025d5 100644 --- a/generated/rouche_zero_count_eq/README.md +++ b/generated/rouche_zero_count_eq/README.md @@ -4,7 +4,7 @@ Rouche theorem via zero counting - Problem ID: `rouche_zero_count_eq` - Group: `formalization-evaluation` -- Status: `archived` +- Status: `active` - Visible: yes - Statement Revision: 1 - Tags: none