Runtime primitives for verification, sandbox selection, and tool brokering.

agent-infra defines the boundary between Ferrify's control-plane types and the outside world. This includes sandbox selection, tool-broker contracts, and the verification backend that shells out to Cargo.

The crate stays intentionally small in the starter implementation. The goal is to make operational boundaries explicit before adding richer runtimes or external integrations.

Examples

use agent_domain::ModeSlug;
use agent_infra::{SandboxManager, SandboxProfile};

let mode = ModeSlug::new("verifier").expect("verifier is a valid mode slug");
assert_eq!(
    SandboxManager::profile_for_mode(&mode),
    SandboxProfile::ReadOnlyWorkspace
);