Control authority / read-only evidence

The loop is visible. Authority stays deterministic.

A lifecycle view of the Habitat Management Computer checkpoint: observe operational state, reduce health, accept advisory proposals, arbitrate, and commit one validated plant step.

Development checkpointAEOLUS / live

7Lifecycle stagesReset through committed observation

0Direct adviser actuationsExternal proposals remain advisory

867Locked tests passingCPython 3.11 evidence at corrected head

1Final authority ownerDeterministic HMC arbitration

ResetEstablish run and authority identities

ObserveIssue operational measurement

VerifyBind snapshot and provenance

ProposeReceive advisory command

ArbitrateApply safety and reserve policy

StepValidate before transactional commit

ObserveIssue the committed result