loopty 0.0.1__tar.gz

loopty-0.0.1/.github/workflows/ci.yml

@@ -0,0 +1,30 @@
+name: CI
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ["3.12", "3.13"]
+    steps:
+      - uses: actions/checkout@v5
+
+      - name: Install uv
+        uses: astral-sh/setup-uv@v7
+        with:
+          enable-cache: true
+
+      - name: Sync dependencies
+        run: uv sync --group dev --python ${{ matrix.python-version }}
+
+      - name: Ruff
+        run: uv run ruff check .
+
+      - name: Pytest
+        run: uv run pytest -q

loopty-0.0.1/.github/workflows/publish.yml

@@ -0,0 +1,26 @@
+name: Publish
+
+on:
+  push:
+    tags:
+      - "v*"
+
+jobs:
+  publish:
+    runs-on: ubuntu-latest
+    # PyPI Trusted Publishing: no API token is stored in this repository.
+    # A pending publisher must be configured on PyPI before this workflow can
+    # publish the first release of a brand-new project name.
+    permissions:
+      id-token: write
+    steps:
+      - uses: actions/checkout@v5
+
+      - name: Install uv
+        uses: astral-sh/setup-uv@v7
+
+      - name: Build sdist and wheel
+        run: uv build
+
+      - name: Publish to PyPI
+        uses: pypa/gh-action-pypi-publish@release/v1

loopty-0.0.1/.gitignore

@@ -0,0 +1,68 @@
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[cod]
+*$py.class
+
+# Distribution / packaging
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+share/python-wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+MANIFEST
+
+# Unit test / coverage reports
+htmlcov/
+.tox/
+.nox/
+.coverage
+.coverage.*
+.cache
+nosetests.xml
+coverage.xml
+*.cover
+*.py,cover
+.hypothesis/
+.pytest_cache/
+cover/
+
+# Environments
+.env
+.venv
+env/
+venv/
+ENV/
+env.bak/
+venv.bak/
+
+# Type checkers, linters, tooling caches
+.mypy_cache/
+.dmypy.json
+dmypy.json
+.pyre/
+.pytype/
+.ruff_cache/
+
+# uv
+# (uv.lock is intentionally not ignored; it is committed for reproducible CI.)
+
+# Editors / OS
+.idea/
+.vscode/
+*.swp
+.DS_Store
+
+# Jupyter
+.ipynb_checkpoints

loopty-0.0.1/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Xiaoyu Wei
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

loopty-0.0.1/PKG-INFO

@@ -0,0 +1,96 @@
+Metadata-Version: 2.5
+Name: loopty
+Version: 0.0.1
+Summary: loopy, with types. A typed polyhedral layer over loopy.
+Project-URL: Homepage, https://github.com/xywei/loopty
+Project-URL: Repository, https://github.com/xywei/loopty
+Author: Xiaoyu Wei
+License-Expression: MIT
+License-File: LICENSE
+Keywords: code-generation,isl,lanky,loopy,polyhedral,types
+Classifier: Development Status :: 1 - Planning
+Classifier: Intended Audience :: Developers
+Classifier: Intended Audience :: Science/Research
+Classifier: Programming Language :: Python
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Topic :: Scientific/Engineering
+Classifier: Topic :: Software Development :: Code Generators
+Classifier: Topic :: Software Development :: Compilers
+Classifier: Typing :: Typed
+Requires-Python: >=3.12
+Provides-Extra: opencl
+Description-Content-Type: text/markdown
+
+# loopty
+
+loopy, with types.
+
+loopty is loop + ty, for types: a typed polyhedral layer over
+[loopy](https://github.com/inducer/loopy). Kernels are decorated Python
+functions whose bodies run natively under plain `python` as the reference
+implementation and are traced under `loopty` to build a typed term. Types are
+isl objects: a statement's type is its iteration domain (an isl set) and its
+read, write, and accumulation footprints (isl maps); dependences are derived by
+isl flow analysis, not declared; index types include ragged, dependent shapes
+(CSR-style data as dependent sums) so disjointness and in-bounds facts come from
+the shape rather than from offset arithmetic; loop transformations are checked
+as casts along bijections, with a concrete witness on failure; loopy generates
+the code (OpenCL, CUDA, C). loopty is the first plugin for its sister project
+[lanky](https://github.com/xywei/lanky) (a Python-hosted proof language over
+Lean 4): loopty's typing rules emit facts into lanky's ledger, its isl oracle
+decides the Presburger ones, and residual obligations become lanky theorems.
+
+## Status
+
+Work in progress. This is a placeholder release to reserve the name; nothing
+works yet. loopty is designed as a plugin for
+[lanky](https://github.com/xywei/lanky), the host it plugs into, and will land
+as the interfaces on both sides settle.
+
+## Name
+
+loopty is loop + ty, for types: loops, typed. It follows `loopy`, `sumpy`, and
+`pytato` in the naming tradition of the loopy ecosystem.
+
+## Planned architecture
+
+- Kernel bodies are traced: the decorated function runs natively under plain
+  `python`, and the same body is traced under `loopty` to build a typed term.
+- Index types are isl sets, with dependent sums for ragged data, so CSR-style
+  shapes carry their own disjointness and in-bounds facts.
+- Each statement carries read, write, and accumulation footprints; dependences
+  are derived by isl flow analysis rather than declared.
+- Loop transformations are checked as casts along bijections, with a concrete
+  witness produced when a cast fails.
+- Schedules and tags are maps into a target's execution and memory types.
+- loopy is the code generator (OpenCL, CUDA, C).
+- The plain `python` run is the reference implementation and the
+  differential-test oracle.
+- With lanky, loopty registers a theory, an isl oracle, an executor, and a `run`
+  verb.
+
+## Install
+
+```sh
+uv add loopty
+```
+
+```sh
+pip install loopty
+```
+
+Nothing works yet: installing loopty today gets you a placeholder that prints
+its own status.
+
+## AI disclosure
+
+This project is developed with substantial assistance from AI coding agents
+(Anthropic's Claude, via Claude Code). Design, direction, and review are by
+Xiaoyu Wei. Generated text and code are reviewed before release, but readers
+should assume AI involvement throughout.
+
+## License
+
+MIT. See [LICENSE](LICENSE).

loopty-0.0.1/README.md

@@ -0,0 +1,71 @@
+# loopty
+
+loopy, with types.
+
+loopty is loop + ty, for types: a typed polyhedral layer over
+[loopy](https://github.com/inducer/loopy). Kernels are decorated Python
+functions whose bodies run natively under plain `python` as the reference
+implementation and are traced under `loopty` to build a typed term. Types are
+isl objects: a statement's type is its iteration domain (an isl set) and its
+read, write, and accumulation footprints (isl maps); dependences are derived by
+isl flow analysis, not declared; index types include ragged, dependent shapes
+(CSR-style data as dependent sums) so disjointness and in-bounds facts come from
+the shape rather than from offset arithmetic; loop transformations are checked
+as casts along bijections, with a concrete witness on failure; loopy generates
+the code (OpenCL, CUDA, C). loopty is the first plugin for its sister project
+[lanky](https://github.com/xywei/lanky) (a Python-hosted proof language over
+Lean 4): loopty's typing rules emit facts into lanky's ledger, its isl oracle
+decides the Presburger ones, and residual obligations become lanky theorems.
+
+## Status
+
+Work in progress. This is a placeholder release to reserve the name; nothing
+works yet. loopty is designed as a plugin for
+[lanky](https://github.com/xywei/lanky), the host it plugs into, and will land
+as the interfaces on both sides settle.
+
+## Name
+
+loopty is loop + ty, for types: loops, typed. It follows `loopy`, `sumpy`, and
+`pytato` in the naming tradition of the loopy ecosystem.
+
+## Planned architecture
+
+- Kernel bodies are traced: the decorated function runs natively under plain
+  `python`, and the same body is traced under `loopty` to build a typed term.
+- Index types are isl sets, with dependent sums for ragged data, so CSR-style
+  shapes carry their own disjointness and in-bounds facts.
+- Each statement carries read, write, and accumulation footprints; dependences
+  are derived by isl flow analysis rather than declared.
+- Loop transformations are checked as casts along bijections, with a concrete
+  witness produced when a cast fails.
+- Schedules and tags are maps into a target's execution and memory types.
+- loopy is the code generator (OpenCL, CUDA, C).
+- The plain `python` run is the reference implementation and the
+  differential-test oracle.
+- With lanky, loopty registers a theory, an isl oracle, an executor, and a `run`
+  verb.
+
+## Install
+
+```sh
+uv add loopty
+```
+
+```sh
+pip install loopty
+```
+
+Nothing works yet: installing loopty today gets you a placeholder that prints
+its own status.
+
+## AI disclosure
+
+This project is developed with substantial assistance from AI coding agents
+(Anthropic's Claude, via Claude Code). Design, direction, and review are by
+Xiaoyu Wei. Generated text and code are reviewed before release, but readers
+should assume AI involvement throughout.
+
+## License
+
+MIT. See [LICENSE](LICENSE).

loopty-0.0.1/pyproject.toml

@@ -0,0 +1,60 @@
+[build-system]
+requires = ["hatchling"]
+build-backend = "hatchling.build"
+
+[project]
+name = "loopty"
+version = "0.0.1"
+description = "loopy, with types. A typed polyhedral layer over loopy."
+readme = "README.md"
+license = "MIT"
+license-files = ["LICENSE"]
+requires-python = ">=3.12"
+authors = [{ name = "Xiaoyu Wei" }]
+keywords = [
+    "loopy",
+    "polyhedral",
+    "isl",
+    "code-generation",
+    "types",
+    "lanky",
+]
+classifiers = [
+    "Development Status :: 1 - Planning",
+    "Intended Audience :: Developers",
+    "Intended Audience :: Science/Research",
+    "Programming Language :: Python",
+    "Programming Language :: Python :: 3",
+    "Programming Language :: Python :: 3.12",
+    "Programming Language :: Python :: 3.13",
+    "Topic :: Scientific/Engineering",
+    "Topic :: Software Development :: Code Generators",
+    "Topic :: Software Development :: Compilers",
+    "Typing :: Typed",
+]
+dependencies = []
+
+[project.optional-dependencies]
+# pyopencl will go here once the loopy-backed executor lands.
+opencl = []
+
+[project.urls]
+Homepage = "https://github.com/xywei/loopty"
+Repository = "https://github.com/xywei/loopty"
+
+[project.scripts]
+loopty = "loopty.cli:main"
+
+[dependency-groups]
+dev = ["pytest", "ruff"]
+
+[tool.ruff]
+line-length = 88
+src = ["src", "tests"]
+
+[tool.ruff.lint]
+select = ["E", "F", "I", "UP", "W"]
+
+[tool.pytest.ini_options]
+testpaths = ["tests"]
+addopts = "-ra"

loopty-0.0.1/src/loopty/__init__.py

@@ -0,0 +1,24 @@
+"""loopty: loopy, with types.
+
+loopty is loop + ty, for types: a typed polyhedral layer over loopy
+(https://github.com/inducer/loopy). Kernels are decorated Python functions whose
+bodies run natively under plain ``python`` as the reference implementation and
+are traced under loopty to build a typed term. Types are isl objects: a
+statement's type is its iteration domain (an isl set) and its read, write, and
+accumulation footprints (isl maps); dependences are derived by isl flow
+analysis, not declared; index types include ragged, dependent shapes (CSR-style
+data as dependent sums) so disjointness and in-bounds facts come from the shape
+rather than from offset arithmetic; loop transformations are checked as casts
+along bijections, with a concrete witness on failure; loopy generates the code
+(OpenCL, CUDA, C). loopty is the first plugin for its sister project lanky (a
+Python-hosted proof language over Lean 4; https://github.com/xywei/lanky):
+loopty's typing rules emit facts into lanky's ledger, its isl oracle decides the
+Presburger ones, and residual obligations become lanky theorems.
+
+Status: work in progress; this is a placeholder release to reserve the name.
+Nothing works yet.
+"""
+
+__version__ = "0.0.1"
+
+__all__ = ["__version__"]

loopty-0.0.1/src/loopty/cli.py

@@ -0,0 +1,24 @@
+"""Command line interface for loopty.
+
+The placeholder release ships a single entry point that reports what loopty is
+and that it does not do anything yet.
+"""
+
+from __future__ import annotations
+
+from loopty import __version__
+
+REPO_URL = "https://github.com/xywei/loopty"
+
+
+def main() -> int:
+    """Print the placeholder banner for loopty."""
+    print("loopty")
+    print(f"version: {__version__}")
+    print("work in progress: placeholder release")
+    print(REPO_URL)
+    return 0
+
+
+if __name__ == "__main__":
+    raise SystemExit(main())

loopty-0.0.1/src/loopty/plugin.py

@@ -0,0 +1,74 @@
+"""PREPARED, NOT IMPLEMENTED: loopty's plugin surface for lanky.
+
+loopty is the first plugin for lanky (https://github.com/xywei/lanky), a
+Python-hosted proof language over Lean 4. When the plugin interfaces land,
+loopty will register the following with the lanky host:
+
+* :class:`KernelTheory` -- the ``@kernel`` and ``@program`` decorators, whose
+  typing rules emit facts into lanky's ledger.
+* :class:`IslOracle` -- decides the Presburger facts, with witnesses; trusted in
+  development mode, re-derivable by Lean's ``omega``.
+* :class:`LoopyExecutor` -- runs kernels through loopy.
+* :class:`RunVerb` -- the ``loopty run`` / ``lanky run`` subcommand.
+
+Every name below is a placeholder: it documents the intended role and has no
+behaviour.
+"""
+
+from __future__ import annotations
+
+# NOTE: the runtime dependency on `lanky` will be added when the plugin
+# interfaces land. This placeholder release has no dependencies on purpose, so
+# that reserving the name on PyPI does not pull anything into a user's
+# environment.
+
+
+class KernelTheory:
+    """The theory loopty contributes to lanky's ledger.
+
+    Will provide the ``@kernel`` and ``@program`` decorators. A decorated
+    function's body runs natively under plain ``python`` as the reference
+    implementation and is traced under loopty to build a typed term; the typing
+    rules for that term emit facts (domains, footprints, dependences,
+    transformation casts) into lanky's ledger.
+    """
+
+    ...
+
+
+class IslOracle:
+    """The decision procedure for the Presburger fragment.
+
+    Will answer emptiness, subset, and bijectivity questions about isl sets and
+    maps, returning a concrete witness when a check fails. Trusted in
+    development mode; the facts it discharges are re-derivable by Lean's
+    ``omega``, and anything outside its fragment becomes a residual lanky
+    theorem.
+    """
+
+    ...
+
+
+class LoopyExecutor:
+    """The executor that runs typed kernels through loopy.
+
+    Will lower a checked loopty term to a loopy kernel, generate code for the
+    requested target (OpenCL, CUDA, C), and run it -- with the plain ``python``
+    execution of the same body available as the differential-test oracle.
+    """
+
+    ...
+
+
+class RunVerb:
+    """The ``run`` subcommand loopty registers with lanky.
+
+    Will back both ``loopty run`` and ``lanky run`` for loopty targets:
+    elaborate the kernel, check its obligations, generate code, execute, and
+    compare against the reference run.
+    """
+
+    ...
+
+
+__all__ = ["IslOracle", "KernelTheory", "LoopyExecutor", "RunVerb"]

loopty-0.0.1/tests/test_smoke.py

@@ -0,0 +1,19 @@
+"""Smoke tests for the loopty placeholder release."""
+
+from __future__ import annotations
+
+import loopty
+from loopty import cli
+
+
+def test_version() -> None:
+    assert loopty.__version__ == "0.0.1"
+
+
+def test_cli_main(capsys) -> None:
+    assert cli.main() == 0
+    out = capsys.readouterr().out
+    assert "loopty" in out
+    assert loopty.__version__ in out
+    assert "work in progress: placeholder release" in out
+    assert "https://github.com/xywei/loopty" in out

loopty-0.0.1/uv.lock

@@ -0,0 +1,109 @@
+version = 1
+revision = 3
+requires-python = ">=3.12"
+
+[[package]]
+name = "colorama"
+version = "0.4.6"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/d8/53/6f443c9a4a8358a93a6792e2acffb9d9d5cb0a5cfd8802644b7b1c9a02e4/colorama-0.4.6.tar.gz", hash = "sha256:08695f5cb7ed6e0531a20572697297273c47b8cae5a63ffc6d6ed5c201be6e44", size = 27697, upload-time = "2022-10-25T02:36:22.414Z" }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/d1/d6/3965ed04c63042e047cb6a3e6ed1a63a35087b6a609aa3a15ed8ac56c221/colorama-0.4.6-py2.py3-none-any.whl", hash = "sha256:4f1d9991f5acc0ca119f9d443620b77f9d6b33703e51011c16baf57afb285fc6", size = 25335, upload-time = "2022-10-25T02:36:20.889Z" },
+]
+
+[[package]]
+name = "iniconfig"
+version = "2.3.0"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/72/34/14ca021ce8e5dfedc35312d08ba8bf51fdd999c576889fc2c24cb97f4f10/iniconfig-2.3.0.tar.gz", hash = "sha256:c76315c77db068650d49c5b56314774a7804df16fee4402c1f19d6d15d8c4730", size = 20503, upload-time = "2025-10-18T21:55:43.219Z" }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/cb/b1/3846dd7f199d53cb17f49cba7e651e9ce294d8497c8c150530ed11865bb8/iniconfig-2.3.0-py3-none-any.whl", hash = "sha256:f631c04d2c48c52b84d0d0549c99ff3859c98df65b3101406327ecc7d53fbf12", size = 7484, upload-time = "2025-10-18T21:55:41.639Z" },
+]
+
+[[package]]
+name = "loopty"
+version = "0.0.1"
+source = { editable = "." }
+
+[package.dev-dependencies]
+dev = [
+    { name = "pytest" },
+    { name = "ruff" },
+]
+
+[package.metadata]
+provides-extras = ["opencl"]
+
+[package.metadata.requires-dev]
+dev = [
+    { name = "pytest" },
+    { name = "ruff" },
+]
+
+[[package]]
+name = "packaging"
+version = "26.3"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/7d/fa/3944b40b07da9ce895c0e6303a5ab7d53da063554f534556b134a54d6093/packaging-26.3.tar.gz", hash = "sha256:94edc256424af38762eb31306eed28beb9f0efc50a8837492c9d6fd6004aed79", size = 313412, upload-time = "2026-08-04T18:15:28.737Z" }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/63/34/ba1c580383c9eada3711951fef0795c80b829a078d72188184bcab9dd527/packaging-26.3-py3-none-any.whl", hash = "sha256:d7193f7c8e4e93f444fde0262bf90af30e16fa0ad0ad44cb553c87339b23cd1c", size = 129956, upload-time = "2026-08-04T18:15:27.159Z" },
+]
+
+[[package]]
+name = "pluggy"
+version = "1.6.0"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/f9/e2/3e91f31a7d2b083fe6ef3fa267035b518369d9511ffab804f839851d2779/pluggy-1.6.0.tar.gz", hash = "sha256:7dcc130b76258d33b90f61b658791dede3486c3e6bfb003ee5c9bfb396dd22f3", size = 69412, upload-time = "2025-05-15T12:30:07.975Z" }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/54/20/4d324d65cc6d9205fabedc306948156824eb9f0ee1633355a8f7ec5c66bf/pluggy-1.6.0-py3-none-any.whl", hash = "sha256:e920276dd6813095e9377c0bc5566d94c932c33b27a3e3945d8389c374dd4746", size = 20538, upload-time = "2025-05-15T12:30:06.134Z" },
+]
+
+[[package]]
+name = "pygments"
+version = "2.21.0"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/49/2e/ced460408999b33da6b31b0021b0f37d329e202d4169aeb164493778f25b/pygments-2.21.0.tar.gz", hash = "sha256:610ca751c9bc2492b38eb9a38a7fbc93edbbb2d7182edaf34e66ae493dee5c8c", size = 5005329, upload-time = "2026-08-17T08:02:48.824Z" }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/71/46/17f022dd3e953bf20a04a028a21ec746d942f8d2af30fa0f124fa0e6a684/pygments-2.21.0-py3-none-any.whl", hash = "sha256:2363c69b61c4a97c838da3b130dcd6468f4848992b21a82f2a63ec34377137d9", size = 1250147, upload-time = "2026-08-17T08:02:44.912Z" },
+]
+
+[[package]]
+name = "pytest"
+version = "9.1.1"
+source = { registry = "https://pypi.org/simple" }
+dependencies = [
+    { name = "colorama", marker = "sys_platform == 'win32'" },
+    { name = "iniconfig" },
+    { name = "packaging" },
+    { name = "pluggy" },
+    { name = "pygments" },
+]
+sdist = { url = "https://files.pythonhosted.org/packages/e4/47/b9efed96c114afcfa3c9d3fe98a76a1d14c74a9e266d397cf6eb64be5e01/pytest-9.1.1.tar.gz", hash = "sha256:1088fbde8f2b49d95a549a195707afa7a76a3ce9bcadc26b6d71f0ffda5fe313", size = 1636369, upload-time = "2026-06-19T10:58:32.857Z" }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/24/25/1de2678b631f5a49215c6c96fff41ba892b0a34df68d6d80292b1b48aa7f/pytest-9.1.1-py3-none-any.whl", hash = "sha256:37a86b45efb9a47a61a36449063e8e18d0cab3161329fc099eb21783169c4f0c", size = 386536, upload-time = "2026-06-19T10:58:31.347Z" },
+]
+
+[[package]]
+name = "ruff"
+version = "0.16.7"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/82/bb/5a449b9162e49b139d72f61672bd3ac1d790221f796d3304e2241fff4c58/ruff-0.16.7.tar.gz", hash = "sha256:5f71d004ac1263b22fa39462ac5ae618a4b77d58981af2cc79bf79a29c12b1a6", size = 4924184, upload-time = "2026-09-10T18:04:06.336Z" }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/e3/b2/c80aeeb7f9e469c0d63a85d2f1ab6e1ebfbe10ea7a8d2438b7e09e3ff09e/ruff-0.16.7-py3-none-linux_armv6l.whl", hash = "sha256:727307773e7c7f9181d3ed3a2484186e56c1fa1874255911c74585eb2c7c19f9", size = 10048917, upload-time = "2026-09-10T18:03:30.28Z" },
+    { url = "https://files.pythonhosted.org/packages/7b/96/20bb7bcae008004df52afcb7ac83432d4a467f2c17b672fe46d26be231c5/ruff-0.16.7-py3-none-macosx_10_12_x86_64.whl", hash = "sha256:9d61c258deabf58f34c67bd4bb4d939c7f2e6b5f0e59c1cdd1cf771b11cde929", size = 10242929, upload-time = "2026-09-10T18:03:32.706Z" },
+    { url = "https://files.pythonhosted.org/packages/90/b2/f184b0d5abec02db69cfd7e49b688ae0237554528ca777136c613bf36bee/ruff-0.16.7-py3-none-macosx_11_0_arm64.whl", hash = "sha256:7ab81118df8945e0193d0240712aa4496573595b75185c3636ed825592a0f728", size = 9847245, upload-time = "2026-09-10T18:03:34.509Z" },
+    { url = "https://files.pythonhosted.org/packages/eb/2d/db1633a641866ed801e34cc6b60ef236c5e16f9b2124ab1d49cc24a5fe4f/ruff-0.16.7-py3-none-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:4c196c968874fc8019da8e7163de7a1a370f111e2309b4b7dfea0fce950198d0", size = 9961780, upload-time = "2026-09-10T18:03:36.618Z" },
+    { url = "https://files.pythonhosted.org/packages/4d/98/edea21e1a3e38dbbc3bf6bb068b863b3b06184cf8533a4c7dbbe208a89d5/ruff-0.16.7-py3-none-manylinux_2_17_armv7l.manylinux2014_armv7l.whl", hash = "sha256:ac8c3bd0a7e10ad31e6ce51e7a99f3cb772e69aecdd6b9ea7e99b362f62a62c0", size = 9866337, upload-time = "2026-09-10T18:03:38.805Z" },
+    { url = "https://files.pythonhosted.org/packages/0b/11/a15e60d4c87b214646f116ca9d204475bf993ee1047459bc9a360fd4d6d1/ruff-0.16.7-py3-none-manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:398d3988edde000b5c75dc1b3f584708da9bc990de069c18909142580fec1af9", size = 10562512, upload-time = "2026-09-10T18:03:40.71Z" },
+    { url = "https://files.pythonhosted.org/packages/29/42/eaff4c9b6d0c7cdf56df313a17e89ae854f5bbc0b0c8f9cce19be0ab7a8f/ruff-0.16.7-py3-none-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl", hash = "sha256:ce05b62b770a8217c4646a9c4139fca00efe8fe5d71f87df2b243ff20d4584d1", size = 11302938, upload-time = "2026-09-10T18:03:42.607Z" },
+    { url = "https://files.pythonhosted.org/packages/5d/43/c75aa59a4ec181fe2ec06cab30e198c1c6d107229a9f008ae3a7c16cabd8/ruff-0.16.7-py3-none-manylinux_2_17_s390x.manylinux2014_s390x.whl", hash = "sha256:af1b576fddb9d9ef2ececfb5fadcd6a624b25070ed85e3cfcfe449fc3ff6a7b9", size = 10840857, upload-time = "2026-09-10T18:03:44.604Z" },
+    { url = "https://files.pythonhosted.org/packages/21/33/81f3da371942ea031105ba679d8d6e28ec1660ccd690a45f42d381161356/ruff-0.16.7-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:9ce7f8f22df67c93ed96c717f9128eadb797144ac2bad475cf536f31d6100c55", size = 10370001, upload-time = "2026-09-10T18:03:46.706Z" },
+    { url = "https://files.pythonhosted.org/packages/fa/0b/6345fb4dbf6dd0ed1cfe5d18391dc9c3f59cc81622a7b0a65b84b3e730ba/ruff-0.16.7-py3-none-manylinux_2_31_riscv64.whl", hash = "sha256:06d0e93d04f392996435ebd600c153f65b47d73fbec2415aa99c5ee5756b3a5f", size = 10548735, upload-time = "2026-09-10T18:03:48.658Z" },
+    { url = "https://files.pythonhosted.org/packages/3f/4d/c5576adf511f92a328e5569dda190ecdd430da51f1a649f3a4a2fd73e21e/ruff-0.16.7-py3-none-musllinux_1_2_aarch64.whl", hash = "sha256:142151a5e7b93c1b11111337142f89dd2fbfee92161225c99a97222f22e32656", size = 10108496, upload-time = "2026-09-10T18:03:50.563Z" },
+    { url = "https://files.pythonhosted.org/packages/ff/8c/667d83c16199a17a56adc6b0bd4c3beb5b767a2babcd16a56f76f9be7fd6/ruff-0.16.7-py3-none-musllinux_1_2_armv7l.whl", hash = "sha256:e6651f97a342d8b35d54d8991544ca22169b86dc54111cb604666940c431b750", size = 9860136, upload-time = "2026-09-10T18:03:52.621Z" },
+    { url = "https://files.pythonhosted.org/packages/99/75/78d401106731999a1dd20cc5a6961e37e1eb9397a3b589f73f3a5ce146a3/ruff-0.16.7-py3-none-musllinux_1_2_i686.whl", hash = "sha256:ef140c6eb935fa9a84c9c607dfb2cb1b85843c192e79265b0c54f35f557ea8e5", size = 10286290, upload-time = "2026-09-10T18:03:55.207Z" },
+    { url = "https://files.pythonhosted.org/packages/68/49/56f9c3a8b755df93a0ad318b2147bf4ef5dae9a7e5ec61c460109c67957f/ruff-0.16.7-py3-none-musllinux_1_2_x86_64.whl", hash = "sha256:53e39506a730fadeee0d998ed5946f30671f0db240c6c7c73bdabbe33604bb6f", size = 10745048, upload-time = "2026-09-10T18:03:57.299Z" },
+    { url = "https://files.pythonhosted.org/packages/5f/ea/7f9b938a63ece4bec677ad7f9f7fa02df3383db1949ed93a382441c09a87/ruff-0.16.7-py3-none-win32.whl", hash = "sha256:2ea3470fcebcbc5df2fb0c6f3b90333fa9084c534e0111c038fa4a6ab9f1c4b7", size = 10059082, upload-time = "2026-09-10T18:03:59.632Z" },
+    { url = "https://files.pythonhosted.org/packages/39/11/480a6973a927aa653e1cead6a6416008640e03a99d05b34c0434b8c6c366/ruff-0.16.7-py3-none-win_amd64.whl", hash = "sha256:7ac26aca826e9e21d0f1cb25b54ac660760a9fdd094d3e4df9848232be98cfc6", size = 10593368, upload-time = "2026-09-10T18:04:01.999Z" },
+    { url = "https://files.pythonhosted.org/packages/8b/4b/51327018d056f0dad2c2238f26d1fb0f53707a9d91b75dea6d1b3039f136/ruff-0.16.7-py3-none-win_arm64.whl", hash = "sha256:aab7f39e2c9df6c596216070f98eef1207b94f8516cca20c808826974971855b", size = 10412401, upload-time = "2026-09-10T18:04:04.098Z" },
+]