# 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.

Canonical page: https://dev.krewos.ai/glossary/effect-declaration