Agent Engineering
Invariant
A condition that must hold in every reachable state of the system being modeled. An invariant states a safety requirement, such as never allocating more stock than exists. It does not establish that useful work eventually completes, and passing a few example tests is not a proof for all possible executions.
Also called: Safety invariant
Reviewed
Sources
Member lesson
The definition and sources are public. The complete practical lesson is for members.