Rozhodovací infrastruktura založená na deterministickém jádru
Veřejná dokumentace
Jeden zdroj pro každý veřejný fakt s výslovnými vazbami mezi tvrzeními a jejich hranicemi.
Hranice důkazů
Interní architektura a schopnosti mimo současnou hranici prokázání zde nejsou zveřejněny.