xtr-http-message-contracts 4.0.2__tar.gz

xtr_http_message_contracts-4.0.2/LICENSE

@@ -0,0 +1,23 @@
+MIT License
+
+Copyright (c) 2026 xterr
+Copyright (c) 2014 PHP Framework Interoperability Group
+Copyright (c) 2018 PHP-FIG
+
+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.

xtr_http_message_contracts-4.0.2/PKG-INFO

@@ -0,0 +1,184 @@
+Metadata-Version: 2.4
+Name: xtr-http-message-contracts
+Version: 4.0.2
+Summary: The HTTP message contract alone: requests, responses, streams, URIs, uploaded files and the six factories that build them.
+Keywords: http,http-message,request,response,contracts,interface,protocol
+Author: Xterr
+Author-email: Xterr <me@xterr.dev>
+License-Expression: MIT
+License-File: LICENSE
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Developers
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
+Classifier: Topic :: Internet :: WWW/HTTP
+Classifier: Typing :: Typed
+Requires-Dist: typing-extensions>=4.4
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+
+<div align="center">
+
+# xtr-http-message-contracts
+
+**The HTTP message contract, and nothing else — so two libraries can pass a request between them without agreeing on a class.**
+
+<img alt="python 3.11+" src="https://img.shields.io/badge/python-%E2%89%A5%203.11-3776AB?logo=python&logoColor=white">
+<img alt="core dependencies: 1" src="https://img.shields.io/badge/core%20deps-1-3FB950">
+<img alt="typed" src="https://img.shields.io/badge/typed-ty%20%2B%20basedpyright-1f6feb">
+<img alt="license MIT" src="https://img.shields.io/badge/license-MIT-blue">
+
+</div>
+
+---
+
+## Why?
+
+An authorization server, a rate limiter and a firewall all read a request and fill in a response.
+None of them should care whose request object it is — and if each brings its own, the application
+ends up converting between three shapes of the same thing on every call.
+
+So they need the *seam*, not an implementation. This package is that seam and nothing else:
+thirteen protocols and an enumeration, built from the standard library, with one dependency —
+`typing-extensions`, for `@override` on 3.11.
+
+- 🧩 **`ServerRequestInterface`** — what arrived: method, URI, headers, body, cookies, query,
+  uploaded files, parsed body, plus the attributes a handler annotates it with.
+- 📤 **`ResponseInterface`** — a status code, a reason phrase, headers and a body.
+- 🌊 **`StreamInterface`** — the body itself, as a cursor over bytes.
+- 🔗 **`UriInterface`** — a URI taken apart into components and put back together as text.
+- 📎 **`UploadedFileInterface`** / **`UploadError`** — a file that came in, and how it went.
+- 🏭 **Six factories** — build any of the above without naming a class.
+
+```python
+from xtr_http_message_contracts import ResponseInterface, ServerRequestInterface
+
+
+async def whoami(
+    request: ServerRequestInterface,
+    response: ResponseInterface,
+) -> ResponseInterface:
+    _ = await response.get_body().write(request.get_header_line("user-agent").encode())
+    return response.with_header("content-type", "text/plain")
+```
+
+## Install
+
+```sh
+uv add xtr-http-message-contracts
+```
+
+Requires Python 3.11+.
+
+## Who installs what
+
+|  | Depends on |
+| --- | --- |
+| **A library that handles requests** | `xtr-http-message-contracts` at runtime, `xtr-http-message` as a dev dependency — its tests build real messages. |
+| **An application** | `xtr-http-message`, which implements the contract, plus the integration that bridges these types to the web framework it runs on. |
+
+An implementation **builds on** these types rather than redefining them. Import them from
+`xtr_http_message_contracts`; that one set of types is what lets a container register an
+implementation under an interface, and a library that never imported the implementation receive
+it.
+
+## The interfaces
+
+| Interface | What it is |
+| --- | --- |
+| `MessageInterface` | What a request and a response share: protocol version, headers, body. |
+| `RequestInterface` | A message going out: a method and a URI on top. |
+| `ServerRequestInterface` | A request that arrived, with everything the server learned alongside it. |
+| `ResponseInterface` | A message coming back: a status code and a reason phrase on top. |
+| `StreamInterface` | A message body: read, write, seek, and the whole of it in one awaited call. |
+| `UriInterface` | A URI as a value, every component readable. |
+| `UploadedFileInterface` | One file that came in with a request, movable once. |
+
+Under `xtr_http_message_contracts.factory`, one factory each for a request, a server request, a
+response, a stream, a URI and an uploaded file — `RequestFactoryInterface`,
+`ServerRequestFactoryInterface`, `ResponseFactoryInterface`, `StreamFactoryInterface`,
+`UriFactoryInterface`, `UploadedFileFactoryInterface`. They are re-exported at the top level too,
+so either import works.
+
+The rules that hold across all of them:
+
+- **Messages are immutable.** Every `with_*` method leaves the instance it was called on as it
+  was and returns one carrying the change, so a message handed on cannot be altered behind the
+  caller's back. The return type is `Self`, so a subtype keeps its own type through a chain.
+- **Header names are matched without regard to case**, and reported in the case they were first
+  given in. A header the message does not carry reads as an empty sequence from `get_header` and
+  an empty string from `get_header_line` — never as an error.
+- **A component the URI has not got reads as an empty string**, and `get_port` reads as `None`
+  when there is no port worth reporting.
+- **A stream is the one thing that is not immutable**: reading, writing and seeking move its
+  cursor in place. Its payload is `bytes`, since a body may be binary;
+  `await stream.get_contents()` rewinds and reads the whole of it, and raises when the body
+  cannot be read.
+- **A body is awaited.** `read`, `write`, `get_contents`, `seek`, `rewind` and `close` are
+  `async`, so a body can come off the network as it is asked for; `move_to` on an uploaded file
+  is too. The methods that only report what the stream already knows — `get_size`, `tell`,
+  `eof`, `is_seekable`, `is_readable`, `is_writable`, `get_metadata`, `detach` — are not.
+- **`with_uri` decides the `Host` header.** By default it follows the new URI, and a `Host`
+  header already there carries over only when the URI has no host; `preserve_host=True` keeps a
+  non-empty one exactly as it is.
+
+### Upload errors
+
+`get_error()` on an uploaded file, and `error=` when building one, carry one of these:
+
+| Member | Value | Means |
+| --- | --- | --- |
+| `OK` | 0 | The file arrived whole. |
+| `INI_SIZE` | 1 | Larger than the server configuration allows. |
+| `FORM_SIZE` | 2 | Larger than the submitted form named. |
+| `PARTIAL` | 3 | The upload stopped part way. |
+| `NO_FILE` | 4 | The field was submitted with no file in it. |
+| `NO_TMP_DIR` | 6 | Nowhere to keep the file while receiving it. |
+| `CANT_WRITE` | 7 | It could not be written to where it was being kept. |
+| `EXTENSION` | 8 | Something loaded on the server refused it. |
+
+`UploadError` is an `IntEnum`, so a member passes anywhere the `int` the contract calls for is
+expected. `5` is absent because that number was never assigned.
+
+## What is not here
+
+Anything that *is* a message rather than describing one: the request, response, stream, URI and
+uploaded file classes, the status-code phrase table, URI parsing, and the factory that builds all
+six. That is `xtr-http-message`.
+
+Anything that bridges a message to a web framework — building one from the call in flight,
+returning one from a route, registering either on a container — is not here either: it belongs
+with that framework's integration, which for a FastAPI application is
+[xtr-http-kernel](../xtr-http-kernel).
+
+## Errors
+
+This package defines no exception of its own; a contract with no behaviour has nothing to raise.
+The interfaces name two builtins instead, so a caller catches the same thing whichever
+implementation is behind them:
+
+| Error | Raised when |
+| --- | --- |
+| `ValueError` | An argument cannot be what it is being used as — a malformed header name, an out-of-range port, a status code that is not one |
+| `RuntimeError` | An operation cannot be carried out now — a stream that will not seek, an uploaded file already moved |
+
+## Development
+
+Developed in the [python-xtr](https://github.com/xterr/python-xtr) monorepo, under
+`packages/xtr-http-message-contracts`; run the commands below from there. The
+`python-xtr-http-message-contracts` repository is a read-only copy, so send issues and pull
+requests to the monorepo.
+
+```sh
+uv sync
+uv run ruff check . && uv run ruff format --check .
+uv run basedpyright
+uv run ty check
+uv run pytest
+```
+
+## License
+
+MIT — see [LICENSE](LICENSE).

xtr_http_message_contracts-4.0.2/README.md

@@ -0,0 +1,163 @@
+<div align="center">
+
+# xtr-http-message-contracts
+
+**The HTTP message contract, and nothing else — so two libraries can pass a request between them without agreeing on a class.**
+
+<img alt="python 3.11+" src="https://img.shields.io/badge/python-%E2%89%A5%203.11-3776AB?logo=python&logoColor=white">
+<img alt="core dependencies: 1" src="https://img.shields.io/badge/core%20deps-1-3FB950">
+<img alt="typed" src="https://img.shields.io/badge/typed-ty%20%2B%20basedpyright-1f6feb">
+<img alt="license MIT" src="https://img.shields.io/badge/license-MIT-blue">
+
+</div>
+
+---
+
+## Why?
+
+An authorization server, a rate limiter and a firewall all read a request and fill in a response.
+None of them should care whose request object it is — and if each brings its own, the application
+ends up converting between three shapes of the same thing on every call.
+
+So they need the *seam*, not an implementation. This package is that seam and nothing else:
+thirteen protocols and an enumeration, built from the standard library, with one dependency —
+`typing-extensions`, for `@override` on 3.11.
+
+- 🧩 **`ServerRequestInterface`** — what arrived: method, URI, headers, body, cookies, query,
+  uploaded files, parsed body, plus the attributes a handler annotates it with.
+- 📤 **`ResponseInterface`** — a status code, a reason phrase, headers and a body.
+- 🌊 **`StreamInterface`** — the body itself, as a cursor over bytes.
+- 🔗 **`UriInterface`** — a URI taken apart into components and put back together as text.
+- 📎 **`UploadedFileInterface`** / **`UploadError`** — a file that came in, and how it went.
+- 🏭 **Six factories** — build any of the above without naming a class.
+
+```python
+from xtr_http_message_contracts import ResponseInterface, ServerRequestInterface
+
+
+async def whoami(
+    request: ServerRequestInterface,
+    response: ResponseInterface,
+) -> ResponseInterface:
+    _ = await response.get_body().write(request.get_header_line("user-agent").encode())
+    return response.with_header("content-type", "text/plain")
+```
+
+## Install
+
+```sh
+uv add xtr-http-message-contracts
+```
+
+Requires Python 3.11+.
+
+## Who installs what
+
+|  | Depends on |
+| --- | --- |
+| **A library that handles requests** | `xtr-http-message-contracts` at runtime, `xtr-http-message` as a dev dependency — its tests build real messages. |
+| **An application** | `xtr-http-message`, which implements the contract, plus the integration that bridges these types to the web framework it runs on. |
+
+An implementation **builds on** these types rather than redefining them. Import them from
+`xtr_http_message_contracts`; that one set of types is what lets a container register an
+implementation under an interface, and a library that never imported the implementation receive
+it.
+
+## The interfaces
+
+| Interface | What it is |
+| --- | --- |
+| `MessageInterface` | What a request and a response share: protocol version, headers, body. |
+| `RequestInterface` | A message going out: a method and a URI on top. |
+| `ServerRequestInterface` | A request that arrived, with everything the server learned alongside it. |
+| `ResponseInterface` | A message coming back: a status code and a reason phrase on top. |
+| `StreamInterface` | A message body: read, write, seek, and the whole of it in one awaited call. |
+| `UriInterface` | A URI as a value, every component readable. |
+| `UploadedFileInterface` | One file that came in with a request, movable once. |
+
+Under `xtr_http_message_contracts.factory`, one factory each for a request, a server request, a
+response, a stream, a URI and an uploaded file — `RequestFactoryInterface`,
+`ServerRequestFactoryInterface`, `ResponseFactoryInterface`, `StreamFactoryInterface`,
+`UriFactoryInterface`, `UploadedFileFactoryInterface`. They are re-exported at the top level too,
+so either import works.
+
+The rules that hold across all of them:
+
+- **Messages are immutable.** Every `with_*` method leaves the instance it was called on as it
+  was and returns one carrying the change, so a message handed on cannot be altered behind the
+  caller's back. The return type is `Self`, so a subtype keeps its own type through a chain.
+- **Header names are matched without regard to case**, and reported in the case they were first
+  given in. A header the message does not carry reads as an empty sequence from `get_header` and
+  an empty string from `get_header_line` — never as an error.
+- **A component the URI has not got reads as an empty string**, and `get_port` reads as `None`
+  when there is no port worth reporting.
+- **A stream is the one thing that is not immutable**: reading, writing and seeking move its
+  cursor in place. Its payload is `bytes`, since a body may be binary;
+  `await stream.get_contents()` rewinds and reads the whole of it, and raises when the body
+  cannot be read.
+- **A body is awaited.** `read`, `write`, `get_contents`, `seek`, `rewind` and `close` are
+  `async`, so a body can come off the network as it is asked for; `move_to` on an uploaded file
+  is too. The methods that only report what the stream already knows — `get_size`, `tell`,
+  `eof`, `is_seekable`, `is_readable`, `is_writable`, `get_metadata`, `detach` — are not.
+- **`with_uri` decides the `Host` header.** By default it follows the new URI, and a `Host`
+  header already there carries over only when the URI has no host; `preserve_host=True` keeps a
+  non-empty one exactly as it is.
+
+### Upload errors
+
+`get_error()` on an uploaded file, and `error=` when building one, carry one of these:
+
+| Member | Value | Means |
+| --- | --- | --- |
+| `OK` | 0 | The file arrived whole. |
+| `INI_SIZE` | 1 | Larger than the server configuration allows. |
+| `FORM_SIZE` | 2 | Larger than the submitted form named. |
+| `PARTIAL` | 3 | The upload stopped part way. |
+| `NO_FILE` | 4 | The field was submitted with no file in it. |
+| `NO_TMP_DIR` | 6 | Nowhere to keep the file while receiving it. |
+| `CANT_WRITE` | 7 | It could not be written to where it was being kept. |
+| `EXTENSION` | 8 | Something loaded on the server refused it. |
+
+`UploadError` is an `IntEnum`, so a member passes anywhere the `int` the contract calls for is
+expected. `5` is absent because that number was never assigned.
+
+## What is not here
+
+Anything that *is* a message rather than describing one: the request, response, stream, URI and
+uploaded file classes, the status-code phrase table, URI parsing, and the factory that builds all
+six. That is `xtr-http-message`.
+
+Anything that bridges a message to a web framework — building one from the call in flight,
+returning one from a route, registering either on a container — is not here either: it belongs
+with that framework's integration, which for a FastAPI application is
+[xtr-http-kernel](../xtr-http-kernel).
+
+## Errors
+
+This package defines no exception of its own; a contract with no behaviour has nothing to raise.
+The interfaces name two builtins instead, so a caller catches the same thing whichever
+implementation is behind them:
+
+| Error | Raised when |
+| --- | --- |
+| `ValueError` | An argument cannot be what it is being used as — a malformed header name, an out-of-range port, a status code that is not one |
+| `RuntimeError` | An operation cannot be carried out now — a stream that will not seek, an uploaded file already moved |
+
+## Development
+
+Developed in the [python-xtr](https://github.com/xterr/python-xtr) monorepo, under
+`packages/xtr-http-message-contracts`; run the commands below from there. The
+`python-xtr-http-message-contracts` repository is a read-only copy, so send issues and pull
+requests to the monorepo.
+
+```sh
+uv sync
+uv run ruff check . && uv run ruff format --check .
+uv run basedpyright
+uv run ty check
+uv run pytest
+```
+
+## License
+
+MIT — see [LICENSE](LICENSE).

xtr_http_message_contracts-4.0.2/pyproject.toml

@@ -0,0 +1,138 @@
+[project]
+name = "xtr-http-message-contracts"
+version = "4.0.2"
+description = "The HTTP message contract alone: requests, responses, streams, URIs, uploaded files and the six factories that build them."
+readme = "README.md"
+requires-python = ">=3.11"
+license = "MIT"
+license-files = ["LICENSE"]
+keywords = [
+    "http",
+    "http-message",
+    "request",
+    "response",
+    "contracts",
+    "interface",
+    "protocol",
+]
+classifiers = [
+    "Development Status :: 3 - Alpha",
+    "Intended Audience :: Developers",
+    "Programming Language :: Python :: 3.11",
+    "Programming Language :: Python :: 3.12",
+    "Programming Language :: Python :: 3.13",
+    "Programming Language :: Python :: 3.14",
+    "Topic :: Internet :: WWW/HTTP",
+    "Typing :: Typed",
+]
+dependencies = ["typing-extensions>=4.4"]
+
+[[project.authors]]
+name = "Xterr"
+email = "me@xterr.dev"
+
+[dependency-groups]
+dev = [
+    "basedpyright>=1.21",
+    "ruff>=0.8",
+    "pytest>=8",
+    "pytest-cov>=5",
+    "ty>=0.0.83",
+]
+
+[build-system]
+requires = ["uv_build>=0.9.18,<0.10.0"]
+build-backend = "uv_build"
+
+[tool.basedpyright]
+typeCheckingMode = "all"
+pythonVersion = "3.11"
+pythonPlatform = "All"
+include = [
+    "src",
+    "tests",
+]
+exclude = [
+    "**/__pycache__",
+    "**/.venv",
+    "**/build",
+    "**/dist",
+    ".tmp",
+]
+reportUnusedCallResult = "warning"
+reportUnnecessaryTypeIgnoreComment = "error"
+reportUnusedVariable = "error"
+reportMissingParameterType = "error"
+reportPrivateUsage = "error"
+
+[tool.ruff]
+target-version = "py311"
+line-length = 100
+src = [
+    "src",
+    "tests",
+]
+
+[tool.ruff.lint]
+select = ["ALL"]
+ignore = [
+    "COM812",
+    "ISC001",
+    "D203",
+    "D213",
+    "CPY001",
+    "FBT001",
+    "FBT002",
+    "TD002",
+    "TD003",
+    "FIX002",
+]
+fixable = ["ALL"]
+unfixable = []
+
+[tool.ruff.lint.per-file-ignores]
+"tests/**/*.py" = [
+    "S101",
+    "ARG",
+    "PLR2004",
+    "SLF001",
+    "D",
+]
+
+[tool.ruff.lint.pydocstyle]
+convention = "google"
+
+[tool.ruff.format]
+quote-style = "double"
+indent-style = "space"
+docstring-code-format = true
+docstring-code-line-length = "dynamic"
+
+[tool.ty.src]
+include = [
+    "src",
+    "tests",
+]
+
+[tool.pytest.ini_options]
+minversion = "8.0"
+testpaths = ["tests"]
+addopts = [
+    "-ra",
+    "--strict-config",
+    "--strict-markers",
+]
+filterwarnings = ["error"]
+
+[tool.coverage.run]
+source = ["src"]
+branch = true
+
+[tool.coverage.report]
+fail_under = 95
+exclude_lines = [
+    "pragma: no cover",
+    "if TYPE_CHECKING:",
+    "raise NotImplementedError",
+    '^\s*\.\.\.$',
+]

xtr_http_message_contracts-4.0.2/pyproject.toml.orig

@@ -0,0 +1,132 @@
+[project]
+name = "xtr-http-message-contracts"
+version = "4.0.2"
+description = "The HTTP message contract alone: requests, responses, streams, URIs, uploaded files and the six factories that build them."
+readme = "README.md"
+authors = [
+    { name = "Xterr", email = "me@xterr.dev" }
+]
+requires-python = ">=3.11"
+license = "MIT"
+license-files = ["LICENSE"]
+keywords = ["http", "http-message", "request", "response", "contracts", "interface", "protocol"]
+classifiers = [
+    "Development Status :: 3 - Alpha",
+    "Intended Audience :: Developers",
+    "Programming Language :: Python :: 3.11",
+    "Programming Language :: Python :: 3.12",
+    "Programming Language :: Python :: 3.13",
+    "Programming Language :: Python :: 3.14",
+    "Topic :: Internet :: WWW/HTTP",
+    "Typing :: Typed",
+]
+# One dependency, for `@override` on 3.11, where typing has none. Everything
+# else the thirteen protocols and the enum need is in the standard library.
+dependencies = [
+    "typing-extensions>=4.4",
+]
+
+[dependency-groups]
+dev = [
+    "basedpyright>=1.21",
+    "ruff>=0.8",
+    "pytest>=8",
+    "pytest-cov>=5",
+    "ty>=0.0.83",
+]
+
+[build-system]
+requires = ["uv_build>=0.9.18,<0.10.0"]
+build-backend = "uv_build"
+
+# ─────────────────────────────────────────────────────────────────
+# basedpyright — typeCheckingMode = "all" sets every report flag to error
+# ─────────────────────────────────────────────────────────────────
+[tool.basedpyright]
+typeCheckingMode = "all"
+pythonVersion = "3.11"
+pythonPlatform = "All"
+include = ["src", "tests"]
+exclude = ["**/__pycache__", "**/.venv", "**/build", "**/dist", ".tmp"]
+
+reportUnusedCallResult = "warning"
+reportUnnecessaryTypeIgnoreComment = "error"
+reportUnusedVariable = "error"
+reportMissingParameterType = "error"
+reportPrivateUsage = "error"
+
+# ─────────────────────────────────────────────────────────────────
+# ruff — select = ["ALL"], minimal justified ignores
+# ─────────────────────────────────────────────────────────────────
+[tool.ruff]
+target-version = "py311"
+line-length = 100
+src = ["src", "tests"]
+
+[tool.ruff.lint]
+select = ["ALL"]
+ignore = [
+    # Formatter conflicts (ruff documents these)
+    "COM812",
+    "ISC001",
+    # Mutually-exclusive docstring conventions; keep the modern one
+    "D203",
+    "D213",
+    # Project-specific noise
+    "CPY001",
+    "FBT001",
+    "FBT002",
+    "TD002",
+    "TD003",
+    "FIX002",
+]
+fixable = ["ALL"]
+unfixable = []
+
+[tool.ruff.lint.per-file-ignores]
+"tests/**/*.py" = [
+    "S101",    # assert is the point of pytest
+    "ARG",     # fixtures look unused
+    "PLR2004", # magic numbers in test data
+    "SLF001",  # tests reach into privates
+    "D",       # test names are the docs
+]
+
+[tool.ruff.lint.pydocstyle]
+convention = "google"
+
+[tool.ruff.format]
+quote-style = "double"
+indent-style = "space"
+docstring-code-format = true
+docstring-code-line-length = "dynamic"
+
+# ─────────────────────────────────────────────────────────────────
+# ty — a second opinion on the source
+# ─────────────────────────────────────────────────────────────────
+[tool.ty.src]
+include = ["src", "tests"]
+
+# ─────────────────────────────────────────────────────────────────
+# pytest
+# ─────────────────────────────────────────────────────────────────
+[tool.pytest.ini_options]
+minversion = "8.0"
+testpaths = ["tests"]
+addopts = ["-ra", "--strict-config", "--strict-markers"]
+filterwarnings = ["error"]
+
+[tool.coverage.run]
+source = ["src"]
+branch = true
+
+[tool.coverage.report]
+# CI runs the tests with --cov; a change taking coverage below this fails there.
+fail_under = 95
+exclude_lines = [
+    "pragma: no cover",
+    "if TYPE_CHECKING:",
+    "raise NotImplementedError",
+    # A Protocol body states a contract; there is nothing there to run.
+    "^\\s*\\.\\.\\.$",
+]