docs: drop mike version provider for pre-1.0 (#35)

* docs: drop mike version provider for pre-1.0

mike maintains multiple versioned snapshots of the docs under one
domain, with a version dropdown for switching between them. Useful
once an API contract stabilizes and users on different installed
versions need to read the docs that match their install.

Pre-1.0, breaking changes are still expected — historical snapshots
would just confuse readers (the API in v0.5 docs may not exist in
v0.7). pydantic-ai's docs site (the polish reference) doesn't ship
versioned docs either. Revisit when 1.0 ships and the API
contract stabilizes.

Removes ``extra.version.provider: mike`` from mkdocs.yml so Material's
theme stops trying to fetch a versions.json that no CI step
produces.

* docs: drop mike dep from docs group

mike was the only consumer of ``version.provider: mike`` in
mkdocs.yml, which the previous commit removed. Drop the
``mike>=2.1,<3`` line from pyproject.toml's docs group and
regen uv.lock so the docs install surface no longer pulls in
mike + its transitives (pyparsing, verspec).

Author: chris-colinsky

mkdocs.yml

@@ -113,11 +113,6 @@ nav:
 extra:
   # Hide the "Made with Material for MkDocs" footer.
   generator: false
-  # Versioned docs via mike. The dropdown shows once at least one
-  # version has been published (``mike deploy <version>``); pre-1.0
-  # it stays hidden because nothing's deployed.
-  version:
-    provider: mike
   social:
     - icon: fontawesome/brands/github
       link: https://github.com/LunarCommand/openarmature-python

pyproject.toml

@@ -56,7 +56,6 @@ docs = [
     "pymdown-extensions>=10.0,<11",
     "mkdocs-glightbox>=0.4,<1",
     "mkdocs-llmstxt>=0.1,<1",
-    "mike>=2.1,<3",
 ]
 # Deps for the runnable demos under ``examples/``. The demos call out to
 # an OpenAI-compatible LLM endpoint, so ``openai`` is the one extra