Beslisinfrastructuur rond een deterministische kernel
Evaluatievormen
Een evaluatie wordt bepaald door de geverifieerde claims die worden onderzocht, de omgeving en de verantwoordelijkheden van de operator.
Afbakening van het bewijs
Namen van edities verruimen de openbare bewijsgrens niet en impliceren geen onbeschikbare implementatiecapaciteiten.