ballpython 2.0.0__tar.gz → 2.0.2__tar.gz

{ballpython-2.0.0 → ballpython-2.0.2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: ballpython
-Version: 2.0.0
+Version: 2.0.2
 Summary: The Ultimate Static Python Intelligence, Healing, Type Verification, and Security Suite
 Author: Developer
 License-Expression: MIT
@@ -47,6 +47,7 @@ Zero external LLM dependencies, zero mock modes, and built for deterministic dev
    - Modernizes deprecated syntax via `pyupgrade` (`UP`).
    - Applies deterministic PEP 8 formatting (`ruff format` / `black` / pure-Python formatter).
    - Wraps long `from ... import (...)` statements exceeding configured `line-length`.
+   - Modernizes legacy typing to PEP 585/604 syntax (`List[T]` -> `list[T]`, `Optional[T]` -> `T | None`), singleton comparisons, and `class X(object)` inheritance via `Modernizer` (disable with `--no-modernize`).
 
 4. **Dead Code Detector (`DeadCodeDetector`)**:
    - Builds a cross-file symbol definition and reference graph across a project.
@@ -54,6 +55,7 @@ Zero external LLM dependencies, zero mock modes, and built for deterministic dev
    - Respects public exports in `__all__` and framework decorators (`@app.route`, `@pytest.fixture`, `@abstractmethod`, etc.).
    - Detects unreachable code following unconditional `return`, `raise`, `break`, `continue`, or `sys.exit()`.
    - Identifies empty pass blocks with no comments.
+   - Auto-prunes unreachable code, redundant `pass` statements, and `if False:` branches via `DeadCodeFixer` (enable with `dead-code --fix`, disable in the pipeline with `--no-dead-code`).
 
 5. **Static Security Scanner (`SecurityScanner`)**:
    - Detects dangerous function calls: `eval()`, `exec()`, `compile()`, `pickle.loads()`, `os.system()`, and unsafe `yaml.load()` lacking `SafeLoader`.
@@ -103,12 +105,13 @@ pip install -e ".[dev,security]"
 ### Subcommands
 
 #### `fix` (Default Action)
-Heals syntax, resolves imports, prunes unused imports/variables, fixes lint violations, and formats code:
+Heals syntax, modernizes legacy typing (PEP 585/604), prunes dead code, resolves imports, fixes lint violations, and formats code:
 ```bash
 py -m pycleaner fix src/
 py -m pycleaner fix --diff path/to/script.py
 py -m pycleaner fix --no-backup src/
 py -m pycleaner fix --parallel --workers 4 src/
+py -m pycleaner fix --no-modernize --no-dead-code src/
 ```
 
 #### `check` (Dry-Run CI Verification)
@@ -139,6 +142,7 @@ Finds unused functions, unused classes, empty pass branches, and dead code:
 ```bash
 py -m pycleaner dead-code .
 py -m pycleaner dead-code --json .
+py -m pycleaner dead-code --fix .
 ```
 
 #### `audit` (Project Dependency Verification)
@@ -188,7 +192,7 @@ pycleaner path/to/file.py          # Equivalent to: pycleaner fix path/to/file.p
 
 ## Configuration
 
-`pycleaner` automatically reads configuration from `pyproject.toml` under `[tool.pycleaner]` or from `.pycleaner.toml`.
+`pycleaner` automatically reads configuration from `pyproject.toml` under `[tool.pycleaner]` or from `.pycleaner.toml`. An explicit file can be forced with `pycleaner --config path/to/pyproject.toml <command> ...`, which overrides target-path auto-discovery.
 
 ### `pyproject.toml` Example
 
@@ -294,12 +298,14 @@ for func in violations:
 from pycleaner import DeadCodeDetector
 
 detector = DeadCodeDetector()
-report = detector.analyze_project("src/")
+report = detector.scan_project("src/")
 
-for item in report.unused_symbols:
-    print(f"Unused {item.kind} '{item.name}' at {item.filepath}:{item.lineno}")
+print(f"{report.count} dead code item(s) across {report.files_scanned} file(s).")
 
-for item in report.unreachable_code:
+for item in report.items:
+    print(f"Dead {item.kind} '{item.name}' at {item.filepath}:{item.lineno}")
+
+for item in report.by_kind("unreachable"):
     print(f"Unreachable code at {item.filepath}:{item.lineno} ({item.reason})")
 ```
 

{ballpython-2.0.0 → ballpython-2.0.2}/README.md

@@ -28,6 +28,7 @@ Zero external LLM dependencies, zero mock modes, and built for deterministic dev
    - Modernizes deprecated syntax via `pyupgrade` (`UP`).
    - Applies deterministic PEP 8 formatting (`ruff format` / `black` / pure-Python formatter).
    - Wraps long `from ... import (...)` statements exceeding configured `line-length`.
+   - Modernizes legacy typing to PEP 585/604 syntax (`List[T]` -> `list[T]`, `Optional[T]` -> `T | None`), singleton comparisons, and `class X(object)` inheritance via `Modernizer` (disable with `--no-modernize`).
 
 4. **Dead Code Detector (`DeadCodeDetector`)**:
    - Builds a cross-file symbol definition and reference graph across a project.
@@ -35,6 +36,7 @@ Zero external LLM dependencies, zero mock modes, and built for deterministic dev
    - Respects public exports in `__all__` and framework decorators (`@app.route`, `@pytest.fixture`, `@abstractmethod`, etc.).
    - Detects unreachable code following unconditional `return`, `raise`, `break`, `continue`, or `sys.exit()`.
    - Identifies empty pass blocks with no comments.
+   - Auto-prunes unreachable code, redundant `pass` statements, and `if False:` branches via `DeadCodeFixer` (enable with `dead-code --fix`, disable in the pipeline with `--no-dead-code`).
 
 5. **Static Security Scanner (`SecurityScanner`)**:
    - Detects dangerous function calls: `eval()`, `exec()`, `compile()`, `pickle.loads()`, `os.system()`, and unsafe `yaml.load()` lacking `SafeLoader`.
@@ -84,12 +86,13 @@ pip install -e ".[dev,security]"
 ### Subcommands
 
 #### `fix` (Default Action)
-Heals syntax, resolves imports, prunes unused imports/variables, fixes lint violations, and formats code:
+Heals syntax, modernizes legacy typing (PEP 585/604), prunes dead code, resolves imports, fixes lint violations, and formats code:
 ```bash
 py -m pycleaner fix src/
 py -m pycleaner fix --diff path/to/script.py
 py -m pycleaner fix --no-backup src/
 py -m pycleaner fix --parallel --workers 4 src/
+py -m pycleaner fix --no-modernize --no-dead-code src/
 ```
 
 #### `check` (Dry-Run CI Verification)
@@ -120,6 +123,7 @@ Finds unused functions, unused classes, empty pass branches, and dead code:
 ```bash
 py -m pycleaner dead-code .
 py -m pycleaner dead-code --json .
+py -m pycleaner dead-code --fix .
 ```
 
 #### `audit` (Project Dependency Verification)
@@ -169,7 +173,7 @@ pycleaner path/to/file.py          # Equivalent to: pycleaner fix path/to/file.p
 
 ## Configuration
 
-`pycleaner` automatically reads configuration from `pyproject.toml` under `[tool.pycleaner]` or from `.pycleaner.toml`.
+`pycleaner` automatically reads configuration from `pyproject.toml` under `[tool.pycleaner]` or from `.pycleaner.toml`. An explicit file can be forced with `pycleaner --config path/to/pyproject.toml <command> ...`, which overrides target-path auto-discovery.
 
 ### `pyproject.toml` Example
 
@@ -275,12 +279,14 @@ for func in violations:
 from pycleaner import DeadCodeDetector
 
 detector = DeadCodeDetector()
-report = detector.analyze_project("src/")
+report = detector.scan_project("src/")
 
-for item in report.unused_symbols:
-    print(f"Unused {item.kind} '{item.name}' at {item.filepath}:{item.lineno}")
+print(f"{report.count} dead code item(s) across {report.files_scanned} file(s).")
 
-for item in report.unreachable_code:
+for item in report.items:
+    print(f"Dead {item.kind} '{item.name}' at {item.filepath}:{item.lineno}")
+
+for item in report.by_kind("unreachable"):
     print(f"Unreachable code at {item.filepath}:{item.lineno} ({item.reason})")
 ```
 

{ballpython-2.0.0 → ballpython-2.0.2}/ballpython.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: ballpython
-Version: 2.0.0
+Version: 2.0.2
 Summary: The Ultimate Static Python Intelligence, Healing, Type Verification, and Security Suite
 Author: Developer
 License-Expression: MIT
@@ -47,6 +47,7 @@ Zero external LLM dependencies, zero mock modes, and built for deterministic dev
    - Modernizes deprecated syntax via `pyupgrade` (`UP`).
    - Applies deterministic PEP 8 formatting (`ruff format` / `black` / pure-Python formatter).
    - Wraps long `from ... import (...)` statements exceeding configured `line-length`.
+   - Modernizes legacy typing to PEP 585/604 syntax (`List[T]` -> `list[T]`, `Optional[T]` -> `T | None`), singleton comparisons, and `class X(object)` inheritance via `Modernizer` (disable with `--no-modernize`).
 
 4. **Dead Code Detector (`DeadCodeDetector`)**:
    - Builds a cross-file symbol definition and reference graph across a project.
@@ -54,6 +55,7 @@ Zero external LLM dependencies, zero mock modes, and built for deterministic dev
    - Respects public exports in `__all__` and framework decorators (`@app.route`, `@pytest.fixture`, `@abstractmethod`, etc.).
    - Detects unreachable code following unconditional `return`, `raise`, `break`, `continue`, or `sys.exit()`.
    - Identifies empty pass blocks with no comments.
+   - Auto-prunes unreachable code, redundant `pass` statements, and `if False:` branches via `DeadCodeFixer` (enable with `dead-code --fix`, disable in the pipeline with `--no-dead-code`).
 
 5. **Static Security Scanner (`SecurityScanner`)**:
    - Detects dangerous function calls: `eval()`, `exec()`, `compile()`, `pickle.loads()`, `os.system()`, and unsafe `yaml.load()` lacking `SafeLoader`.
@@ -103,12 +105,13 @@ pip install -e ".[dev,security]"
 ### Subcommands
 
 #### `fix` (Default Action)
-Heals syntax, resolves imports, prunes unused imports/variables, fixes lint violations, and formats code:
+Heals syntax, modernizes legacy typing (PEP 585/604), prunes dead code, resolves imports, fixes lint violations, and formats code:
 ```bash
 py -m pycleaner fix src/
 py -m pycleaner fix --diff path/to/script.py
 py -m pycleaner fix --no-backup src/
 py -m pycleaner fix --parallel --workers 4 src/
+py -m pycleaner fix --no-modernize --no-dead-code src/
 ```
 
 #### `check` (Dry-Run CI Verification)
@@ -139,6 +142,7 @@ Finds unused functions, unused classes, empty pass branches, and dead code:
 ```bash
 py -m pycleaner dead-code .
 py -m pycleaner dead-code --json .
+py -m pycleaner dead-code --fix .
 ```
 
 #### `audit` (Project Dependency Verification)
@@ -188,7 +192,7 @@ pycleaner path/to/file.py          # Equivalent to: pycleaner fix path/to/file.p
 
 ## Configuration
 
-`pycleaner` automatically reads configuration from `pyproject.toml` under `[tool.pycleaner]` or from `.pycleaner.toml`.
+`pycleaner` automatically reads configuration from `pyproject.toml` under `[tool.pycleaner]` or from `.pycleaner.toml`. An explicit file can be forced with `pycleaner --config path/to/pyproject.toml <command> ...`, which overrides target-path auto-discovery.
 
 ### `pyproject.toml` Example
 
@@ -294,12 +298,14 @@ for func in violations:
 from pycleaner import DeadCodeDetector
 
 detector = DeadCodeDetector()
-report = detector.analyze_project("src/")
+report = detector.scan_project("src/")
 
-for item in report.unused_symbols:
-    print(f"Unused {item.kind} '{item.name}' at {item.filepath}:{item.lineno}")
+print(f"{report.count} dead code item(s) across {report.files_scanned} file(s).")
 
-for item in report.unreachable_code:
+for item in report.items:
+    print(f"Dead {item.kind} '{item.name}' at {item.filepath}:{item.lineno}")
+
+for item in report.by_kind("unreachable"):
     print(f"Unreachable code at {item.filepath}:{item.lineno} ({item.reason})")
 ```
 

{ballpython-2.0.0 → ballpython-2.0.2}/ballpython.egg-info/SOURCES.txt

@@ -3,6 +3,7 @@ pyproject.toml
 ballpython/__init__.py
 ballpython/__main__.py
 ballpython/cli.py
+ballpython/py.typed
 ballpython.egg-info/PKG-INFO
 ballpython.egg-info/SOURCES.txt
 ballpython.egg-info/dependency_links.txt
@@ -11,30 +12,49 @@ ballpython.egg-info/requires.txt
 ballpython.egg-info/top_level.txt
 pycleaner/__init__.py
 pycleaner/__main__.py
+pycleaner/baseline.py
+pycleaner/cache.py
 pycleaner/cli.py
 pycleaner/complexity_analyzer.py
 pycleaner/config.py
 pycleaner/dead_code_detector.py
 pycleaner/dependency_auditor.py
+pycleaner/discovery.py
+pycleaner/explanations.py
 pycleaner/import_resolver.py
 pycleaner/linter_formatter.py
+pycleaner/modernizer.py
 pycleaner/pipeline.py
+pycleaner/py.typed
 pycleaner/security_scanner.py
 pycleaner/syntax_healer.py
 pycleaner/taint_engine.py
 pycleaner/test_generator.py
 pycleaner/type_checker.py
 pycleaner/typeshed_resolver.py
+pycleaner/verifier.py
+pycleaner/frameworks/__init__.py
+pycleaner/frameworks/plugins.py
+tests/test_baseline_and_explain.py
+tests/test_cache.py
 tests/test_cli.py
+tests/test_cli_prove.py
 tests/test_complexity_analyzer.py
 tests/test_config.py
 tests/test_dead_code_detector.py
+tests/test_dead_code_fixer.py
 tests/test_dependency_auditor.py
+tests/test_discovery.py
+tests/test_frameworks.py
 tests/test_import_resolver.py
 tests/test_linter_formatter.py
+tests/test_modernizer.py
+tests/test_mutation_test_generator.py
 tests/test_pipeline.py
 tests/test_security_scanner.py
 tests/test_syntax_healer.py
 tests/test_taint_engine.py
 tests/test_test_generator.py
-tests/test_type_checker.py
+tests/test_type_checker.py
+tests/test_verifier.py
+tests/test_verifier_pipeline.py

{ballpython-2.0.0 → ballpython-2.0.2}/pycleaner/__init__.py

@@ -10,19 +10,38 @@ dataflow taint vulnerabilities, and synthesizes automated behavioral test suites
 
 from __future__ import annotations
 
-__version__ = "2.0.0"
+from pycleaner.discovery import (
+    DEFAULT_IGNORED_DIRS,
+    PROTECTED_FILE_PATTERNS,
+    collect_project_python_files,
+    is_ignored_directory,
+    is_protected_file,
+)
+
+__version__ = "2.0.2"
 __all__ = [
+    "BaselineFingerprint",
+    "BaselineManager",
     "CleanPipeline",
     "CleanResult",
     "ComplexityAnalyzer",
     "ComplexityReport",
+    "ContentAddressableCache",
+    "CounterExample",
     "DeadCodeDetector",
+    "DeadCodeFixResult",
+    "DeadCodeFixer",
     "DeadCodeReport",
     "DependencyAuditor",
     "GeneratedTestSuite",
     "ImportResolver",
+    "IsolatedDifferentialVerifier",
     "LinterFormatter",
+    "ModernizeResult",
+    "Modernizer",
+    "ProofReceipt",
     "PyCleanerConfig",
+    "RuleExplanation",
     "SecurityReport",
     "SecurityScanner",
     "SyntaxHealer",
@@ -35,15 +54,27 @@ __all__ = [
     "TypeFinding",
     "TypeReport",
     "TypeshedResolver",
+    "VerificationTier",
+    "get_explanation",
+    "list_rules",
     "load_config",
 ]
 
+from pycleaner.baseline import BaselineFingerprint, BaselineManager
+from pycleaner.cache import ContentAddressableCache
 from pycleaner.complexity_analyzer import ComplexityAnalyzer, ComplexityReport
 from pycleaner.config import PyCleanerConfig, load_config
-from pycleaner.dead_code_detector import DeadCodeDetector, DeadCodeReport
+from pycleaner.dead_code_detector import (
+    DeadCodeDetector,
+    DeadCodeFixer,
+    DeadCodeFixResult,
+    DeadCodeReport,
+)
 from pycleaner.dependency_auditor import DependencyAuditor
+from pycleaner.explanations import RuleExplanation, get_explanation, list_rules
 from pycleaner.import_resolver import ImportResolver
 from pycleaner.linter_formatter import LinterFormatter
+from pycleaner.modernizer import Modernizer, ModernizeResult
 from pycleaner.pipeline import CleanPipeline, CleanResult
 from pycleaner.security_scanner import SecurityReport, SecurityScanner
 from pycleaner.syntax_healer import SyntaxHealer
@@ -51,3 +82,9 @@ from pycleaner.taint_engine import TaintEngine, TaintFinding, TaintReport
 from pycleaner.test_generator import GeneratedTestSuite, TestCase, TestGenerator
 from pycleaner.type_checker import TypeChecker, TypeFinding, TypeReport
 from pycleaner.typeshed_resolver import TypeshedResolver
+from pycleaner.verifier import (
+    CounterExample,
+    IsolatedDifferentialVerifier,
+    ProofReceipt,
+    VerificationTier,
+)

ballpython-2.0.2/pycleaner/baseline.py

@@ -0,0 +1,127 @@
+"""
+pycleaner.baseline
+==================
+
+Technical Debt Ratchet and Baseline Management Engine.
+
+Enables incremental adoption of PyCleaner on legacy codebases by snapshotting
+existing diagnostic violations into `.pycleaner/baseline.json`. Future CI/CD
+checks ensure that existing technical debt can only decrease, never increase.
+"""
+
+from __future__ import annotations
+
+import hashlib
+import json
+import time
+from dataclasses import dataclass
+from pathlib import Path
+from typing import Any
+
+
+@dataclass(frozen=True)
+class BaselineFingerprint:
+    rule: str
+    file: str
+    line: int
+    symbol: str
+
+    def to_hash(self) -> str:
+        raw = f"{self.rule}:{self.file}:{self.line}:{self.symbol}"
+        return hashlib.sha256(raw.encode("utf-8")).hexdigest()[:16]
+
+    def to_dict(self) -> dict[str, Any]:
+        return {
+            "rule": self.rule,
+            "file": self.file,
+            "line": self.line,
+            "symbol": self.symbol,
+            "hash": self.to_hash(),
+        }
+
+
+class BaselineManager:
+    """Manages baseline generation, loading, and ratchet comparison."""
+
+    def __init__(self, baseline_path: Path | str = ".pycleaner/baseline.json") -> None:
+        self.baseline_path = Path(baseline_path)
+
+    def load_fingerprints(self) -> set[str]:
+        """Loads baseline issue hashes from disk."""
+        if not self.baseline_path.exists():
+            return set()
+        try:
+            data = json.loads(self.baseline_path.read_text(encoding="utf-8"))
+            fingerprints = data.get("fingerprints", [])
+            return {
+                fp.get("hash")
+                for fp in fingerprints
+                if isinstance(fp, dict) and fp.get("hash")
+            }
+        except json.JSONDecodeError:
+            return set()
+
+    def save_baseline(
+        self,
+        fingerprints: list[BaselineFingerprint],
+        root_dir: Path,
+    ) -> Path:
+        """Serializes fingerprints to the baseline JSON file."""
+        self.baseline_path.parent.mkdir(parents=True, exist_ok=True)
+        payload = {
+            "version": 1,
+            "timestamp": time.strftime("%Y-%m-%dT%H:%M:%SZ", time.gmtime()),
+            "root_dir": str(root_dir.resolve()),
+            "issue_count": len(fingerprints),
+            "fingerprints": [fp.to_dict() for fp in fingerprints],
+        }
+        self.baseline_path.write_text(json.dumps(payload, indent=2), encoding="utf-8")
+        return self.baseline_path
+
+    @staticmethod
+    def create_fingerprint(
+        rule: str,
+        file_path: Path | str,
+        line: int,
+        symbol: str,
+        root_dir: Path | None = None,
+    ) -> BaselineFingerprint:
+        """Constructs a deterministic fingerprint with normalized relative path."""
+        p = Path(file_path)
+        if root_dir is not None:
+            try:
+                rel = str(p.resolve().relative_to(root_dir.resolve())).replace(
+                    "\\", "/"
+                )
+            except ValueError:
+                rel = p.name
+        else:
+            rel = p.name
+
+        return BaselineFingerprint(
+            rule=rule,
+            file=rel,
+            line=line,
+            symbol=symbol,
+        )
+
+    def filter_new_issues(
+        self,
+        issues: list[BaselineFingerprint],
+    ) -> tuple[list[BaselineFingerprint], list[BaselineFingerprint]]:
+        """
+        Separates issues into (tolerated_baseline_issues, new_debt_issues).
+        Returns:
+            (tolerated, new_debt)
+        """
+        known_hashes = self.load_fingerprints()
+        tolerated: list[BaselineFingerprint] = []
+        new_debt: list[BaselineFingerprint] = []
+
+        for issue in issues:
+            if issue.to_hash() in known_hashes:
+                tolerated.append(issue)
+            else:
+                new_debt.append(issue)
+
+        return tolerated, new_debt