//! HTTP server mode for mrapids — provides REST API for trusted callers.
//!
//! Two execution paths:
//! - POST /api/execute — one-call trusted execution (policy + execute + mask + audit)
//! - POST /api/claim → /api/preview → /api/run — full verification workflow
use crateMcpServer;
use Arc;
use Mutex;
/// Shared application state across all HTTP handlers