One-line meaning
An explicit test for whether the intended task outcome has been achieved.
Example
Bread is inside the toaster, door closed, button pressed, and robot stable at the end.
Nuance
A sequence of plausible actions is not equivalent to the achieved physical outcome. Prefer observable predicates and report partial failures.
Related concepts
Sources
Primary source to be added. This entry is a working explanation awaiting source review.