Formell verifizierte Richtermodelle können Märkte entscheiden oder in anderen Kontexten als Quelle der Wahrheit dienen. Das hat tiefgreifende Implikationen --> 1. Nehmen Sie sich die Zeit, ein angemessen geprüftes (vorzugsweise Open Source) Richtermodell für den Anwendungsfall zu erstellen. 2. Entwerfen Sie einen geeigneten Prompt, eine Reihe von Werkzeugen+Quellen, auf die es zugreifen kann, und Bedingungen, um "Urteile auszulösen". 3. Stellen Sie sicher, dass alles für alle beteiligten Parteien gut aussieht (oder für einen Prüfmechanismus, den sie genehmigen). 3. Kodifizieren Sie alles in einem Smart Contract und setzen Sie es um. Danach warten Sie auf den "Trigger" und, wenn alles offen/transparente vereinbart wurde, ist das Ergebnis schwer anzufechten.