python-constricter 0.3.5__tar.gz → 0.4.1__tar.gz

python_constricter-0.4.1/.gitignore

@@ -0,0 +1,107 @@
+# SPDX-License-Identifier: MIT
+
+# Everything generated on this machine (scratch, tool caches, local builds).
+local/
+
+# npm installs, the pinned CI Markdown tools' (.github/package.json) included.
+node_modules/
+
+# Claude Code: personal overrides, agent worktrees and host-specific agent
+# notes stay local.
+.claude/settings.local.json
+.claude/worktrees/
+CLAUDE.local.md
+# Claude Code's sandbox bind-mounts /dev/null over these denied paths while a
+# session runs; none is a file of this repo
+/.bash_profile
+/.bashrc
+/.gitconfig
+/.gitmodules
+/.idea
+/.mcp.json
+/.profile
+/.ripgreprc
+/.zprofile
+/.zshrc
+/.claude/agents
+/.claude/commands
+/.claude/hooks
+/.claude/launch.json
+/.claude/loop.md
+/.claude/output-styles
+/.claude/routines
+/.claude/scheduled_tasks.json
+/.claude/skills
+/.claude/workflows
+/.claude/.cc-writes
+# .claude/settings.json too: where it is tracked the ignore changes nothing,
+# and where it is not the device would show as untracked
+/.claude/settings.json
+
+# Secrets and local environment. A .env.example is a template with no real
+# values, so it stays tracked.
+.env
+.env.*
+!.env.example
+.envrc
+.direnv/
+*.key
+*.pem
+*.pfx
+*.crt
+*.cert
+*.pub
+*.rsa
+*.priv
+secret/
+secrets/
+private/
+keys/
+
+# Editor and OS droppings, and the backups merge tools leave beside a conflict.
+.DS_Store
+*.swp
+*.swo
+*~
+*.orig
+
+# Logs.
+*.log
+
+# Python's bytecode caches and packaging metadata, and Hypothesis's example
+# database.
+__pycache__/
+*.pyc
+*.egg-info/
+.hypothesis/
+.import_linter_cache/
+# Packaging output at the root; a build/ deeper in the tree is source.
+/build/
+/dist/
+# Rust build output.
+/target
+**/*.rs.bk
+# A local Jekyll build of the docs site; CI builds the real one.
+_site/
+.jekyll-cache/
+# Not used in this project; kept out so stray editor or tooling output isn't
+# committed by accident.
+*.js
+*.ts
+*.bat
+*.cmd
+*.ps
+*.ps1
+*.ps2
+*.psd
+*.doc
+*.docx
+*.id
+# Generated by a build (hatch_build.py, or `python -m stdlib_tables`): the
+# standard-library tables, and the tests' list of what only some platforms and
+# Pythons have.
+constricter/fix/tables/
+stdlib_tables/partial.json
+
+# The version the build writes from the git tag (pyproject.toml, [tool.hatch.build.hooks.vcs]).
+/constricter/_version.py

{python_constricter-0.3.5 → python_constricter-0.4.1}/LICENSE.md

@@ -1,6 +1,6 @@
 # MIT License
 
-Copyright (c) 2026 Ivy Duggan
+Copyright (c) 2026 Ivy Duggan <https://ivylikethevine.com>
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

{python_constricter-0.3.5 → python_constricter-0.4.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: python-constricter
-Version: 0.3.5
+Version: 0.4.1
 Import-Name: constricter
 Summary: Lint rules: every local variable is typed where it's first bound. A flake8 plugin, a pylint plugin and a standalone CLI.
 Author: Ivy Duggan
@@ -185,7 +185,7 @@ Options:
 | vague            | `--vague LEVEL` (LVA005, and the fixes offered): -1 none (the default), 0 one `Any` inside a type that says the rest (`tuple[str, Any]`), N from 1 N + 1, or one alone                                                                                                                                                     | `vague`                                         | `--constricter-vague`           | `constricter-vague`               |
 | min python       | `--min-python VERSION` (the oldest Python the code runs on, whose syntax `--fix` writes; default: `requires-python`'s)                                                                                                                                                                                                     | `min-python`                                    | -                               | -                                 |
 | type hierarchy   | -                                                                                                                                                                                                                                                                                                                          | `narrower` (a table)                            | `--constricter-narrower`        | `constricter-narrower`            |
-| fix              | `--fix` (`--unsafe-fixes` for guesses), `--diff` to preview                                                                                                                                                                                                                                                                | -                                               | -                               | -                                 |
+| fix              | `--fix` (`--unsafe-fixes` for guesses, `--likely` for those measured to hold), `--diff` to preview                                                                                                                                                                                                                         | -                                               | -                               | -                                 |
 | infer with       | `--infer-with CHECKERS` (`basedpyright`, `ty`, `pyrefly`, several: inferred types, as guesses)                                                                                                                                                                                                                             | `infer-with`                                    | -                               | -                                 |
 | infer from       | `--infer-from FILE` (the types `python -m constricter.trace -m pytest` recorded from a run, as guesses)                                                                                                                                                                                                                    | `infer-from`                                    | -                               | -                                 |
 | show fixes       | `--show-fixes` (each fix and how it was decided; with `--fix`, those made too)                                                                                                                                                                                                                                             | -                                               | -                               | -                                 |
@@ -245,8 +245,10 @@ ignore = ["LVA003"]
 `count: int = 0`), a container whose elements agree, a constructor or a function that declares its
 return type or whose `return`s agree (in another checked file too), a copy, subscript, attribute or
 method call of a local whose type is known, and values computed from those; a loop's target or an
-unpacking's names get a declaration on the line before. `--unsafe-fixes` adds guesses, and
-`--show-fixes` lists each fix and how its value decided it, and after `--fix` each one made.
+unpacking's names get a declaration on the line before. `--unsafe-fixes` adds guesses, `--likely`
+only those measured to hold as often as a certain fix
+([docs/LIKELY.md](https://github.com/ivylikethevine/python-constricter/blob/main/docs/LIKELY.md)),
+and `--show-fixes` lists each fix and how its value decided it, and after `--fix` each one made.
 `--infer-with basedpyright` (or `ty`, or `pyrefly`, or several: `basedpyright,ty`; each installed
 alongside) asks those type checkers for what `--fix` can't type itself, as guesses;
 `--infer-from FILE` takes the types a run bound each name to, recorded by
@@ -261,6 +263,9 @@ uvx --from python-constricter constricter # or run it without installing: uv's t
 pipx run --spec python-constricter constricter  # or pipx's
 ```
 
+On CPython 3.11 to 3.14 for Linux, macOS and Windows, pip installs a build compiled with mypyc,
+about a fifth faster; anywhere else, the pure Python one, which finds and fixes the same.
+
 Tools that run flake8 or pylint (VS Code's extensions, python-lsp-server, prospector, MegaLinter,
 Trunk) pick the plugin up once it's installed alongside them.
 
@@ -268,15 +273,18 @@ Without `lint.external`, ruff flags `# noqa: LVA00x` (RUF102) and `--fix` delete
 
 The CLI defaults to `.`, checks `*.py` and `*.ipynb`, and skips hidden dirs, `__pycache__`, `venv`,
 `site-packages`, `build`, `dist` and `node_modules` by directory name; `--exclude` adds more
-directory names (or globs) to skip the same way, on top of matching whole paths and file names. Exit
-codes: `0` no errors, `1` errors, `2` an unreadable or unparsable file, a `--fix` its encoding can't
-hold, or a bad `pyproject.toml`. A module is read in its PEP 263 declaration's encoding.
+directory names (or globs) to skip the same way, on top of matching whole paths and file names.
+Under a directory in a git checkout it checks only what git tracks or would, so nothing a
+`.gitignore` names (a file named on the command line is checked regardless); `--no-gitignore`, or
+`gitignore = false`, walks the directory whole. Exit codes: `0` no errors, `1` errors, `2` an
+unreadable or unparsable file, a `--fix` its encoding can't hold, or a bad `pyproject.toml`. A
+module is read in its PEP 263 declaration's encoding.
 
 pre-commit, after ruff's hooks (or `constricter-fix`, which runs `--fix` first):
 
 ```yaml
 - repo: https://github.com/ivylikethevine/python-constricter
-  rev: v0.3.5
+  rev: vX.Y.Z # the latest release; `pre-commit autoupdate` sets it
   hooks:
     - id: constricter
 ```
@@ -361,7 +369,7 @@ it to code scanning (the job needs `security-events: write`; the
 ```yaml
 - run: constricter --format=sarif src > constricter.sarif
 - if: ${{ !cancelled() }} # upload the findings even when the step above failed on them
-  uses: github/codeql-action/upload-sarif@1c5b675653bb5c22dbe9b12b556ec555138e09fd # v4.38.1
+  uses: github/codeql-action/upload-sarif@24c54180a607b1449ed407dd24f251e4e9147c8d # v4.38.3
   with:
     sarif_file: constricter.sarif
     category: constricter

{python_constricter-0.3.5 → python_constricter-0.4.1}/README.md

@@ -158,7 +158,7 @@ Options:
 | vague            | `--vague LEVEL` (LVA005, and the fixes offered): -1 none (the default), 0 one `Any` inside a type that says the rest (`tuple[str, Any]`), N from 1 N + 1, or one alone                                                                                                                                                     | `vague`                                         | `--constricter-vague`           | `constricter-vague`               |
 | min python       | `--min-python VERSION` (the oldest Python the code runs on, whose syntax `--fix` writes; default: `requires-python`'s)                                                                                                                                                                                                     | `min-python`                                    | -                               | -                                 |
 | type hierarchy   | -                                                                                                                                                                                                                                                                                                                          | `narrower` (a table)                            | `--constricter-narrower`        | `constricter-narrower`            |
-| fix              | `--fix` (`--unsafe-fixes` for guesses), `--diff` to preview                                                                                                                                                                                                                                                                | -                                               | -                               | -                                 |
+| fix              | `--fix` (`--unsafe-fixes` for guesses, `--likely` for those measured to hold), `--diff` to preview                                                                                                                                                                                                                         | -                                               | -                               | -                                 |
 | infer with       | `--infer-with CHECKERS` (`basedpyright`, `ty`, `pyrefly`, several: inferred types, as guesses)                                                                                                                                                                                                                             | `infer-with`                                    | -                               | -                                 |
 | infer from       | `--infer-from FILE` (the types `python -m constricter.trace -m pytest` recorded from a run, as guesses)                                                                                                                                                                                                                    | `infer-from`                                    | -                               | -                                 |
 | show fixes       | `--show-fixes` (each fix and how it was decided; with `--fix`, those made too)                                                                                                                                                                                                                                             | -                                               | -                               | -                                 |
@@ -218,8 +218,10 @@ ignore = ["LVA003"]
 `count: int = 0`), a container whose elements agree, a constructor or a function that declares its
 return type or whose `return`s agree (in another checked file too), a copy, subscript, attribute or
 method call of a local whose type is known, and values computed from those; a loop's target or an
-unpacking's names get a declaration on the line before. `--unsafe-fixes` adds guesses, and
-`--show-fixes` lists each fix and how its value decided it, and after `--fix` each one made.
+unpacking's names get a declaration on the line before. `--unsafe-fixes` adds guesses, `--likely`
+only those measured to hold as often as a certain fix
+([docs/LIKELY.md](https://github.com/ivylikethevine/python-constricter/blob/main/docs/LIKELY.md)),
+and `--show-fixes` lists each fix and how its value decided it, and after `--fix` each one made.
 `--infer-with basedpyright` (or `ty`, or `pyrefly`, or several: `basedpyright,ty`; each installed
 alongside) asks those type checkers for what `--fix` can't type itself, as guesses;
 `--infer-from FILE` takes the types a run bound each name to, recorded by
@@ -234,6 +236,9 @@ uvx --from python-constricter constricter # or run it without installing: uv's t
 pipx run --spec python-constricter constricter  # or pipx's
 ```
 
+On CPython 3.11 to 3.14 for Linux, macOS and Windows, pip installs a build compiled with mypyc,
+about a fifth faster; anywhere else, the pure Python one, which finds and fixes the same.
+
 Tools that run flake8 or pylint (VS Code's extensions, python-lsp-server, prospector, MegaLinter,
 Trunk) pick the plugin up once it's installed alongside them.
 
@@ -241,15 +246,18 @@ Without `lint.external`, ruff flags `# noqa: LVA00x` (RUF102) and `--fix` delete
 
 The CLI defaults to `.`, checks `*.py` and `*.ipynb`, and skips hidden dirs, `__pycache__`, `venv`,
 `site-packages`, `build`, `dist` and `node_modules` by directory name; `--exclude` adds more
-directory names (or globs) to skip the same way, on top of matching whole paths and file names. Exit
-codes: `0` no errors, `1` errors, `2` an unreadable or unparsable file, a `--fix` its encoding can't
-hold, or a bad `pyproject.toml`. A module is read in its PEP 263 declaration's encoding.
+directory names (or globs) to skip the same way, on top of matching whole paths and file names.
+Under a directory in a git checkout it checks only what git tracks or would, so nothing a
+`.gitignore` names (a file named on the command line is checked regardless); `--no-gitignore`, or
+`gitignore = false`, walks the directory whole. Exit codes: `0` no errors, `1` errors, `2` an
+unreadable or unparsable file, a `--fix` its encoding can't hold, or a bad `pyproject.toml`. A
+module is read in its PEP 263 declaration's encoding.
 
 pre-commit, after ruff's hooks (or `constricter-fix`, which runs `--fix` first):
 
 ```yaml
 - repo: https://github.com/ivylikethevine/python-constricter
-  rev: v0.3.5
+  rev: vX.Y.Z # the latest release; `pre-commit autoupdate` sets it
   hooks:
     - id: constricter
 ```
@@ -334,7 +342,7 @@ it to code scanning (the job needs `security-events: write`; the
 ```yaml
 - run: constricter --format=sarif src > constricter.sarif
 - if: ${{ !cancelled() }} # upload the findings even when the step above failed on them
-  uses: github/codeql-action/upload-sarif@1c5b675653bb5c22dbe9b12b556ec555138e09fd # v4.38.1
+  uses: github/codeql-action/upload-sarif@24c54180a607b1449ed407dd24f251e4e9147c8d # v4.38.3
   with:
     sarif_file: constricter.sarif
     category: constricter

{python_constricter-0.3.5 → python_constricter-0.4.1}/constricter/__init__.py

@@ -1,6 +1,7 @@
 # SPDX-License-Identifier: MIT
 """Every local variable typed where it's first bound."""
 
+from constricter._version import __version__  # written by the build, from the git tag
 from constricter.offences import (
     COMMENT_TYPED_TARGET,
     DEFAULT_CHECKS,
@@ -25,7 +26,6 @@ from constricter.offences import (
 )
 from constricter.rules.checker import Coverage, annotation_coverage, check_source, check_tree
 
-__version__ = "0.3.5"
 __all__ = [
     "COMMENT_TYPED_TARGET",
     "DEFAULT_CHECKS",

python_constricter-0.4.1/constricter/_version.py

@@ -0,0 +1,4 @@
+# SPDX-License-Identifier: MIT
+"""The version this was built as, from its git tag (written by the build, not tracked)."""
+
+__version__ = "0.4.1"

{python_constricter-0.3.5 → python_constricter-0.4.1}/constricter/cli/collecting.py

@@ -6,15 +6,21 @@ cyclic. Left to itself, the collector looked through the kept trees again and ag
 allocated: a third of the standard library's check (34s, 21s without). So while the command runs,
 it's off: what indexing built is frozen (never looked through again), and after each file, only
 what's been allocated since (the young generations) is collected, which bounds what a cycle can hold.
+Not on a free-threaded build, whose collector has no generations: each collection there looks through
+everything, and one after every file made a check several times as long. Its cycles wait for the run's
+end (a check of pandas held 2.9 GB so, to 2.7 GB).
 """
 
 import contextlib
 import gc
+import sysconfig
 from collections.abc import Generator
 from typing import Final
 
 _YOUNG: Final = 1  # the generations collected after each file: 0 and 1, never the frozen or the old
 _FREEZES: Final = hasattr(gc, "freeze")  # PyPy's collector has no freezing
+# Whether the collector has generations: a free-threaded build's has none, its GIL on or off.
+_YOUNGER: Final = not sysconfig.get_config_var("Py_GIL_DISABLED")
 
 
 @contextlib.contextmanager
@@ -44,4 +50,5 @@ def indexed() -> None:
 
 def sweep() -> None:
     """Collect what the file just checked left behind (see the module docstring)."""
-    _ = gc.collect(_YOUNG)
+    if _YOUNGER:
+        _ = gc.collect(_YOUNG)