Создание решающих правил

Хороший кандидат Vouch — небольшое детерминированное решение с явным вводом, стабильным исходником проверяемого профиля и проверяемым выводом.

Кратко

LISPEX

(define (refund? days opened?) (and (<= days 14) (not opened?)))
(refund? 9 #f)

Результат

OUTPUT

#t

Держите преобразование host-данных вне правила и закрепляйте точный datum, переданный проверяемому профилю.
Возвращайте компактное значение с документированной приложением интерпретацией и тестируйте обе границы.
Версионируйте исходник, корпус ввода и квитанции вместе, чтобы replay имел явный знаменатель.
Когда решающее правило стабильно, кодируйте его точные проверенные байты в изображение Lispex для детерминированной визуальной передачи. Обычный исходник остаётся поверхностью ревью и контроля версий.

Квитанция решения не определяет справедливость или правильность самой бизнес-политики.