Settlement
Prove first. Act second.
A source system commits an event. A destination verifier checks the evidence before it authorizes a mint, release, payment, or other action. Relayers may deliver the proof, but they do not get to decide whether it is true.
Prover availability, finality, verifier code, custody, upgrades, and application logic still matter.