PyPI - python-constricter - Versions diffs - 0.3.2__tar.gz → 0.3.5__tar.gz - Mend

python-constricter 0.3.2tar.gz → 0.3.5tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (163) hide show

{python_constricter-0.3.2 → python_constricter-0.3.5}/.gitignore RENAMED Viewed

@@ -42,6 +42,7 @@ stdlib_tables/partial.json
 /.claude/skills
 /.claude/workflows
 /.claude/.cc-writes
+/.vscode
 # Backups merge tools leave next to a conflicted file.
 *.orig

{python_constricter-0.3.2 → python_constricter-0.3.5}/PKG-INFO RENAMED Viewed

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: python-constricter
-Version: 0.3.2
+Version: 0.3.5
 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
@@ -173,37 +173,39 @@ enabled).
 Options:
-| Option           | CLI                                                                                                                                                                          | `[tool.constricter]`                            | flake8 (CLI or config)          | pylint                            |
-| ---------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------- | ------------------------------- | --------------------------------- |
-| level            | `--level`                                                                                                                                                                    | `level`                                         | `--constricter-level`           | `constricter-level`               |
-| strictest        | `--max`: `--level=suffocate` for every path, `--all-scopes`, and the opt-in `LVA012`                                                                                         | —                                               | —                               | —                                 |
-| every fix        | `--max-fix`: `--max`, `--fix --unsafe-fixes`, and `--infer-with` each of basedpyright, ty and pyrefly that's installed and runs                                              | —                                               | —                               | —                                 |
-| type comments    | `--type-comments`                                                                                                                                                            | `type-comments`                                 | `--constricter-type-comments`   | `constricter-type-comments = yes` |
-| all scopes       | `--all-scopes`                                                                                                                                                               | `all-scopes`                                    | `--constricter-all-scopes`      | `constricter-all-scopes = yes`    |
-| nesting          | `--nesting N`                                                                                                                                                                | `nesting`                                       | `--constricter-nesting`         | `constricter-nesting`             |
-| max length       | `--max-length N` (LVA011)                                                                                                                                                    | `max-length`                                    | `--constricter-max-length`      | `constricter-max-length`          |
-| 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                                                                                                                  | -                                               | -                               | -                                 |
-| infer with       | `--infer-with CHECKERS` (`basedpyright`, `ty`, `pyrefly`, several: inferred types, as guesses)                                                                               | `infer-with`                                    | -                               | -                                 |
-| show fixes       | `--show-fixes` (each fix and how it was decided, text)                                                                                                                       | -                                               | -                               | -                                 |
-| fix levels       | `--fix-select`, `--fix-ignore`, `--unsafe-fix-select` (mechanisms: [docs/FIXES.md](https://github.com/ivylikethevine/python-constricter/blob/main/docs/FIXES.md#fix-levels)) | `fix-select`, `fix-ignore`, `unsafe-fix-select` | -                               | -                                 |
-| fix plain bases  | `--fix-plain-bases BASES` (frameworks' classes whose subclasses' bodies `--fix` annotates; django's are built in)                                                            | `fix-plain-bases`                               | -                               | -                                 |
-| select           | `--select CODES` (codes or prefixes)                                                                                                                                         | `select`                                        | flake8's own `select`           | pylint's own `enable`             |
-| extend select    | `--extend-select CODES` (also report these; an opt-in code by its full code)                                                                                                 | `extend-select`                                 | flake8's own `extend-select`    | pylint's own `enable`             |
-| ignore           | `--ignore CODES`                                                                                                                                                             | `ignore`                                        | flake8's own `extend-ignore`    | pylint's own `disable`            |
-| exclude          | `--exclude GLOB` (repeatable)                                                                                                                                                | `exclude`                                       | flake8's own `exclude`          | pylint's own `ignore-paths`       |
-| format           | `--format`: `text`, `full` (with source), `json`, `github`, `sarif`, `gitlab`, `junit`, `rdjson`                                                                             | -                                               | -                               | -                                 |
-| statistics       | `--statistics` (counts per code, text format)                                                                                                                                | -                                               | -                               | -                                 |
-| jobs             | `--jobs N` (`-j`; 0: one per CPU)                                                                                                                                            | `jobs`                                          | flake8's own `--jobs`           | pylint's own `--jobs`             |
-| baseline         | `--baseline FILE`; `--write-baseline` records it                                                                                                                             | `baseline`                                      | -                               | -                                 |
-| coverage         | `--coverage`, `--fail-under PCT`                                                                                                                                             | -                                               | -                               | -                                 |
-| per-path levels  | -                                                                                                                                                                            | `per-path-levels`                               | -                               | -                                 |
-| per-file ignores | -                                                                                                                                                                            | `per-file-ignores`                              | flake8's own `per-file-ignores` | -                                 |
-| stdin            | `-` as the path, `--stdin-filename PATH`                                                                                                                                     | -                                               | flake8's own `-`                | -                                 |
-| exit status      | `--exit-zero`                                                                                                                                                                | -                                               | flake8's own `--exit-zero`      | pylint's own `--exit-zero`        |
-| output file      | `--output-file FILE`                                                                                                                                                         | -                                               | flake8's own `--output-file`    | pylint's own `--output`           |
+| Option           | CLI                                                                                                                                                                                                                                                                                                                        | `[tool.constricter]`                            | flake8 (CLI or config)          | pylint                            |
+| ---------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------- | ------------------------------- | --------------------------------- |
+| level            | `--level`                                                                                                                                                                                                                                                                                                                  | `level`                                         | `--constricter-level`           | `constricter-level`               |
+| strictest        | `--max`: `--level=suffocate` for every path, `--all-scopes`, and the opt-in `LVA012`                                                                                                                                                                                                                                       | —                                               | —                               | —                                 |
+| every fix        | `--max-fix`: `--max`, `--fix --unsafe-fixes`, and `--infer-with` each of basedpyright, ty and pyrefly that's installed and runs                                                                                                                                                                                            | —                                               | —                               | —                                 |
+| type comments    | `--type-comments`                                                                                                                                                                                                                                                                                                          | `type-comments`                                 | `--constricter-type-comments`   | `constricter-type-comments = yes` |
+| all scopes       | `--all-scopes`                                                                                                                                                                                                                                                                                                             | `all-scopes`                                    | `--constricter-all-scopes`      | `constricter-all-scopes = yes`    |
+| nesting          | `--nesting N`                                                                                                                                                                                                                                                                                                              | `nesting`                                       | `--constricter-nesting`         | `constricter-nesting`             |
+| max length       | `--max-length N` (LVA011)                                                                                                                                                                                                                                                                                                  | `max-length`                                    | `--constricter-max-length`      | `constricter-max-length`          |
+| 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                                                                                                                                                                                                                                                                | -                                               | -                               | -                                 |
+| 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)                                                                                                                                                                                                                                             | -                                               | -                               | -                                 |
+| fix levels       | `--fix-select`, `--fix-ignore`, `--unsafe-fix-select` (mechanisms: [docs/FIXES.md](https://github.com/ivylikethevine/python-constricter/blob/main/docs/FIXES.md#fix-levels))                                                                                                                                               | `fix-select`, `fix-ignore`, `unsafe-fix-select` | -                               | -                                 |
+| fix plain bases  | `--fix-plain-bases BASES` (frameworks' classes whose subclasses' bodies `--fix` annotates; django's are built in)                                                                                                                                                                                                          | `fix-plain-bases`                               | -                               | -                                 |
+| fix widen        | `--fix-widen KINDS` (wider types `--fix` may write, each marked: `untyped-parameters`, `empty-containers`, `mixed-containers`, `unions`, `vague`, `untyped-calls`, `unknown-calls`; `all`: every one; [docs/FIXES.md](https://github.com/ivylikethevine/python-constricter/blob/main/docs/FIXES.md#wider-types-fix-widen)) | `fix-widen`                                     | -                               | -                                 |
+| select           | `--select CODES` (codes or prefixes)                                                                                                                                                                                                                                                                                       | `select`                                        | flake8's own `select`           | pylint's own `enable`             |
+| extend select    | `--extend-select CODES` (also report these; an opt-in code by its full code)                                                                                                                                                                                                                                               | `extend-select`                                 | flake8's own `extend-select`    | pylint's own `enable`             |
+| ignore           | `--ignore CODES`                                                                                                                                                                                                                                                                                                           | `ignore`                                        | flake8's own `extend-ignore`    | pylint's own `disable`            |
+| exclude          | `--exclude GLOB` (repeatable)                                                                                                                                                                                                                                                                                              | `exclude`                                       | flake8's own `exclude`          | pylint's own `ignore-paths`       |
+| format           | `--format`: `text`, `full` (with source), `json`, `github`, `sarif`, `gitlab`, `junit`, `rdjson`                                                                                                                                                                                                                           | -                                               | -                               | -                                 |
+| statistics       | `--statistics` (counts per code, text format)                                                                                                                                                                                                                                                                              | -                                               | -                               | -                                 |
+| jobs             | `--jobs N` (`-j`; 0: one per CPU)                                                                                                                                                                                                                                                                                          | `jobs`                                          | flake8's own `--jobs`           | pylint's own `--jobs`             |
+| baseline         | `--baseline FILE`; `--write-baseline` records it                                                                                                                                                                                                                                                                           | `baseline`                                      | -                               | -                                 |
+| coverage         | `--coverage`, `--fail-under PCT`                                                                                                                                                                                                                                                                                           | -                                               | -                               | -                                 |
+| per-path levels  | -                                                                                                                                                                                                                                                                                                                          | `per-path-levels`                               | -                               | -                                 |
+| per-file ignores | -                                                                                                                                                                                                                                                                                                                          | `per-file-ignores`                              | flake8's own `per-file-ignores` | -                                 |
+| stdin            | `-` as the path, `--stdin-filename PATH`                                                                                                                                                                                                                                                                                   | -                                               | flake8's own `-`                | -                                 |
+| exit status      | `--exit-zero`                                                                                                                                                                                                                                                                                                              | -                                               | flake8's own `--exit-zero`      | pylint's own `--exit-zero`        |
+| output file      | `--output-file FILE`                                                                                                                                                                                                                                                                                                       | -                                               | flake8's own `--output-file`    | pylint's own `--output`           |
 `constricter --explain LVA002` prints a code's rationale, its fix, and the levels that report it.
@@ -244,9 +246,11 @@ ignore = ["LVA003"]
 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. `--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. The full list is in
+`--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
+`python -m constricter.trace -m pytest`, the same way. The full list is in
 [docs/FIXES.md](https://github.com/ivylikethevine/python-constricter/blob/main/docs/FIXES.md).
 ### Installing and running
@@ -272,7 +276,7 @@ pre-commit, after ruff's hooks (or `constricter-fix`, which runs `--fix` first):
 ```yaml
 - repo: https://github.com/ivylikethevine/python-constricter
-  rev: v0.3.2
+  rev: v0.3.5
   hooks:
     - id: constricter
 ```
@@ -305,8 +309,8 @@ default one is used only if it exists.
 total; the bindings are the ones the rules cover (with `--all-scopes`, module and class bodies too),
 and `# noqa` doesn't make one typed. `--fail-under PCT` (which implies `--coverage`) exits 1 below
 PCT, so CI can hold a codebase to a share. With `--format=json` it prints
-`{"typed", "total", "percent", "files"}`, which a badge can read: publish that JSON somewhere (a
-gist, a release asset) and point
+`{"typed", "total", "widened", "percent", "files"}`, which a badge can read: publish that JSON
+somewhere (a gist, a release asset) and point
 [shields.io's dynamic JSON badge](https://shields.io/badges/dynamic-json-badge) at it with the query
 `$.percent`. This project keeps its own share at 100% in CI, so its badge is static.

{python_constricter-0.3.2 → python_constricter-0.3.5}/README.md RENAMED Viewed

@@ -146,37 +146,39 @@ enabled).
 Options:
-| Option           | CLI                                                                                                                                                                          | `[tool.constricter]`                            | flake8 (CLI or config)          | pylint                            |
-| ---------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------- | ------------------------------- | --------------------------------- |
-| level            | `--level`                                                                                                                                                                    | `level`                                         | `--constricter-level`           | `constricter-level`               |
-| strictest        | `--max`: `--level=suffocate` for every path, `--all-scopes`, and the opt-in `LVA012`                                                                                         | —                                               | —                               | —                                 |
-| every fix        | `--max-fix`: `--max`, `--fix --unsafe-fixes`, and `--infer-with` each of basedpyright, ty and pyrefly that's installed and runs                                              | —                                               | —                               | —                                 |
-| type comments    | `--type-comments`                                                                                                                                                            | `type-comments`                                 | `--constricter-type-comments`   | `constricter-type-comments = yes` |
-| all scopes       | `--all-scopes`                                                                                                                                                               | `all-scopes`                                    | `--constricter-all-scopes`      | `constricter-all-scopes = yes`    |
-| nesting          | `--nesting N`                                                                                                                                                                | `nesting`                                       | `--constricter-nesting`         | `constricter-nesting`             |
-| max length       | `--max-length N` (LVA011)                                                                                                                                                    | `max-length`                                    | `--constricter-max-length`      | `constricter-max-length`          |
-| 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                                                                                                                  | -                                               | -                               | -                                 |
-| infer with       | `--infer-with CHECKERS` (`basedpyright`, `ty`, `pyrefly`, several: inferred types, as guesses)                                                                               | `infer-with`                                    | -                               | -                                 |
-| show fixes       | `--show-fixes` (each fix and how it was decided, text)                                                                                                                       | -                                               | -                               | -                                 |
-| fix levels       | `--fix-select`, `--fix-ignore`, `--unsafe-fix-select` (mechanisms: [docs/FIXES.md](https://github.com/ivylikethevine/python-constricter/blob/main/docs/FIXES.md#fix-levels)) | `fix-select`, `fix-ignore`, `unsafe-fix-select` | -                               | -                                 |
-| fix plain bases  | `--fix-plain-bases BASES` (frameworks' classes whose subclasses' bodies `--fix` annotates; django's are built in)                                                            | `fix-plain-bases`                               | -                               | -                                 |
-| select           | `--select CODES` (codes or prefixes)                                                                                                                                         | `select`                                        | flake8's own `select`           | pylint's own `enable`             |
-| extend select    | `--extend-select CODES` (also report these; an opt-in code by its full code)                                                                                                 | `extend-select`                                 | flake8's own `extend-select`    | pylint's own `enable`             |
-| ignore           | `--ignore CODES`                                                                                                                                                             | `ignore`                                        | flake8's own `extend-ignore`    | pylint's own `disable`            |
-| exclude          | `--exclude GLOB` (repeatable)                                                                                                                                                | `exclude`                                       | flake8's own `exclude`          | pylint's own `ignore-paths`       |
-| format           | `--format`: `text`, `full` (with source), `json`, `github`, `sarif`, `gitlab`, `junit`, `rdjson`                                                                             | -                                               | -                               | -                                 |
-| statistics       | `--statistics` (counts per code, text format)                                                                                                                                | -                                               | -                               | -                                 |
-| jobs             | `--jobs N` (`-j`; 0: one per CPU)                                                                                                                                            | `jobs`                                          | flake8's own `--jobs`           | pylint's own `--jobs`             |
-| baseline         | `--baseline FILE`; `--write-baseline` records it                                                                                                                             | `baseline`                                      | -                               | -                                 |
-| coverage         | `--coverage`, `--fail-under PCT`                                                                                                                                             | -                                               | -                               | -                                 |
-| per-path levels  | -                                                                                                                                                                            | `per-path-levels`                               | -                               | -                                 |
-| per-file ignores | -                                                                                                                                                                            | `per-file-ignores`                              | flake8's own `per-file-ignores` | -                                 |
-| stdin            | `-` as the path, `--stdin-filename PATH`                                                                                                                                     | -                                               | flake8's own `-`                | -                                 |
-| exit status      | `--exit-zero`                                                                                                                                                                | -                                               | flake8's own `--exit-zero`      | pylint's own `--exit-zero`        |
-| output file      | `--output-file FILE`                                                                                                                                                         | -                                               | flake8's own `--output-file`    | pylint's own `--output`           |
+| Option           | CLI                                                                                                                                                                                                                                                                                                                        | `[tool.constricter]`                            | flake8 (CLI or config)          | pylint                            |
+| ---------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------- | ------------------------------- | --------------------------------- |
+| level            | `--level`                                                                                                                                                                                                                                                                                                                  | `level`                                         | `--constricter-level`           | `constricter-level`               |
+| strictest        | `--max`: `--level=suffocate` for every path, `--all-scopes`, and the opt-in `LVA012`                                                                                                                                                                                                                                       | —                                               | —                               | —                                 |
+| every fix        | `--max-fix`: `--max`, `--fix --unsafe-fixes`, and `--infer-with` each of basedpyright, ty and pyrefly that's installed and runs                                                                                                                                                                                            | —                                               | —                               | —                                 |
+| type comments    | `--type-comments`                                                                                                                                                                                                                                                                                                          | `type-comments`                                 | `--constricter-type-comments`   | `constricter-type-comments = yes` |
+| all scopes       | `--all-scopes`                                                                                                                                                                                                                                                                                                             | `all-scopes`                                    | `--constricter-all-scopes`      | `constricter-all-scopes = yes`    |
+| nesting          | `--nesting N`                                                                                                                                                                                                                                                                                                              | `nesting`                                       | `--constricter-nesting`         | `constricter-nesting`             |
+| max length       | `--max-length N` (LVA011)                                                                                                                                                                                                                                                                                                  | `max-length`                                    | `--constricter-max-length`      | `constricter-max-length`          |
+| 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                                                                                                                                                                                                                                                                | -                                               | -                               | -                                 |
+| 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)                                                                                                                                                                                                                                             | -                                               | -                               | -                                 |
+| fix levels       | `--fix-select`, `--fix-ignore`, `--unsafe-fix-select` (mechanisms: [docs/FIXES.md](https://github.com/ivylikethevine/python-constricter/blob/main/docs/FIXES.md#fix-levels))                                                                                                                                               | `fix-select`, `fix-ignore`, `unsafe-fix-select` | -                               | -                                 |
+| fix plain bases  | `--fix-plain-bases BASES` (frameworks' classes whose subclasses' bodies `--fix` annotates; django's are built in)                                                                                                                                                                                                          | `fix-plain-bases`                               | -                               | -                                 |
+| fix widen        | `--fix-widen KINDS` (wider types `--fix` may write, each marked: `untyped-parameters`, `empty-containers`, `mixed-containers`, `unions`, `vague`, `untyped-calls`, `unknown-calls`; `all`: every one; [docs/FIXES.md](https://github.com/ivylikethevine/python-constricter/blob/main/docs/FIXES.md#wider-types-fix-widen)) | `fix-widen`                                     | -                               | -                                 |
+| select           | `--select CODES` (codes or prefixes)                                                                                                                                                                                                                                                                                       | `select`                                        | flake8's own `select`           | pylint's own `enable`             |
+| extend select    | `--extend-select CODES` (also report these; an opt-in code by its full code)                                                                                                                                                                                                                                               | `extend-select`                                 | flake8's own `extend-select`    | pylint's own `enable`             |
+| ignore           | `--ignore CODES`                                                                                                                                                                                                                                                                                                           | `ignore`                                        | flake8's own `extend-ignore`    | pylint's own `disable`            |
+| exclude          | `--exclude GLOB` (repeatable)                                                                                                                                                                                                                                                                                              | `exclude`                                       | flake8's own `exclude`          | pylint's own `ignore-paths`       |
+| format           | `--format`: `text`, `full` (with source), `json`, `github`, `sarif`, `gitlab`, `junit`, `rdjson`                                                                                                                                                                                                                           | -                                               | -                               | -                                 |
+| statistics       | `--statistics` (counts per code, text format)                                                                                                                                                                                                                                                                              | -                                               | -                               | -                                 |
+| jobs             | `--jobs N` (`-j`; 0: one per CPU)                                                                                                                                                                                                                                                                                          | `jobs`                                          | flake8's own `--jobs`           | pylint's own `--jobs`             |
+| baseline         | `--baseline FILE`; `--write-baseline` records it                                                                                                                                                                                                                                                                           | `baseline`                                      | -                               | -                                 |
+| coverage         | `--coverage`, `--fail-under PCT`                                                                                                                                                                                                                                                                                           | -                                               | -                               | -                                 |
+| per-path levels  | -                                                                                                                                                                                                                                                                                                                          | `per-path-levels`                               | -                               | -                                 |
+| per-file ignores | -                                                                                                                                                                                                                                                                                                                          | `per-file-ignores`                              | flake8's own `per-file-ignores` | -                                 |
+| stdin            | `-` as the path, `--stdin-filename PATH`                                                                                                                                                                                                                                                                                   | -                                               | flake8's own `-`                | -                                 |
+| exit status      | `--exit-zero`                                                                                                                                                                                                                                                                                                              | -                                               | flake8's own `--exit-zero`      | pylint's own `--exit-zero`        |
+| output file      | `--output-file FILE`                                                                                                                                                                                                                                                                                                       | -                                               | flake8's own `--output-file`    | pylint's own `--output`           |
 `constricter --explain LVA002` prints a code's rationale, its fix, and the levels that report it.
@@ -217,9 +219,11 @@ ignore = ["LVA003"]
 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. `--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. The full list is in
+`--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
+`python -m constricter.trace -m pytest`, the same way. The full list is in
 [docs/FIXES.md](https://github.com/ivylikethevine/python-constricter/blob/main/docs/FIXES.md).
 ### Installing and running
@@ -245,7 +249,7 @@ pre-commit, after ruff's hooks (or `constricter-fix`, which runs `--fix` first):
 ```yaml
 - repo: https://github.com/ivylikethevine/python-constricter
-  rev: v0.3.2
+  rev: v0.3.5
   hooks:
     - id: constricter
 ```
@@ -278,8 +282,8 @@ default one is used only if it exists.
 total; the bindings are the ones the rules cover (with `--all-scopes`, module and class bodies too),
 and `# noqa` doesn't make one typed. `--fail-under PCT` (which implies `--coverage`) exits 1 below
 PCT, so CI can hold a codebase to a share. With `--format=json` it prints
-`{"typed", "total", "percent", "files"}`, which a badge can read: publish that JSON somewhere (a
-gist, a release asset) and point
+`{"typed", "total", "widened", "percent", "files"}`, which a badge can read: publish that JSON
+somewhere (a gist, a release asset) and point
 [shields.io's dynamic JSON badge](https://shields.io/badges/dynamic-json-badge) at it with the query
 `$.percent`. This project keeps its own share at 100% in CI, so its badge is static.

{python_constricter-0.3.2 → python_constricter-0.3.5}/constricter/__init__.py RENAMED Viewed

@@ -25,7 +25,7 @@ from constricter.offences import (
 )
 from constricter.rules.checker import Coverage, annotation_coverage, check_source, check_tree
-__version__ = "0.3.2"
+__version__ = "0.3.5"
 __all__ = [
     "COMMENT_TYPED_TARGET",
     "DEFAULT_CHECKS",

python_constricter-0.3.5/constricter/__main__.py ADDED Viewed

@@ -0,0 +1,26 @@
+# SPDX-License-Identifier: MIT
+"""`python -m constricter`, and the `constricter` script."""
+import contextlib
+import os
+import sys
+from constricter.cli.command import main
+def run() -> None:
+    """Run the command, and leave with its status at once.
+    Not by the interpreter's own exit, which frees every parsed file and the index an object at a
+    time: a fifth of a check of a thousand files. What the command wrote is flushed first; nothing
+    else waits on the exit (its workers have ended, its output file is closed).
+    """
+    status: int = main()
+    with contextlib.suppress(OSError, ValueError):  # a reader that left, a stream closed already
+        _ = sys.stdout.flush()
+        _ = sys.stderr.flush()
+    os._exit(status)
+if __name__ == "__main__":  # not when `--jobs` workers import it
+    run()

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

python-constricter 0.3.2tar.gz → 0.3.5tar.gz