Architecture
Tool ownership, public contracts, and lifecycle boundaries.
Version v0.1 of the documentation is no longer actively maintained. The site that you are currently viewing is an archived snapshot. For up-to-date documentation, see the latest version.
These pages explain why ainfra separates project configuration, contracts,
infrastructure state, host configuration, and workload deployment.
Tool ownership, public contracts, and lifecycle boundaries.
Threat assumptions, enforced invariants, and verification layers.
Committed desired state and generated template provenance.
Backend requirements, secret references, and recovery.
How ainfra turns versioned template source into reviewable infrastructure.