Control, effects and autonomy
Effect Declaration
The statement each component makes about what it reads, writes, spends and causes externally. The compiler statically proves those properties before a Release exists — including that no path runs from untrusted input to an external side effect without an intervening approval gate. If the property does not hold, there is no release to deploy.