De zaak voor proof-carrying decisions

Belangrijke geautomatiseerde besluiten horen niet als naakte outputs te verschijnen. Ze moeten bewijs, bevoegdheid, constraints en reviewpad meedragen zodat...