saymrwulf/proof-aware-crypto-tooling-agent
1
0
Fork 0
mirror of https://github.com/saymrwulf/proof-aware-crypto-tooling-agent.git synced 2026-09-03 19:53:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

cleanup: remove dead _mentions_no_axioms (round-6 drill)

Browse source 
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 <noreply@anthropic.com>
This commit is contained in:
mrwulf 2026-07-16 15:54:26 +02:00
parent d937a94382
commit 8b1a325caa
1 changed files with 0 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/pacta/lean.py
View file

@ -380,11 +380,6 @@ def classify_certificates(
return out 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: def _version(cmd: list[str | None], env: dict[str, str] | None = None) -> str | None:
if not cmd[0]: if not cmd[0]:
return None return None