Предположим, хост принимает объект с необязательным булевым полем approved и разрешает работу только тогда, когда запрос возвращает true.
У гипотетического полного правила allow if input.approved == true нет значения по умолчанию. Сравним {"approved": false} и {}. Ни один вариант не делает правило успешным, поэтому в обоих случаях allow не определён. Явный результат запроса false был бы другим исходом.
Добавить default allow := false, чтобы оба случая возвращали false, или сохранить неопределённость и потребовать явной обработки на стороне хоста? В любом случае хост должен решить, что означает отсутствие результата.
Это значение по умолчанию не проверяет отсутствие входного документа хоста или небулевое поле. Они остаются отдельными задачами проверки входных данных.