"""The ProofWarden console — the ``[web]`` extra over the warden + spine.

Lazy-imported on purpose: the base package (``mgf.test_web`` / ``mgf.test_web.testctl``)
stays **FastAPI-free** so CI can install the warden + ``testctl`` without a web stack.
Importing *this* subpackage is what pulls in FastAPI/Jinja/uvicorn.

The console is **read-mostly**: it reads the warden (lease registry) and the spine
(catalog · run-records · live NDJSON), and its single write is ``POST /run``, which
only *submits a run request* to the warden — it never executes a test or edits state.
"""

from __future__ import annotations

from ._app import create_app

__all__ = ["create_app"]
