Remove all references to the no-longer-existing 2023-07-draft

Author: mpsijm

bin/config.py

@@ -7,7 +7,7 @@
 from collections.abc import Mapping, Sequence
 from typing import Any, Final, Literal, Optional
 
-SPEC_VERSION: Final[Sequence[str]] = ["2025-09", "2023-07-draft"]
+SPEC_VERSION: Final[str] = "2025-09"
 
 # return values
 RTV_AC: Final[int] = 42

bin/problem.py

@@ -236,7 +236,7 @@ def __init__(
 
         if self.problem_format_version.startswith("legacy"):
             fatal("legacy is no longer supported, try running 'bt upgrade'")
-        elif self.problem_format_version not in config.SPEC_VERSION:
+        elif self.problem_format_version != config.SPEC_VERSION:
             fatal(f"unrecognized problem_format_version: {self.problem_format_version}")
 
         parse_deprecated_setting(yaml_data, "validation", "type")

bin/skel.py

@@ -153,10 +153,9 @@ def new_problem() -> None:
     skeldir, preserve_symlinks = get_skel_dir(target_dir)
     log(f"Copying {skeldir} to {target_dir / dirname}.")
 
-    skel_yaml = (skeldir / "problem.yaml").read_text()
-    if not any(version in skel_yaml for version in config.SPEC_VERSION):
+    if config.SPEC_VERSION not in (skeldir / "problem.yaml").read_text():
         fatal(
-            f"new_problem only supports `skel` directories where `problem.yaml` has version: {config.SPEC_VERSION[0]}."
+            f"new_problem only supports `skel` directories where `problem.yaml` has `version: {config.SPEC_VERSION}`."
         )
 
     problems_yaml = target_dir / "problems.yaml"

bin/upgrade.py

@@ -199,7 +199,6 @@ def upgrade_test_group_yaml(problem_path: Path, bar: ProgressBar) -> None:
 
 
 def upgrade_generators_yaml(problem_path: Path, bar: ProgressBar) -> None:
-    print(problem_path)
     generators_yaml = problem_path / "generators" / "generators.yaml"
     if not generators_yaml.is_file():
         return
@@ -428,10 +427,10 @@ def upgrade_problem_yaml(problem_path: Path, bar: ProgressBar) -> None:
 
     if (
         "problem_format_version" not in data
-        or data["problem_format_version"] != config.SPEC_VERSION[0]
+        or data["problem_format_version"] != config.SPEC_VERSION
     ):
         bar.log("set 'problem_format_version' in problem.yaml")
-        data.insert(0, "problem_format_version", config.SPEC_VERSION[0])
+        data.insert(0, "problem_format_version", config.SPEC_VERSION)
 
     if "validation" in data:
         if "type" in data:

test/problems/constants/problem.yaml

@@ -1,4 +1,4 @@
-# Specification: https://icpc.io/problem-package-format/spec/2023-07-draft.html
+# Specification: https://icpc.io/problem-package-format/spec/2025-09.html
 problem_format_version: 2025-09
 # 'pass-fail', 'interactive', 'multi-pass', or 'interactive multi-pass'
 type: pass-fail