lanky 0.0.1__tar.gz

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

@@ -0,0 +1,34 @@
+name: CI
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+
+concurrency:
+  group: ci-${{ github.ref }}
+  cancel-in-progress: true
+
+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: Lint
+        run: uv run ruff check .
+
+      - name: Test
+        run: uv run pytest -q

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

@@ -0,0 +1,23 @@
+name: Publish
+
+on:
+  push:
+    tags: ["v*"]
+
+jobs:
+  publish:
+    runs-on: ubuntu-latest
+    permissions:
+      # Required for PyPI Trusted Publishing (OIDC).
+      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

lanky-0.0.1/.gitignore

@@ -0,0 +1,39 @@
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[cod]
+*$py.class
+
+# Distribution / packaging
+build/
+dist/
+sdist/
+wheels/
+*.egg-info/
+*.egg
+.eggs/
+
+# Virtual environments
+.venv/
+venv/
+env/
+
+# Testing / coverage
+.pytest_cache/
+.coverage
+.coverage.*
+coverage.xml
+htmlcov/
+.tox/
+.nox/
+
+# Type checkers / linters
+.mypy_cache/
+.ruff_cache/
+.pyre/
+.pytype/
+
+# Editors / OS
+.idea/
+.vscode/
+*.swp
+.DS_Store

lanky-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.

lanky-0.0.1/PKG-INFO

@@ -0,0 +1,90 @@
+Metadata-Version: 2.5
+Name: lanky
+Version: 0.0.1
+Summary: Python for math you can check. A Lean-hosted proof language, shaped like mypy.
+Project-URL: Homepage, https://github.com/xywei/lanky
+Project-URL: Repository, https://github.com/xywei/lanky
+Author: Xiaoyu Wei
+License-Expression: MIT
+License-File: LICENSE
+Keywords: formal-methods,lean,mathlib,proof,theorem-proving,type-checking
+Classifier: Development Status :: 1 - Planning
+Classifier: Intended Audience :: Science/Research
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Classifier: Topic :: Software Development :: Quality Assurance
+Classifier: Typing :: Typed
+Requires-Python: >=3.12
+Provides-Extra: lean
+Description-Content-Type: text/markdown
+
+# lanky
+
+Python for math you can check.
+
+lanky is a Python-hosted proof language with Lean 4 and Mathlib as the platform,
+shaped like mypy: hints are inert, the body is executable Python, and an external
+command does the checking. Theorems are typed Python functions (variables are
+parameters, hypotheses are parameters annotated with propositions, the goal is the
+return annotation); proofs are Python programs that drive Lean tactics over a live
+goal; the recorded tactic script is the certificate; under plain `python` the
+theorems run as property tests. Lean is the platform, lanky is a hosted language on
+it (the Kotlin/JVM relationship), so all of Mathlib and every Lean tactic are
+reachable. lanky itself is a thin plugin host: it defines a ledger of facts (each
+with a status: tested, decided, proved, certified, assumed) and four plugin
+interfaces (theories, oracles, executors, CLI verbs).
+
+## Status
+
+Work in progress. This is a placeholder release to reserve the name. The
+architecture is prepared, not implemented: the ledger and the plugin protocols are
+written down, and nothing behind them works yet.
+
+The sister project [loopty](https://github.com/xywei/loopty) (loop + ty for types;
+a typed polyhedral layer over loopy, with isl as an oracle and loopy as a code
+generator) will be lanky's first plugin.
+
+## Name
+
+- "Lean Annotations Natively Kernel-check Your math".
+- LANK + y, where LANK = Lean Annotations, Native Kernel — and *lank* means long
+  and thin, next to *lean*.
+
+## Planned architecture
+
+- A ledger of facts, each carrying a status: tested, decided, proved, certified,
+  assumed.
+- Four plugin interfaces: theories (decorators that turn Python objects into
+  facts), oracles (establish facts and report a trust class), executors (run a
+  decorated object), and verbs (CLI subcommands).
+- A live Lean session via PyPantograph as the Lean oracle.
+- A property-test executor, so theorems run as tests under plain `python`.
+- A generated Lean file plus a source map back to the Python program as the
+  certificate.
+- The command line: `lanky check | certify | watch | shell`.
+
+## Install
+
+```sh
+uv add lanky
+```
+
+```sh
+pip install lanky
+```
+
+Nothing works yet — installing this release gets you a `lanky` command that prints
+its own version and this repository's URL.
+
+## 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).

lanky-0.0.1/README.md

@@ -0,0 +1,68 @@
+# lanky
+
+Python for math you can check.
+
+lanky is a Python-hosted proof language with Lean 4 and Mathlib as the platform,
+shaped like mypy: hints are inert, the body is executable Python, and an external
+command does the checking. Theorems are typed Python functions (variables are
+parameters, hypotheses are parameters annotated with propositions, the goal is the
+return annotation); proofs are Python programs that drive Lean tactics over a live
+goal; the recorded tactic script is the certificate; under plain `python` the
+theorems run as property tests. Lean is the platform, lanky is a hosted language on
+it (the Kotlin/JVM relationship), so all of Mathlib and every Lean tactic are
+reachable. lanky itself is a thin plugin host: it defines a ledger of facts (each
+with a status: tested, decided, proved, certified, assumed) and four plugin
+interfaces (theories, oracles, executors, CLI verbs).
+
+## Status
+
+Work in progress. This is a placeholder release to reserve the name. The
+architecture is prepared, not implemented: the ledger and the plugin protocols are
+written down, and nothing behind them works yet.
+
+The sister project [loopty](https://github.com/xywei/loopty) (loop + ty for types;
+a typed polyhedral layer over loopy, with isl as an oracle and loopy as a code
+generator) will be lanky's first plugin.
+
+## Name
+
+- "Lean Annotations Natively Kernel-check Your math".
+- LANK + y, where LANK = Lean Annotations, Native Kernel — and *lank* means long
+  and thin, next to *lean*.
+
+## Planned architecture
+
+- A ledger of facts, each carrying a status: tested, decided, proved, certified,
+  assumed.
+- Four plugin interfaces: theories (decorators that turn Python objects into
+  facts), oracles (establish facts and report a trust class), executors (run a
+  decorated object), and verbs (CLI subcommands).
+- A live Lean session via PyPantograph as the Lean oracle.
+- A property-test executor, so theorems run as tests under plain `python`.
+- A generated Lean file plus a source map back to the Python program as the
+  certificate.
+- The command line: `lanky check | certify | watch | shell`.
+
+## Install
+
+```sh
+uv add lanky
+```
+
+```sh
+pip install lanky
+```
+
+Nothing works yet — installing this release gets you a `lanky` command that prints
+its own version and this repository's URL.
+
+## 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).

lanky-0.0.1/pyproject.toml

@@ -0,0 +1,50 @@
+[build-system]
+requires = ["hatchling"]
+build-backend = "hatchling.build"
+
+[project]
+name = "lanky"
+version = "0.0.1"
+description = "Python for math you can check. A Lean-hosted proof language, shaped like mypy."
+readme = "README.md"
+license = "MIT"
+license-files = ["LICENSE"]
+requires-python = ">=3.12"
+authors = [{ name = "Xiaoyu Wei" }]
+keywords = ["lean", "mathlib", "proof", "theorem-proving", "formal-methods", "type-checking"]
+classifiers = [
+    "Development Status :: 1 - Planning",
+    "Intended Audience :: Science/Research",
+    "Programming Language :: Python :: 3",
+    "Programming Language :: Python :: 3.12",
+    "Programming Language :: Python :: 3.13",
+    "Topic :: Scientific/Engineering :: Mathematics",
+    "Topic :: Software Development :: Quality Assurance",
+    "Typing :: Typed",
+]
+dependencies = []
+
+[project.optional-dependencies]
+# PyPantograph (the Lean session driver) will go here once the Lean oracle lands.
+lean = []
+
+[project.urls]
+Homepage = "https://github.com/xywei/lanky"
+Repository = "https://github.com/xywei/lanky"
+
+[project.scripts]
+lanky = "lanky.cli:main"
+
+[dependency-groups]
+dev = ["pytest", "ruff"]
+
+[tool.ruff]
+line-length = 100
+src = ["src", "tests"]
+
+[tool.ruff.lint]
+select = ["E", "F", "I", "UP", "B"]
+
+[tool.pytest.ini_options]
+testpaths = ["tests"]
+addopts = "-ra"

lanky-0.0.1/src/lanky/__init__.py

@@ -0,0 +1,20 @@
+"""lanky: a Python-hosted proof language with Lean 4 and Mathlib as the platform.
+
+lanky is shaped like mypy: hints are inert, the body is executable Python, and an
+external command does the checking. Theorems are typed Python functions (variables
+are parameters, hypotheses are parameters annotated with propositions, the goal is
+the return annotation); proofs are Python programs that drive Lean tactics over a
+live goal; the recorded tactic script is the certificate; under plain ``python`` the
+theorems run as property tests. Lean is the platform and lanky is a hosted language
+on it -- the Kotlin/JVM relationship -- so all of Mathlib and every Lean tactic are
+reachable. lanky itself is a thin plugin host: it defines a ledger of facts (each
+with a status: tested, decided, proved, certified, assumed) and four plugin
+interfaces (theories, oracles, executors, CLI verbs).
+
+This is a placeholder release to reserve the name. The architecture is prepared,
+not implemented.
+"""
+
+__version__ = "0.0.1"
+
+__all__ = ["__version__"]

lanky-0.0.1/src/lanky/cli.py

@@ -0,0 +1,24 @@
+"""Command-line entry point for lanky.
+
+The real CLI will be assembled from ``Verb`` plugins (see :mod:`lanky.plugins`).
+For this placeholder release ``main`` only reports what lanky is and where it lives.
+"""
+
+from __future__ import annotations
+
+from lanky import __version__
+
+REPO_URL = "https://github.com/xywei/lanky"
+
+
+def main() -> int:
+    """Print the name, version, status, and repository URL."""
+    print("lanky")
+    print(f"version: {__version__}")
+    print("work in progress: placeholder release")
+    print(REPO_URL)
+    return 0
+
+
+if __name__ == "__main__":
+    raise SystemExit(main())

lanky-0.0.1/src/lanky/ledger.py

@@ -0,0 +1,70 @@
+"""The ledger of facts.
+
+PREPARED, NOT IMPLEMENTED.
+
+The ledger is lanky's single source of truth about what is known and how strongly
+it is known. Every claim a lanky program makes -- a theorem, a side condition
+discharged by a decision procedure, an assumption deliberately left open -- becomes
+a :class:`Fact` carrying a :class:`Status`. Plugins (theories, oracles, executors)
+read and write facts; CLI verbs report on them.
+
+Nothing here does any work yet: this module fixes the vocabulary that the rest of
+lanky will be built against.
+"""
+
+from __future__ import annotations
+
+import enum
+from dataclasses import dataclass, field
+
+
+class Status(enum.Enum):
+    """How strongly a :class:`Fact` is established.
+
+    The members are ordered from weakest to strongest evidence:
+
+    ``TESTED``
+        The statement survived execution as a property test under plain ``python``.
+        Evidence, not proof.
+    ``DECIDED``
+        A decision procedure (an oracle such as isl, an SMT solver, or a Lean
+        ``decide``) answered affirmatively, trusted at that oracle's trust class.
+    ``PROVED``
+        A proof was found and accepted by the platform, but no reproducible
+        artifact has been retained.
+    ``CERTIFIED``
+        A proof was found and a certificate was recorded -- for the Lean platform,
+        a generated Lean file plus a source map back to the Python program -- so
+        the claim can be rechecked by the Lean kernel independently of lanky.
+    ``ASSUMED``
+        Deliberately taken on faith: an axiom, a ``sorry``, or an interface
+        contract owed by someone else. Tracked so it can never be silently lost.
+    """
+
+    TESTED = "tested"
+    DECIDED = "decided"
+    PROVED = "proved"
+    CERTIFIED = "certified"
+    ASSUMED = "assumed"
+
+
+@dataclass(frozen=True)
+class Fact:
+    """A single entry in the ledger.
+
+    Attributes:
+        statement: The claim itself, rendered as source text (Lean syntax on the
+            Lean platform).
+        status: How strongly the claim is established; see :class:`Status`.
+        decided_by: Name of the oracle or executor that established the claim, or
+            ``None`` when nothing has established it yet (e.g. a pure assumption).
+        provenance: Free-form record of where the claim came from and how it was
+            checked -- source location, tactic script, certificate path, oracle
+            version, trust class, timing. Left untyped on purpose while the
+            architecture settles.
+    """
+
+    statement: str
+    status: Status
+    decided_by: str | None = None
+    provenance: dict = field(default_factory=dict)

lanky-0.0.1/src/lanky/plugins.py

@@ -0,0 +1,120 @@
+"""Plugin interfaces.
+
+PREPARED, NOT IMPLEMENTED.
+
+lanky is a thin plugin host. It owns the ledger (see :mod:`lanky.ledger`) and four
+extension points, discovered through the entry-point groups named by the module
+constants below. Everything domain-specific -- the Lean session, a polyhedral
+theory, a new CLI verb -- arrives as a plugin. The sister project ``loopty``
+(a typed polyhedral layer over ``loopy``, with ``isl`` as an oracle and ``loopy``
+as a code generator) will be the first plugin.
+
+The protocols here are structural: a plugin satisfies one by having the right
+methods, with no import of lanky required at runtime.
+"""
+
+from __future__ import annotations
+
+from typing import Any, Protocol, runtime_checkable
+
+#: Entry-point group for theories: vocabularies of statements and their decorators.
+THEORY_GROUP = "lanky.theories"
+
+#: Entry-point group for oracles: things that establish facts.
+ORACLE_GROUP = "lanky.oracles"
+
+#: Entry-point group for executors: things that run decorated Python objects.
+EXECUTOR_GROUP = "lanky.executors"
+
+#: Entry-point group for CLI verbs: subcommands of the ``lanky`` command.
+VERB_GROUP = "lanky.verbs"
+
+ENTRY_POINT_GROUPS = (THEORY_GROUP, ORACLE_GROUP, EXECUTOR_GROUP, VERB_GROUP)
+
+
+@runtime_checkable
+class Theory(Protocol):
+    """A vocabulary of statements, exposed as a decorator.
+
+    A theory turns an ordinary Python object -- typically a typed function whose
+    parameters are the variables and hypotheses and whose return annotation is the
+    goal -- into one or more :class:`~lanky.ledger.Fact` objects. It owns the
+    translation from Python annotations into the platform's statement language, and
+    it decides what the annotations are allowed to say.
+
+    The decorator is inert in the mypy sense: it records the claim and returns
+    something still callable, so the body remains executable Python.
+    """
+
+    name: str
+
+    def __call__(self, obj: Any, /) -> Any:
+        """Decorate ``obj``, registering the facts it claims, and return it."""
+        ...
+
+    def facts(self, obj: Any, /) -> tuple:
+        """Return the facts claimed by a previously decorated object."""
+        ...
+
+
+@runtime_checkable
+class Oracle(Protocol):
+    """Something that establishes facts, and says how much it should be trusted.
+
+    Oracles are the only way a fact's status improves. A Lean session driven
+    through PyPantograph is the reference oracle: it runs tactics against a live
+    goal and can emit a certificate. A decision procedure such as ``isl`` or an SMT
+    solver is an oracle too, at a weaker trust class.
+
+    The trust class is reported, never assumed, so the ledger can distinguish a
+    kernel-checked certificate from a solver's say-so.
+    """
+
+    name: str
+
+    def trust_class(self) -> str:
+        """Name the kind of evidence this oracle produces (e.g. ``"kernel"``)."""
+        ...
+
+    def establish(self, fact: Any, /) -> Any:
+        """Attempt to establish ``fact``; return it with an updated status."""
+        ...
+
+
+@runtime_checkable
+class Executor(Protocol):
+    """Something that runs a decorated object.
+
+    The default executor is plain ``python``: it calls the theorem's body, drawing
+    values for the parameters, so theorems double as property tests and facts reach
+    status ``TESTED``. Other executors run the object differently -- ``loopty``'s
+    code generator will hand its decorated kernels to ``loopy`` -- but all of them
+    answer the same question: what happens when this object is actually run?
+    """
+
+    name: str
+
+    def run(self, obj: Any, /, *args: Any, **kwargs: Any) -> Any:
+        """Run the decorated object and return its result."""
+        ...
+
+
+@runtime_checkable
+class Verb(Protocol):
+    """A subcommand of the ``lanky`` command-line tool.
+
+    Planned built-in verbs are ``check``, ``certify``, ``watch``, and ``shell``.
+    Plugins add their own; the host supplies argument parsing, plugin discovery, and
+    access to the ledger.
+    """
+
+    name: str
+    help: str
+
+    def add_arguments(self, parser: Any, /) -> None:
+        """Declare this verb's command-line arguments on ``parser``."""
+        ...
+
+    def run(self, args: Any, /) -> int:
+        """Execute the verb and return a process exit code."""
+        ...

lanky-0.0.1/tests/test_smoke.py

@@ -0,0 +1,45 @@
+"""Smoke tests for the placeholder release."""
+
+from __future__ import annotations
+
+import lanky
+from lanky import cli
+
+
+def test_version() -> None:
+    assert lanky.__version__ == "0.0.1"
+
+
+def test_module_has_docstring() -> None:
+    assert lanky.__doc__ and "Lean" in lanky.__doc__
+
+
+def test_cli_main(capsys) -> None:
+    assert cli.main() == 0
+    out = capsys.readouterr().out
+    assert "lanky" in out
+    assert lanky.__version__ in out
+    assert "work in progress: placeholder release" in out
+    assert "https://github.com/xywei/lanky" in out
+
+
+def test_ledger_and_plugins_import() -> None:
+    from lanky.ledger import Fact, Status
+    from lanky.plugins import ENTRY_POINT_GROUPS, Executor, Oracle, Theory, Verb
+
+    assert {s.value for s in Status} == {
+        "tested",
+        "decided",
+        "proved",
+        "certified",
+        "assumed",
+    }
+    fact = Fact(statement="1 + 1 = 2", status=Status.ASSUMED, decided_by=None, provenance={})
+    assert fact.status is Status.ASSUMED
+    assert ENTRY_POINT_GROUPS == (
+        "lanky.theories",
+        "lanky.oracles",
+        "lanky.executors",
+        "lanky.verbs",
+    )
+    assert all(p is not None for p in (Theory, Oracle, Executor, Verb))

lanky-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 = "lanky"
+version = "0.0.1"
+source = { editable = "." }
+
+[package.dev-dependencies]
+dev = [
+    { name = "pytest" },
+    { name = "ruff" },
+]
+
+[package.metadata]
+provides-extras = ["lean"]
+
+[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" },
+]