From 8b1a325caaef6d3993d63d4c730eab03065e936b Mon Sep 17 00:00:00 2001 From: mrwulf Date: Thu, 16 Jul 2026 15:54:26 +0200 Subject: [PATCH] cleanup: remove dead _mentions_no_axioms (round-6 drill) Its last two callers vanished in the round-6 hardening (parse anchors on the exact phrase via regex; classification is membership-based). Dead code in an audited producer invites misreading. Suite 115. Co-Authored-By: Claude Fable 5 --- src/pacta/lean.py | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/pacta/lean.py b/src/pacta/lean.py index ff8e784..0e725be 100644 --- a/src/pacta/lean.py +++ b/src/pacta/lean.py @@ -380,11 +380,6 @@ def classify_certificates( return out -def _mentions_no_axioms(text: str) -> bool: - lowered = text.lower() - return "no axioms" in lowered or "does not depend on any axioms" in lowered - - def _version(cmd: list[str | None], env: dict[str, str] | None = None) -> str | None: if not cmd[0]: return None