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 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"