Always allow codegen again (#309)

* Update README to say 3.9 is the minimal officially supported version + allow codegen in ABC again

* Always Allow Codegen Again

* Fix tests

* Fix tests

* Set UA explicitly

* Improve tests using real network

* Fix style

Author: kyuridenamida

README.md

@@ -2,28 +2,17 @@
 [![codecov](https://codecov.io/gh/kyuridenamida/atcoder-tools/branch/master/graph/badge.svg)](https://codecov.io/gh/kyuridenamida/atcoder-tools)
 [![PyPI](https://img.shields.io/pypi/v/atcoder-tools.svg)](https://pypi.python.org/pypi/atcoder-tools)
 
-【重要】2.13.0以前のバージョンを利用するとルール違反になってしまうケースに関する注意喚起 (2024/6/7)
+【重要】バージョン2.15.0以降ではABCを含むコンテストの開催期間中においてもコード自動生成が許可されるようになりました (2025/11/9)
 ====
 
-2024/6/7にAtCoderがatcoder-toolsを含むコード自動生成ツールを特定のコンテストで禁止するルール変更を行いました。詳しくは『[生成AIの台頭に伴うABCにおけるルール変更について](https://atcoder.jp/posts/1246)』を御覧ください。
+以前、AtCoderではatcoder-toolsを含むコード自動生成ツールを特定のコンテストで禁止するルール変更を行っていましたが、2025/10/03に発表された最新のルールでは生成AIを用いないコード生成は明示的に許容されるようになりました。
+詳しくは『[生成AIの技術向上に伴うABC,ARC,AGCにおけるルール変更について](https://atcoder.jp/posts/1567)』を御覧ください。
 
-atcoder-toolsの入力解析を伴うコード自動生成機能をAtCoder Beginer Contestのコンテスト開催期間中に利用してコード生成を行うことはUnrated, Ratedでの参加を問わず禁止となります。
-
-これに伴い、バージョン2.14.0にて、**開催中の**ABCコンテストにおいては入力解析部分の実行をスキップするような仕様変更を行いました。
-
-挙動としましては、コンテストの種類がABCでありかつ開催中に限り、
-```
-Format prediction is skipped because it's not allowed by AtCoder rules
-```
-という警告と共に入力解析分をスキップするようになっています。入力部分のコードは生成されませんが、コード生成失敗時に生成されるテンプレートは生成され、MOD値やYES/NO等の定数抽出は行われます。また、問題文に存在するテストケースも生成されます。
-
-**2.13.0以前のatcoder-tools にはコンテストの種類を検知して生成をスキップする機能はありませんので、2.14.0にアップデートして頂くか、各自の責任において利用を避けて頂くようお願い申し上げます。**
-
-ライセンスにもありますように、利用しているバージョンに関わらずこのツールを利用したことで生じるあらゆる損害に対し、atcoder-tools管理者は何の責任も負う必要がないことを明記しておきます。
+これに伴い、バージョン2.15.0にて、**開催中の**ABCコンテストにおいても入力解析部分の実行を再びスキップしないようになりました。
 
 AtCoder Tools
 ====
-Python 3.6 以降で動作する [AtCoder](https://atcoder.jp/) からサンプル入力をダウンロードしたりする際に便利なツールです。
+Python 3.9 以降で動作する [AtCoder](https://atcoder.jp/) からサンプル入力をダウンロードしたりする際に便利なツールです。
 
 このツールには次のような機能があります。
 - AtCoderへのログイン，入出力例データなどの抽出

atcodertools/client/atcoder.py

@@ -143,7 +143,7 @@ def download_all_contests(self) -> List[Contest]:
                 r'"/contests/([A-Za-z0-9\'~+\-_]+)"')
             contest_list = url_re.findall(text)
             contest_list = set(contest_list)
-            contest_list.remove("archive")
+            contest_list.discard("archive")
             contest_list = sorted(list(contest_list))
 
             if previous_list == contest_list:

atcodertools/constprediction/constants_prediction.py

@@ -36,11 +36,6 @@ def __init__(self, cands):
         self.cands = cands
 
 
-class FailingToKnowFormatAnalysisAllowedByRuleError(Exception):
-    def __init__(self, reason):
-        self.reason = reason
-
-
 MOD_ANCHORS = ["余り", "あまり", "mod", "割っ", "modulo"]
 DECIMAL_ANCHORS = ["誤差", " error "]
 LIMIT_ANCHORS = ["時間制限", "Time Limit"]
@@ -211,26 +206,6 @@ def normalize(sentence):
     raise MultipleModCandidatesError(limit_cands)
 
 
-def predict_is_format_analysis_allowed_by_rule(html: str) -> bool:
-    soup = BeautifulSoup(html, "html.parser")
-    url_meta_tag = soup.find("meta", property="og:url")
-    if url_meta_tag is None:
-        raise FailingToKnowFormatAnalysisAllowedByRuleError(
-            "No meta tag detected, which is important as a clue to know if the input analysis is allowed.")
-
-    # ABC is the target of "No LLM rules" by AtCoder (See https://info.atcoder.jp/entry/llm-abc-rules-ja or https://info.atcoder.jp/entry/llm-abc-rules-en)
-    is_target_contest_of_no_llm_rule = "/contests/abc" in url_meta_tag["content"]
-
-    # If there is no virtual standings link, assume it's ongoing.
-    is_ongoing_contest = len([tag for tag in soup.find_all(
-        "a") if "/standings/virtual" in tag.get("href", "")]) == 0
-
-    if is_target_contest_of_no_llm_rule and is_ongoing_contest:
-        return False
-
-    return True
-
-
 def predict_constants(html: str) -> ProblemConstantSet:
     try:
         yes_str, no_str = predict_yes_no(html)
@@ -258,19 +233,10 @@ def predict_constants(html: str) -> ProblemConstantSet:
                        "two or more candidates {} are detected as limit".format(e.cands))
         timeout = None
 
-    try:
-        is_format_analysis_allowed_by_rule = predict_is_format_analysis_allowed_by_rule(
-            html)
-    except FailingToKnowFormatAnalysisAllowedByRuleError as e:
-        logger.warning(
-            "Failed to know whether format analysis is allowed by the contest rules -- ", e.reason)
-        is_format_analysis_allowed_by_rule = None
-
     return ProblemConstantSet(
         mod=mod,
         yes_str=yes_str,
         no_str=no_str,
         judge_method=judge,
         timeout=timeout,
-        is_format_analysis_allowed_by_rule=is_format_analysis_allowed_by_rule,
     )

atcodertools/constprediction/models/problem_constant_set.py

@@ -9,11 +9,9 @@ def __init__(self,
                  no_str: str = None,
                  judge_method: Judge = None,
                  timeout: float = None,
-                 is_format_analysis_allowed_by_rule: bool = None,
                  ):
         self.mod = mod
         self.yes_str = yes_str
         self.no_str = no_str
         self.judge_method = judge_method
         self.timeout = timeout
-        self.is_format_analysis_allowed_by_rule = is_format_analysis_allowed_by_rule

atcodertools/fmtprediction/predict_format.py

@@ -16,14 +16,7 @@ def __init__(self, cands):
         self.cands = cands
 
 
-class PredictionNotAllowedError(Exception):
-    pass
-
-
-def predict_format(content: ProblemContent, is_format_analysis_allowed_by_rule: bool) -> FormatPredictionResult:
-    if not is_format_analysis_allowed_by_rule:
-        raise PredictionNotAllowedError
-
+def predict_format(content: ProblemContent) -> FormatPredictionResult:
     input_format = content.get_input_format()
     samples = content.get_samples()
 

atcodertools/tools/codegen.py

@@ -19,7 +19,7 @@
 from atcodertools.config.config import Config
 from atcodertools.constprediction.constants_prediction import predict_constants
 from atcodertools.fmtprediction.models.format_prediction_result import FormatPredictionResult
-from atcodertools.fmtprediction.predict_format import MultiplePredictionResultsError, NoPredictionResultError, PredictionNotAllowedError, predict_format
+from atcodertools.fmtprediction.predict_format import MultiplePredictionResultsError, NoPredictionResultError, predict_format
 from atcodertools.tools import get_default_config_path
 from atcodertools.tools.envgen import USER_CONFIG_PATH, get_config, output_splitter
 from atcodertools.tools.utils import with_color
@@ -92,18 +92,15 @@ def emit_info(text):
     constants = predict_constants(content.original_html)
 
     try:
-        prediction_result = predict_format(
-            content, constants.is_format_analysis_allowed_by_rule or False)
+        prediction_result = predict_format(content)
         emit_info(
             with_color("Format prediction succeeded", Fore.LIGHTGREEN_EX))
-    except (NoPredictionResultError, MultiplePredictionResultsError, PredictionNotAllowedError) as e:
+    except (NoPredictionResultError, MultiplePredictionResultsError) as e:
         prediction_result = FormatPredictionResult.empty_result()
         if isinstance(e, NoPredictionResultError):
             msg = "No prediction -- Failed to understand the input format"
         elif isinstance(e, MultiplePredictionResultsError):
             msg = "Too many prediction -- Failed to understand the input format"
-        elif isinstance(e, PredictionNotAllowedError):
-            msg = "Format prediction is skipped because it's not allowed by AtCoder rules (At least not allowed in ongoing ABC contests) -- See https://info.atcoder.jp/entry/llm-abc-rules-en"
         emit_warning(with_color(msg, Fore.LIGHTRED_EX))
 
     code_generator = config.code_style_config.code_generator

atcodertools/tools/envgen.py

@@ -23,7 +23,7 @@
     create_code
 from atcodertools.fmtprediction.models.format_prediction_result import FormatPredictionResult
 from atcodertools.fmtprediction.predict_format import NoPredictionResultError, \
-    MultiplePredictionResultsError, PredictionNotAllowedError, predict_format
+    MultiplePredictionResultsError, predict_format
 from atcodertools.tools import get_default_config_path
 from atcodertools.tools.models.metadata import Metadata
 from atcodertools.tools.utils import with_color
@@ -119,18 +119,15 @@ def emit_info(text):
     constants = predict_constants(content.original_html)
 
     try:
-        prediction_result = predict_format(
-            content, constants.is_format_analysis_allowed_by_rule or False)
+        prediction_result = predict_format(content)
         emit_info(
             with_color("Format prediction succeeded", Fore.LIGHTGREEN_EX))
-    except (NoPredictionResultError, MultiplePredictionResultsError, PredictionNotAllowedError) as e:
+    except (NoPredictionResultError, MultiplePredictionResultsError) as e:
         prediction_result = FormatPredictionResult.empty_result()
         if isinstance(e, NoPredictionResultError):
             msg = "No prediction -- Failed to understand the input format"
         elif isinstance(e, MultiplePredictionResultsError):
             msg = "Too many prediction -- Failed to understand the input format"
-        elif isinstance(e, PredictionNotAllowedError):
-            msg = "Format prediction is skipped because it's not allowed by AtCoder rules (At least not allowed in ongoing ABC contests) -- See https://info.atcoder.jp/entry/llm-abc-rules-en"
         emit_warning(with_color(msg, Fore.LIGHTRED_EX))
 
     code_generator = config.code_style_config.code_generator