$ ocl test ./waiver.ocl✓ Срок  Нет даты — тест красный.✓ Потолок  «Любые убытки» не проходят учебный линтер.✓ Сторона  Обязанность без подлежащего не собирается.

Пункт можно
протестировать

Командная утилита с открытым кодом: проверяет, что в оговорке есть срок, потолок и сторона. Макет языка, которого ещё нет в вашем репозитории. Это не юридическое заключение.