pytest-selective 0.4.2__tar.gz → 1.0.0__tar.gz

{pytest_selective-0.4.2 → pytest_selective-1.0.0}/.github/test-lanes.json

@@ -7,6 +7,11 @@
     "test_roots": [
       "tests"
     ],
+    "global_inputs": [
+      "pyproject.toml",
+      "uv.lock",
+      ".python-version"
+    ],
     "pytest_policy": {
       "pyproject.toml": "7a78d68735c0e3b091962244620d3a17557951123c645970638f15d3a737d987"
     }
@@ -20,6 +25,27 @@
         "src/**",
         "tests/**"
       ]
+    },
+    "contracts": {
+      "roots": [
+        "contracts"
+      ],
+      "inputs": [
+        "src/**",
+        "contracts/**",
+        "tests/testing/git_repo.py"
+      ]
+    },
+    "package": {
+      "inputs": [
+        "src/**",
+        "pyproject.toml",
+        "uv.lock",
+        "README.md",
+        "LICENSE",
+        "scripts/check_metadata.py",
+        "scripts/smoke_distribution.py"
+      ]
     }
   },
   "global_inputs": [
@@ -33,9 +59,9 @@
     ".github/test-lanes.json",
     ".github/workflows/ci.yml",
     ".github/workflows/release.yml",
-    "actions/**",
+    "actions/*/*",
+    "actions/*.py",
     "action.yml",
-    "examples/**",
     ".github/workflows/public-actions.yml"
   ]
 }

{pytest_selective-0.4.2 → pytest_selective-1.0.0}/.github/workflows/ci.yml

@@ -6,6 +6,8 @@ on:
     types: [opened, synchronize, reopened]
   workflow_dispatch:
   workflow_call:
+  schedule:
+    - cron: '13 3 * * 1'
 permissions:
   contents: read
 concurrency:
@@ -92,13 +94,12 @@ jobs:
         with:
           junit-pattern: test-timings.xml
           artifact-name: test-timings-${{ matrix.python }}-${{ matrix.os }}
-      - run: uv run --locked python scripts/tutorial.py --output tutorial-report.json
+      # tests/test_tutorial.py owns the end-to-end tutorial and follows the file plan.
       - uses: actions/upload-artifact@v7
+        if: ${{ hashFiles('coverage.xml') != '' }}
         with:
           name: evidence-${{ matrix.os }}-${{ matrix.python }}
-          path: |
-            coverage.xml
-            tutorial-report.json
+          path: coverage.xml
   pytest-minimum:
     needs: select-tests
     if: >-
@@ -119,8 +120,10 @@ jobs:
           CI_TEST_FILES: ${{ needs.select-tests.outputs.files }}
   distributions:
     needs: select-tests
-    # README changes still need build/metadata checks; planner failure must not skip them.
-    if: ${{ !cancelled() }}
+    # The package lane includes the embedded README and LICENSE; planner failure must not skip it.
+    if: >-
+      ${{ always() && !cancelled() && (needs.select-tests.result != 'success' ||
+          fromJSON(needs.select-tests.outputs.lanes).package) }}
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v7
@@ -141,9 +144,43 @@ jobs:
           path: dist/*
           if-no-files-found: error
 
+  selection-contract:
+    name: Selection contract (Quint)
+    needs: select-tests
+    permissions:
+      contents: read
+      # The contract report's pull-request comment.
+      pull-requests: write
+    if: >-
+      ${{ always() && !cancelled() && (needs.select-tests.result != 'success' ||
+          fromJSON(needs.select-tests.outputs.lanes).contracts) }}
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v7
+      - uses: gigaverse-app/ci-esta/actions/setup-cached-uv@v1
+        with:
+          python-version: '3.14'
+      # pytest-quint-connect installs its locked Quint with npm on first use.
+      - uses: actions/setup-node@v7
+        with:
+          node-version: '24'
+      - name: Check the generated driver against the model
+        run: uv run --locked --group quint pytest-quint-connect codegen --check contracts/selection/quint-connect.json
+      - name: Generate histories from the model and replay them against the planner
+        run: uv run --locked --group quint pytest -c contracts/selection/quint.ini contracts/selection --quint-require-complete -q
+      # Match the README with the same locked renderer that produced these receipts.
+      # A presentation update to the floating report action must not break an immutable release.
+      - name: Check the README against the locked contract renderer
+        run: uv run --locked --group quint pytest-quint-connect report '**/.artifacts/quint-connect/results.json' --readme README.md --check
+      # The current action owns the sticky and artifacts, independently of README formatting.
+      - uses: gigaverse-app/pytest-quint-connect/report@v1
+        if: ${{ always() }}
+        with:
+          readme-mode: 'off'
+
   validation-gate:
     name: Validation gate
-    needs: [select-tests, quality, tests, pytest-minimum, distributions]
+    needs: [select-tests, quality, tests, pytest-minimum, distributions, selection-contract]
     if: ${{ !cancelled() }}
     runs-on: ubuntu-latest
     steps:
@@ -151,4 +188,4 @@ jobs:
         with:
           needs: ${{ toJSON(needs) }}
           lanes: ${{ needs.select-tests.outputs.lanes || '{}' }}
-          lane-jobs: '{"tests":["tests"],"pytest-minimum":["tests"]}'
+          lane-jobs: '{"tests":["tests"],"pytest-minimum":["tests"],"distributions":["package"],"selection-contract":["contracts"]}'

{pytest_selective-0.4.2 → pytest_selective-1.0.0}/.github/workflows/public-actions.yml

@@ -4,6 +4,8 @@ on:
   push:
     branches: [main]
   workflow_dispatch:
+  schedule:
+    - cron: '33 3 * * 1'
 permissions:
   contents: read
 jobs:
@@ -67,7 +69,9 @@ jobs:
         run: |
           python - <<'PY'
           import json, os
-          assert json.loads(os.environ['LANES']) == {'tests': True}
+          # A full checkpoint admits every configured lane.
+          configured = json.load(open('.github/test-lanes.json', encoding='utf-8'))['lanes']
+          assert json.loads(os.environ['LANES']) == dict.fromkeys(configured, True)
           PY
       - name: Require successful planning after fallback execution
         if: ${{ !cancelled() && needs.select-tests.result != 'success' }}

{pytest_selective-0.4.2 → pytest_selective-1.0.0}/.github/workflows/release.yml

@@ -21,6 +21,10 @@ jobs:
           uv run --no-project python -c 'import os, pathlib, tomllib; version = tomllib.loads(pathlib.Path("pyproject.toml").read_text())["project"]["version"]; assert os.environ["RELEASE_REF"] == f"refs/tags/v{version}", "Run publishing from the version-matching v tag"'
   checks:
     needs: validate-tag
+    # Reusable CI's Quint report requests this grant, even on a tag with no PR.
+    permissions:
+      contents: read
+      pull-requests: write
     uses: ./.github/workflows/ci.yml
   publish:
     needs: checks

{pytest_selective-0.4.2 → pytest_selective-1.0.0}/.gitignore

@@ -18,3 +18,6 @@ tutorial-report.json
 
 # Local judge credentials
 .env
+
+# pytest-quint-connect receipts, traces and logs
+.artifacts/

pytest_selective-1.0.0/.release-please-manifest.json

@@ -0,0 +1,3 @@
+{
+  ".": "1.0.0"
+}

{pytest_selective-0.4.2 → pytest_selective-1.0.0}/AGENTS.md

@@ -11,6 +11,11 @@ on pytest-selective itself.
 - Reproduce selection bugs using real temporary Git repositories and existing
   `tests/testing/git_repo.py` helpers. Cover base and head trees, deleted inputs,
   explicit declarations and the relevant fallback. Do not mock away selection.
+- The planner's import, conftest, declaration and content-read closure, its parse-error
+  stop, its selection against older bases and its graph cache's transparency are also a
+  Quint contract in
+  `contracts/selection`. After changing selection, run it (CONTRIBUTING.md, *The selection
+  contract*); extend the model rather than weakening it when the promise changes.
 - Planning supports committed revisions and explicit working-tree snapshots. Preserve full execution on
   operational uncertainty and diagnostics for invalid declarations. An empty
   selection is not an empty pytest argument list.

{pytest_selective-0.4.2 → pytest_selective-1.0.0}/CHANGELOG.md

@@ -1,5 +1,20 @@
 # Changelog
 
+## [1.0.0](https://github.com/gigaverse-app/pytest-selective/compare/v0.4.3...v1.0.0) (2026-11-08)
+
+
+### Bug fixes
+
+* **ci:** streamline dogfood checks and prepare the 1.0 release ([#97](https://github.com/gigaverse-app/pytest-selective/issues/97)) ([5c79edc](https://github.com/gigaverse-app/pytest-selective/commit/5c79edcc2e234ccd90902ef001d2852cf7ecfdbc))
+* **selection:** follow star imports to the submodules a package lists in __all__ ([#94](https://github.com/gigaverse-app/pytest-selective/issues/94)) ([ea02fbf](https://github.com/gigaverse-app/pytest-selective/commit/ea02fbfe85c2d5b6e8685a4b159215d421f78653))
+
+## [0.4.3](https://github.com/gigaverse-app/pytest-selective/compare/v0.4.2...v0.4.3) (2026-11-08)
+
+
+### Bug fixes
+
+* **lanes:** select lanes through the graph and match ** like gitignore ([#90](https://github.com/gigaverse-app/pytest-selective/issues/90)) ([107b021](https://github.com/gigaverse-app/pytest-selective/commit/107b0212ed741ac72c36a39cc864906eca75d1ab))
+
 ## [0.4.2](https://github.com/gigaverse-app/pytest-selective/compare/v0.4.1...v0.4.2) (2026-11-07)
 
 

{pytest_selective-0.4.2 → pytest_selective-1.0.0}/CONTRIBUTING.md

@@ -32,6 +32,31 @@ Changes to collection policy, runtime auditing, or the composite action need tes
 at that boundary. Update the tutorial when the public command contract changes.
 Keep performance claims tied to reproducible measurements and their limitations.
 
+### The selection contract
+
+[contracts/selection](contracts/selection/README.md) states the planner's core
+promise as a [Quint](https://quint.sh) model and checks it with
+[pytest-quint-connect](https://github.com/gigaverse-app/pytest-quint-connect):
+generated histories of real commits, each selected by `affected()` and compared
+with the model. It runs as its own CI lane, outside the xdist suite, and needs
+Node.js 22+ for Quint:
+
+```bash
+uv run --group quint pytest -c contracts/selection/quint.ini contracts/selection --quint-require-complete
+```
+
+When selection semantics change on purpose, change `selection.qnt` with them and
+regenerate the driver (`pytest-quint-connect codegen contracts/selection/quint-connect.json`).
+Never drop a witness, mutant or observed field to make it pass.
+
+CI reports each run in one pull-request comment and checks the README's contract block
+against it. After a change to the contract's cases, refresh the block from a complete
+local run and commit it:
+
+```bash
+uv run --group quint pytest-quint-connect report '**/.artifacts/quint-connect/results.json' --readme README.md
+```
+
 ### Shared implementation owners
 
 | Contract | Owner |
@@ -72,8 +97,9 @@ limitations. The pull request template provides a short checklist. See
 ## CI lane selection
 
 This repository uses its own `plan-lanes` action. Documentation-only PRs keep
-quality checks (including Markdown links) and distribution build/metadata checks,
-while skipping the six-platform pytest matrix and minimum-pytest lane. Within an
+quality checks (including Markdown links) and the documentation build, while
+skipping every test lane and the distribution build. A README or LICENSE change
+also runs the `package` lane, because both distributions embed them. Within an
 admitted lane, the repository's public file-selection action selects affected
 test files once; the platform matrix and minimum-pytest job execute that same
 plan. CI-esta receives both lane and file explanations, learns JUnit timings,
@@ -171,6 +197,12 @@ history or failed planning must execute the full affected lanes and fail the
 required planning gate. Ordinary PRs and pushes use selection; manual/release/scheduled/full overrides
 remain complete checkpoints.
 
+CI and public-action smoke run full checkpoints every Monday. Ordinary runs keep
+the shared affected-file plan across all six OS/Python combinations and minimum
+pytest. `tests/test_tutorial.py` owns the end-to-end tutorial execution and follows
+that plan; there is no second tutorial invocation in each matrix job. JUnit retains
+its test result and timing, and full plans also upload whole-suite coverage.
+
 ## Duplication
 
 `uv run pre-commit install` installs both the staged dry-lint check and the

{pytest_selective-0.4.2 → pytest_selective-1.0.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: pytest-selective
-Version: 0.4.2
+Version: 1.0.0
 Summary: Explainable Python test impact analysis: select affected pytest files from Git changes
 Project-URL: Homepage, https://github.com/gigaverse-app/pytest-selective
 Project-URL: Documentation, https://pytest-selective.readthedocs.io/en/latest/
@@ -233,7 +233,7 @@ skip pytest, because invoking pytest without paths runs the whole suite.
 | --- | --- |
 | A transitive dependency | Import chains and package initialization |
 | A deleted or renamed module | Dependencies in both the base and head trees |
-| Fixtures or startup code | Ancestor conftests and configured global modules |
+| Fixtures or startup code | Ancestor conftests, plugins named by `-p` in `addopts`, and configured global modules |
 | Templates, schemas, or data files | [Reader-owned declarations and YAML sidecars](docs/tutorials/sidecar-dependencies.md) |
 | A surprisingly large selection | Dependency paths, startup-floor and blast-radius explanations |
 | A large CI suite | Cached parsing, graph reuse, and duration-based shard planning |
@@ -262,6 +262,41 @@ and evidence checks.
 
 [Read the evidence, safety boundaries, and adoption checklist](https://github.com/gigaverse-app/pytest-selective/blob/main/docs/evidence.md).
 
+### Selection checked against a model
+
+The planner's core promise is also a [Quint](https://quint.sh) model. CI replays generated
+histories of real commits through the planner and requires every deliberately broken
+planner to be caught ([selection contract](https://github.com/gigaverse-app/pytest-selective/blob/main/contracts/selection/README.md)). The block below
+is the latest complete run, checked by
+[pytest-quint-connect](https://github.com/gigaverse-app/pytest-quint-connect) on every
+change that runs the contract.
+
+<!-- pytest-quint-connect:start -->
+<!-- pytest-quint-connect:contracts selection -->
+<a href="https://github.com/gigaverse-app/pytest-quint-connect#impact"><picture><source media="(prefers-color-scheme: dark)" srcset="https://pytest-quint-connect-counter.gigaverse-oss.workers.dev/v1/sign.svg?key=f8e41d50ca4018845c305f2f0dbd1cfd6d9b281e53b352490af53154a54e6265&amp;name=gigaverse-app%2Fpytest-selective&amp;theme=dark"><img alt="What pytest-quint-connect&#x27;s contracts caught in gigaverse-app/pytest-selective&#x27;s pull requests" src="https://pytest-quint-connect-counter.gigaverse-oss.workers.dev/v1/sign.svg?key=f8e41d50ca4018845c305f2f0dbd1cfd6d9b281e53b352490af53154a54e6265&amp;name=gigaverse-app%2Fpytest-selective" width="100%"></picture></a>
+
+<a href="https://github.com/gigaverse-app/pytest-quint-connect" title="Mutants: deliberately broken copies of the code. Each must make some history diverge, proving the contract would notice that kind of bug"><img alt="Quint contracts: 1 contract passed · 44 histories · 10/10 planted bugs caught" src="https://img.shields.io/badge/Quint_contracts-1_contract_passed_%C2%B7_44_histories_%C2%B7_10%2F10_planted_bugs_caught-brightgreen"></a>
+
+| | Contract | Cases passed | [Planted bugs caught](https://github.com/gigaverse-app/pytest-quint-connect/blob/main/docs/why.md#proof-that-the-tests-can-fail "Mutants: deliberately broken copies of the code. Each must make some history diverge, proving the contract would notice that kind of bug") |
+| :-: | :-- | --: | --: |
+| ✅ | `selection` `test_selection_contract.py::test_selection`<br><sub>44 histories (20 witnesses, 24 samples, seed 11) · every action covered · Quint 0.33.1</sub> | 55/55 | 10/10 |
+
+**[Planted bugs](https://github.com/gigaverse-app/pytest-quint-connect/blob/main/docs/why.md#proof-that-the-tests-can-fail "Mutants: deliberately broken copies of the code. Each must make some history diverge, proving the contract would notice that kind of bug") this contract catches**
+
+- `head-edges-only`: Plans with the head tree's edges only, so a deleted module's former importers are not selected. Caught by `witness-deletedModuleSelectsFormerImportersTest` at state 1, after `remove(file='beta', target='')`.
+- `direct-importers-only`: Follows only files that import a changed file directly, not their importers. Caught by `witness-transitiveEditTest` at state 1, after `edit(file='beta', target='')`.
+- `global-inputs-ignored`: Treats requirements.txt like any unreferenced file instead of selecting every test. Caught by `witness-globalInputSelectsEveryTestTest` at state 1, after `touchGlobal(file='', target='')`.
+- `content-follows-imports`: Reads a kind: content declaration as an import, so it also follows the read file's imports. Caught by `witness-contentReadIsNotTransitiveTest` at state 2, after `edit(file='beta', target='')`.
+- `conftest-scope-collapsed`: Scopes every conftest to the top test directory, so tests/sub/conftest.py reaches every test. Caught by `witness-nestedConftestSelectsItsSubtreeTest` at state 1, after `edit(file='subconftest', target='')`.
+- `parse-errors-ignored`: Treats an unparseable file as importing nothing instead of stopping with an error. Caught by `witness-unparseableSourceIsAnErrorTest` at state 1, after `breakSyntax(file='beta', target='')`.
+- `assumes-consecutive-base`: Plans every run against the head it planned last, which is right only between neighbouring commits. Caught by `witness-transitiveEditTest` at state 1, after `edit(file='beta', target='')`.
+- `cache-key-omits-test-roots`: Leaves test_roots out of the cached graph's key, so a graph built for the old roots is reused after they change. Caught by `witness-narrowedTestRootsReplanFromScratchTest` at state 2, after `toggleConfig(file='narrow', target='')`.
+- `parse-cache-keyed-by-path`: Caches parsed files by path instead of content, so an edited file keeps its old imports. Caught by `witness-importDeclarationFollowsImportsTest` at state 3, after `edit(file='beta', target='')`.
+- `cache-checksum-ignored`: Trusts a stored graph without checking its checksum, so a damaged entry is used as if it were valid. Caught by `witness-damagedCacheIsRebuiltTest` at state 2, after `corrupt(file='', target='')`.
+
+<sub>Generated by [pytest-quint-connect](https://github.com/gigaverse-app/pytest-quint-connect) from contract receipts; [what a passing run proves](https://github.com/gigaverse-app/pytest-quint-connect/blob/main/docs/limits.md).</sub>
+<!-- pytest-quint-connect:end -->
+
 ## Choose the right tool
 
 [pytest-impacted](https://github.com/promptromp/pytest-impacted) offers a pytest-native

{pytest_selective-0.4.2 → pytest_selective-1.0.0}/README.md

@@ -202,7 +202,7 @@ skip pytest, because invoking pytest without paths runs the whole suite.
 | --- | --- |
 | A transitive dependency | Import chains and package initialization |
 | A deleted or renamed module | Dependencies in both the base and head trees |
-| Fixtures or startup code | Ancestor conftests and configured global modules |
+| Fixtures or startup code | Ancestor conftests, plugins named by `-p` in `addopts`, and configured global modules |
 | Templates, schemas, or data files | [Reader-owned declarations and YAML sidecars](docs/tutorials/sidecar-dependencies.md) |
 | A surprisingly large selection | Dependency paths, startup-floor and blast-radius explanations |
 | A large CI suite | Cached parsing, graph reuse, and duration-based shard planning |
@@ -231,6 +231,41 @@ and evidence checks.
 
 [Read the evidence, safety boundaries, and adoption checklist](https://github.com/gigaverse-app/pytest-selective/blob/main/docs/evidence.md).
 
+### Selection checked against a model
+
+The planner's core promise is also a [Quint](https://quint.sh) model. CI replays generated
+histories of real commits through the planner and requires every deliberately broken
+planner to be caught ([selection contract](https://github.com/gigaverse-app/pytest-selective/blob/main/contracts/selection/README.md)). The block below
+is the latest complete run, checked by
+[pytest-quint-connect](https://github.com/gigaverse-app/pytest-quint-connect) on every
+change that runs the contract.
+
+<!-- pytest-quint-connect:start -->
+<!-- pytest-quint-connect:contracts selection -->
+<a href="https://github.com/gigaverse-app/pytest-quint-connect#impact"><picture><source media="(prefers-color-scheme: dark)" srcset="https://pytest-quint-connect-counter.gigaverse-oss.workers.dev/v1/sign.svg?key=f8e41d50ca4018845c305f2f0dbd1cfd6d9b281e53b352490af53154a54e6265&amp;name=gigaverse-app%2Fpytest-selective&amp;theme=dark"><img alt="What pytest-quint-connect&#x27;s contracts caught in gigaverse-app/pytest-selective&#x27;s pull requests" src="https://pytest-quint-connect-counter.gigaverse-oss.workers.dev/v1/sign.svg?key=f8e41d50ca4018845c305f2f0dbd1cfd6d9b281e53b352490af53154a54e6265&amp;name=gigaverse-app%2Fpytest-selective" width="100%"></picture></a>
+
+<a href="https://github.com/gigaverse-app/pytest-quint-connect" title="Mutants: deliberately broken copies of the code. Each must make some history diverge, proving the contract would notice that kind of bug"><img alt="Quint contracts: 1 contract passed · 44 histories · 10/10 planted bugs caught" src="https://img.shields.io/badge/Quint_contracts-1_contract_passed_%C2%B7_44_histories_%C2%B7_10%2F10_planted_bugs_caught-brightgreen"></a>
+
+| | Contract | Cases passed | [Planted bugs caught](https://github.com/gigaverse-app/pytest-quint-connect/blob/main/docs/why.md#proof-that-the-tests-can-fail "Mutants: deliberately broken copies of the code. Each must make some history diverge, proving the contract would notice that kind of bug") |
+| :-: | :-- | --: | --: |
+| ✅ | `selection` `test_selection_contract.py::test_selection`<br><sub>44 histories (20 witnesses, 24 samples, seed 11) · every action covered · Quint 0.33.1</sub> | 55/55 | 10/10 |
+
+**[Planted bugs](https://github.com/gigaverse-app/pytest-quint-connect/blob/main/docs/why.md#proof-that-the-tests-can-fail "Mutants: deliberately broken copies of the code. Each must make some history diverge, proving the contract would notice that kind of bug") this contract catches**
+
+- `head-edges-only`: Plans with the head tree's edges only, so a deleted module's former importers are not selected. Caught by `witness-deletedModuleSelectsFormerImportersTest` at state 1, after `remove(file='beta', target='')`.
+- `direct-importers-only`: Follows only files that import a changed file directly, not their importers. Caught by `witness-transitiveEditTest` at state 1, after `edit(file='beta', target='')`.
+- `global-inputs-ignored`: Treats requirements.txt like any unreferenced file instead of selecting every test. Caught by `witness-globalInputSelectsEveryTestTest` at state 1, after `touchGlobal(file='', target='')`.
+- `content-follows-imports`: Reads a kind: content declaration as an import, so it also follows the read file's imports. Caught by `witness-contentReadIsNotTransitiveTest` at state 2, after `edit(file='beta', target='')`.
+- `conftest-scope-collapsed`: Scopes every conftest to the top test directory, so tests/sub/conftest.py reaches every test. Caught by `witness-nestedConftestSelectsItsSubtreeTest` at state 1, after `edit(file='subconftest', target='')`.
+- `parse-errors-ignored`: Treats an unparseable file as importing nothing instead of stopping with an error. Caught by `witness-unparseableSourceIsAnErrorTest` at state 1, after `breakSyntax(file='beta', target='')`.
+- `assumes-consecutive-base`: Plans every run against the head it planned last, which is right only between neighbouring commits. Caught by `witness-transitiveEditTest` at state 1, after `edit(file='beta', target='')`.
+- `cache-key-omits-test-roots`: Leaves test_roots out of the cached graph's key, so a graph built for the old roots is reused after they change. Caught by `witness-narrowedTestRootsReplanFromScratchTest` at state 2, after `toggleConfig(file='narrow', target='')`.
+- `parse-cache-keyed-by-path`: Caches parsed files by path instead of content, so an edited file keeps its old imports. Caught by `witness-importDeclarationFollowsImportsTest` at state 3, after `edit(file='beta', target='')`.
+- `cache-checksum-ignored`: Trusts a stored graph without checking its checksum, so a damaged entry is used as if it were valid. Caught by `witness-damagedCacheIsRebuiltTest` at state 2, after `corrupt(file='', target='')`.
+
+<sub>Generated by [pytest-quint-connect](https://github.com/gigaverse-app/pytest-quint-connect) from contract receipts; [what a passing run proves](https://github.com/gigaverse-app/pytest-quint-connect/blob/main/docs/limits.md).</sub>
+<!-- pytest-quint-connect:end -->
+
 ## Choose the right tool
 
 [pytest-impacted](https://github.com/promptromp/pytest-impacted) offers a pytest-native

{pytest_selective-0.4.2 → pytest_selective-1.0.0}/RELEASING.md

@@ -48,9 +48,31 @@ version: publishing Python `0.x.y` does not prevent updating Actions `v1`.
 Consumers deliberately use `actions/NAME@v1` as a moving target. Change the
 Actions major only when deliberately establishing a new Actions API line.
 Package requirements use their own compatible ranges, such as
-`pytest-selective>=0.2,<0.3`; lockfiles retain resolved versions and artifact
+`pytest-selective>=1.0,<2`; lockfiles retain resolved versions and artifact
 hashes. Prereleases do not advance the Actions tag.
 
+## Transition to Python 1.x
+
+Request the first stable release with a one-time `Release-As: 1.0.0` footer in
+the merged commit. Preserve that footer in the squash message. Release Please
+then updates `pyproject.toml`, `uv.lock`, the manifest and changelog together in
+its normal release PR. Do not keep a permanent `release-as` override, which
+would interfere with subsequent automatic version bumps.
+
+The package's stable-version transition keeps the current CLI, imports and
+Actions inputs. `v1.0.0` is the immutable package tag; `v1` remains the moving
+Actions compatibility tag and advances only after successful PyPI publication.
+Existing `0.4.x` pins remain installable. Consumers that want the new package
+must allow 1.x in their dependency range; CI-esta accepts both the existing
+published 0.4.2 and 1.x while retaining its tested lockfile.
+
+Before merging the 1.0 release PR, verify the Publish caller grants all
+permissions requested by reusable CI. In particular, the Quint report requests
+`pull-requests: write`; GitHub checks that grant even on release tags. Keep
+OIDC permission confined to the separate `pypi` upload job. The 0.4.3 GitHub
+release failed at workflow startup, before PyPI upload or movement of `v1`;
+leave that immutable tag intact and publish the corrected pipeline as 1.0.0.
+
 For an Actions-only publication, advance `v1` to the exact reviewed main commit
 after its complete CI passes. This updates the Git tag without creating a GitHub
 release or invoking PyPI publication. Do not move immutable package release tags.

pytest_selective-1.0.0/contracts/selection/README.md

@@ -0,0 +1,33 @@
+# Selection contract
+
+pytest-selective's central promise, as a [Quint](https://quint.sh) model. After a commit,
+the selected tests are exactly the tests that reach a changed file, in the base or the head
+tree, through imports, an ancestor `conftest.py` or a `# gv:test-dependency:` comment
+(import kind, so it follows the declared file's imports), plus the readers of a changed
+file's contents (a `kind: content` sidecar, which does not follow imports). A change to a
+global input selects every test. Unparseable Python in either tree is an error. The planner's
+graph cache is not part of the promise: no configuration edit, cache restart or damaged cache
+entry may change an answer.
+
+[pytest-quint-connect](https://github.com/gigaverse-app/pytest-quint-connect) generates
+histories from [selection.qnt](selection.qnt). [conftest.py](conftest.py) replays each step
+as a real Git commit in a small fixture repository, then runs `affected()` twice through one
+`GraphCache`: against the previous commit, and against the history's first commit, as a pull
+request's base and head. Configuration edits, cache restarts and damaged cache entries are
+followed by a re-plan of the last commit through the same cache. The plugin compares every
+selection with the model's.
+
+| Case | What it checks |
+| --- | --- |
+| 20 witnesses | transitive edits; a deleted module's former importers; declared reads, added and removed; root and nested conftests; a global input; an added import; a deleted test; a test-root helper module; content reads that do not follow imports; import declarations that do; unparseable source; a reverted import that is no change against the first commit; selection across several commits; narrowed `test_roots` after a cached plan; an extra global input; a damaged cache; a restarted cache |
+| 24 samples | seeded random histories of up to 8 operations mixing every action |
+| 10 mutants | the planner with base-tree edges dropped, only direct importers followed, global inputs ignored, content reads followed like imports, conftest scope collapsed to the test root, parse errors ignored, every base assumed to be the last planned head, `test_roots` left out of the graph cache key, parsed files cached by path, and cache checksums ignored; each must be caught |
+| coverage | every action reached |
+
+```bash
+uv run --group quint pytest -c quint.ini . --quint-require-complete   # from this directory
+```
+
+The [manifest](quint-connect.json) lists what the model leaves out: first-party pins,
+name-scoped modules, deferred strings, Django URLconf policy and plugin-registering test
+modules have their own tests in `tests/`.