verifies
verifies
Section titled “verifies”Section: the machine’s tests
Children
Section titled “Children”Translations
Section titled “Translations”- en: verifies
- de: überprüft
- es: verifica
- fr: vérifie / verifie
- ja: 検証
- ko: 검증
- zh: 验证
Example — A simple decision
Section titled “Example — A simple decision”Checks an order total and decides whether it needs a human to look at it.
machine order_check accepts total as number, is required responds with approved as boolean reason as text behaves decide review when input.total > 1000 {approved: false, reason: "needs review"} otherwise {approved: true, reason: "auto approved"} verifies test "large orders need review" given {total: 5000} expect {approved: false}