Önce deterministik kontroller
Sonuçlar şema, kural, test, imza, politika kontrolü veya teknik probe ile ölçülebiliyorsa ILAIOS anlatısal güven yerine deterministik doğrulamayı tercih eder.
Platform / Doğrulama
Kabul, yürütücünün beyanıyla değil kontrollerle kazanılır.
ILAIOS doğrulamayı bağımsız bir kontrol katmanı olarak ele alır. Bir araç, worker veya akıllı yetenek sonucu üretebilir; ancak kabul açık kriterlere ve kanıta bağlıdır.
Bağımsız doğrulama
Yüksek etkili işler yalnızca işi yapan bileşen başarılı olduğunu söylediği için kabul edilmemelidir. Doğrulama yürütmeden ayrılabilir tasarlanır.
Kanıta dayalı kararlar
Doğrulama sonuçları, ilgili bağlam ve kabul kararları denetim, hata ayıklama ve recovery için incelenebilir kanıt olarak saklanabilir.
Sınırlandırılmış recovery
Başarısız kontrol, kontrolsüz döngü yerine açık retry, repair, escalation veya stop koşuluna yönelmelidir.