"""``proofwarden`` console entry — serve the testing & CI authority UI on localhost.

Runs the read-mostly FastAPI console under uvicorn, bound to 127.0.0.1:8789 (a
sibling port to mgf-fed-web's 8788). Local, single-user, no auth — it reads the
warden + the spine and submits run *requests*; it never executes a test.
"""

from __future__ import annotations


def main() -> None:
    """Launch the ProofWarden console at http://127.0.0.1:8789."""
    import uvicorn

    from ._app import create_app

    uvicorn.run(create_app(), host="127.0.0.1", port=8789)


if __name__ == "__main__":
    main()
