Module admin 

Admin API listener for operational endpoints.

Serves health, metrics, and provenance on a dedicated port separate from user traffic (ADR-0022).

Structs

AdminState

Shared state for the admin server.

Functions

start_admin_server

Start the admin HTTP server.