"""mgf.test_web — ProofWarden: the testing & CI authority.

Base (this package, FastAPI-free): the **warden** single-flight broker + the
``testctl`` CLI + runner adapters, built on the ``mgf-fedres`` spine and driving
``mgf-test-supervisor`` (mtest) as the runner. The ``[web]`` extra adds the console.

The rule that defines the product: **a given test can never run twice at once**,
regardless of launcher (CLI / web / agent / CI) — enforced *by construction* by a
resident warden that is the sole executor, via an atomic lease registry.

Status: A4 spike (the single-flight core). See ``docs/planning/`` in mgf-fedres.
"""

from __future__ import annotations

from .warden import (
    AcquireOutcome,
    Lease,
    LeaseRegistry,
    RunRequest,
    Warden,
    WardenClient,
    WardenDaemon,
    WardenUnreachable,
    is_live,
)

__version__ = "0.1.4"

__all__ = [
    "AcquireOutcome",
    "Lease",
    "LeaseRegistry",
    "RunRequest",
    "Warden",
    "WardenClient",
    "WardenDaemon",
    "WardenUnreachable",
    "__version__",
    "is_live",
]
