Aerospace templates
Ready-to-deploy state contracts in the Aerospace category. Each is a running machine — protocols pre-composed into states and transitions, deployable as-is onto your state machine.
| Template | What it does |
|---|---|
| Hohmann Transfer Planner | Minimum-fuel orbit raise: fires the first burn only when phase angle and Δv budget align, then sequences coast and circularisation. Every burn proven on-chain. |
| Re-entry Corridor Guard | Holds a capsule's entry angle inside the survivable corridor: nominal → shallow/steep warnings → abort-to-orbit if the flight-path angle leaves bounds. |
See the full Templates Library for all categories, or the State Contracts model for how to author your own.