{"block_close_oss.c33fd1fe9c":"Community und Ökosystem","core-extras.96d330537a":"Basis-IR","core-extras.bee831a169":"Substrat","core-extras.61a0822826":"Apps auf Core","core-extras.15438cc098":"nicht unterstützt","core-extras.ad565d9d01":"Funktion","core-extras.0155bf03e5":"Segment-Legende","core-extras.8b7110078e":"Algorithmusgruppen nach Datentyp","core-extras.25ab4276a6":"Scrollbare Funktionsmatrix","open-source-aion.81f3904118":"Wissens-Governance auf Basis von AION-typischer Provenienz.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Produkte","open-source-aion.de5ec3713e":"Merkle-zertifizierbarer Parser, den AION für die Eingabeverarbeitung verwendet.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Verifizierte Laufzeit, die AION-Zertifikate mit Ausführungstranskripten paart.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Ereignis-Provenienz für Systeme: hash-verkettete Aufzeichnungen dessen, was passiert ist, nicht der Argumentationsschritte innerhalb einer Entscheidung.","open-source-aion.1aa2f31ee7":"Ledger","open-source-aion.d5d6e83bf2":"Weiter erkunden","open-source-aion.75e393a1ac":"Verwandte Projekte ansehen","open-source-aion.f9743247fa":"Dokumentation lesen","open-source-aion.ef0fd4ccef":"Beweispfad prüfen","open-source-aion.77453cde44":"Führen Sie ein Beispielzertifikat aus und prüfen Sie es mit aion check, cvc5 oder einem beliebigen LRAT-kompatiblen Verifizierer, sobald das Repository veröffentlicht ist. Die Veröffentlichung ist für den 1. September 2026 geplant, und die Installationsanweisungen erscheinen zusammen mit ihr.","open-source-aion.dd58b70279":"Der Beweis wird mit der Antwort geliefert","open-source-aion.90e40d5043":"Erste Schritte","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Open Source","open-source-aion.close.accent":"damit jeder es ohne Sie prüfen kann","open-source-aion.close.panel.title":"Was ein Zertifikat enthält","open-source-aion.close.panel.tag":"ENVELOPE","open-source-aion.close.panel.row.0.label":"Envelope","open-source-aion.close.panel.row.0.value":"Eine Form, acht Felder","open-source-aion.close.panel.row.1.label":"Familien","open-source-aion.close.panel.row.1.value":"Neun registriert und erweiterbar","open-source-aion.close.panel.row.2.label":"Prüfung","open-source-aion.close.panel.row.2.value":"Begrenzt, ohne Lizenz, ohne Replay","open-source-aion.close.panel.row.3.label":"Wo es läuft","open-source-aion.close.panel.row.3.value":"Auf Ihrer Website, nichts ausgehend","open-source-aion.close.panel.foot":"Ein Zertifikat bleibt klein und auch Jahre später erneut prüfbar.","open-source-aion.ea722c81af":"Europäisch","open-source-aion.26803e587f":"Zum Prüfzeitpunkt","open-source-aion.15edfb4da4":"Hergestellt in","open-source-aion.75f527181b":"Offline","open-source-aion.f8c94a3b4b":"Was es ist","open-source-aion.6b5eb5323e":"Offline, lineare Zeit","open-source-aion.a49b62e167":"Exakte rationale Zahlen","open-source-aion.45f053dc73":"Arithmetik","open-source-aion.4329e5da7b":"11 logische Domänen","open-source-aion.9a948dc88c":"DERIVATION","open-source-aion.e6c67de15e":"Beweisformate","open-source-aion.87415af880":"Beweiszertifikate","open-source-aion.9c8c22f54d":"Evidenz, keine Zusicherungen","open-source-aion.44ab85a252":"Ursprung","open-source-aion.3271776def":"Offline, ohne Dienst","open-source-aion.03128bed90":"Verifizierung","open-source-aion.4f1428fca3":"Hardware, die Sie kontrollieren","open-source-aion.5703321d0e":"Läuft auf","open-source-aion.978e9ec250":"Standard, portabel","open-source-aion.3229609e15":"Verifizierung","open-source-aion.cba0624eb5":"Verifizierungsnachweis","open-source-aion.26ef011865":"Sehen Sie, wo es läuft","open-source-aion.6f696724c6":"Den Verifizierungspfad ansehen","open-source-aion.a3f1131acb":"AION ist Beweisinfrastruktur für KI-Entscheidungen, öffentlich ab dem 1. September 2026. Es erzeugt einen kompakten Beweis neben einem KI-Ergebnis, und ein separater Prüfer geht diesen Beweis gegen die ursprünglichen Prämissen durch und akzeptiert oder verwirft ihn ohne das Modell, die Solver-Sitzung oder das Netzwerk.","open-source-aion.a2831cb958":"für unabhängig geprüfte KI-Entscheidungen","open-source-aion.78db6d1920":"Beweisinfrastruktur","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Niemals einfach vertrauen","open-source-aion.4c1c703b94":"Der Punkt","open-source-aion.2518be9b9c":"Nicht erforderlich","open-source-aion.4ab2910209":"Ihr Konto","open-source-aion.3477f4d91d":"Gleiche Antwort","open-source-aion.d7e70b6e08":"Gleiche Frage","open-source-aion.930888ee28":"Kein Internet","open-source-aion.d072f5db48":"Bedürfnisse prüfen","open-source-aion.576347ec82":"Europa","open-source-aion.eeffc514bd":"Nein, andere nutzen es für Sie","open-source-aion.cef1deea41":"Sie bauen es","open-source-aion.64ae43e8fe":"Beweisprüfung","open-source-aion.fdd1e56642":"Eine Quittung für Antworten","open-source-aion.704869f20f":"In einfachen Worten","open-source-aion.658a8547d7":"Ist es sicher?","open-source-aion.06c805023d":"Ein Grund, den Sie mit sich tragen können","open-source-aion.e92ed103c2":"AION fügt einer KI-Antwort eine überprüfbare Quittung hinzu. Ihr Assistent kann Ihnen sagen, ob die Argumentation stichhaltig ist, ohne dass Sie die Technik verstehen müssen, und die Quittung kann ohne Internetverbindung erneut geprüft werden. AION ist ab dem 1. September 2026 öffentlich, dem Tag, an dem auch die Dokumentation online geht.","open-source-aion.336366183a":"für KI-Entscheidungen","open-source-aion.41cbc965ef":"Eine überprüfbare Quittung","open-source-aion.4eabc3bc63":"CDCL mit Theorie-Plugins","open-source-aion.68836c550e":"Kern","open-source-aion.0cdb7c9a36":"Lineare Zeit, offline","open-source-aion.dfa8ff7110":"LRAT, DRAT, Alethe, Unified","open-source-aion.aeacbd6e45":"Theorien","open-source-aion.e2ae20d9ae":"Rust","open-source-aion.89b86ab0e6":"Sprache","open-source-aion.942587e61e":"Projektblatt","open-source-aion.d4a74b503a":"Dokumentation lesen","open-source-aion.b683cc6ce4":"AION öffnet das Programm am 1. September 2026: Beweisinfrastruktur für KI-Entscheidungen, mit Repository und Dokumentation gemeinsam veröffentlicht. Post-hoc-Erklärungen verlangen lediglich, dass Sie einem weiteren Bericht desselben Systems vertrauen. AION gibt stattdessen ein Beweiszertifikat aus, das jeder Prüfer offline, in linearer Zeit und ohne den Solver überprüfen kann.","open-source-aion.8f2ee5be83":"KI-Ergebnisse","open-source-aion.376868cca2":"für unabhängig geprüfte","open-source-aion.hero.source":"Nach der Veröffentlichung fragen","open-source-aion.45471af790":"Ereignisherkunft","open-source-aion.ac9835d4bd":"Ausführungsprotokolle","open-source-aion.24f43d4446":"Syntaxbäume","open-source-aion.f6b229e148":"Ihre Dateien, Ihre Hardware, Ihre Zahlen und ein Prüfer, der den Beweis eines Fremden liest","open-source-aion.144fbc96c6":"GEZÄHLT","open-source-aion.719075bb86":"PARSEN UND LÖSEN","open-source-aion.8f84ba12df":"EIGENE DATEIEN","open-source-aion.8f088dbc07":"Das ist eine zweiwöchige Evaluierung mit schriftlichem Ergebnis statt einer Vorführung. Das Korpus gehört Ihnen, die Hardware gehört Ihnen, die Zahlen dürfen Sie intern veröffentlichen, und nichts an der Übung erfordert ein Gespräch mit uns. Die Testumgebung wird mit dem Repository geliefert, sodass der Lauf am Tag des Zugriffs beginnen kann.","open-source-aion.36ef075645":"Korrekt ist nicht AIONs Meinung über sich selbst. Jede Datei in einem Standardkorpus trägt den Status, den sie bekanntermaßen hat, und die Testumgebung vergleicht AIONs Antwort mit dieser Annotation Fall für Fall, sodass die Zahl am Ende eine Bewertung gegenüber einer festgelegten Grundwahrheit ist. Der Adressraum pro Lauf kann begrenzt werden, was verhindert, dass eine pathologische Datei eine Maschine mitreißt.","open-source-aion.e5bce47d50":"Was ein Pilotprojekt liefert","open-source-aion.680f97998b":"AION wird mit einer Benchmark-Testumgebung geliefert, sodass die Zahlen, die Sie in einem Business Case anführen, diejenigen sind, die Ihre eigenen Dateien auf Ihrer eigenen Hardware erzeugt haben. Richten Sie sie auf ein Korpus, und sie zeichnet für jede Instanz Parse-Zeit, Lösungszeit und Spitzenspeicher auf und gibt dann eine Anzahl korrekter Antworten aus. Der Lauf wiederholt sich auf demselben Korpus, sodass eine zweite Evaluierung Zeile für Zeile neben die erste gesetzt werden kann.","open-source-aion.2d5f8acea9":"und die Zahlen ablesen","open-source-aion.5586707b63":"Führen Sie zuerst Ihre eigenen Dateien aus","open-source-aion.67ec8d614c":"Vor der Verpflichtung","open-source-aion.55744ee096":"Selbst mit all dem wird jemand ein Ergebnis anzweifeln. Das braucht einen Weg, kein Meeting","open-source-aion.80935eb972":"DATED","open-source-aion.43acc44dc6":"LIVE BEOBACHTET","open-source-aion.24538c3986":"SPIELRAUM, KEIN ALARM","open-source-aion.368f25d10d":"Irgendwann vor diesem letzten Tag gab es einen Tag, an dem die Arbeit noch eine Nachmittagsarbeit war, und genau diesen Tag möchte ein Manager markiert haben, weil jede Option danach teurer wird. Das tägliche Lesen des Spielraums ist, wie dieser Tag gefunden wird.","open-source-aion.c5701049a8":"Der Bericht hat einen Verantwortlichen statt einer Warteschlange, und jede Zeile darin impliziert eine andere Arbeit mit anderer Dringlichkeit. Eine ist abgeschlossen und erfordert keine Maßnahme von irgendjemandem. Eine hat noch vier Tage, was sie zum Plan dieser Woche statt zu dem von heute macht. Eine hat noch einen einzigen Tag, was sie zur Arbeit dieses Morgens macht. Eine ist seit zwei Wochen überfällig, was einen Namen und einen Satz zur Erklärung der Lücke erfordert.","open-source-aion.26435b9406":"Alles mit einer Frist kann während des Laufs beobachtet werden, und AION meldet den verbleibenden Spielraum als vorzeichenbehaftete Zahl statt als Bestanden. Ein Antwortfenster mit vier verbleibenden Tagen. Eine Aufbewahrungsfrist, die zwei Wochen nach dem Datum, an dem sie hätte enden sollen, überschritten ist. Das ist eine operative Ablesung, auf die jemand heute Morgen reagieren kann. Die Zahl bewegt sich täglich, sodass der Bericht als Spielraum und nicht als Alarm gelesen wird.","open-source-aion.f49579b8d6":"bevor es zu einem Verstoß wird","open-source-aion.0e185152c8":"Sie lesen den Spielraum täglich","open-source-aion.bc09e774e9":"Laufende Verpflichtungen","open-source-aion.cff8079f65":"Aufzeichnungen beantworten Fragen im Nachhinein. Manche Verpflichtungen müssen während des Laufs beobachtet werden","open-source-aion.127edee78d":"VORZEICHENBEHAFTET","open-source-aion.b1c1ba1af8":"EINE LISTE","open-source-aion.8d27ef68f5":"SIEBEN KÖNNEN SICH BEWEGEN","open-source-aion.c84f34cb7c":"Attribution ist ein zweiter Mechanismus statt einer weiteren Spalte derselben Aufzeichnung. Eine Signatur wird über die Ableitungsreihenfolge gelegt, sodass überlebt, wer ein Ergebnis erzeugt hat, wenn der Auftragnehmer wechselt, und zwei identische Antworten von zwei Anbietern unterscheidbar bleiben. Das gilt auch, wenn beide aus denselben deklarierten Eingaben erzeugt wurden.","open-source-aion.a76201631f":"Jeder Eintrag auf dieser Liste nennt die Komponente, die sich geändert hat, und das dahinter gespeicherte Zertifikat ist vollständig, sodass die erneute Prüfung ein Lauf statt einer Rekonstruktion ist. Die Alternative, die die meisten Organisationen haben, ist eine Wahl zwischen erneutem Prüfen von allem und erneutem Prüfen von nichts, und in der Praxis wird diese Wahl immer auf dieselbe Weise getroffen.","open-source-aion.5c82441a97":"Die Aufzeichnung","open-source-aion.10d9103c24":"Ein Ergebnis, das letztes Jahr akzeptiert wurde, wurde unter dem Vertrag des letzten Jahres akzeptiert. Sieben verschiedene Dinge können sich darunter bewegen: eine Prüferregel, ein Zertifikatsschema, eine Richtlinie, eine Compilerregel, ein Laufzeitvertrag, eine Modellversion oder ein Simulationsvertrag. Wenn sich eines davon bewegt, hat die Frage, welche früheren Schlussfolgerungen auf dem geänderten Teil beruhten, eine Antwort, und die Antwort ist eine Liste.","open-source-aion.1829734913":"erhalten Sie eine Liste zum Wiederholen","open-source-aion.6d49555943":"Wenn sich später eine Regel ändert","open-source-aion.7f325552d8":"Ihr Prüfpfad, versioniert","open-source-aion.d272027f73":"Ein lokaler Datensatz ist leicht zu führen. Ihn aussagekräftig zu halten, wenn sich die Regeln ändern, ist schwerer","open-source-aion.05a898ec87":"KEIN MODELL-HOST","open-source-aion.c530254e40":"IHRE WEBSITE","open-source-aion.66b3dbbe8f":"KEIN AUSGEHENDER ANRUF","open-source-aion.8ae7a1670e":"Für eine Datenschutzbeauftragte, die eine kurze Liste von Fragen zu diesem Pfad beantwortet, und nur zu diesem Pfad: kein Auftragsverarbeiter, der in ein Register aufzunehmen ist, keine Übermittlung, die zu rechtfertigen ist, kein Modellanbieter in der Kette und nichts von uns, das während Ihres Vorfalls nicht verfügbar sein kann oder sich unter Ihnen nach dem Release-Zeitplan eines anderen ändert. Der Build, den Sie haben, ist der Build, der nächstes Jahr läuft. Diese Antwort bleibt gleich, ob die Website verbunden oder vom Netz getrennt ist.","open-source-aion.60ad7ae15b":"Zwei Pfade können eine Grenze überschreiten, und beide können Sie konfigurieren. Ein Cluster läuft über Adressen, die Sie selbst festlegen. Ein externer Beweisführer, falls Sie einen in den Ablauf einbinden möchten, ist ein Programm, das Sie installieren, und es läuft als lokaler Prozess auf Ihrem eigenen Rechner.","open-source-aion.2f6a307ba7":"Für Betreiber","open-source-aion.dbc08c41b9":"Der Standard-Build von AION enthält keinen ausgehenden Client. Das Prüfen eines Beweises, das Übersetzen einer Anforderung, das Überwachen eines Signals und das Ausführen der Suche geschehen alle auf dem Rechner, auf dem Sie sie gestartet haben, innerhalb Ihrer eigenen Grenze, auf Hardware, die Sie kontrollieren. Es gibt kein gehostetes Modell in der Kette und keinen Weg dorthin. Derselbe Build läuft in einem vom Netz getrennten Raum wie in einem verbundenen, weil nichts auf dem Standardpfad ein Netzwerk benötigt, um abzuschließen.","open-source-aion.90c790a231":"und nichts ruft nach außen","open-source-aion.4b9230d5db":"Alles läuft vor Ort","open-source-aion.fe7f7fc61a":"Wo die Arbeit geschieht","open-source-aion.ed461cacdf":"Ein Beweis über die Regeln ist eine Sache. Wo die Arbeit läuft, ist die nächste Frage, die Leute stellen","open-source-aion.640d41197b":"EIN DURCHGEFÜHRT","open-source-aion.29ff0fb82f":"SIEBEN AUSSAGEN","open-source-aion.431d64456a":"Das ist eine Aussage über die Regelmenge und nicht eine Stichprobe vergangener Fälle. Das Testen von tausend Anwendungen zeigt tausend Anwendungen; eine Nicht-Interferenz-Prüfung deckt jedes Paar ab, das die Regeln erlauben, unter Verwendung von Selbstkomposition, eigenschaftsgerichteter Erreichbarkeit und k-Induktion, wobei die Abstraktion dort verfeinert wird, wo ein Paar zeigt, dass sie zu grob war. Wenn sie nicht hält, ist das, was zurückkommt, keine Statistik. Es sind zwei Anwendungen, die in allen öffentlichen Feldern identisch sind, sich in dem unterscheiden, nach dem Sie gefragt haben, mit zwei verschiedenen Ergebnissen, die nebeneinander gedruckt sind. Das ist ein Befund, mit dem eine Compliance-Beauftragte noch am selben Morgen arbeiten kann.","open-source-aion.e5e1cd5506":"Nehmen Sie die Frage, die Aufsichtsbehörden und Beschwerdeführer am häufigsten stellen, in verschiedenen Worten: Hat dieses Feld das Ergebnis geändert? Sie wird als Eigenschaft über zwei Läufe beantwortet. Binden Sie alle öffentlichen Eingaben zusammen, lassen Sie das fragliche Feld auf jeder Seite frei und verlangen Sie, dass das sichtbare Ergebnis übereinstimmt. Wenn es immer übereinstimmt, hing das Ergebnis nicht von diesem Feld ab.","open-source-aion.227872d789":"Einer davon, durchgearbeitet","open-source-aion.5f92fd5ed1":"Ein Zertifikat ist nur für den Satz interessant, den es Ihnen erlaubt zu sagen. Diese Binärdatei entspricht diesem Quellgraphen. Diese Arbeitslast lief unter diesen Fähigkeiten. Diese Aktion hatte die erforderliche Genehmigung. Dieses Optimum erfüllt diese Schranke. Diese Trajektorie respektierte diese Invarianten. Diese Schlussfolgerung folgt aus diesen Beschränkungen. Diese Ausgabe stammt aus genau diesem Modell und Parametersatz.","open-source-aion.418a3bc2fc":"vor eine Aufsichtsbehörde gelegt","open-source-aion.7a7af31402":"Sieben Aussagen, die Sie","open-source-aion.a13c1cf72d":"Was Sie tatsächlich beweisen können","open-source-aion.20467ce964":"Ein Fall betrifft eine Anwendung. Einige Fragen betreffen zwei davon gleichzeitig","open-source-aion.dde18d1e41":"WER ES BESITZT","open-source-aion.f3b603a5b2":"IN WERTEN","open-source-aion.53d2799375":"DER FALL","open-source-aion.f18bb15530":"Beides sind Befunde, und beide haben einen Eigentümer. Keiner ist aus einem Bestehen oder Nichtbestehen verfügbar. Das Gegenbeispiel ist es, das Ihnen sagt, welchen der beiden Sie in der Hand halten.","open-source-aion.d83e9c1af9":"Das Gegenbeispiel beendet auch Argumente, die sonst wochenlang laufen, weil es nicht die Meinung von irgendjemandem darüber ist, ob die Regel zu streng ist. Es ist ein Fall, gezeichnet in den realen Werten, über denen die Regel arbeitet. Entweder ist der Fall irgendwo in Ihrem Unternehmen möglich, in welchem Fall die Regel richtig und das System falsch ist, oder der Fall kann nicht auftreten, in welchem Fall der Spezifikation eine Beschränkung fehlt, die alle angenommen und niemand aufgeschrieben hat.","open-source-aion.7455444aea":"Wenn eine Regel nicht hält, gibt AION die spezifische Situation zurück, die sie bricht, als Prosa ausgeschrieben: welche Werte, von welcher Art und welche Bedingungen sie verletzen. Eine Ingenieurin kann das reproduzieren und eine Managerin kann es bepreisen, und zum ersten Mal streiten die beiden über denselben Fall.","open-source-aion.7d4873637b":"als der Fall, der sie brach","open-source-aion.aeb268fac7":"Eine gebrochene Regel kommt zurück","open-source-aion.b5951203ea":"Was ein Fehlschlag Ihnen in die Hand gibt","open-source-aion.8a9a27b8f7":"Was die Sätze übrig lässt, die zwei Dinge bedeuten können, und nach denen gefragt wird","open-source-aion.e1814a04c0":"ÜBERPRÜFBAR","open-source-aion.20e7dea6cd":"KLARTEXT","open-source-aion.295ea7bb80":"ENGLISCH BEHALTEN","open-source-aion.a4abbaea33":"Übersetzung ist eine Mustersammlung und kein Modell, sodass derselbe Satz immer dieselbe Lesart erzeugt und eine Überprüfung nicht wiederholt werden muss, weil das Werkzeug seine Meinung zwischen einem Quartal und dem nächsten geändert hat. Eine zweite Prüferin, die denselben Satz liest, kommt zu derselben Bedingung, was eine Überprüfung übertragbar macht.","open-source-aion.f3689055f1":"Jede Bedingung kommt mit einem Satz einfachem Englisch, der sagt, was sie kodiert, und mit den Größen, über denen sie arbeitet, jede benannt mit der Art des Werts, den sie hält, und ihrer eigenen Beschreibungszeile. So kann die Überprüfung von der Person durchgeführt werden, die die Anforderung besitzt, und nicht nur von der Person, die die Notation besitzt.","open-source-aion.cac3da045e":"Wie es hält","open-source-aion.c6b765e4cc":"Anforderungen werden von Menschen geschrieben, die das Geschäft verstehen, und in Bedingungen übersetzt von Menschen, die die Notation verstehen, und die beiden Versionen driften dann jahrelang auseinander. AION hält sie zusammen: Sie schreiben die Anforderung als englischen Satz, und die daraus erzeugte Bedingung trägt Ihren Satz mit sich. Der Prüfer liest beides zusammen, sodass Drift auf der Seite sichtbar wird und nicht in einem Vorfall.","open-source-aion.589a38f560":"an die Person, die gefragt hat","open-source-aion.5d212c3d75":"Die Regel bleibt lesbar","open-source-aion.5373332e20":"Wer lesen kann, was geprüft wurde","open-source-aion.5f882ec681":"Eine Referenz ist nur nützlich, wenn die Regel, auf die sie verweist, von den eigenen Leuten gelesen werden kann","open-source-aion.bca8d6442c":"UMSetZBAR","open-source-aion.705bc98c49":"BENENNT DIE REGEL","open-source-aion.ab9f5d57e4":"BENENNT DEN SCHRITT","open-source-aion.b4ba975800":"Diese Trennung ist es, die es überhaupt ermöglicht, eine Ablehnung an einen Lieferanten zu senden, denn ein Vorwurf ist das Einzige, was man aus einer Lieferantenbeziehung nicht leise zurückziehen kann.","open-source-aion.7a47f854de":"Diese Form ist es, auf die ein Prüfer oder Lieferantenmanager reagieren kann, denn sie verwandelt eine Meinungsverschiedenheit in eine Referenz. AION trennt auch zwei Fehler, die unter einem Wort auftauchen. Entweder lässt sich der Schritt nicht rekonstruieren, was ein Mangel im Beweis und eine Feststellung gegen denjenigen ist, der ihn erstellt hat, oder der Schritt verwendet eine Regel, die dieser Prüfer nicht führt, was eine Frage des Umfangs für Sie ist und keine Feststellung gegen irgendjemanden.","open-source-aion.d9469b7dda":"Ein Fehler, der als „Verifizierung fehlgeschlagen“ gelesen wird, kann nicht zugewiesen, argumentiert oder behoben werden, und er kommt als Streitigkeit statt als Feststellung an. AION liefert einen Ort und einen Grund: welcher Schritt, in welcher Datei, welche Regel er anzuwenden behauptete und was fehlte, als der Schritt erneut durchgearbeitet wurde. Die Ablehnung kann mit einer reproduzierbaren Adresse an das erstellende Team zurückgehen. Wenn der Beweis nicht rekonstruiert werden kann, liegt die Verantwortung beim Ersteller; wenn dem Prüfer die benannte Regel fehlt, ist es eine Umfangsentscheidung. Das sind unterschiedliche Warteschlangen und unterschiedliche Behebung.","open-source-aion.ccc6a09991":"mit dem Schritt und dem Grund","open-source-aion.3619f211ef":"Ein fehlgeschlagener Check kommt zurück","open-source-aion.29801085dc":"Die Ausgabe, die nutzbar sein muss","open-source-aion.57c6ba11fc":"Sieben Produzenten halten ihre eigene Ausgabe. AION standardisiert den Umschlag und das Routing für seine Nachweise.","open-source-aion.f37804f36b":"EIN UMSCHLAG","open-source-aion.8a3b4bf313":"SIEBEN PRODUZENTEN","open-source-aion.479f1de8ea":"Der gemeinsame Umschlag gibt der Organisation ein Register, ein Kompatibilitätsmodell und eine betroffene Menge, wenn sich eine Regel ändert. Jede Zertifikatsfamilie behält ihren eigenen Verifizierer und ihre eigenen Ablehnungsregeln. Eine neue Familie kommt hinzu, indem sie diese Regeln und ihren Verifizierer registriert; AION wird nicht zum Produzenten. Das Register ist der Teil, der wächst.","open-source-aion.5b958e86c7":"Ein Solver kann logische, Optimierungs- oder zeitliche Zertifikate ausgeben. Twin und FMI erzeugen unterschiedliche Ausgaben, teilen sich aber die Simulations- und FMI-Familie. Der Produzent sagt, was erstellt wurde; die Zertifikatsfamilie sagt, wie ihr Anspruch geprüft wird. Die beiden werden getrennt erfasst, sodass keiner vom anderen abgelesen werden kann.","open-source-aion.57e1cc2701":"Was ein Umschlag ändert","open-source-aion.8bd8b74c55":"Solver, Loom, Nexus, Kera, Selvedge, Twin und FMI sind sieben Produzenten unterschiedlicher Ausgaben, nicht sieben Zertifikatsfamilien. AION gibt ihren Nachweisen einen Umschlag und leitet jedes Zertifikat an seinen familien spezifischen Verifizierer weiter. Der Umschlag trägt Produzent, Familie, Schema und deklarierte Eingaben, während der Familienverifizierer die technische Bedeutung behält. Ein Lieferant kann seine Implementierung ändern, ohne die Nachweisgrenze der Organisation zu verändern; nur eine Familien- oder Schemaänderung erweitert die Kompatibilitätsprüfung.","open-source-aion.65a41e884e":"ein Umschlag für die Nachweise","open-source-aion.837663a52a":"Sieben Produzenten, und","open-source-aion.647e0f46ec":"Sieben Produzenten","open-source-aion.af6010147d":"Ein Lieferant ist eine Beziehung. Die interessante Frage ist, wie weit das reicht","open-source-aion.35ecafecfb":"IHRE MASCHINE","open-source-aion.0676f9f8de":"DREI DINGE","open-source-aion.dfc87eabb4":"Das verlagert das Gespräch von dem Boden, auf dem Lieferanten sich wohlfühlen. Sie bitten sie nicht mehr, Sie zu überzeugen, und zahlen nicht mehr dafür, ihre Umgebung zu reproduzieren. Sobald Sie die drei Dinge haben, gehört der Check Ihnen und kann wiederholt werden, wann immer Sie möchten, auf welcher Hardware auch immer, auch in der Woche nach Vertragsende.","open-source-aion.7677ed77e3":"Es lohnt sich, beim Artefakt präzise zu sein, denn es ist nicht immer eine Datei. Je nach Familie kann es eine Datei, ein Archiv, ein Stream, ein signiertes Bündel, ein Spurpaar, ein Zeuge, eine Ausführungsquittung oder eine strukturierte Ableitung sein. Was es immer ist, unabhängig von seiner Form, ist etwas, das ein Verifizierer lesen kann, ohne dass der Produzent anwesend ist.","open-source-aion.a29def781f":"Was ein Zertifikat tatsächlich ist","open-source-aion.fdca1fef67":"Ein Zertifikat ist kein Protokoll und keine Zusammenfassung. Es ist der Nachweis, den die Arbeit hinterlassen hat, und was ein Lieferant übergibt, sind drei Dinge: der Anspruch, die deklarierten Eingaben und der Vertrag, gegen den er erstellt wurde, und das Zertifikat, das das System erzeugt hat. Nicht ihre Lizenz, nicht ihre Version, nicht ihre Maschine. Diese drei reisen zusammen, und für ihre Prüfung ist nichts Weiteres vom Lieferanten nötig.","open-source-aion.b054d236cd":"statt ihrer Software","open-source-aion.53e1575f60":"Sie prüfen das Zertifikat","open-source-aion.5e40f4ba8a":"Der Positionswechsel","open-source-aion.b9e2767b28":"Es gibt einen Weg, der weder darin besteht, ihnen zu glauben, noch ihre Software erneut auszuführen","open-source-aion.7d87348ad6":"IHR NAME DARAUF","open-source-aion.48a5aca907":"IHR SYSTEM","open-source-aion.32c3cafa08":"Das ist die Position, die ein Prüfer betrachtet, wenn er fragt, wie Sie sich vergewissert haben, auch unter Nachweisregeln wie denen des EU-KI-Gesetzes. AION ändert sie, indem es jedem dieser Ergebnisse ein Zertifikat gibt, das Sie prüfen können, ohne den Lieferanten zu reproduzieren und ohne Zugriff auf etwas, das er als sein Eigentum betrachtet. Die Prüfung läuft auf Ihrer eigenen Maschine, allein gegen das Zertifikat.","open-source-aion.ac90e72b2c":"Die üblichen Wege führen beide zum selben Ziel. Sie können nach ihren Belegen fragen, einem Dokument, das sie über ihre eigene Software geschrieben haben. Oder Sie können darum bitten, ihr System selbst nachzubauen, was ihre Lizenz, ihre Version und ihre Umgebung erfordert, und Sie bleiben trotzdem auf das angewiesen, was die Antwort erzeugt hat.","open-source-aion.fc63c534d2":"Ein Solver sagt, der Zeitplan sei machbar. Ein KI-System trifft eine regulierte Entscheidung. Ein Agentensystem führt eine Operation in Ihrem Namen aus. Ein Compiler erzeugt ein sicherheitskritisches Artefakt. Eine Laufzeitumgebung führt eine kontrollierte Arbeitslast aus. Eine Simulation validiert eine Designentscheidung. Ein digitaler Zwilling meldet, dass ein Betriebszustand sicher ist. In jedem dieser Fälle fand die Arbeit woanders statt, und die Konsequenz trifft Sie.","open-source-aion.c9672e2ac8":"Ihr Name steht auf der Antwort","open-source-aion.925d7b4a2d":"Ihr System hat sie erzeugt","open-source-aion.47b025f850":"Wo die Verantwortung liegt","open-source-aion.905aee629b":"Die Berechnung, ein Grund, den Sie lesen können, und dieselbe Regel für alle, die sie betrifft","open-source-aion.4d0ee37058":"EIN DATUM","open-source-aion.6ccb4a6f6a":"GLEICHER GRUND","open-source-aion.84adcc762b":"GLEICHE PRÜFUNG","open-source-aion.56c6f422d8":"Das ist ein Brief, den jemand schreiben kann. Statt zu sagen, das System habe entschieden, können Sie die Regel zitieren, das Datum nennen, die Version nennen und die Person, die sie geschrieben hat, fragen, ob das gemeint war.","open-source-aion.073cdea47b":"Das ist nur etwas wert, wenn Sie es sehen können, also halten Sie am Ende drei Dinge in der Hand, die Sie nutzen können. Die Regel, in einfachen Worten, die Sie laut vorlesen können. Den Grund, warum sie auf Sie angewendet wurde, der die Regel mit Ihrer eigenen Situation zitiert. Und das Datum, an dem die Berechnung geprüft wurde. Dieser Nachweis nennt, was geprüft hat und gegen welche Version der Regeln geprüft wurde.","open-source-aion.a50f912efb":"Was Sie damit tun können","open-source-aion.1d94c73b03":"Geben Sie dieselbe Berechnung zweimal an AION, und die Prüfung kommt gleich heraus, am Montag und am Freitag, für Sie und für die Person hinter Ihnen in der Schlange. Es geht nicht darum, dass alle dieselbe Antwort bekommen, denn Menschen bringen unterschiedliche Situationen mit. Es geht darum, dass die Prüfung selbst nicht schwankt und niemand Ihren Fall spontan interpretiert. Ein Jahr später wird dieselbe Berechnung nach denselben schriftlichen Regeln geprüft, sodass eine Antwort, die Sie erhalten haben, immer noch erklärt werden kann.","open-source-aion.fba7a52bf4":"am Montag und am Freitag","open-source-aion.77a3327a99":"Gleich geprüft","open-source-aion.cebde51ae2":"Was Sie in der Hand halten","open-source-aion.a566f0cb1b":"Zeit ist eine Art von Regel. Die meisten sind die einfache Art, die für alle gilt","open-source-aion.29231cd04d":"RECHTZEITIG","open-source-aion.d89f7642e7":"BEOBACHTET","open-source-aion.5d491ce50f":"TAGE ÜBRIG","open-source-aion.c50722f442":"Dieselbe Lesart funktioniert nach dem Datum genauso wie davor. Vierzehn Tage vergangen sind eine Tatsache, nach der jemand gefragt werden kann, mit einem Datum versehen, statt einer roten Markierung, die ohne Vorwarnung kam.","open-source-aion.0b1cbd5f8a":"Ein Bestehen sagt Ihnen nichts, bis es aufhört, ein Bestehen zu sein, und dann sind die billigen Optionen vorbei. Eine Zahl sagt Ihnen, wo Sie stehen: Zweiundzwanzig Tage übrig ist eine Notiz im Kalender, vier Tage übrig ist diese Woche, ein Tag übrig ist heute Morgen.","open-source-aion.af41b675b0":"Was Ihnen das bringt","open-source-aion.2ff91b62ec":"Regeln mit einer Uhr darin sind die, die Leute erwischen. Eine Antwort, die innerhalb von dreißig Tagen fällig ist, ein Erstattungszeitraum, eine Frist, nach der etwas gelöscht werden muss. AION beobachtet diese, während sie laufen, und meldet, wie viel Spielraum heute noch bleibt, als Anzahl von Tagen.","open-source-aion.94dc6c2b80":"lange vor dem letzten","open-source-aion.6bdbc0422a":"Sie können die verbleibenden Tage sehen","open-source-aion.37f768721f":"Fristen, die Sie betreffen","open-source-aion.e3c2d4b24a":"Die Arbeit vor Ort bedeutet auch, dass es für Sie die Uhr im Auge behalten kann","open-source-aion.4ace2cc9bc":"KEIN KONTO","open-source-aion.c5c3055a7b":"NICHTS GESENDET","open-source-aion.a5b9137c2b":"BLEIBT HIER","open-source-aion.874bab5372":"Wenn überhaupt eine Verbindung beteiligt ist, ist es eine, die jemand absichtlich zwischen den eigenen Maschinen eingerichtet hat, und sie ist aus, bis er es tut. Ihr Satz wird von schriftlichen Regeln gelesen, im selben Raum wie Sie, und die Antwort kommt bei getrennter Leitung an. Nichts hat die Maschine verlassen, um sie zu erzeugen, und nichts wurde weggesendet.","open-source-aion.4a03f17947":"Kein Konto, keine Anmeldung und kein externer Dienst, der funktionieren, vertrauenswürdig oder nächstes Jahr noch im Geschäft sein muss, damit Sie eine Antwort erhalten.","open-source-aion.f10eb79b5b":"Was das für Sie bedeutet","open-source-aion.c17d4e01b4":"Viele Tools beantworten eine Frage über Sie, indem sie Ihre Daten wegsenden und auf eine Antwort warten. Ihre Informationen sind gereist, zu einem Unternehmen, das Sie nicht gewählt haben, möglicherweise in ein Land, dessen Namen Sie nie hören werden. AION erledigt die Arbeit dort, wo sie bereits ist. Nichts wird gesendet, weil es nichts gibt, womit gesendet werden könnte.","open-source-aion.9e50609149":"auf der Maschine, an der Sie sind","open-source-aion.ca67037369":"Die Antwort wird berechnet","open-source-aion.7df600af96":"Wohin Ihre Daten gehen","open-source-aion.399483042a":"Gefragt zu werden ist die eine Hälfte. Die andere Hälfte ist, was Ihnen gesagt wird, wenn die Antwort Nein ist","open-source-aion.0b5b7048ea":"SIE WÄHLEN","open-source-aion.f12c755afa":"ES FRAGT SIE","open-source-aion.300453f44e":"ZWEI BEDEUTUNGEN","open-source-aion.6debd2c487":"Das klingt wie eine kleine Höflichkeit. Es ist der Unterschied zwischen einer Regel, der Sie zugestimmt haben, und einer Regel, die jemand in Ihrem Namen erraten hat, in Eile, an einem Tag, an dem Sie nicht da waren. Die Vermutung ist die übliche Art, wie das gemacht wird, und niemand erfährt je, dass es passiert ist. Fragen kostet einen Moment und nimmt die Vermutung aus dem Protokoll.","open-source-aion.6f02dd9d43":"AION hält an und fragt. Es zitiert die Wörter, bei denen es unsicher ist, zurück an Sie, legt beide Lesarten in einfacher Sprache dar, stellt eine Frage mit Ihrem eigenen Satz darin und wartet. Sie wählen. Nichts wird entschieden, während die Frage offen ist.","open-source-aion.0ccfcd0de4":"Was sich ändert","open-source-aion.b3124516ab":"„Stornieren, wenn die Verzögerung mehr als eine Stunde beträgt.“ Ist eine Verzögerung von fünfundsiebzig Minuten mehr als eine Stunde, oder werden Stunden ganz gezählt, sodass fünfundsiebzig Minuten eine Stunde sind und eine Stunde nicht mehr als eine ist? Beide Lesarten sind normales Englisch. Sie unterscheiden sich in genau einem Fall, und dieser Fall wird eintreten.","open-source-aion.4449c95cf9":"zwei Dinge bedeuten, fragt es","open-source-aion.75ca04ac1b":"Wenn Ihr Satz","open-source-aion.2297deb89a":"Wenn Ihr Satz unklar ist","open-source-aion.32cf0852b8":"Ein Satz kann auch zwei Dinge gleichzeitig bedeuten, und das ist einen Moment des Innehaltens wert","open-source-aion.b5d2541ad8":"KEIN FACHJARGON","open-source-aion.3b7c198e57":"ES KOMMT ZURÜCK","open-source-aion.c4cc4b9845":"DEINE EIGENEN WORTE","open-source-aion.5c9a5c3396":"Und wenn derselbe Satz erneut gelesen wird, erzeugt er genau dieselbe Regel, denn nichts in AION lernt, driftet oder hat in der Zwischenzeit eine bessere Idee. Eine Regel, der du einmal zugestimmt hast, bleibt die Regel, der du zugestimmt hast, und die Person, die sie empfängt, liest deinen Satz und nicht die Zusammenfassung von jemand anderem. Auf dem Weg dorthin wird nichts zu den Worten anderer.","open-source-aion.ba41f25c15":"Aus dem Behalten des Satzes folgen zwei Dinge. Du kannst am Tag des Schreibens erkennen, ob er verstanden wurde, indem du liest, statt es ein Jahr später aus einem Vorfall zu erfahren.","open-source-aion.c19473d784":"Schreibe die Regel in gewöhnlichen Worten und AION behält diese Worte. Das klingt wie eine kleine Höflichkeit, bis der Tag kommt, an dem es darauf ankommt: Monate später, wenn etwas wegen dieser Regel gestoppt wird, steht der Satz, den du geschrieben hast, am Anfang der Erklärung, in den Worten, die du gewählt hast.","open-source-aion.4c0e51d183":"würdest du es laut sagen","open-source-aion.dcf65c0f8a":"Schreibe die Regel so, wie","open-source-aion.e1a651b90e":"Sagen, was du willst","open-source-aion.beda6f7681":"Eine Summe neu zu berechnen erfordert, dass die Summe aufgeschrieben ist. Das gilt auch für eine Regel, und deine kann ein Satz sein","open-source-aion.ef6371cd2e":"ES STÖPPT","open-source-aion.47ce22a1f7":"SCHRITT FÜR SCHRITT","open-source-aion.9195df51f1":"EIN ZWEITES LESEN","open-source-aion.b66352de76":"Das Stoppen ist die wichtige Hälfte. Alles kann dir zustimmen. Etwas, das stoppt und auf die Zeile zeigt, ist es wert, und davon gibt es nur sehr wenig.","open-source-aion.e04fafc8fc":"AION rechnet die Spalte erneut zusammen. Nicht für Rechnungen, sondern für die schwierigere Art von Arbeit, die Maschinen leisten, wenn sie entscheiden, dass etwas erlaubt, sicher oder unmöglich ist, wenn sie etwas bauen, wenn sie etwas in deinem Namen ausführen oder wenn sie herausfinden, was passieren würde, bevor es jemand versucht. Es liest die Rechnung, die die erste Maschine aufgeschrieben hat, führt jeden Schritt selbst aus und stoppt beim ersten, den es nicht zum Ergebnis bringen kann.","open-source-aion.b55b759c73":"Wenn eine Rechnung falsch aussieht, streitest du nicht darüber, ob die Summe stimmt. Du addierst die Spalte selbst neu. Wenn du dieselbe Zahl erhältst, bleibt die Summe bestehen. Wenn du in der vierten Zeile stoppst, weil sie nicht aufgeht, kannst du genau sagen, welche Zeile es ist, und der Streit ist in einem Satz beendet.","open-source-aion.59141b0dfa":"statt dein Wort zu nehmen","open-source-aion.fa22d5033b":"Jemand rechnet die Summe neu","open-source-aion.333a6c87f2":"eine Änderung erzeugt eine betroffene Menge und eine Warteschlange, keine stille Neuinterpretation der Vergangenheit","open-source-aion.0eecb96558":"sind fünf Fakten","open-source-aion.59e22ed738":"erzeugt, signiert, verifiziert, akzeptiert und weiterhin kompatibel","open-source-aion.d78c662e5b":"geprüft, nicht angenommen","open-source-aion.5b44284acd":"weiterhin kompatibel mit","open-source-aion.cc4bc74f90":"mit einer Vertragsversion","open-source-aion.3bb51eeea5":"akzeptiert unter","open-source-aion.72954f75cf":"mit einer Verifiziererversion","open-source-aion.3741770a87":"verifiziert von","open-source-aion.7fc7c8aef9":"über einen Hash der Ableitungsreihenfolge","open-source-aion.d2a7817a72":"signiert von","open-source-aion.9d7c5e8097":"mit einer Version","open-source-aion.8fffa5fcb8":"erzeugt von","open-source-aion.756e62f03a":"Ein Ergebnis, fünf Fakten","open-source-aion.2b8be4ecd3":"Die Zuordnung läuft über einen eigenen Mechanismus: eine Ed25519-Signatur über einen BLAKE3-Hash der Ableitungsreihenfolge, mit einer monotonen Nonce und einem Zeitstempel, prüfbar gegen den öffentlichen Schlüssel des Erzeugers. Die Akzeptanz läuft über einen anderen, der die Identität und Version des Verifizierers sowie die Vertragsversion, die er gewährt hat, trägt. Wenn sich etwas darunter bewegt, eine Prüfregel, ein Zertifikatsschema, eine Richtlinie, eine Compilerregel, ein Laufzeitvertrag oder eine Modellversion, bilden die Zertifikate, die eine Abhängigkeit davon deklariert haben, eine betroffene Menge und werden zur erneuten Prüfung in die Warteschlange gestellt, wobei die geänderte Komponente benannt wird.","open-source-aion.6b8169d142":"Ein Urteil für sich ist ein Wort ohne Autor. Fünf Fakten, die normalerweise zu einem verschmelzen, werden hier getrennt gehalten: wer ein Ergebnis erzeugt hat, wer es signiert hat, was es verifiziert hat, unter welchem Vertrag es akzeptiert wurde und ob es weiterhin mit den Regeln kompatibel ist, wie sie heute gelten. Das sind fünf verschiedene Fragen, und vier davon überleben einen Anbieterwechsel.","open-source-aion.2cd4b335f4":"Ein Prüfer verifiziert es.","open-source-aion.d15fbc9566":"Nichts wird verifiziert.","open-source-aion.481d0fc02c":"Das gesamte Argument","open-source-aion.ca75c84634":"Jedes Zertifikat hier endet als ein Datensatz, und der Datensatz hält seine Fakten getrennt","open-source-aion.3ecc9abb23":"ERWEITERBAR","open-source-aion.8112bd91bc":"AIR GAPPED","open-source-aion.9be34046ca":"LOCAL","open-source-aion.ae61af8b9c":"Wo eine einzelne Verifikation für eine Maschine wirklich zu groß ist, teilt sich die Arbeit in Würfel über Maschinen auf, mit Klauselteilung zwischen ihnen, und ein zusammengesetztes Ergebnis wird nur nach einer Abdeckungsprüfung akzeptiert: Keine zwei Würfel dürfen dieselbe Literalmenge festlegen, und das, wofür sie aufkommen, muss sich zum gesamten Raum addieren und nicht nur zu fast dem gesamten. Ein Join, dem eins fehlt, ist eine Ablehnung, was dieselbe Disziplin ist wie überall sonst im Produkt. Darüber hinaus sind eine Verifiziererregistrierung und eine Erweiterungs-API die Möglichkeit, eine Zertifikatsfamilie, die niemand hier geschrieben hat, hier zu prüfen.","open-source-aion.04cd68c7fb":"Nur zwei Dinge können eine Grenze überschreiten, und beide werden von dir konfiguriert. Ein Cluster läuft über Adressen, die du festlegst. Ein externer Erzeuger ist ein Programm, das du installierst und als lokalen Prozess ausführst. Es gibt kein gehostetes Modell in der Kette und keinen Dienst von uns, der während deines Vorfalls nicht verfügbar sein oder sich unter dir nach dem Veröffentlichungsplan eines anderen ändern kann. Ein Air-Gapped-Bestand verifiziert genau wie ein verbundener, weil die Verifikation den Erzeuger von vornherein nie benötigt hat.","open-source-aion.ac1913e46c":"Zwei Wege hinaus, und beide gehören dir","open-source-aion.c2193fefe2":"Verifikation ist eine Berechnung wie jede andere, und wo sie läuft, ist deine Entscheidung. AION erscheint am 1. September 2026: Sobald das Repository öffentlich ist, verlinke die Bibliothek, führe den Befehl aus oder starte den Dienst innerhalb deiner eigenen Grenze. Der Standard-Build enthält keinen ausgehenden Client, sodass die Prüfung eines Zertifikats kein Konto, keinen Anbieter und keinen Weg aus der Maschine, auf der es gestartet wurde, benötigt.","open-source-aion.72d09c5994":"ein Dienst oder eine Enklave","open-source-aion.f8ac38e647":"Eine Bibliothek, ein Befehl","open-source-aion.604918db00":"Wo die Verifikation läuft","open-source-aion.c07ebfbab5":"Ein Archiv hält still. Die letzte Frage ist, wo das alles tatsächlich läuft","open-source-aion.d34941b7ce":"INDEXIERT","open-source-aion.79ae623ce9":"INHALTSADRESSE","open-source-aion.0f7d1ea9ca":"Der Teil, der gebaut werden muss, statt vorausgesetzt zu werden, ist der Index. Wenn sich eine Prüfregel, ein Zertifikatsschema, eine Richtlinie, eine Compilerregel, ein Laufzeitvertrag oder eine Modellversion ändert, werden die Zertifikate, deren Gültigkeit von der geänderten Komponente abhing, durch Nachschlagen gefunden, nicht durch Scannen von allem und Hoffen. Abhängigkeiten werden im Umschlag deklariert, sodass die betroffene Menge eine Abfrage ist und die Wiederverifikationswarteschlange ihr Ergebnis ist, wobei die geänderte Komponente gegen jeden Eintrag benannt wird. Die Alternative, die die meisten Organisationen tatsächlich haben, ist eine Wahl zwischen erneutem Prüfen von allem und erneutem Prüfen von nichts.","open-source-aion.144711734a":"Speicherung ist nur nützlich, wenn ein Leser, der weitergezogen ist, sie noch öffnen kann, also trägt jeder Datensatz die Signatur des Erzeugers, die Identität und Version des Verifikators, der ihn akzeptiert hat, die Vertragsversion, unter der er akzeptiert wurde, und die Abhängigkeiten, auf denen er beruht. Ein Kompatibilitätstest läuft auf dem Rückweg.","open-source-aion.22f96be502":"Die betroffene Menge ist ein echter Index","open-source-aion.a1b04ec691":"Die Zertifikate, die es wert sind, aufbewahrt zu werden, sind die, nach denen Sie Jahre später gefragt werden. AION speichert ein akzeptiertes Zertifikat kompakt und nach Inhaltsadresse: Identifikatoren als Differenzen gehalten, wiederholte Muster lauflängenkodiert, identische Unterbeweise gehasht und einmal gespeichert, und das Ganze durch seinen Inhalt adressiert, nicht durch den Ort, an dem jemand es abgelegt hat. Eine Inhaltsadresse ist das, was einem Leser, der weitergezogen ist, ermöglicht, dasselbe Zertifikat wiederzufinden und es ein zweites Mal zu prüfen, Jahre nach dem Lauf, der es erzeugt hat.","open-source-aion.c017c017d7":"und es bleibt erneut prüfbar","open-source-aion.2e10b84b57":"Ein Zertifikat bleibt klein","open-source-aion.9263a81467":"Speichern, was geprüft wurde","open-source-aion.1f029bacad":"Sechs Familien, und jede von ihnen landet im selben Datensatz","open-source-aion.1deb4d4a29":"TRAJEKTORIE","open-source-aion.f8d5b44c34":"INVARIANTEN","open-source-aion.52dd7acef9":"KONFORMITÄT","open-source-aion.24d7374cb9":"Diese getrennt zu halten, ist das, was die ersten beiden wertvoll macht. Eine Zusicherung, die stillschweigend die dritte impliziert, ist die, die vor einem Regulator scheitert, und ein Zertifikat, das seine eigene Grenze benennt, ist das, das das Treffen überlebt.","open-source-aion.0e4ffe42fa":"Drei verschiedene Fragen werden an eine Simulation gestellt, und ehrlich zu sein, welche zwei hier beantwortbar sind, ist der gesamte professionelle Inhalt des Abschnitts. Ausführungskonformität fragt, ob das deklarierte Modell, die Parameter und die Konfiguration tatsächlich diese Trajektorie erzeugt haben, und das ist prüfbar. Mathematische Eigenschaftsprüfung fragt, ob die angegebenen Invarianten über den Lauf hinweg gelten, und das ist auch prüfbar, wobei ein Fehler die Spur statt eines Urteils zurückgibt. Physikalische Gültigkeit fragt, ob das Modell die reale Welt darstellt, und kein Zertifikat stellt das fest. Sie gehört dem Modelleigentümer, und sie gehört ihm dauerhaft.","open-source-aion.bb70d13ca4":"Die Linie, auf die dieser Abschnitt achtet","open-source-aion.ac558913f9":"Ein Simulationsergebnis wird verwendet, um Entscheidungen zu treffen, lange nachdem der Lauf vorbei ist. Das Zertifikat trägt die Modell- und FMU-Identität, den Parametersatz, den Anfangszustand, die Solver-Konfiguration, die Zeitschritt- oder Ereignissequenz, die Zustandsübergänge, die durchgeführten Invariantenprüfungen, den Konvergenz- oder Abschlussstatus, den Hash der resultierenden Trajektorie und eine Gegenbeispielspur, wo eine Eigenschaft fehlschlägt.","open-source-aion.1c9f5f0f21":"beantwortet genau zwei von ihnen","open-source-aion.242c47d00a":"Drei Fragen, und dies","open-source-aion.a635f9edf3":"Twin und FMI, zertifiziert","open-source-aion.43f8bc442f":"Ausführung ist ein Lauf von einer Sache. Eine Simulation macht Millionen davon auf einmal","open-source-aion.d3a968f797":"AUSGABE-ID","open-source-aion.d79014995c":"BESCHEINIGT","open-source-aion.2fbbf64505":"FÄHIGKEITEN","open-source-aion.51fd9d7843":"Determinismus ist das, was den Rest prüfbar macht. Da die Übergänge deterministisch sind, gegeben das Modul, die Eingaben und die Berechtigungen, kann ein Verifikator ihnen folgen, ohne die Arbeitslast in ihrer ursprünglichen Umgebung erneut auszuführen, und zwei Läufe, die dieselbe Ausgabeidentität aus denselben Eingaben beanspruchen, stimmen entweder überein oder zeigen auf den Übergang, an dem sie aufhörten übereinzustimmen. Das ist in der Praxis eine Laufzeitbescheinigung: was lief, unter welcher Autorität, prüfbar ohne es erneut auszuführen.","open-source-aion.0d0fd79859":"Die meisten Fragen, die nachträglich über eine Arbeitslast gestellt werden, sind wirklich Fragen über ihre Autorität. Was konnte dieses Ding erreichen, während es lief, und hat es etwas anderes erreicht. Ein Zertifikat, das die Fähigkeitsberechtigungen zusammen mit den Übergängen trägt, beantwortet das, ohne dass jemand ein Protokoll liest, und es beantwortet es jemandem, der die Laufzeit nicht betreibt.","open-source-aion.890c61e134":"Warum die Fähigkeitsmenge das interessante Feld ist","open-source-aion.1331fa2052":"Ein Exit-Status sagt, dass eine Arbeitslast fertig wurde. Das Ausführungszertifikat sagt, was fertig wurde: die Arbeitslast- und Modulidentität, die Laufzeitversion, die Fähigkeitsberechtigungen, die es hielt, die Eingaben, die es erhielt, die deterministischen Zustandsübergänge, durch die es ging, die Ressourcengrenzen, in denen es lief, die Identität der Ausgabe, die es erzeugte, und ob es abgeschlossen oder abgefangen wurde. Jedes davon ist ein Feld, aus dem eine spätere Frage beantwortet werden kann, ohne zur Maschine zurückzukehren, die es ausführte.","open-source-aion.65576ef482":"unter welchen Fähigkeiten","open-source-aion.74a9894f4f":"Was lief, auf was, und","open-source-aion.eabc461dcf":"Selvedge, zertifiziert","open-source-aion.b4792818f1":"Ein kompiliertes Artefakt muss immer noch irgendwo laufen, und dieser Lauf ist auch eine Behauptung","open-source-aion.414cbcc9ec":"HERKUNFT","open-source-aion.24466ece94":"QUELLE ZU ARTEFAKT","open-source-aion.c81d361198":"Diese Präzision macht das Artefakt downstream brauchbar. In einem regulierten Build ist die Frage selten, ob ein Compiler gut ist. Es ist die Frage, ob diese Binärdatei diesem Quellgraphen unter dieser Optimierungskonfiguration entspricht, eine Frage mit einer Antwort, und die Antwort reist mit dem Artefakt, statt im Build-System zu leben, das es erzeugt hat. Das bedeutet Build-Provenienz in der Praxis: eine Behauptung über dieses Artefakt, prüfbar ohne das Build-System, das es erstellt hat.","open-source-aion.6c1fd4df2b":"Die Deklaration ist die Disziplin. Ein Zertifikat behauptet nicht, dass jede Optimierung als eine undifferenzierte Aussage korrekt war, denn diese Aussage ist weder prüfbar noch für einen realen Compiler wahr. Es benennt genau, welche Erhaltungs- oder Äquivalenzeigenschaften es über welche Transformationen hinweg etabliert, und der Verifizierer prüft genau diese und berichtet über nichts anderes.","open-source-aion.fd5ed4a1d8":"Benannte Aussagen, keine pauschale","open-source-aion.82a76c947a":"Ein Compiler liefert Ihnen ein Artefakt und einen Exit-Status. Das Kompilierungszertifikat trägt, was dieses Artefakt sein soll: die Quell- oder Graphidentität, von der es stammt, die Compiler- und Optimierungsversion, die angewendete Transformationssequenz, die Typ- und Formerhaltung über diese Transformationen, die ausgewählten Kernel, die Identität des erzeugten Artefakts und die Äquivalenz- oder Invariantenprüfungen, die das Zertifikat deklariert.","open-source-aion.06efebf0f5":"über die Quelle, aus der es stammt","open-source-aion.3f208ecc5e":"Die Binärdatei ist auch eine Behauptung","open-source-aion.716710e273":"Kera, zertifiziert","open-source-aion.89572e64cc":"Eine Organisation kann zertifiziert sein. Auch der Compiler, der das gebaut hat, worauf sie läuft","open-source-aion.502114d554":"BELEGE","open-source-aion.fab60cdf92":"GATES","open-source-aion.490fb49f60":"AUTORITÄT","open-source-aion.965738574a":"Der Wert zeigt sich, wenn der Betrieb angefochten wird. Eine Workflow-Trace ist die Darstellung der Organisation über sich selbst. Ein Zertifikat, das ein unabhängiger Verifizierer unter einer benannten Vertragsversion akzeptiert hat, ist eine andere Klasse von Beweisen, und der Unterschied ist genau der, den AION zu schaffen existiert.","open-source-aion.f4652935ed":"Dies ist ein Zertifikat über einen regierten Betrieb, nicht darüber, was ein Agent dachte. Es klärt die Fragen, die jemand tatsächlich gestellt bekommt: ob die Autorität im Moment der Auslösung existierte, ob das Gate, das hätte halten sollen, gehalten hat, ob die Genehmigung an der Aktion hing und nicht an einer Nachricht in ihrer Nähe, und ob die Zustandsübergänge, die der Datensatz behauptet, die sind, die der Vertrag erlaubt. Das alles ist maschinenprüfbar, und keines davon erfordert Zugriff auf ein Modell.","open-source-aion.be15814346":"Was es etabliert und was nicht","open-source-aion.38d3c11f27":"Ein abgeschlossener Workflow ist eine Behauptung wie jede andere. Das Organisationszertifikat etabliert den regierten Betrieb, der tatsächlich stattfand: das Ziel und die Policy-Version, unter der er lief, die gebildete Organisation, die aufgelösten Rollen und Autoritäten, die ausgeführten Aufgaben und ihre Übergänge, die passierten Policy-Gates, die angehängten Genehmigungen, die ausgeführten Aktionen und die aufgezeichneten Belege.","open-source-aion.65a8805f19":"seinem Vertrag gefolgt zu sein","open-source-aion.f827cfbcbf":"Ein Betrieb kann bewiesen werden","open-source-aion.07fba05892":"Nexus, zertifiziert","open-source-aion.c6fd961235":"Denken ist ein Produzent. Eine Organisation von Agenten ist schwerer zu zertifizieren","open-source-aion.2764d46fd5":"KEIN MODELLAUFRUF","open-source-aion.58376ce0c1":"CORES","open-source-aion.3c3d2a37fc":"Das englische Anforderungs-Frontend gehört auch hierher, denn ein Denkzertifikat ist nur so überprüfbar wie die Einschränkung an seiner Spitze. Eine deterministische Musterbibliothek liefert formale Bedingungen, sortiert danach, wie viele Triggerphrasen übereinstimmten, jede mit ihrer klaren Lesart und den Mengen, über die sie arbeitet, und wo ein Satz tatsächlich mehr als eine Lesart trägt, hebt sie die Mehrdeutigkeit mit der benannten Frage hervor, statt sie still zu entscheiden.","open-source-aion.c4d7d27503":"Darunter sitzen Produzenten beider Arten, und sie werden durch dieselbe Grenze akzeptiert. AION entscheidet Boolesche Struktur, Differenzlogik-Arithmetik, Bitvektor-Wörter und Gleichheit mit uninterpretierten Funktionen selbst, über eine vollständige konfliktgetriebene Suche mit zwei überwachten Literalen, einer Heap-geordneten Aktivitätsheuristik, geometrischen Neustarts und aktivitätsbasierter Klausellöschung. Bei einer unerfüllbaren Antwort liefert es einen Kern, der benennt, welche Ihrer eigenen Einschränkungen sich stritten, statt die Suche zu beschreiben, die sie fand. Ein externer Solver läuft als eigener Prozess und gibt einen Beweis zurück, und nichts außer dieser Datei überquert die Grenze zwischen beiden. Jedes Werkzeug, das einen Beweis in einem Format ausgibt, für das AION einen Prüfer mitführt, qualifiziert sich, darunter cvc5, und die Grenze ist das Format, nicht der Anbieter.","open-source-aion.5264c1875d":"Produzenten, nativ und extern","open-source-aion.09b6611fc2":"Loom denkt. Was AION prüft, ist das Artefakt, das das Denken hinterlässt: die aktiven Einschränkungen, die angewendeten Regeln, die Teilprobleme, die an einen Solver gingen, die Zertifikate, die diese Solver zurückgaben, die gefundenen Widersprüche, die Grenzen, die eine Entscheidung schlossen, und die schließlich behauptete Aussage. Explizite Rechenartefakte und deklarierte Ableitungen, als solche geprüft.","open-source-aion.2224f4889f":"die Ableitung, auf der es beruht","open-source-aion.1aceefa727":"Eine Schlussfolgerung kommt an mit","open-source-aion.40e8df9cbd":"Loom und die Solver darunter","open-source-aion.cbac360b09":"Boolesche und arithmetische Schritte sind eine Familie. Denken ist, wo der Stack beginnt","open-source-aion.9786d05f5a":"GEFUZZT","open-source-aion.a9bb80378b":"NEU ABGELEITET","open-source-aion.0204e8b30c":"REGEL FÜR REGEL","open-source-aion.a43c278b96":"Auf Klauselebene wird jede Hinzufügung aus ersten Prinzipien neu abgeleitet: Nimm an, die neue Klausel sei falsch, propagiere die Klauseln, auf die sich ihre Hinweise beziehen, und verlange den Konflikt, den diese Hinweise versprochen haben. Wo die Propagation allein es nicht erzwingt, geht die Hinzufügung zur strengeren Bedingung über das benannte Pivot-Literal gegen jede Klausel, mit der dieses Pivot auflösen könnte, sodass ein Schritt nicht durch die Benennung eines Pivots durchgewunken werden kann, das die Klausel nicht enthält. Formel und Beweis werden beide Zeile für Zeile gelesen, sodass ein Beweis, der größer als der Speicher der Maschine ist, dennoch vollständig geprüft wird. AIONs eigene Suite ist AION gegenüber feindlich: ein Hinweis, der auf den Schritt verweist, den er rechtfertigen soll, zwei Schritte, die aufeinander stehen, ein behauptetes, aber fehlendes Pivot, zwei Klauseln unter einer Kennung, das Endmarker als Kennung verwendet, eine Löschung einer nie hinzugefügten Klausel und dieselbe Klausel zweimal gelöscht. Jeder Leser, der eine Datei berührt, die jemand anderes geschrieben hat, wird gegen einen geseedeten Korpus gefuzzt.","open-source-aion.13a29c20f0":"Drei Bedingungen laufen der Regelprüfung bei jedem Schritt in fester Reihenfolge voraus: ob der Schritt sich selbst zitiert, ob jede Zahl, die er zitiert, vorhanden ist, und ob eine davon über dem Schritt nummeriert ist, der sie zitiert. Vor allen vieren wird die Datei einmal auf eine wiederholte Schrittnummer gescannt. Nur ein Beweis, dessen jeder Schritt all das besteht, erreicht die letzte Bedingung, nämlich ob die Datei in einem Widerspruch endet. Eine Ableitung, die mit noch bestehenden Literalen ausgeht, hat alles andere bestanden und wird dennoch abgelehnt.","open-source-aion.f626b7a7da":"Unter der Oberfläche","open-source-aion.1a95f2e67d":"Klauselbeweise in der LRAT-Familie, die SAT ist, und Regelbeweise im Alethe-Format, das SMT ist, sind die Familie mit der längsten Geschichte von Menschen, die versuchen, sie zu besiegen, was sie zur richtigen macht, um sie zu zeigen. AION leitet jeden Schritt an die Routine weiter, die seine Regel implementiert, und ein Regelname ohne dahinterstehende Implementierung beendet das Lesen, statt stillschweigend durchzugehen, wobei Schrittnummer und Regel ausgegeben werden.","open-source-aion.8294eed416":"und eine unbekannte Regel stoppt es","open-source-aion.9959b32cda":"Jeder Schritt besteht vier Tests","open-source-aion.3821e115bc":"Die Familie mit Gegnern","open-source-aion.c415bc49f1":"Die älteste Familie ist die mit den meisten Gegnern, also ist sie die, die man sich zuerst ansieht","open-source-aion.06d55361b1":"VERSIONIERT","open-source-aion.bca8de5f5a":"NEUN FAMILIEN","open-source-aion.187b58774c":"Die Familien werden aus demselben Grund getrennt versioniert. Eine Regelmenge kann sich in der Logikfamilie verschärfen, ohne die Simulationsfamilie zu stören, und die betroffene Zertifikatsmenge für diese Änderung sind genau die Datensätze, die die geänderte Version deklariert haben. Die heutigen neun sind Logik und Erfüllbarkeit, Optimierung, Temporal- und Hyper-Eigenschaften, Reasoning, organisatorisch, Kompilierung, Laufzeitausführung, Simulation und FMI sowie Speicherintegrität.","open-source-aion.ca4a7a3c63":"Eine Familie zu registrieren ist, wie ein System, das nicht existierte, als AION geschrieben wurde, von ihm prüfbar wird. Der Umschlag ist bereits derselbe, die Speicherschicht und die Wiederverifizierungswarteschlange funktionieren bereits, und was eine neue Familie liefern muss, ist ein Verifizierer und eine deklarierte Regelmenge. Drittanbieter-Software, die einen Zertifikatsvertrag implementiert, kommt durch dieselbe Tür wie alles von uns.","open-source-aion.6581749da9":"Warum es ein Register und keine Liste ist","open-source-aion.c453f0b87d":"Eine Zertifikatsfamilie ist ein benannter, versionierter Vertrag und kein Dateiformat. Jede deklariert ihre Identität und Version, den Behauptungstyp, den sie etabliert, die Eingaben, die sie benötigt, wie der Beweis oder Zeuge dargestellt wird, den Verifikationsalgorithmus, die Regelmenge, die der Verifizierer akzeptiert, ihre Abhängigkeits- und Kompatibilitätsmetadaten, ihre menschenlesbare Darstellung, wo sie eine hat, und ihre eigene Ablehnungstaxonomie.","open-source-aion.29a8090d97":"und die Menge ist erweiterbar","open-source-aion.7dd9783a82":"Neun Familien, ein Register","open-source-aion.f4c0c73854":"Das Register","open-source-aion.2b6d7305db":"Eine unabhängige Prüfung muss wissen, welche Art von Zertifikat sie in der Hand hält","open-source-aion.b4dee9d399":"KEIN REPLAY","open-source-aion.1ae37e9b3a":"KEINE LIZENZ","open-source-aion.082414b331":"BEGRENZTE PRÜFUNG","open-source-aion.85bcd01276":"In keinem dieser Fälle benötigt der Verifizierer die Suche, Heuristiken, den verborgenen Zustand, die Modellaufrufe oder die Laufzeitumgebung des Produzenten. Das macht unabhängige Verifikation erschwinglich statt wünschenswert.","open-source-aion.73dc1e45ec":"Die Asymmetrie hat in jeder Domäne dieselbe Form, und es lohnt sich, sie viermal zu sehen. Eine konfliktgetriebene Suche kann über Stunden über einen Raum laufen, den niemand aufzählen kann; der Klauselbeweis, den sie ausgibt, wird Zeile für Zeile verfolgt. Ein Compiler kann Hunderte von Optimierungspässen mit Heuristiken durchführen, die niemand außerhalb des Teams versteht; das Zertifikat hält die Erhaltungsbehauptungen fest, die über sie hinweg gelten müssen. Eine Simulation kann über Millionen von Schritten laufen; das Zertifikat liefert die Prüfpunkte, Übergänge, Invarianten und die Spur, die das Ergebnis prüfbar machen. Eine Nexus-Operation kann viele Akteure koordinieren; das Zertifikat etabliert Autorität, Zustandsübergänge, Genehmigungen und Aktionsbelege.","open-source-aion.3bcb80f6d9":"Was jeder Produzent für sich behält","open-source-aion.ceb0061493":"Das System, das das Ergebnis produziert hat, bekommt nicht das letzte Wort darüber, ob sein Zertifikat hält. AION prüft ein begrenztes Artefakt, statt die teure Berechnung zu wiederholen, weshalb Verifikation auf einem Laptop gegen Arbeit laufen kann, die einem Cluster ein Wochenende gekostet hat, und weshalb sie weder die Lizenz des Produzenten noch seine Maschine benötigt. Das Zertifikat liefert die Prüfpunkte, die der Prüfer durchläuft, sodass die Kosten der Prüfung der Größe des Artefakts folgen und nicht der Größe der Suche dahinter.","open-source-aion.69524cecfe":"und das ist der ganze Trick","open-source-aion.ee21bac231":"Prüfen ist kein Wiederholen","open-source-aion.396e9b624d":"Die architektonische Trennung","open-source-aion.504a1b0a8d":"Ein Umschlag sagt, was angekommen ist. Die nächste Frage ist, wer ihn öffnen darf","open-source-aion.a9ea7a518b":"EIN UMSCHLAG","open-source-aion.d7e877b15b":"ACHT FELDER","open-source-aion.34c043fc06":"Das Abhängigkeitsfeld wird am meisten unterschätzt. Ein Zertifikat, das auf einem anderen Zertifikat beruht, nennt es, sodass eine Ablehnung oder eine Schemaänderung sich durch die Gruppe ausbreitet, die sich darauf gestützt hat, statt beim ersten Datensatz stehen zu bleiben, den jemand zufällig ansieht. Das ist es, was einen Haufen akzeptierter Ergebnisse in etwas verwandelt, das man befragen kann.","open-source-aion.7dc6226fd7":"Legt man die Routing-Informationen in die Nutzlast, wird jede neue Zertifikatsfamilie für alle nachgelagerten Systeme zu einer neuen Integration. Hält man sie außen vor, werden die Speicherebene, der Kompatibilitätstracker, die Wiederverifizierungswarteschlange und der Prüfdatensatz einmal geschrieben und funktionieren für Familien, die es beim Bau noch nicht gab.","open-source-aion.48eb1ab2b4":"Warum sich die Trennung auszahlt","open-source-aion.419ad6edc1":"Ein Kompilierungszertifikat und ein Klauselbeweis haben innen nichts gemeinsam und kommen im selben Umschlag an. Acht Felder: die Behauptung, die Eingaben, gegen die sie geprüft wurde, der Produzent, die Vertragsversion, der Zertifikatstyp, die Zertifikatsnutzlast, die Abhängigkeiten und die Signatur. Alles Familienspezifische sitzt in der Nutzlast, und alles, was ein Verifizierer zum Weiterleiten, Versionieren und Aufzeichnen braucht, sitzt außerhalb.","open-source-aion.03a195fded":"und acht Felder darin","open-source-aion.9895a4db76":"Jede Familie, ein Umschlag","open-source-aion.33164fb254":"Der gemeinsame Umschlag","open-source-aion.315fae6edd":"Acht Arten von Systemen, acht Arten von Behauptungen und ein Umschlag, in dem sie alle reisen","open-source-aion.661f13bc63":"GEPRÜFT","open-source-aion.ea0dae37f4":"EIN ZERTIFIKAT","open-source-aion.f07b84d4d2":"EINE BEHAUPTUNG","open-source-aion.1edfca7587":"AION ist dieses zweite Programm. Es nimmt ein Zertifikat, das ein Fremder erstellt hat, rekonstruiert, was es behauptet, und wenn sich eine Behauptung nicht rekonstruieren lässt, benennt es das Element, benennt die Regel und stoppt dort. Eine Ablehnung, die auf Zeile 40 zeigt, ist etwas, das ein einzelnes Wort nie sein kann.","open-source-aion.4428102723":"Formale Methoden haben sich aus einem Grund vor Jahrzehnten auf diese Anordnung geeinigt. Der Produzent schreibt seine Arbeit auf, und ein zweites, viel kleineres Programm liest diese Arbeit zurück. Das zweite Programm ist das, das sorgfältig gebaut werden sollte, weil es klein genug ist, um Ende zu Ende verstanden zu werden. Was AION tut, ist, diese Anordnung aus der Solver-Welt zu nehmen und sie zum Vertrag für alles andere zu machen: Argumentation, Agentenoperationen, Kompilierung, Ausführung, Simulation.","open-source-aion.51edeceac1":"unsat. kompiliert. abgeschlossen. sicher. optimal. Richtlinie bestanden. Simulation konvergiert. Workflow genehmigt. Acht Systeme, acht Wörter, und keines davon trägt den Grund, warum es wahr ist. Beweistragende Berechnung ist die Alternative: Der Produzent behält die teure Arbeit und gibt ein Zertifikat zusammen mit dem Ergebnis aus, und etwas, das kein Interesse an der Antwort hat, prüft dieses Zertifikat.","open-source-aion.d3571e9e01":"bis es jemand neu macht","open-source-aion.03d9c22d95":"Ein Ergebnis ist nur eine Behauptung","open-source-aion.dfc28595b4":"Warum es eine zweite Lesung gibt","open-source-aion.3c6178c9cd":"Wem der Bericht gehört","open-source-aion.42c21bbe27":"Was ein Fall klärt","open-source-aion.4d05bcfcbf":"Was eine Ablehnung dir ermöglicht","open-source-aion.4c0a0d8ef3":"Die zwei üblichen Auswege","open-source-aion.e097afe170":"Was aus dem Behalten folgt","open-source-aion.c9681d6875":"Was es tatsächlich tut","open-source-aion.1ee58a7b8d":"Woher die Anordnung stammt","open-source-aion.eec3b038bd":"Zuordnung","open-source-aion.65279e1ecf":"Verifizierung","oss-aion-adoption-paths.733a87e5fb":"Einen Entscheidungspfad testen","oss-aion-adoption-paths.34dfd13db9":"Führen Sie ein Beispielzertifikat aus, bevor Sie AION in einen Live-Entscheidungspfad integrieren.","oss-aion-adoption-paths.3f1d1c0d24":"Prüfen Sie das mitgelieferte Beispielzertifikat.","oss-aion-adoption-paths.a5339faf54":"Führen Sie die mitgelieferten Beispielbeweise als Kontrolle aus.","oss-aion-adoption-paths.b38db2875a":"Prüfen Sie dasselbe Zertifikat mit aion check und einem unabhängigen kompatiblen Verifizierer.","oss-aion-adoption-paths.0e42c62826":"Ihr Evaluierungsteam","oss-aion-adoption-paths.ca15f8db66":"In ein System integrieren","oss-aion-adoption-paths.e8219f1ea8":"Ihr bestehendes Softwareteam bindet die Bibliothek ein, sodass die Systeme, die Sie bereits betreiben, bei jeder Entscheidung ein Zertifikat übergeben können.","oss-aion-adoption-paths.91e2e7e34b":"Ihre Entwickler fügen AION zu einem System hinzu, das Sie bereits betreiben.","oss-aion-adoption-paths.96e8012ed9":"Jede Entscheidung trägt dann ein prüfbares Zertifikat.","oss-aion-adoption-paths.6e56d00bc7":"Kein neuer Anbieter sitzt im Pfad dieser Entscheidung.","oss-aion-adoption-paths.b0e0c85d36":"Ihr Entwicklungsteam","oss-aion-adoption-paths.4637a51566":"Bei der Prüfung verwenden","oss-aion-adoption-paths.03b3d20015":"Ein früher erstelltes Zertifikat kann jederzeit mit dem Befehlszeilentool auf eigener Hardware offline erneut geprüft werden.","oss-aion-adoption-paths.8b6e7ae424":"Bewahren Sie das Zertifikat auf, das bei der Entscheidung erstellt wurde.","oss-aion-adoption-paths.ab48bfd890":"Prüfen Sie es später mit dem Befehlszeilentool offline erneut.","oss-aion-adoption-paths.6fe516ffcf":"Übergeben Sie denselben Datensatz an eine Aufsichtsbehörde oder einen Prüfer.","oss-aion-adoption-paths.4e64c95d9e":"Ihr Compliance-Team","oss-aion-adoption-paths.6b5eb5323e":"Mit einem Entscheidungspfad beginnen","oss-aion-adoption-paths.1635f113ec":"Drei Möglichkeiten zur Einführung","oss-aion-adoption-paths.5eef32f959":"Wer führt es aus","oss-aion-adoption-paths.29a9e7fa74":"Das Zertifikat ist identisch, unabhängig davon, welchen Weg Sie wählen.","oss-aion-adoption-paths.3e4f1a5e1b":"Eine Bibliothek, ein Befehlszeilentool","oss-aion-adoption-paths.tag.d59fec26d9":"Vor der Integration","oss-aion-adoption-paths.tag.391b31405f":"Für Ihre Entwickler","oss-aion-adoption-paths.tag.6fd7b4f249":"Für Compliance","oss-aion-archive-parts.cea57012da":"nicht über das Lesen hinaus komprimiert","oss-aion-archive-parts.10f2f8d11a":"für das Regal komprimiert","oss-aion-archive-parts.0468a5b797":"ARCHIV","oss-aion-archive-parts.bce5035461":"und ein Feld, das sie überdauert","oss-aion-archive-parts.bd678f55fe":"Vier Züge auf einem Zertifikat","oss-aion-archive-parts.44e396b17f":"Welcher Prüfer hat es akzeptiert, unter welcher Vertragsversion.","oss-aion-archive-parts.5348eece0f":"Prüfer und Vertrag beibehalten","oss-aion-archive-parts.53229277ab":"Identische Unterbeweise einmal gespeichert und danach per Hash zitiert.","oss-aion-archive-parts.0f6513214f":"Unterbeweise gehasht","oss-aion-archive-parts.76a7786a63":"Ein wiederholtes Muster einmal gespeichert, mit der Länge, für die es sich wiederholt.","oss-aion-archive-parts.9e1a0f7aac":"Läufe zusammengefasst","oss-aion-archive-parts.d6f5880b44":"Jede Kennung als Abstand zur letzten gespeichert.","oss-aion-archive-parts.6b78716e70":"Kennungen als Lücken","oss-aion-archived-proof.5808299e06":"nachgeschlagen, nicht durchsucht","oss-aion-archived-proof.39241dfc0d":"Der Rest blieb geschlossen, weil der Index bereits wusste, dass sie nicht betroffen waren.","oss-aion-archived-proof.d84b2eb85d":"Neun Abhängigkeiten deklariert, zwei Tabs gezogen, fünf Zertifikate benannt.","oss-aion-archived-proof.c9269e3e61":"sieben Tabs blieben geschlossen","oss-aion-archived-proof.6f13975269":"weiterhin kompatibel","oss-aion-archived-proof.8ec798a819":"Regel r7","oss-aion-archived-proof.4b50837e2e":"zum erneuten Lesen in der Warteschlange","oss-aion-archived-proof.2a858a12ec":"Regel r7 in Verifier 2.5.0 ersetzt","oss-aion-archived-proof.0b58a007b4":"Änderungshinweis","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"gleiches Zertifikat","oss-aion-archived-proof.4b37dd07e6":"wie archiviert","oss-aion-archived-proof.39c9f8bf3a":"zwei Teilbeweise, eine Form","oss-aion-archived-proof.8c28e2d0a9":"ein Block, einmal behalten","oss-aion-archived-proof.e75bd8054c":"Bezeichner als Lücken","oss-aion-archived-proof.9bfe0da4af":"eine lange Datei","oss-aion-archived-proof.46dc2748fa":"wie erzeugt","oss-aion-archived-proof.b6a0714797":"beispielhafte Bezeichner","oss-aion-archived-proof.16bb6017da":"zwei von fünf in der Warteschlange","oss-aion-archived-proof.884fa4a4de":"Ein Zertifikat, zweimal","oss-aion-archived-proof.11ed0e1dd4":"Richtlinie p9","oss-aion-archived-proof.1f776189b1":"Schema 2","oss-aion-archived-proof.ec690c70cd":"Zertifikat d20c9b","oss-aion-archived-proof.a96a7e2f89":"Zertifikat 1a55f0","oss-aion-archived-proof.b504f66e53":"Modell m1","oss-aion-archived-proof.fd6c33ce54":"Laufzeitvertrag 3.1","oss-aion-archived-proof.ff651ff51f":"Compiler-Regel c1","oss-aion-archived-proof.d00ec63b0b":"Zertifikat b4e187","oss-aion-archived-proof.e20acd4672":"Zertifikat 3c90de","oss-aion-archived-proof.6d50cc6c2e":"Zertifikat 7f21ab","oss-aion-archived-proof.5dd9b11122":"Richtlinie p2","oss-aion-archived-proof.70d70366cf":"Schema 4","oss-aion-archived-proof.d61ceadbdb":"Vertrag","oss-aion-archived-proof.e15436a2bb":"Verifier","oss-aion-archived-proof.15da3daa68":"x3","oss-aion-asked-questions.question.refused":"Warum wurde meine Anfrage von einer Maschine abgelehnt?","oss-aion-asked-questions.answer.refused":"AION zeigt den genauen Punkt, an dem die Prüfung gestoppt hat, und warum, statt eines unerklärten Wortes.","oss-aion-asked-questions.question.check":"Kann ich eine automatisierte Entscheidung selbst prüfen?","oss-aion-asked-questions.answer.check":"Ja. AION führt jeden Schritt erneut aus, auf dem Gerät, an dem Sie gerade sind, ohne Konto und ohne dass etwas gesendet wird.","oss-aion-asked-questions.question.sent":"Werden meine Informationen irgendwohin gesendet?","oss-aion-asked-questions.answer.sent":"Nein. Die Standardversion hat nichts, womit sie gesendet werden könnten. Die Arbeit findet dort statt, wo Sie bereits sind.","oss-aion-asked-questions.chrome.path":"Fragen, die eine Ablehnung tatsächlich aufwirft","oss-aion-asked-questions.chrome.status":"offen beantwortet","oss-aion-asked-questions.readout":"Das sind die drei Fragen, die diese Seite beantworten soll, offen, ohne Konto und ohne dass etwas gesendet wird.","oss-aion-asked-questions.band":"Einmal gefragt, offen beantwortet","oss-aion-asked-you.ef80b73d6b":"statt einer Überraschung später","oss-aion-asked-you.7e066a9db0":"eine Frage jetzt","oss-aion-asked-you.fb041ecc2d":"Wartet","oss-aion-asked-you.c276980864":"ASKED","oss-aion-asked-you.93a5f8f470":"und was als Nächstes passiert","oss-aion-asked-you.fb5efec5ec":"Was es fragt","oss-aion-asked-you.ed223cb507":"Mit Ihrem eigenen Satz darin, statt eines Formulars zum Ausfüllen.","oss-aion-asked-you.47ba586268":"Stellt eine Frage","oss-aion-asked-you.16bb2c320d":"In klaren Worten, nicht als Wahl zwischen Symbolen.","oss-aion-asked-you.590f0368a8":"Legt beide Lesarten dar","oss-aion-asked-you.c0fedb51ee":"Der Teil Ihres Satzes, bei dem es unsicher ist, in Ihren Worten.","oss-aion-asked-you.945cd96360":"Zitiert die Worte zurück","oss-aion-asymmetry.109e612009":"die Beweise reisen","oss-aion-asymmetry.54086b1730":"die Arbeit bleibt beim Ersteller","oss-aion-asymmetry.77e82797f7":"ASYMMETRIE","oss-aion-asymmetry.7f5d144dcb":"pro Ersteller","oss-aion-asymmetry.d1abed327f":"Was nicht reproduziert wird","oss-aion-asymmetry.816e835f60":"Autorität, Übergänge, Genehmigungen, Belege.","oss-aion-asymmetry.4f83e60cbc":"Viele Agenten, die koordinieren.","oss-aion-asymmetry.d946c1fc52":"Agentensystem","oss-aion-asymmetry.d978ba491a":"Checkpoints, Übergänge und Invarianten.","oss-aion-asymmetry.b081bda78f":"Millionen von Integrationsschritten.","oss-aion-asymmetry.8e34943c35":"Simulation","oss-aion-asymmetry.db98a95880":"Die Erhaltungsansprüche über sie hinweg.","oss-aion-asymmetry.ce4dee4e4f":"Hunderte von Durchläufen und ihre Heuristiken.","oss-aion-asymmetry.341a20e237":"Compiler","oss-aion-asymmetry.d50aca2923":"Eine Ableitung, Zeile für Zeile verfolgt.","oss-aion-asymmetry.c0644e2b00":"Eine Suche über einen Raum, den niemand aufzählt.","oss-aion-asymmetry.2212b12df6":"Löser","oss-aion-audit-flow.0d368d5958":"Eine Entscheidung wird getroffen","oss-aion-audit-flow.723d4b8215":"Eine KI gelangt in Ihrem System zu einer Antwort.","oss-aion-audit-flow.60616f24a0":"Ein Zertifikat wird aufbewahrt","oss-aion-audit-flow.319012d052":"Die Begründung wird als portabler Datensatz festgehalten.","oss-aion-audit-flow.b6e0507002":"Es wird erneut geprüft","oss-aion-audit-flow.060bdf8393":"Jede Person führt die Prüfung offline auf dem eigenen Gerät erneut aus.","oss-aion-audit-flow.549ee9a7f2":"Die Prüfperson akzeptiert es","oss-aion-audit-flow.45d8142b03":"Belege, die sie verifizieren, keine Zusage, die sie hinnehmen müssen.","oss-aion-audit-flow.29a5795456":"Sie senden Protokolle und hoffen, dass sie akzeptiert werden.","oss-aion-audit-flow.691576c10d":"Sie übergeben ein Zertifikat, das die Prüfperson selbst prüft.","oss-aion-audit-flow.4f25ce109b":"Die Erklärung ist an einen einzigen Anbieter gebunden.","oss-aion-audit-flow.17092b76ad":"Standardisierte Nachweisformate halten das Zertifikat über den ursprünglichen Anbieter und die Laufzeit hinaus prüfbar.","oss-aion-audit-flow.4cb1b63499":"Der Datensatz wird auf Infrastruktur erneut geprüft, die Sie nicht kontrollieren.","oss-aion-audit-flow.c0baf00a21":"Der Datensatz wird offline auf Hardware erneut geprüft, die Sie kontrollieren.","oss-aion-audit-flow.1574ac4dc4":"Von der Entscheidung zum akzeptierten Beleg","oss-aion-audit-flow.0fc25779d4":"Ohne prüfbaren Nachweis","oss-aion-audit-flow.4b32d8f574":"Mit AION","oss-aion-audit-flow.effbb773a5":"Zum Prüfzeitpunkt liefern Sie Belege, keine Zusicherungen.","oss-aion-audit-flow.630840198f":"Unabhängige Verifizierung","oss-aion-broken-case.b2d44d537d":"zwei Arbeitsstücke","oss-aion-broken-case.21a5e37384":"Es steht tatsächlich da, dass jetzt jemand eine Wahl treffen muss.","oss-aion-broken-case.446dd52366":"Der Fall sagt nicht, in welcher der beiden Situationen du dich befindest.","oss-aion-broken-case.1592f95dfc":"wer die Spezifikation besitzt","oss-aion-broken-case.5350b811e8":"Das wusste jeder, und niemand hat es je aufgeschrieben, weshalb der Fall überhaupt\n              auffindbar war. Die Arbeit besteht also darin, die fehlende Einschränkung zu formulieren.","oss-aion-broken-case.7e1ad0c117":"Ein erneuter Versuch kann hier bei einem Nullsaldo nicht stattfinden.","oss-aion-broken-case.e2acc6be4b":"Kann das hier passieren?","oss-aion-broken-case.70cf0e9d6e":"das Team, das es betreibt","oss-aion-broken-case.f4418abec4":"Die Regel ist also richtig und das System ist falsch. Die Arbeit ist eine Änderung am System.","oss-aion-broken-case.7ebf5ee2c1":"Drei erneute Versuche bei einem Nullsaldo sind ein ganz normaler Montag.","oss-aion-broken-case.818db6fde5":"Der Batch-Modus erlaubt höchstens zwei erneute Versuche.","oss-aion-broken-case.9ad82bcd1a":"Kein erneuter Versuch, solange das Saldo null ist.","oss-aion-broken-case.db09c40b94":"Bedingungen, die es verletzt","oss-aion-broken-case.1a01155586":"Die Spezifikation gilt nicht. Hier ist eine Situation, in der sie nicht gilt, ausführlich\n            dargestellt.","oss-aion-broken-case.bb5f480b82":"der Fall, wie er zurückkommt","oss-aion-broken-case.8ba48b3c8c":"Beispielfall","oss-aion-broken-case.2a0ea29615":"Ein Fall, zwei Eigentümer","oss-aion-broken-case.0efd66fc70":"Der Fall, der es zerbrochen hat","oss-aion-broken-case.fd12863535":"nein","oss-aion-broken-case.fb360f9c09":"ja","oss-aion-broken-case.e7aef2e893":"Modus ist Batch (Typ: Text)","oss-aion-broken-case.dcfad8c5bf":"Saldo ist 0 (Typ: Ganzzahl)","oss-aion-broken-case.bbf98b54e9":"Erneute Versuche ist 3 (Typ: Ganzzahl)","oss-aion-business-glyph.9c8c22f54d":"Von Natur aus prüfbar","oss-aion-business-glyph.afd7103781":"Ihre Infrastruktur","oss-aion-business-glyph.ea722c81af":"Europäisch","oss-aion-business-glyph.870c4d024a":"Portable Formate","oss-aion-business-glyph.81c093497b":"Durch das Zertifikat abgeschlossen","oss-aion-business-glyph.862ee3b17a":"Exposition","oss-aion-business-glyph.6b5eb5323e":"Nachweis beigefügt","oss-aion-business-glyph.b7a3f27883":"Risiko beseitigt","oss-aion-business-glyph.7ba75e0ac6":"Zertifikatsprüfung Jahre später","oss-aion-business-glyph.9f89ecaff5":"Ursprüngliche Sitzung ist weg","oss-aion-business-glyph.33620369b5":"Das Archiv","oss-aion-business-glyph.7a71b6b89e":"Auf Hardware, die Sie kontrollieren","oss-aion-business-glyph.e94a6d4bba":"Auf fremder Hardware erklärt","oss-aion-business-glyph.3eaad00bc0":"Die Daten","oss-aion-business-glyph.e20fee7c23":"Separater Prüfer","oss-aion-business-glyph.9e3ee5bddf":"Ursprüngliches Modell weiterhin erforderlich","oss-aion-business-glyph.5cb182685f":"Der Verifizierer","oss-aion-business-glyph.c5d37b3ae0":"Ein Zertifikat, das der Prüfer kontrolliert","oss-aion-business-glyph.6c4186cc8c":"Protokolle, von denen Sie hoffen, dass sie akzeptiert werden","oss-aion-business-glyph.d51b35c242":"Die Prüfung","oss-aion-cadence-banners.independent.eyebrow":"AION / unabhängige Verifizierung","oss-aion-cadence-banners.independent.lead":"Vertrauen Sie dem Umschlag","oss-aion-cadence-banners.independent.accent":"nachdem ein anderer Prüfer ihn akzeptiert","oss-aion-cadence-banners.independent.body.one":"Ein Zertifikat ist nützlich, weil der Verifizierer die Laufzeit des Erzeugers nicht benötigt. Er erhält die deklarierte Regel, Eingaben, Ergebnis und Beweise als einen begrenzten Umschlag.","oss-aion-cadence-banners.independent.body.two":"Die zweite Implementierung prüft diese Beweise gegen denselben Vertrag. Übereinstimmung ist dann ein Beweis über das Ergebnis, nicht eine erneute Ausführung desselben Codepfads.","oss-aion-cadence-banners.independent.panel":"Unabhängiger Akzeptanznachweis","oss-aion-cadence-banners.independent.tag":"GETRENNT GEPRÜFT","oss-aion-cadence-banners.independent.item.rule.label":"Deklarierte Regel","oss-aion-cadence-banners.independent.item.rule.detail":"Die Anforderung und die Zertifikatsfamilie werden benannt.","oss-aion-cadence-banners.independent.item.rule.status":"VORHANDEN","oss-aion-cadence-banners.independent.item.input.label":"Begrenzte Eingaben","oss-aion-cadence-banners.independent.item.input.detail":"Die Werte, die die Entscheidung verwendet, reisen mit ihr.","oss-aion-cadence-banners.independent.item.input.status":"BOUND","oss-aion-cadence-banners.independent.item.result.label":"Behauptetes Ergebnis","oss-aion-cadence-banners.independent.item.result.detail":"Das Ergebnis wird vor Beginn der Verifizierung angegeben.","oss-aion-cadence-banners.independent.item.result.status":"DEKLARIERT","oss-aion-cadence-banners.independent.item.verifier.label":"Separater Verifizierer","oss-aion-cadence-banners.independent.item.verifier.detail":"Eine andere Implementierung prüft denselben Umschlag.","oss-aion-cadence-banners.independent.item.verifier.status":"AKZEPTIERT","oss-aion-cadence-banners.independent.verdict":"die Beweise überleben außerhalb des Systems, das sie erzeugt hat","oss-aion-cadence-banners.independent.footer":"die Verifizierung überschreitet eine Implementierungsgrenze, ohne den Vertrag zu verlieren","oss-aion-cadence-banners.refusal.eyebrow":"AION / Fehlervertrag","oss-aion-cadence-banners.refusal.lead":"Ein fehlgeschlagener Beweis","oss-aion-cadence-banners.refusal.accent":"muss die Regel benennen, die er nicht erfüllen konnte","oss-aion-cadence-banners.refusal.body.one":"Exakte Prüfung ist kein vager Bestehen/Nichtbestehen-Wrapper. Der Verifizierer folgt der deklarierten Umwandlung, Arithmetik und logischen Gattern in Reihenfolge und stoppt dann bei der ersten ungültigen Bedingung.","oss-aion-cadence-banners.refusal.body.two":"Diese Ablehnung gehört in die Beweise. Sie sagt dem Aufrufer, welche Annahme, welcher Maßstab, welcher Begriff oder welche Absicherung fehlgeschlagen ist, bevor ein späterer Schritt die Ursache verbergen konnte.","oss-aion-cadence-banners.refusal.panel":"Erstes fehlgeschlagenes Gatter","oss-aion-cadence-banners.refusal.tag":"ABGELEHNT","oss-aion-cadence-banners.refusal.item.read.label":"Deklarierte Werte lesen","oss-aion-cadence-banners.refusal.item.read.detail":"Eingaben und Regelidentität werden vor der Prüfung festgelegt.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Deklarierte Umwandlung anwenden","oss-aion-cadence-banners.refusal.item.scale.detail":"Kein stiller Fallback ändert den arithmetischen Vertrag.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Jedes Gatter in Reihenfolge auswerten","oss-aion-cadence-banners.refusal.item.check.detail":"Die erste ungültige Bedingung bleibt zurechenbar.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Benannte Ablehnung zurückgeben","oss-aion-cadence-banners.refusal.item.refuse.detail":"Der Aufrufer erhält die fehlgeschlagene Regel und ihre Beweise.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"eine Ablehnung ist überprüfbarer Beweis, kein leerer Fehler","oss-aion-cadence-banners.refusal.footer":"die erste fehlgeschlagene Bedingung bleibt für den nächsten Prüfer sichtbar","oss-aion-cadence-banners.certificates.eyebrow":"AION / Zertifikatskette","oss-aion-cadence-banners.certificates.lead":"Eine Entscheidung","oss-aion-cadence-banners.certificates.accent":"kann mehrere Arten von Beweisen tragen","oss-aion-cadence-banners.certificates.body.one":"Logik, organisatorische Autorität, Kompilierung und Ausführung beantworten unterschiedliche Fragen. Sie als eine generische Zusicherung zu behandeln, würde verbergen, wo eine Behauptung stark ist und wo eine andere Prüfung noch nötig ist.","oss-aion-cadence-banners.certificates.body.two":"AION hält die Zertifikate getrennt und verknüpft sie mit demselben Entscheidungsdatensatz. Ein Prüfer kann der Kette folgen, ohne Autorität mit Arithmetik oder einen erfolgreichen Lauf mit einer genehmigten Regel zu verwechseln.","oss-aion-cadence-banners.certificates.panel":"Entscheidungsbeweisroute","oss-aion-cadence-banners.certificates.tag":"VERKNÜPFT","oss-aion-cadence-banners.certificates.item.reasoning.label":"Logikzertifikat","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Zeigt, warum die angegebene Schlussfolgerung folgt.","oss-aion-cadence-banners.certificates.item.reasoning.status":"LOGIC","oss-aion-cadence-banners.certificates.item.organisation.label":"Autoritätszertifikat","oss-aion-cadence-banners.certificates.item.organisation.detail":"Benennt, wer die Aktion genehmigen oder ausführen darf.","oss-aion-cadence-banners.certificates.item.organisation.status":"AUTORITÄT","oss-aion-cadence-banners.certificates.item.compile.label":"Kompilierungszertifikat","oss-aion-cadence-banners.certificates.item.compile.detail":"Bindet Quelle, Transformation und erzeugtes Artefakt.","oss-aion-cadence-banners.certificates.item.compile.status":"BUILD","oss-aion-cadence-banners.certificates.item.execution.label":"Ausführungszertifikat","oss-aion-cadence-banners.certificates.item.execution.detail":"Zeichnet auf, was lief, wo und unter welchen Eingaben.","oss-aion-cadence-banners.certificates.item.execution.status":"RUN","oss-aion-cadence-banners.certificates.verdict":"jede Behauptung behält die Zertifikatsfamilie, die sie tatsächlich stützen kann","oss-aion-cadence-banners.certificates.footer":"verknüpfte Beweise bleiben spezifisch genug, um sie anzufechten","oss-aion-cadence-banners.recheck.eyebrow":"AION / ein Ergebnis, das Sie erneut aufrufen können","oss-aion-cadence-banners.recheck.lead":"Dieselbe Regel","oss-aion-cadence-banners.recheck.accent":"kann später erneut geprüft werden","oss-aion-cadence-banners.recheck.body.one":"Der Satz, die gewählte Bedeutung und die Zeitbegrenzung bleiben am Ergebnis haften. Sie können sehen, was entschieden wurde und wie lange die Entscheidung gültig bleibt, ohne das Material wegzuschicken.","oss-aion-cadence-banners.recheck.body.two":"Wenn sich die Regel oder das Datum ändert, identifiziert der Datensatz, was einer erneuten Prüfung bedarf. Die frühere Antwort bleibt sichtbar, anstatt stillschweigend ersetzt zu werden.","oss-aion-cadence-banners.recheck.panel":"Worauf die erneute Prüfung folgt","oss-aion-cadence-banners.recheck.tag":"WIEDERHOLBAR","oss-aion-cadence-banners.recheck.item.sentence.label":"Ihr ursprünglicher Satz","oss-aion-cadence-banners.recheck.item.sentence.detail":"Der Wortlaut bleibt neben der Interpretation.","oss-aion-cadence-banners.recheck.item.sentence.status":"KEPT","oss-aion-cadence-banners.recheck.item.rule.label":"Die gewählte Bedeutung","oss-aion-cadence-banners.recheck.item.rule.detail":"Die angewandte Regel ist klar formuliert.","oss-aion-cadence-banners.recheck.item.rule.status":"NAMED","oss-aion-cadence-banners.recheck.item.deadline.label":"Das Gültigkeitsdatum","oss-aion-cadence-banners.recheck.item.deadline.detail":"Die verbleibende Zeit ist sichtbar, bevor das Ergebnis abläuft.","oss-aion-cadence-banners.recheck.item.deadline.status":"SICHTBAR","oss-aion-cadence-banners.recheck.item.result.label":"Eine neue Prüfung","oss-aion-cadence-banners.recheck.item.result.detail":"Dieselben Belege können erneut bewertet werden.","oss-aion-cadence-banners.recheck.item.result.status":"READY","oss-aion-cadence-banners.recheck.verdict":"Sie können die Antwort erneut aufrufen, ohne den Grund dahinter zu verlieren.","oss-aion-cadence-banners.recheck.footer":"Der Datensatz hält Wortlaut, Regel und Datum zusammen.","oss-aion-cadence-banners.supplier.eyebrow":"AION / Lieferantennachweis","oss-aion-cadence-banners.supplier.lead":"Eine Antwort des Lieferanten","oss-aion-cadence-banners.supplier.accent":"sollte mit etwas ankommen, das Sie prüfen können","oss-aion-cadence-banners.supplier.body.one":"Ein Zertifikat trennt das Ergebnis vom Werkzeug des Lieferanten. Es legt fest, was geprüft wurde, welche Nachweisart gilt und welche Eingaben und Artefakte zur Aussage gehören.","oss-aion-cadence-banners.supplier.body.two":"Ihr Team kann diesen Nachweis aufbewahren und einen anderen Prüfer verwenden. Die Überprüfung hängt nicht mehr vom Zugriff auf den ursprünglichen Dienst ab oder davon, den Lieferanten zu bitten, den Lauf erneut durchzuführen.","oss-aion-cadence-banners.supplier.panel":"Mit dem Ergebnis erhaltener Nachweis","oss-aion-cadence-banners.supplier.tag":"ÜBERTRAGBAR","oss-aion-cadence-banners.supplier.item.claim.label":"Aussage des Lieferanten","oss-aion-cadence-banners.supplier.item.claim.detail":"Das Ergebnis und sein Geltungsbereich werden ausdrücklich angegeben.","oss-aion-cadence-banners.supplier.item.claim.status":"ERHALTEN","oss-aion-cadence-banners.supplier.item.certificate.label":"Zertifikatsumschlag","oss-aion-cadence-banners.supplier.item.certificate.detail":"Nachweis und Kennungen reisen mit der Aussage.","oss-aion-cadence-banners.supplier.item.certificate.status":"ANGEHÄNGT","oss-aion-cadence-banners.supplier.item.coverage.label":"Abdeckungserklärung","oss-aion-cadence-banners.supplier.item.coverage.detail":"Die Zertifikatsart legt fest, was sie belegen kann.","oss-aion-cadence-banners.supplier.item.coverage.status":"EINGEGRENZT","oss-aion-cadence-banners.supplier.item.checker.label":"Unabhängiger Prüfer","oss-aion-cadence-banners.supplier.item.checker.detail":"Ihre Seite verifiziert den Nachweis ohne den Erzeuger.","oss-aion-cadence-banners.supplier.item.checker.status":"VERFÜGBAR","oss-aion-cadence-banners.supplier.verdict":"der Nachweis bleibt nützlich, nachdem der Lauf des Lieferanten beendet ist","oss-aion-cadence-banners.supplier.footer":"ein verifizierbares Ergebnis ist leichter aufzubewahren, zu vergleichen und anzufechten","oss-aion-cadence-banners.boundary.eyebrow":"AION / kontrollierte Überprüfung","oss-aion-cadence-banners.boundary.lead":"Die Überprüfung bleibt im Rahmen","oss-aion-cadence-banners.boundary.accent":"den Ihre Organisation festlegt","oss-aion-cadence-banners.boundary.body.one":"Der Fall, die Regel und das Zertifikat können dort geprüft werden, wo sie bereits liegen. Die lokale Verifizierung vermeidet, dass eine Überprüfung zu einem weiteren Offenlegungsweg für das untersuchte Material wird.","oss-aion-cadence-banners.boundary.body.two":"Der Datensatz benennt weiterhin die festgestellte Eigenschaft und den verwendeten Nachweis. Daten vor Ort zu halten bedeutet nicht, auf eine zurechenbare Prüfspur zu verzichten.","oss-aion-cadence-banners.boundary.panel":"Vor-Ort-Prüfweg","oss-aion-cadence-banners.boundary.tag":"LOCAL","oss-aion-cadence-banners.boundary.item.case.label":"Den aufbewahrten Fall öffnen","oss-aion-cadence-banners.boundary.item.case.detail":"Das Quellmaterial bleibt in seiner bestehenden Umgebung.","oss-aion-cadence-banners.boundary.item.case.status":"VOR ORT","oss-aion-cadence-banners.boundary.item.property.label":"Die zu prüfende Aussage auswählen","oss-aion-cadence-banners.boundary.item.property.detail":"Der Zertifikatsumfang bleibt ausdrücklich.","oss-aion-cadence-banners.boundary.item.property.status":"EINGEGRENZT","oss-aion-cadence-banners.boundary.item.perimeter.label":"Innerhalb der Grenzen ausführen","oss-aion-cadence-banners.boundary.item.perimeter.detail":"Für die Verifizierung ist kein ausgehender Dienst erforderlich.","oss-aion-cadence-banners.boundary.item.perimeter.status":"EINGESCHRÄNKT","oss-aion-cadence-banners.boundary.item.record.label":"Den Prüfdatensatz aufbewahren","oss-aion-cadence-banners.boundary.item.record.detail":"Eingaben, Prüfer und Ergebnis bleiben zurechenbar.","oss-aion-cadence-banners.boundary.item.record.status":"DOKUMENTIERT","oss-aion-cadence-banners.boundary.verdict":"der Nachweis kann geprüft werden, ohne eine neue Datenübertragung zu erzeugen","oss-aion-cadence-banners.boundary.footer":"lokale Ausführung und überprüfbarer Nachweis gehören in dieselbe Kontrolle","oss-aion-case-fields.ce69e76708":"ein Fall startet eine Entscheidung","oss-aion-case-fields.9a83c048c3":"ein Urteil beendet eine Prüfung","oss-aion-case-fields.afc58d4c40":"der erste, der scheitert, mit Namen","oss-aion-case-fields.3bc6a69e80":"der Saldo muss vor einem erneuten Versuch über Null liegen","oss-aion-case-fields.4e0285b28b":"Bedingung verletzt","oss-aion-case-fields.4e0af55321":"GEGENBEISPIEL","oss-aion-case-fields.344daefb37":"Ein Fall, vollständig","oss-aion-case-fields.62e0ec394a":"die Werte und ihre jeweilige Art","oss-aion-case-fields.7f01fe787c":"Stapel","oss-aion-checked-not-rerun.dd5b6cbe2b":"ein Merge, eine Abwesenheit","oss-aion-checked-not-rerun.846a719bdc":"Die letzte Zeile hat zu keinem Preis ein Gegenstück.","oss-aion-checked-not-rerun.6c26a05ac4":"Fünf von sieben gehen und zwei von ihnen mergen.","oss-aion-checked-not-rerun.4f01efffc8":"gelesen von jemandem, der ihre Software nie in der Hand hatte","oss-aion-checked-not-rerun.a70205a694":"verglichen mit dem des nächsten Quartals","oss-aion-checked-not-rerun.0d85e26645":"archiviert mit der Entscheidung, die es unterstützte","oss-aion-checked-not-rerun.ffc7dbc2ad":"was du danach in der Hand hältst","oss-aion-checked-not-rerun.d6124c1aee":"nichts auf der linken Seite erzeugt dies","oss-aion-checked-not-rerun.9b9252883d":"das Zertifikat selbst","oss-aion-checked-not-rerun.0bfa7a3bd8":"die deklarierten Eingaben und der Vertrag","oss-aion-checked-not-rerun.d7f7f555ad":"die Behauptung","oss-aion-checked-not-rerun.527c7f544a":"drei Dinge","oss-aion-checked-not-rerun.f8a34d2942":"um ihr Zertifikat zu prüfen","oss-aion-checked-not-rerun.2a20acacc2":"sieben Dinge","oss-aion-checked-not-rerun.a94f90b8e9":"um ihr System zu reproduzieren","oss-aion-checked-not-rerun.d2eae1af1f":"gleiche Zusicherung, zwei Wege","oss-aion-checked-not-rerun.87f754c087":"fünf getroffen, eines abwesend","oss-aion-checked-not-rerun.2a62bb8028":"was jeder Weg erfordert","oss-aion-checked-not-rerun.35d7d25591":"ob es nach der Änderung noch gilt","oss-aion-checked-not-rerun.6cd8ba818d":"auf wessen Daten","oss-aion-checked-not-rerun.96f39a5e7d":"gegen welche Version des Regelwerks","oss-aion-checked-not-rerun.c8d59ae061":"welche Bedingungen geprüft wurden","oss-aion-checked-not-rerun.b028b89ea7":"ihre Unterstützung","oss-aion-checked-not-rerun.c03c2fce6e":"eine Maschine ausreichender Größe","oss-aion-checked-not-rerun.867d12b7ad":"die Eingabedaten","oss-aion-checked-not-rerun.717e42eb01":"ihre Konfigurationsdatei","oss-aion-checked-not-rerun.935b145c44":"ein passendes Betriebssystem","oss-aion-checked-not-rerun.fa15ad3da2":"die genaue Version, die sie verwendeten","oss-aion-checked-not-rerun.5990a1ec89":"eine Lizenz für ihre Software","oss-aion-compile-cert.b1991b0d44":"eine Ablehnung verweist also auf eine","oss-aion-compile-cert.85edd85611":"die Ansprüche werden einzeln benannt","oss-aion-compile-cert.6e8814b9a0":"Was herauskam, nach Inhaltsadresse, gebunden an all das oben Genannte.","oss-aion-compile-cert.a41732e051":"Artefaktidentität","oss-aion-compile-cert.6d4151d7a5":"Was hineinging, nach Inhaltsadresse statt nach Dateiname.","oss-aion-compile-cert.7204133281":"Quellen- oder Graphidentität","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"und was es über jede einzelne behauptet","oss-aion-compile-cert.0bcab6c465":"Was das Zertifikat benennt","oss-aion-compile-cert.027f7ee7d1":"Welche Eigenschaften dieses Zertifikat über sie festlegt.","oss-aion-compile-cert.8906f98ae0":"Erklärte Erhaltung","oss-aion-compile-cert.d186ea41e2":"Die angewendeten Durchläufe, in der Reihenfolge ihrer Anwendung.","oss-aion-compile-cert.66ad6a206e":"Transformationssequenz","oss-aion-compile-cert.ebb0c953d1":"Welcher Build, bei welcher Optimierungskonfiguration.","oss-aion-compile-cert.691f87f640":"Compiler und Optimierung","oss-aion-console.5d71265e50":"Prüfen Sie ein Beweiszertifikat. Kein Solver, kein Netzwerk.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"Prüfe Beweis: proof.alethe","oss-aion-console.1016f1bcf3":"Format: Alethe","oss-aion-console.70142f344c":"Parsing: OK","oss-aion-console.8455c5ceeb":"Beweis hat N Schritte","oss-aion-console.fc539fcf62":"Beweisprüfung: BESTANDEN","oss-aion-console.88f6db402f":"Prüfzeit: Nms","oss-aion-console.4f437cea65":"Ihr Prüfer hat es bestätigt. Exit 0. Nichts hat nach Hause telefoniert.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Zertifikat lesen","oss-aion-console.0cef7497bf":"Der Prüfer öffnet die Beweisdatei, die Sie erhalten haben. Mehr braucht er nicht: keine Modellgewichte, kein Anbieter-Login, kein Internet.","oss-aion-console.830903eaf6":"Jeden Schritt durchgehen","oss-aion-console.6ce1fb843f":"Jede Ableitung wird gegen die Prämissen, auf die sie sich bezieht, erneut ausgeführt. LRAT enthält Unit-Propagations-Hinweise, sodass der Durchlauf linear zur Länge des Beweises ist.","oss-aion-console.1044fbcb06":"Akzeptieren oder ablehnen","oss-aion-console.cb4e501f7a":"Wenn jeder Schritt hält, gibt der Prüfer BESTANDEN aus und beendet sich mit Exit 0. Wenn ein Schritt nicht hält, nennt er den Fehler und beendet sich mit einem Exit ungleich 0. Es gibt kein Dazwischen.","oss-aion-console.b568d47f2e":"Eingabe","oss-aion-console.df73f614f5":"Eine Beweisdatei","oss-aion-console.0562f32dc5":"Abhängigkeiten","oss-aion-console.7334b0e2cf":"Keine zur Prüfzeit","oss-aion-console.64ae43e8fe":"Kosten","oss-aion-console.660020f41a":"Linear zur Beweislänge","oss-aion-console.5faa59d4bc":"Ergebnis","oss-aion-console.de76d16078":"BESTANDEN oder benannter Fehler","oss-aion-console.76d6562c0a":"Die Prüfung","oss-aion-console.edabf74eb3":"Ein Befehl liest den Beweis und","oss-aion-console.d161c0634a":"akzeptiert oder lehnt ihn ab","oss-aion-console.a997e63df7":"Der Verifizierer ist unabhängig vom Solver. Übergeben Sie ihm ein Zertifikat und Ihr eigener Prüfer\n          bestätigt oder lehnt es offline ab, ohne Zugriff auf die Engine, die es erzeugt hat.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"Offline-Prüfer","oss-aion-console.6b5eb5323e":"Unabhängiger Prüfer","oss-aion-console.165cb4a2fd":"N Schritte und Nms sind Platzhalter: Die echten Zahlen stammen aus dem Beweis, den Sie prüfen, nicht\n              von uns. Die Befehlsoberfläche ist real, aion check parst, geht durch und meldet BESTANDEN.","oss-aion-console.b8fae1a1a1":"AION / Beweisprüfung","oss-aion-consumer-glyph.dccc2b6aff":"Kein Internet nötig","oss-aion-consumer-glyph.22c2234e11":"Hergestellt in Europa","oss-aion-consumer-glyph.75f527181b":"Später prüfbar","oss-aion-consumer-glyph.94651c6eb5":"Ein zweiter Helfer prüft es","oss-aion-consumer-glyph.b9fefb3f5b":"Sieht richtig aus","oss-aion-consumer-glyph.fb447dd18d":"Ihre Quittung","oss-aion-consumer-glyph.49a8e53c77":"Die Maschine antwortet","oss-aion-consumer-glyph.f5ad0f0059":"Ja, und hier ist der Grund","oss-aion-consumer-glyph.7011b1a621":"Die Antwort","oss-aion-consumer-glyph.07d0cfac8b":"Schritt für Schritt aufgeschrieben","oss-aion-consumer-glyph.5bcd26af49":"Wie es erreicht wurde","oss-aion-consumer-glyph.8afc953f7f":"Ist das das Richtige für mich?","oss-aion-consumer-glyph.d79cce547d":"Die Frage","oss-aion-coverage-join.fa5284c04d":"kurz ist kurz","oss-aion-coverage-join.d04fa188df":"Vierzehn ist bei weitem nicht alles, daher wird der Join abgelehnt statt aufgerundet.","oss-aion-coverage-join.0b67159da5":"Sechzehn Zellen berücksichtigt, und das zusammengesetzte Ergebnis wird akzeptiert.","oss-aion-coverage-join.7142d70e45":"Zusammensetzung abgelehnt, Abdeckung zu kurz","oss-aion-coverage-join.245fbeffee":"kein Rundungsfehler. Eine Region, die niemand angesehen hat.","oss-aion-coverage-join.1df8f3c0e7":"14 von 16","oss-aion-coverage-join.1c1d6ac8f1":"zwei Zellen, die niemand angesehen hat","oss-aion-coverage-join.f0833f7fc6":"derselbe Join, ein Würfel fehlt","oss-aion-coverage-join.db8d5bf534":"Zusammensetzung akzeptiert","oss-aion-coverage-join.558480e414":"16 von 16","oss-aion-coverage-join.26f1b36edc":"jede Zelle berücksichtigt","oss-aion-coverage-join.39cd7fa9c4":"vier Würfel","oss-aion-coverage-join.bb2dba7602":"Beispielwürfel","oss-aion-coverage-join.a4d76ddfc7":"Abdeckung um zwei Zellen zu kurz","oss-aion-coverage-join.e4445ac125":"Eine Split-Verifizierung","oss-aion-coverage-join.186c8cd284":"Der Build, den Sie halten, ändert sich nicht unter Ihnen.","oss-aion-coverage-join.9daf9699cc":"der Build","oss-aion-coverage-join.66506ab77b":"Es wird kein Modell aufgerufen.","oss-aion-coverage-join.f2250926d2":"Nichts verlässt die Grenze.","oss-aion-coverage-join.3110d06249":"was hinausgeht","oss-aion-coverage-join.0bd87fb406":"Kein Prozessor auf diesem Pfad.","oss-aion-coverage-join.1fa5b0500c":"nicht a, nicht b, nicht c","oss-aion-coverage-join.898fae3bdc":"nicht a, nicht b, c","oss-aion-coverage-join.a8f663af2d":"nicht a, b","oss-aion-coverage-join.bee9689def":"vier Maschinen, eine Antwort","oss-aion-coverage-join.3ea0cf3ca7":"Adressen, die Sie festlegen","oss-aion-coverage-join.7b9e33922c":"ein Dienst","oss-aion-coverage-join.17819009bd":"ein Aufruf","oss-aion-coverage-join.2c4d8b9dd8":"ein Befehl","oss-aion-coverage-join.5a78e04d95":"verlinkt in","oss-aion-coverage-join.985e108737":"eine Bibliothek","oss-aion-coverage-join.1d06a0d76f":"Modell","oss-aion-coverage-join.8eab5a6dbb":"Prozessor","oss-aion-coverage-table.356f85e809":"ein AION-Umschlag- und Routingvertrag","oss-aion-coverage-table.4f52f572dd":"sieben Produzentenausgaben","oss-aion-coverage-table.2a268cd632":"SIEBEN PRODUZENTEN","oss-aion-coverage-table.8351372237":"Ausgabe zuerst, Prüfer durch Zertifikatsfamilie gewählt","oss-aion-coverage-table.b7d5fe11a0":"Was die sieben Produzenten hinterlassen","oss-aion-coverage-table.f31a7c9011":"Solver","oss-aion-coverage-table.a194f815cb":"Zulässig, unzulässig oder optimal","oss-aion-coverage-table.7ec93e2d31":"Beweis, Modell, Kern, Zeuge oder Schranke","oss-aion-coverage-table.651e0f73b2":"Familienbezogener Solver-Prüfer","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"Eine Schlussfolgerung aus deklarierten Einschränkungen","oss-aion-coverage-table.9ac60dc1a8":"Einschränkungsableitung und zurückgegebene Solver-Beweise","oss-aion-coverage-table.d5ef792d46":"Loom-Argumentationsprüfer","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"Ein abgeschlossener verwalteter Vorgang","oss-aion-coverage-table.70d43be1ea":"Autorität, Richtlinie, Genehmigungen, Übergänge und Belege","oss-aion-coverage-table.5372a8e90f":"Nexus-Organisationsprüfer","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Ein kompiliertes Artefakt","oss-aion-coverage-table.1f3e5d7c89":"Quellgraph, Transformationen, Invarianten und Artefaktidentität","oss-aion-coverage-table.86ca1bd031":"Kera-Kompilierungsprüfer","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"Eine ausgeführte Arbeitslast","oss-aion-coverage-table.24f1ac9e33":"Modul, Eingaben, Fähigkeitsgewährungen, Übergänge, Grenzen und Ausgabe","oss-aion-coverage-table.0f9ea21c74":"Selvedge-Ausführungsprüfer","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"Eine simulierte Trajektorie","oss-aion-coverage-table.ef85239d10":"Modellidentität, Parameter, Zustand, Prüfpunkte, Invarianten und Trajektorien-Hash","oss-aion-coverage-table.c5b7fe3198":"Simulations- und FMI-Prüfer","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"Ein abgeschlossener FMU-Lauf","oss-aion-coverage-table.8f5753fba0":"FMU-Identität, Konfiguration, Schritte, Ereignisse, Konvergenz und Ablaufverfolgung","oss-aion-coverage-table.4d64b5bbaf":"Simulations- und FMI-Prüfer","oss-aion-coverage-table.7d1ab3c6e0":"Beleg:","oss-aion-coverage-table.4e5bc7d129":"Prüfer:","oss-aion-days-left.545fa01eea":"und es sagt es so vor dem letzten Tag","oss-aion-days-left.eaa861cef8":"dieselbe Regel, viermal gelesen","oss-aion-days-left.2017bddab0":"Frag an jedem Tag und dieselbe Regel rechnet. Nichts an der vierten Lesung\n          ist lauter als die erste, nur kleiner.","oss-aion-days-left.81b20537a7":"verbleibender Platz, in Tagen","oss-aion-days-left.0526dbf682":"DIE UHR","oss-aion-days-left.2f29339cb6":"dieselbe Uhr, vier Tage auseinander","oss-aion-days-left.47a76d1261":"Eine Anfrage, vier Lesungen","oss-aion-days-left.9dd1fe0fd2":"26 von 30","oss-aion-days-left.f4c6daac2a":"Tag 26","oss-aion-days-left.62f21454ca":"22 von 30","oss-aion-days-left.4ad399ed8a":"Tag 22","oss-aion-days-left.ae5a29afae":"16 von 30","oss-aion-days-left.195b05cbbd":"Tag 16","oss-aion-days-left.d31b7d0f91":"8 von 30","oss-aion-days-left.185b76515a":"Tag 8","oss-aion-days-left.2dd2bed725":"heute","oss-aion-dispute-parts.65edc28a9d":"das Gremium und die Entscheidung gehören zu Ihrem eigenen Prozess, und das Artefakt bewegt sich nicht","oss-aion-dispute-parts.e56cf65ada":"und es ist nicht das Tribunal","oss-aion-dispute-parts.37f322f735":"es liefert die Beweise,","oss-aion-dispute-parts.7b7570d892":"die Entscheidung","oss-aion-dispute-parts.52e3685580":"das Fenster","oss-aion-dispute-parts.7de929b394":"das Gremium","oss-aion-dispute-parts.2eba0fb6ad":"was Ihr eigener Prozess besitzt","oss-aion-dispute-parts.ea4031d789":"welcher Prüfer, welche Version","oss-aion-dispute-parts.93be71a61d":"der Vertrag","oss-aion-dispute-parts.48b63234e3":"benannt statt zusammengefasst","oss-aion-dispute-parts.cced6746e2":"der Fehlerpunkt","oss-aion-dispute-parts.2c9e8d06dd":"von jedem reproduzierbar","oss-aion-dispute-parts.2e02032e1d":"die Verifizierung","oss-aion-dispute-parts.804e9af218":"Erzeuger und Signatur intakt","oss-aion-dispute-parts.69506051d5":"wie akzeptiert bewahrt","oss-aion-dispute-parts.6b578cc32e":"das Zertifikat","oss-aion-dispute-parts.21df0b2530":"Was AION beiträgt","oss-aion-dispute-parts.4029dc5f44":"Es bewahrt das\n            Zertifikat so, wie es akzeptiert wurde. Es bewahrt die Zuordnung, sodass, wer das Ergebnis\n            erzeugt hat, einen Wechsel des Auftragnehmers übersteht. Es reproduziert die Verifizierung auf Anfrage, von jedem,\n            ohne den Erzeuger. Es identifiziert den genauen Fehlerpunkt, anstatt ein Urteil zu liefern. Und es zeigt, welcher Prüfer das Ergebnis akzeptiert hat und unter welcher Vertragsversion.\n            Das Gremium, das Fenster und die Entscheidung gehören zu dem Prozess, den Ihre\n            Organisation bereits ausführt. AION liefert das Artefakt, über das dieser Prozess streitet.","oss-aion-dispute-parts.434ae4f1d6":"AIONs Aufgabe in dieser Situation ist eng begrenzt und das ist der nützliche Teil.","oss-aion-dispute-parts.3eb5567b60":"Arbeit, die von einer Partei erstellt und von einer anderen verwendet wird, führt schließlich zu einer Meinungsverschiedenheit\n            darüber, ob sie gut war. Was darüber entscheidet, ist fast nie die Stärke des\n            Argumentierens. Es ist, ob ein Artefakt existiert, das beide Seiten untersuchen können und das keine Seite\n            ändern kann, und in den meisten Streitigkeiten werden die Aufzeichnungen, die die Frage klären würden, von\n            einer der beiden Parteien gehalten.","oss-aion-dispute-parts.2ccc6715e9":"Kein besseres Argument.","oss-aion-dispute-parts.aa0d5ae0e6":"Ein Streit braucht Beweise.","oss-aion-dispute-parts.b4b6237893":"Wenn jemand anderer Meinung ist","oss-aion-dispute-parts.eec3b038bd":"Zuordnung","oss-aion-dispute-parts.100ec4462d":"Beweise","oss-aion-envelope-fields.cfc233d284":"der Umschlag ist nie","oss-aion-envelope-fields.1c80a87a33":"die Nutzlast ist familien spezifisch","oss-aion-envelope-fields.d85cb39036":"die Familie, die den Verifizierer bestimmt","oss-aion-envelope-fields.a975c5af10":"Zertifikatstyp","oss-aion-envelope-fields.4282e3d696":"benannt, nie impliziert","oss-aion-envelope-fields.0562f32dc5":"Abhängigkeiten","oss-aion-envelope-fields.ca2dc8737d":"welches System, welche Version","oss-aion-envelope-fields.7b7194967f":"Erzeuger","oss-aion-envelope-fields.f33f785291":"gegen was es erstellt wurde, und welche Version","oss-aion-envelope-fields.404e7d3e00":"Eingaben und Vertrag","oss-aion-envelope-fields.93a29173f5":"Kennung und eine Nutzlast oder deren Hash","oss-aion-envelope-fields.dc4e08a408":"Anspruch","oss-aion-envelope-fields.78e789d605":"VERTRAG","oss-aion-envelope-fields.d12a9ca770":"außerhalb der Nutzlast, jede Familie","oss-aion-envelope-fields.f18dee6041":"Der Umschlag","oss-aion-envelope-fields.f07e5a8156":"Nutzlast","oss-aion-evidence.cbf668da60":"Protokolldateien","oss-aion-evidence.28e06c789a":"Ein Protokoll zeigt, dass das System lief. Es zeigt nicht, warum die Antwort zustande kam, und ein Protokoll kann stillschweigend geändert werden.","oss-aion-evidence.c637aebe3a":"Undurchsichtig","oss-aion-evidence.5c3fc92e3f":"Ein Konfidenzwert","oss-aion-evidence.fd3c76543b":"Eine Zahl, die einen internen Zustand zusammenfasst. Zwei Systeme können denselben Wert anzeigen und bei derselben Eingabe zu gegensätzlichen Schlussfolgerungen gelangen.","oss-aion-evidence.16f3dacf52":"Keine Herleitung","oss-aion-evidence.7f34e37f1b":"Eine selbst erzeugte Erklärung","oss-aion-evidence.361b70a63e":"Geschrieben von demselben Modell, das die Entscheidung getroffen hat. Es bewertet seine eigene Arbeit selbst und kann daher nicht als unabhängiger Beleg gelten.","oss-aion-evidence.782acc59ce":"Zirkulär","oss-aion-evidence.477416bf24":"Dem Anbieter vertrauen","oss-aion-evidence.1e84c62138":"Wenn eine Aufsichtsbehörde, ein Patient oder ein Gericht fragt: „Zeigen Sie Ihre Arbeit“, ist eine Service-Level-Zusage keine Antwort, die sie überprüfen können.","oss-aion-evidence.76afe0e09f":"Nicht überprüfbar","oss-aion-evidence.06f2d5f1a8":"Ein Zertifikat, keine Behauptung","oss-aion-evidence.cdcc6f712c":"AION gibt zusammen mit der Antwort ein Nachweiszertifikat aus. Das Zertifikat listet jeden Argumentationsschritt in der Reihenfolge auf, in der er erfolgte.","oss-aion-evidence.6d1c5f470b":"Von jemand anderem geprüft","oss-aion-evidence.cc65178dc5":"Ein separates Prüfprogramm geht die Schritte durch und akzeptiert oder lehnt sie ab. Die fragende Partei führt es selbst aus.","oss-aion-evidence.412a3b1e5e":"Später erneut ausführbar","oss-aion-evidence.9082c552d2":"Dasselbe Zertifikat wird nächsten Monat auf einer anderen Maschine ohne Zugriff auf das ursprüngliche System auf dieselbe Weise geprüft.","oss-aion-evidence.1206578b48":"Zeigen Sie Ihre Arbeit","oss-aion-evidence.494beafd71":"Die Prüfungsfrage","oss-aion-evidence.bba8b0753d":"Beleg vs. Behauptung","oss-aion-evidence.00e2ca4c85":"Wenn eine KI-Entscheidung eine Aufsichtsbehörde, einen Patienten oder einen Sicherheitsnachweis erreicht, fragt jemand:","oss-aion-evidence.1defdb9d85":"Wie kam es zu dieser Antwort?","oss-aion-evidence.290a698043":"Die meisten Organisationen können keine Antwort geben,\n          die die fragende Person selbst überprüfen kann.","oss-aion-evidence.56f6624482":"Kein Beleg","oss-aion-evidence.a295517f40":"Was heute angeboten wird","oss-aion-evidence.7ea014de7b":"Beleg","oss-aion-evidence.4cb1cd3e53":"Was AION übergibt","oss-aion-evidence.2a36a263da":"Ein Beleg wird nicht behauptet. Ein Beleg wird geprüft.","oss-aion-evidence.e0a4c0a385":"Unabhängige Überprüfung ist die einzige Antwort, die ein Prüfer akzeptieren kann.","oss-aion-exact-sum.21aaad8129":"Ein negativer Multiplikator wird verweigert, bevor die Summe gebildet wird, bei der ersten Prüfung","oss-aion-exact-sum.3b267c2a81":"keine interne Gleitkommazahl in dieser Kette","oss-aion-exact-sum.1a43ebe28c":"also ist das System widerlegt","oss-aion-exact-sum.452308dbcd":"konstanter Rest","oss-aion-exact-sum.35add33a7a":"was übrig bleibt","oss-aion-exact-sum.df326a819b":"y-Terme heben sich auf","oss-aion-exact-sum.dae482d4b2":"x-Terme heben sich auf","oss-aion-exact-sum.c36d183406":"die skalierten Ungleichungen addieren","oss-aion-exact-sum.79e4c9d3fa":"skalieren","oss-aion-exact-sum.c3c4b24b20":"die beiden Ungleichungen, alles auf einer Seite","oss-aion-exact-sum.b6b4c73115":"Die Summe, vollständig","oss-aion-exact-sum.c1c66bf52c":"Die Bedingungen werden der Reihe nach geprüft, und jede ist für sich eine Verweigerung. Ein negativer\n            Multiplikator wird verweigert, bevor eine Summe gebildet wird, weil das Skalieren mit einer negativen Zahl\n            die Ungleichung umkehrt. Eine Summe, in der ein variabler Term überlebt, wird mit dem\n            überlebenden Term namentlich verweigert. Eine Summe, deren verbleibende Konstante nicht positiv ist, wird verweigert,\n            weil sie nichts beweist. Ein Koeffizient über der Größenordnungssperre löst einen\n            Überlauf aus, statt zu wrappen. Nichts in dieser Kette ist eine Toleranz.","oss-aion-exact-sum.6efbacfc5b":"Eine arithmetische Widerlegung ist eine Menge von Multiplikatoren. Schreiben Sie jede Ungleichung mit\n            allem auf einer Seite des Zeichens, skalieren Sie sie, addieren Sie die skalierten Ungleichungen,\n            und wenn jeder variable Term sich aufhebt und das, was übrig bleibt, eine positive Zahl ist, von der gesagt wird, sie sei\n            höchstens null, kann das nicht gelten, also auch nicht das System, aus dem es stammt. AION akzeptiert\n            diese Multiplikatoren an der Grenze und konvertiert sie in eine deklarierte adaptive\n            Ganzzahl/Festkomma-Darstellung, bevor es prüft. Es speichert, akkumuliert und berechnet\n            intern keine Gleitkommawerte und hat keinen Gleitkomma-Fallback.\n            Der Bruch bleibt hier gedruckt, weil er den Widerspruch lesbar macht; die\n            Prüfung wird durch seine deklarierte Konvertierung und Skalierung bestimmt.","oss-aion-exact-sum.31934abfaa":"Seine Konvertierung deklariert die Skalierung.","oss-aion-exact-sum.a3caf489e5":"Ein Drittel ist nicht 0,333.","oss-aion-exact-sum.15e6a906dd":"Deklarierte adaptive Festkomma-Arithmetik","oss-aion-exact-sum.108a35964a":"die Summe sagt 11/6 <= 0, was falsch ist,","oss-aion-exact-sum.6045546490":"y - x + 1/3 <= 0","oss-aion-exact-sum.a9171dcc84":"x - y + 3/2 <= 0","oss-aion-exact-sum.0df9336e46":"3y - 3x + 1 <= 0","oss-aion-exact-sum.022fb6347f":"2x - 2y + 3 <= 0","oss-aion-exact-sum.fb360f9c09":"ja","oss-aion-exact-sum.c4c6c57253":"positiv","oss-aion-exact-sum.b55e22fe78":"exakt","oss-aion-exec-cert.6a230011ab":"etwas anderes prüft es","oss-aion-exec-cert.2c14724b1b":"die Laufzeit hat es erzeugt","oss-aion-exec-cert.b07722ef0c":"das Limit","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"Modul zur Ausgabe","oss-aion-exec-cert.a7b63abc02":"Was das Zertifikat enthält","oss-aion-exec-cert.e1bbfaa783":"Die Identität des Ergebnisses und ob es abgefangen wurde.","oss-aion-exec-cert.59871c9494":"Ausgabe und Status","oss-aion-exec-cert.ffb779a5c3":"Die Grenzen, in denen es lief, als Grenzen und nicht als Beobachtungen.","oss-aion-exec-cert.ffbc724f07":"Ressourcenrahmen","oss-aion-exec-cert.273c1da325":"Deterministisch, gegeben das Modul, die Eingaben und die Berechtigungen.","oss-aion-exec-cert.acee491c99":"Zustandsübergänge","oss-aion-exec-cert.eab885bbb2":"Was es erreichen durfte, deklariert bevor es lief.","oss-aion-exec-cert.dc009dc166":"Berechtigungsgewährungen","oss-aion-exec-cert.6f3eb29822":"Welches Modul, nach Inhaltsadresse, bei welcher Laufzeitversion.","oss-aion-exec-cert.c201b4ae89":"Modulidentität","oss-aion-executed-under.6b6dab207c":"Was das Zertifikat erlaubt","oss-aion-executed-under.1fcfedc78a":"was es erreichen könnte","oss-aion-executed-under.0338c5441d":"Die Frage nach der Tatsache ist die Autorität, und das Zertifikat trägt sie.","oss-aion-executed-under.bc70ed4db9":"Vier Bewilligungen erteilt und drei verweigert.","oss-aion-executed-under.6f9d76b8c0":"Die Übergänge sind deterministisch gegeben das Modul, die Eingaben und die Bewilligungen, also wurde all dies befolgt, ohne die Arbeitslast jemals auszuführen.","oss-aion-executed-under.e044b5f419":"Die Identität, die das Zertifikat erklärt, ist nicht die Identität, die die Übergänge erzeugen, also wird die Ausführung am Ausgang verweigert. Alles davor wurde exakt rekonstruiert.","oss-aion-executed-under.7f0cc64ae8":"deterministische Übergänge","oss-aion-executed-under.5fa4050afc":"Fähigkeitssatz, vor der Ausführung erklärt","oss-aion-executed-under.844e9ed357":"Uhr, nicht gesetzt beobachten","oss-aion-executed-under.b3ccbb4041":"Speicherlimit 512 MiB","oss-aion-executed-under.1fe892a96f":"ein Socket, 10.0.4.12:7443","oss-aion-executed-under.5028d1b23d":"/var/lib/claims lesen","oss-aion-executed-under.7a02a68db0":"nicht gehalten","oss-aion-executed-under.685706abcf":"Ausgangsidentität unterscheidet sich","oss-aion-executed-under.6287ff317a":"erzeugt","oss-aion-executed-under.0baff051a0":"erklärt","oss-aion-executed-under.1029d67644":"Ausgang","oss-aion-executed-under.fbd34a2b6e":"Modul","oss-aion-executed-under.910e029098":"illustrativ","oss-aion-executed-under.df6fe4f714":"die Fähigkeit, über die Ausführung hinaus zu bestehen","oss-aion-executed-under.b51590997b":"jede andere Adresse","oss-aion-executed-under.e4e545e3b7":"alles andere auf dem Dateisystem","oss-aion-fact-strip.0dc9622797":"Jede Figur lässt sich auf das AION-Repository zurückführen.","oss-aion-fact-strip.b7feece146":"AION in Zahlen","oss-aion-fact-strip.fedec331ff":"Bibliothek, CLI und Benchmark in einem Workspace","oss-aion-fact-strip.13a24daf03":"Implementierung","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Binär, ganzzahlig und adaptiv mit Festkomma; keine interne Gleitkommaarithmetik","oss-aion-fact-strip.5688a0448c":"Arithmetikkern","oss-aion-fact-strip.0cae74747c":"Exakt","oss-aion-fact-strip.379c055f01":"Linear in der Beweislänge, offline, ohne Solver","oss-aion-fact-strip.04ce84fb6e":"Verifikationskosten","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe und ein einheitliches Zwischenformat","oss-aion-fact-strip.e6c67de15e":"Beweisformate","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Logische Theorien","oss-aion-failure-notice.d8164c5dd8":"ein Befund, kein Streitpunkt","oss-aion-failure-notice.159098bbba":"Der andere startet eine Diskussion, die niemand beenden kann.","oss-aion-failure-notice.814fc5cd4f":"Eine davon kann an einem Dienstagnachmittag an einen Lieferanten geschickt werden.","oss-aion-failure-notice.2e6ea3eaa5":"kann nicht zugewiesen, nicht bepreist, nicht präzise widersprochen werden","oss-aion-failure-notice.e896d6344f":"Verifizierung fehlgeschlagen","oss-aion-failure-notice.587270a2e4":"wo jedes Feld hingehört","oss-aion-failure-notice.ba0f0eb3fe":"Prämisse nicht vorhanden","oss-aion-failure-notice.0c2a7f4aef":"Schritt 415","oss-aion-failure-notice.55daa4a2ea":"die letzten vier Schritte lauten","oss-aion-failure-notice.ca548ed152":"17. März 2026","oss-aion-failure-notice.3c05b129e2":"kein Urteil gefällt","oss-aion-failure-notice.aa943932a5":"Ablehnungsbescheid","oss-aion-failure-notice.28fb3d519e":"rekonstruiert","oss-aion-failure-notice.bd370d1b6f":"Schritt","oss-aion-failure-notice.910e029098":"illustrativ","oss-aion-failure-notice.e6b658331e":"und niemand wird beschuldigt","oss-aion-failure-notice.94002635cd":"Sie, wenn es eine Abgrenzungsfrage ist","oss-aion-failure-notice.7ab178c9a0":"die Art","oss-aion-failure-notice.0d967ff8f3":"liefert die fehlende Prämisse","oss-aion-failure-notice.b54c9b7359":"wer den Schritt erstellt hat","oss-aion-failure-notice.94a94ba774":"der Grund","oss-aion-failure-notice.ba3167e426":"bestätigt, was dieser Schritt tun soll","oss-aion-failure-notice.32ec97b69b":"Ihr Regelsatz-Eigentümer","oss-aion-failure-notice.b543dc38fd":"die Regel","oss-aion-failure-notice.ad866c4aef":"öffnet die Datei bei Schritt 415","oss-aion-failure-notice.06fddd86f6":"das Lieferanten-Nachweisteam","oss-aion-failure-notice.aecf66bfac":"der Ort","oss-aion-failure-notice.1d7794c5e2":"kein Urteil für diesen Nachweis gefällt","oss-aion-failure-notice.f4475dac73":"Konsequenz","oss-aion-failure-notice.566c7d73a0":"der Schritt zitiert eine Prämisse, die nicht in der Datei vorhanden ist","oss-aion-failure-notice.7947e92e3c":"Grund","oss-aion-failure-notice.5dfa011717":"Regel, Auflösung","oss-aion-failure-notice.64463af8a3":"414 akzeptiert","oss-aion-failure-notice.c21ce4fb88":"Schritte gelesen","oss-aion-failure-notice.2bf60a2164":"die Lieferanten-Konfliktanalyse für den März-Regelsatz","oss-aion-failure-notice.335ce16b3f":"Betreff","oss-aion-family-board.ca8f6715c8":"separat versioniert","oss-aion-family-board.e794ff76c1":"eine Gliederung, die auf einen Prüfer wartet","oss-aion-family-board.0f2e82af82":"Neun Familien teilen sich einen Umschlag und sonst nichts. Die zehnte ist","oss-aion-family-board.ca6c6dda8e":"ein Prüfer und ein deklarierter Regelsatz","oss-aion-family-board.c53186083e":"die zehnte","oss-aion-family-board.0020359543":"ungültiger Übergang, Zuschuss überschritten, Ausgabemismatch,\n              unvollständige Spur","oss-aion-family-board.187225126d":"Ablehnungstaxonomie","oss-aion-family-board.fac6c7230f":"die Übergänge gegen die deklarierten\n              Grenzen und den Regelsatz erneut abspielen","oss-aion-family-board.155e6164fc":"Verifikationsalgorithmus","oss-aion-family-board.924f583920":"eine deterministische Übergangssequenz mit Eingabe- und\n              Ausgabeidentitäten","oss-aion-family-board.c0e6022509":"Beweisdarstellung","oss-aion-family-board.927f6ddf1e":"Diese Arbeitslast lief unter diesen Zuschüssen und erreichte diese Ausgabe","oss-aion-family-board.79bf5b0ee6":"Anspruchstyp","oss-aion-family-board.131097a25c":"Laufzeitausführung, v2","oss-aion-family-board.50b24e4d4c":"eine Platte, geöffnet","oss-aion-family-board.803aa98470":"dass der gespeicherte Datensatz der akzeptierte ist","oss-aion-family-board.3e71ceb1ca":"Speicherintegrität","oss-aion-family-board.f8603f4710":"dass das deklarierte Modell diesen Lauf erzeugt hat","oss-aion-family-board.ccc3c9b41d":"Simulation und FMI","oss-aion-family-board.d0c6b470a4":"dass es innerhalb der gewährten Zuschüsse lief","oss-aion-family-board.dc37599f99":"Laufzeitausführung","oss-aion-family-board.4f059da0be":"dass das Artefakt die Quelle bewahrt","oss-aion-family-board.aad755de42":"Kompilierung","oss-aion-family-board.69ce9b9c4f":"dass der gesteuerte Vorgang stattfand","oss-aion-family-board.ed87ca5ca0":"Organisatorisch","oss-aion-family-board.0dbf90d179":"dass die deklarierte Ableitung rekonstruiert","oss-aion-family-board.e272c597fd":"Schlussfolgerung","oss-aion-family-board.e79949ba43":"dass eine Eigenschaft über Läufe hinweg gilt, nicht über einen","oss-aion-family-board.bdb5a28846":"Temporal und Hyperproperty","oss-aion-family-board.b83c805a0a":"dass nichts Besseres innerhalb der Grenzen existiert","oss-aion-family-board.c794704381":"Optimierung","oss-aion-family-board.ede1ae7e54":"dass keine Zuweisung die Menge erfüllt","oss-aion-family-board.a04ce90d06":"Logik und Erfüllbarkeit","oss-aion-family-board.b98b54298f":"neun registriert, eine Gliederung","oss-aion-family-board.6253e9d668":"Das Familienboard","oss-aion-family-board.910e029098":"illustrativ","oss-aion-family-registry.6e32650bab":"und eine Version auf allen","oss-aion-family-registry.dcd1f1fdc9":"vier Deklarationen pro Familie","oss-aion-family-registry.3bc3fe987d":"Die Fehler, die diese Familie zurückgeben kann, jeweils mit einem Ort.","oss-aion-family-registry.d129426d71":"Ablehnungstaxonomie","oss-aion-family-registry.d4504f5b41":"Was der Verifizierer ausführt und welche Regelsätze er akzeptiert.","oss-aion-family-registry.52ab770040":"Verifikationsalgorithmus","oss-aion-family-registry.4c9dd89c88":"Wie der Zeuge, die Ableitung oder die Spur übertragen wird.","oss-aion-family-registry.016fecd943":"Beweisdarstellung","oss-aion-family-registry.ab1e33179a":"Was diese Familie festlegt und was sie bewusst nicht festlegt.","oss-aion-family-registry.8a547220fc":"Anspruchstyp","oss-aion-family-registry.37094b3cc5":"bevor sie geprüft werden kann","oss-aion-family-registry.b14e18379b":"REGISTRY","oss-aion-family-registry.b3e4281358":"Was eine Familie deklariert","oss-aion-family-registry.7efea8ff96":"unvollständig","oss-aion-family-registry.995fee1f1a":"nicht unterstützt","oss-aion-family-registry.81f344a768":"ungültig","oss-aion-foreign-proof.4c43cb0de1":"keine Lizenz, keine Umgebung","oss-aion-foreign-proof.9406c96fa7":"vier dünne Linien dazwischen","oss-aion-foreign-proof.9fefe2d67f":"Vier Arten von Arbeit auf der einen Seite, vier lesbare Objekte auf der anderen, und","oss-aion-foreign-proof.57802c0b4e":"Der Prüfer hat die linke Seite nie ausgeführt, und das muss er auch nicht.","oss-aion-foreign-proof.1dfc94b110":"ein Beleg","oss-aion-foreign-proof.cff5f15fed":"zwei Übergänge","oss-aion-foreign-proof.d58f13fb52":"Autoritätsprüfung","oss-aion-foreign-proof.24ef006723":"Autorität und Belege","oss-aion-foreign-proof.933912faec":"Agenten, koordinierend","oss-aion-foreign-proof.2ae1de46da":"Zustand bleibt innerhalb der deklarierten Hülle","oss-aion-foreign-proof.ed96565674":"Kontrollpunkte und eine Invariante","oss-aion-foreign-proof.0ae689c7bd":"Integrationsschritte","oss-aion-foreign-proof.f9020659b6":"Kernel-Auswahl","oss-aion-foreign-proof.3e77a07952":"Erhaltungsaussagen","oss-aion-foreign-proof.2bb64b9b5b":"Optimierungspässe","oss-aion-foreign-proof.c8b39aa910":"Klauselableitung","oss-aion-foreign-proof.4da89bbc52":"Solver-Suche","oss-aion-foreign-proof.51339ff0ea":"die Beweise, auf Ihrem Rechner","oss-aion-foreign-proof.4f45bf808d":"die Arbeit, auf dem Produzenten","oss-aion-foreign-proof.c369931988":"vier Zeilen, sonst nichts","oss-aion-foreign-proof.ec0b7e2c43":"Was die Grenze überschreitet","oss-aion-foreign-proof.44d74dd33f":"Formen","oss-aion-foreign-proof.e7b1fff700":"Typen","oss-aion-foreign-proof.910e029098":"illustrativ","oss-aion-formats.59748d73a4":"SourceFormat + TargetFormat","oss-aion-formats.318793af64":"LRAT und Alethe verifizieren offline in linearer Zeit. DRAT wird geprüft und dann zu LRAT reduziert.\n            Unified konvertiert verlustfrei zwischen ihnen.","oss-aion-formats.14a628e6d3":"Geprüft von","oss-aion-formats.dda6ac27b9":"Verifizieren","oss-aion-formats.34556fa12c":"Formatkarte","oss-aion-formats.e6c67de15e":"Beweisformate","oss-aion-formats.8a5e29e5bb":"verlustfreie Konvertierung","oss-aion-formats.ddb7c01560":"eine Quelle, vier Formen","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# vereinheitlichtes Zwischenformat","oss-aion-formats.0d3311a5dc":"aion-proofs-Konverter","oss-aion-formats.1f5124d90b":"Beim Export konvertiert","oss-aion-formats.8c21b7e1f1":"Die interne Darstellung, die verlustfrei zwischen den anderen konvertiert.","oss-aion-formats.ebb8e8cf49":"Zwischenform","oss-aion-formats.287fda8114":"Unified","oss-aion-formats.6d56822b09":"(h1 h2))","oss-aion-formats.87d27a2d97":"t3 (cl Q) ","oss-aion-formats.6d3a4ab6e5":"(=> P Q))","oss-aion-formats.ec18650019":"cvc5, Carcara","oss-aion-formats.0cdb7c9a36":"Lineare Zeit, offline","oss-aion-formats.f6f7b642b0":"Das SMT-LIB-Community-Format aus der cvc5- und veriT-Linie.","oss-aion-formats.4aa5db37af":"SMT-Beweis","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" drat add und delete Zeilen","oss-aion-formats.f3ba7f38e9":"drat-trim zu LRAT","oss-aion-formats.36f33c83a6":"Geprüft, dann reduziert","oss-aion-formats.4745aebc97":"Klausale Hinzufügung und Löschung. Die Formatprüfer reduzieren zu LRAT.","oss-aion-formats.154df3dc2f":"SAT-Zertifikat","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" leere Klausel abgeleitet","oss-aion-formats.6fd630d612":" lrat mit Unit-Propagations-Hinweisen","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Branchenübliche Resolutionsbeweise für den propositionalen Kern.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"eine Datei, die nie geschlossen wird","oss-aion-four-gates.0ff8f0eb5a":"und noch eine am Ende","oss-aion-four-gates.a1ebd8379f":"vor Schritt 1","oss-aion-four-gates.b161dbb47d":"Die Datei wird zuerst auf eine wiederholte Schrittnummer gescannt.","oss-aion-four-gates.21e412d2d0":"Zwei Schritte, eine Nummer","oss-aion-four-gates.5a34347cc0":"ALETHE","oss-aion-four-gates.8ace427112":"und eine vor allen anderen","oss-aion-four-gates.e74bdcd46a":"Vier Tests, in dieser Reihenfolge","oss-aion-four-gates.fef891bb33":"Schritt 15","oss-aion-four-gates.cc90eb3e73":"Kein Verfahren für den Namen. Das Lesen stoppt, anstatt zu überspringen.","oss-aion-four-gates.787e8a8577":"Regel unbekannt","oss-aion-four-gates.e70c55582f":"Schritt 52","oss-aion-four-gates.59446cbcf9":"Eine Prämisse, die vorhanden ist, aber über dem Schritt nummeriert ist, der sie zitiert.","oss-aion-four-gates.f1604fe1aa":"Außer der Reihe zitiert","oss-aion-four-gates.a42f56e597":"Schritt 44","oss-aion-four-gates.371b9613cc":"Eine zitierte Nummer, die nirgendwo in der Datei steht.","oss-aion-four-gates.1d1369a316":"Prämisse fehlt","oss-aion-four-gates.e1391a7c80":"Schritt 31","oss-aion-four-gates.9a7512e955":"Ein Schritt, der auf seiner eigenen Schlussfolgerung steht. Zuerst bei jedem Schritt gefragt.","oss-aion-four-gates.7f30dfcc04":"Zitiert sich selbst","oss-aion-governed-operation.b0582e8559":"Ein Vorgang, geprüft","oss-aion-governed-operation.8af7f1d469":"verwaltet, dann geprüft","oss-aion-governed-operation.ada470c3d7":"Eine Kette und ihre Verifizierung sind zwei verschiedene Instanzen.","oss-aion-governed-operation.90fba649e4":"Vier Elemente rekonstruiert, und das fünfte stoppt die Lesung.","oss-aion-governed-operation.ea8356461f":"nicht in diesem Zertifikat: was irgendein Agent dachte","oss-aion-governed-operation.2f68c232b4":"Die Richtlinienversion, die das Zertifikat angibt, enthält nicht die Bedingung, die dieses Gate\n                angewendet haben soll. Der Vorgang wird an diesem Element abgelehnt, und es wird kein Urteil\n                für das Ganze ausgesprochen.","oss-aion-governed-operation.be51277bfd":"nicht erreicht","oss-aion-governed-operation.57b160e317":"der Durchlauf des Prüfers, in eigener Zuständigkeit","oss-aion-governed-operation.26f017e3e6":"akzeptiert, Ref. 4471-b","oss-aion-governed-operation.34c3c00446":"Beleg erfasst","oss-aion-governed-operation.159338740e":"Zahlungsanweisung, Ledgersystem","oss-aion-governed-operation.80f6148b56":"Aktion ausgeführt","oss-aion-governed-operation.458c8c203d":"an die Aktion, nicht an eine Nachricht in ihrer Nähe","oss-aion-governed-operation.1b4dcda6ba":"Genehmigung angehängt","oss-aion-governed-operation.303418bf06":"über 50 000 benötigt einen zweiten Genehmiger","oss-aion-governed-operation.faf1f5eb4b":"Richtliniengate","oss-aion-governed-operation.557df801be":"Aufgabenübergänge","oss-aion-governed-operation.b1c842256e":"Sachbearbeiter für Ansprüche","oss-aion-governed-operation.59bef6c3e5":"Zuständigkeit geklärt","oss-aion-governed-operation.0639a9efd0":"vier Agenten, ungleicher Umfang","oss-aion-governed-operation.8e44be8724":"Organisation gebildet","oss-aion-governed-operation.139146ad26":"Richtlinie v4.2","oss-aion-governed-operation.8524f08438":"Lieferantenansprüche des Quartals abrechnen","oss-aion-governed-operation.cab7375bdf":"der Vorgang, wie Nexus ihn ausgeführt hat","oss-aion-governed-operation.82c8154dca":"am Gate abgelehnt","oss-aion-governed-operation.a503bc1da2":"abgelehnt","oss-aion-governed-operation.28fb3d519e":"rekonstruiert","oss-aion-governed-operation.45807bf2ec":"abgerechnet","oss-aion-governed-operation.fb92f3f834":"bewertet","oss-aion-governed-operation.590abaace4":"geöffnet","oss-aion-governed-operation.d2dc873868":"objektiv","oss-aion-governed-operation.910e029098":"beispielhaft","oss-aion-harness-fields.d5ad303466":"und eine Zahl, die Sie zitieren können","oss-aion-harness-fields.5a31ca3c0f":"Ihr Korpus, Ihre Hardware","oss-aion-harness-fields.58664673b0":"Über den gesamten Korpus am Ende des Laufs gedruckt.","oss-aion-harness-fields.6197b910db":"Eine korrekte Zählung","oss-aion-harness-fields.175226a475":"Im Vergleich zum Status, der in der Datei selbst aufgezeichnet ist.","oss-aion-harness-fields.d787e678da":"Antwort gegen Status","oss-aion-harness-fields.b5ec587356":"Die Suche selbst, pro Instanz, nicht weggemittelt.","oss-aion-harness-fields.1bd5a36ade":"5,62 s","oss-aion-harness-fields.440f019938":"Lösungszeit","oss-aion-harness-fields.bec737ff93":"Wie lange das Lesen der Datei dauerte, getrennt vom Lösen.","oss-aion-harness-fields.f2fedd3be1":"0,84 s","oss-aion-harness-fields.9ae1441e59":"Parse-Zeit","oss-aion-harness-fields.20e5752f58":"Der Höchstwert, damit ein Kapazitätsplan eine Zahl enthält.","oss-aion-harness-fields.0f93e8ac09":"1,9 GB","oss-aion-harness-fields.2ecefe98c3":"Spitzenwert des residenten Speichers","oss-aion-harness-fields.b660370132":"eine Datei aus Ihrem Korpus","oss-aion-harness-fields.ec845d015d":"pro Instanz, dann summiert","oss-aion-harness-fields.a94252fbc5":"HARNESS","oss-aion-harness-fields.1af45602c5":"Was ein Lauf aufzeichnet","oss-aion-harness-fields.b3cbdd75cb":"widerlegt","oss-aion-harness-fields.48a3661d84":"Status","oss-aion-harness-fields.25dc282b5a":"Antwort","oss-aion-harness-fields.a0299ff49d":"case-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"Wird gelöst...","oss-aion-hero-glyph.3d08723a54":"Ergebnis: SAT","oss-aion-hero-glyph.9e1279af1f":"Modell:","oss-aion-hero-glyph.45dcf6e46f":"  x = 1","oss-aion-hero-glyph.81ef4e711c":"  y = 3","oss-aion-hero-glyph.70f4daaa7f":"Zeit: 4ms","oss-aion-hero-glyph.138243f0f4":"Ergebnis: UNSAT","oss-aion-hero-glyph.a61b6226ca":"Beweis: 128 Schritte","oss-aion-hero-glyph.41294a8dc8":"Beweis geschrieben nach: proof.alethe","oss-aion-hero-glyph.c73f3eba85":"aion-cli check proof.alethe","oss-aion-hero-glyph.cf2b6bfeba":"Beweis wird geprüft: proof.alethe","oss-aion-hero-glyph.72e8e24f69":"Alethe","oss-aion-hero-glyph.70142f344c":"Parsing: OK","oss-aion-hero-glyph.27d28e3ca9":"Beweis hat 128 Schritte","oss-aion-hero-glyph.1ba94dea63":"Beweisstatistik:","oss-aion-hero-glyph.e1b3c4d7c5":"  Gesamtschritte: 128","oss-aion-hero-glyph.e30b86fef9":"  Auflösungsschritte: 71","oss-aion-hero-glyph.8215376faf":"  Arithmetikschritte: 24","oss-aion-hero-glyph.552f29f0b5":"  Maximale Klauselgröße: 6","oss-aion-hero-glyph.fc539fcf62":"Beweisverifikation: BESTANDEN","oss-aion-hero-glyph.1e4bdfb80c":"Verifikationszeit: 2ms","oss-aion-hero-glyph.adf0423d63":"aion-cli v0.1.0","oss-aion-hero-glyph.e01fa717ba":"Offline","oss-aion-hero-glyph.9ce3bd4224":"OK","oss-aion-hero-glyph.46d61005d2":"echo $?","oss-aion-hero-glyph.bb7a461c7e":"CDCL + Theorie","oss-aion-hero-glyph.6ba46a924e":"adaptiver Fixpunkt","oss-aion-hero-glyph.a9f24b1b66":"Lineare-Zeit-Prüfung","oss-aion-hero-glyph.6b5eb5323e":"Zertifikat angehängt","oss-aion-how-to-check.c799cc998b":"Ergebnis: das ist richtig.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"Die erste Maschine übergibt ihre Quittung einem separaten Helfer, der sie prüft","oss-aion-how-to-check.d026bcfccb":"Das Ergebnis ist eindeutig: Die Quittung stimmt oder sie stimmt nicht. Es gibt kein Vielleicht.","oss-aion-how-to-check.d0c84a5a37":"Die Prüfung erfolgt direkt bei Ihnen. Nichts wird weggeschickt und keine Website ist nötig.","oss-aion-how-to-check.623151a710":"Der Helfer, der prüft, ist nicht die Maschine, die geantwortet hat. Er kann nicht einfach mit sich selbst übereinstimmen.","oss-aion-how-to-check.87e974a415":"liest sie und prüft sie","oss-aion-how-to-check.3c487e646c":"Ein zweiter Helfer","oss-aion-how-to-check.78829f8a37":"die Schritte, schriftlich festgehalten","oss-aion-how-to-check.9b7b265fbb":"Die Quittung","oss-aion-how-to-check.f58fd2cb80":"gibt eine Antwort und eine Quittung","oss-aion-how-to-check.50e90303d4":"Die erste Maschine","oss-aion-integration.b1873dbd42":"Eine Engine, kein externer Dienst. Binden Sie die Crate ein, legen Sie eine Version fest und verifizieren Sie Zertifikate in derselben Umgebung.","oss-aion-integration.5f2e7d7c25":"Dasselbe Beweiszertifikat von jeder Oberfläche. Eine Abfrage hinein, ein prüfbares Zertifikat heraus.","oss-aion-integration.a4db3ae8b6":"So rufen Sie es auf","oss-aion-integration.4ec6d609ab":"Beginnen Sie mit einem Entscheidungspfad","oss-aion-integration.559461e293":"Bibliothek, CLI, Bench","oss-aion-integration.0228a4c724":"Jeder kann ein Zertifikat mit aion check prüfen oder mit einem unabhängigen LRAT- oder Alethe-Prüfer auf dem eigenen Rechner.","oss-aion-integration.dda6ac27b9":"Verifizieren","oss-aion-integration.4d2c6036eb":"Setzen Sie aion-cli hinter einen eigenen Dienst. Das Beweiszertifikat ist der Vertrag, den der Dienst zurückgibt.","oss-aion-integration.c3447e7954":"Einbinden","oss-aion-integration.f9109d0f04":"Fügen Sie die Crate zu einer bestehenden Rust-Anwendung hinzu und geben Sie Zertifikate inline mit den Antworten aus, die sie bereits erzeugt.","oss-aion-integration.ad02e14e28":"Eingebettet","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"Ein dediziertes Benchmark-Binary ist im Workspace enthalten. Messen Sie Lösen und Prüfen auf eigener Hardware, statt einer Herstellerangabe zu vertrauen.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Steuern Sie AION aus einer Shell oder einem CI-Job. solve führt eine Abfrage aus, check verifiziert ein Beweiszertifikat offline und prove erzeugt eines. Dieselbe Beweisausgabe wie die Bibliothek.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Binden Sie AION als Crate ein und rufen Sie den Solver und den Beweis-Emittenten direkt auf. Der Kern, die Theorien und die Beweisformate sind alle prozessintern, ohne einzurichtenden Dienst.","oss-aion-integration.8319d9b3b9":"Rust-Bibliothek","oss-aion-live-margins.df15dfd304":"einer davon ist eine Aktion","oss-aion-live-margins.96576608a5":"drei davon sind Messwerte","oss-aion-live-margins.5711ac01c1":"VERFOLGT","oss-aion-live-margins.f719aa9511":"verstrichen gegenüber erlaubt","oss-aion-live-margins.a344938438":"Vier Pflichten","oss-aion-live-margins.19e5ecc09e":"am selben Tag, bei der Veranstaltung","oss-aion-live-margins.828697f103":"Übertragungsdatensatz","oss-aion-live-margins.222af170d9":"44 von 30 Tagen, noch offen","oss-aion-live-margins.a441e09d1a":"Aufbewahrungsfenster","oss-aion-live-margins.30e04c8f23":"2 von 3 Tagen","oss-aion-live-margins.20d6944505":"Verletzungsmeldung","oss-aion-live-margins.9b9419d2e2":"26 von 30 Tagen","oss-aion-live-margins.6e7d6c760b":"Betroffenenantwort","oss-aion-nothing-outbound.45b9d8acdc":"kein ausgehender Client","oss-aion-nothing-outbound.5b16b5db9a":"Jeder Pfad beginnt und endet innerhalb einer Linie, die Sie gezeichnet haben.","oss-aion-nothing-outbound.59a0768496":"Nichts auf diesem Blatt reicht über die Umrandung hinaus.","oss-aion-nothing-outbound.71c31d8219":"ein lokaler Prozess auf diesem Rechner","oss-aion-nothing-outbound.605f85e28f":"ein externer Beweisführer","oss-aion-nothing-outbound.150bc2359d":"ein Subnetz, das Sie festlegen","oss-aion-nothing-outbound.5193678a39":"Cluster-Adressen","oss-aion-nothing-outbound.49c4e670b3":"Ihr Netzwerk","oss-aion-nothing-outbound.273ca4c134":"was Sie konfigurieren","oss-aion-nothing-outbound.7f8d7aeedb":"fünf Zeilen","oss-aion-nothing-outbound.bcec1ac359":"was dieser Pfad zu Ihrem Register hinzufügt","oss-aion-nothing-outbound.4553aa0c94":"der lokale Speicher","oss-aion-nothing-outbound.93d65d8ef8":"das Archiv","oss-aion-nothing-outbound.760cfc52ce":"der Prüfer","oss-aion-nothing-outbound.6621d172f5":"der Regelsatz, der gelesen wird","oss-aion-nothing-outbound.565f3cfc6a":"das Zertifikat, das geprüft wird","oss-aion-nothing-outbound.284f61c8db":"Ihre Website, Ihre Hardware","oss-aion-nothing-outbound.f368a04bb8":"eine Grenze, und sie gehört Ihnen","oss-aion-nothing-outbound.5c795b7e7d":"kein Pfad verlässt","oss-aion-nothing-outbound.4f98b1412d":"Nichts verlässt die Umgebung","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"Der Build, den Sie halten, ändert sich nicht unter Ihnen.","oss-aion-nothing-outbound.07b9a651d1":"Ein Lieferanten-Release-Zeitplan zum Verfolgen","oss-aion-nothing-outbound.8fa0bea3f8":"Kein Dienst von uns ist auf dem Pfad.","oss-aion-nothing-outbound.11449c8bd3":"Eine Verfügbarkeitsabhängigkeit zum Aufzeichnen","oss-aion-nothing-outbound.66506ab77b":"Kein Modell wird aufgerufen.","oss-aion-nothing-outbound.af474ee96b":"Ein Modellanbieter zur Bewertung","oss-aion-nothing-outbound.f2250926d2":"Nichts verlässt die Grenze.","oss-aion-nothing-outbound.e80e5b3403":"Eine grenzüberschreitende Übermittlung zur Rechtfertigung","oss-aion-nothing-outbound.0bd87fb406":"Kein Prozessor auf diesem Pfad.","oss-aion-nothing-outbound.9494490634":"Ein Prozessor zum Hinzufügen","oss-aion-obligation-calendar.366609b500":"Spielraum, kein Alarm","oss-aion-obligation-calendar.3c8532b3c7":"Die Regel in der Mitte ist der Punkt, an dem die billige Lösung nicht mehr verfügbar war.","oss-aion-obligation-calendar.949b1361f5":"Beide Zahlen sind Messwerte, die jeder heute Morgen ablesen kann.","oss-aion-obligation-calendar.7758d9c282":"Maßnahme erforderlich","oss-aion-obligation-calendar.4ebebe0b7c":"-14 Tage","oss-aion-obligation-calendar.6937bf485d":"vor diesem Monat begonnen","oss-aion-obligation-calendar.37ed878825":"Aufbewahrungszeitraum","oss-aion-obligation-calendar.3974c3ac47":"+4 Tage","oss-aion-obligation-calendar.aa69fdaab6":"geöffnet, 30 Tage erlaubt","oss-aion-obligation-calendar.c6727ea40c":"Antwort des Betreffs","oss-aion-obligation-calendar.51269d14af":"letzter Tag, an dem dies noch eine Nachmittagsarbeit war","oss-aion-obligation-calendar.96a8ebf797":"Beispieldaten","oss-aion-obligation-calendar.fdcce3f37e":"eines ist überfällig","oss-aion-obligation-calendar.11ddafb2cc":"Ein Monat Verpflichtungen","oss-aion-obligation-calendar.a2620cbc10":"Tag","oss-aion-one-contract-six.d3926ca64d":"eine Registrierung, ein betroffener Satz","oss-aion-one-contract-six.c4d72c2328":"Ihre Beweise folgen einem AION-Umschlag.","oss-aion-one-contract-six.a7e545052a":"Die Ausgaben der Produzenten bleiben getrennt.","oss-aion-one-contract-six.5cbf78425a":"eine Regel ändert sich, überprüfen Sie die betroffenen Datensätze erneut","oss-aion-one-contract-six.f5c6772ad7":"eine erneute Verifizierungswarteschlange","oss-aion-one-contract-six.d3516bd6ea":"eine Registrierungs- und Speicheraufzeichnung","oss-aion-one-contract-six.2ec012da6f":"ein AION-Umschlag","oss-aion-one-contract-six.2c653cc8fa":"dieselben sieben Produzenten, durch einen AION-Umschlag","oss-aion-one-contract-six.725c682066":"unterschiedliche Ausgaben, familien spezifische Verifizierer","oss-aion-one-contract-six.cddf74f2cf":"sieben Produzentenausgaben","oss-aion-one-contract-six.f063fe5bcd":"sieben Ausgaben oben, ein Umschlag unten","oss-aion-one-contract-six.c34e6d1a39":"sieben Produzenten, ein Beweisumschlag","oss-aion-one-contract-six.910e029098":"illustrativ","oss-aion-one-contract-six.67bb73569c":"ein Simulationszertifikat","oss-aion-one-contract-six.7966a9fa49":"ein Kompilierungszertifikat","oss-aion-one-contract-six.1111f590cc":"ein Organisationszertifikat","oss-aion-one-contract-six.293194c28e":"ein Argumentationszertifikat","oss-aion-one-contract-six.8aa194122c":"ein logischer Beweisnachweis","oss-aion-one-contract-six.30870de828":"Modellidentität, Parameter, Zustand, Prüfpunkte, Invarianten und Trajektorien-Hash","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"Modul, Eingaben, Fähigkeitsgewährungen, Übergänge, Grenzen und Ausgabe","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"Quellgraph, Transformationen, Invarianten und Artefaktidentität","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"Autorität, Richtlinie, Genehmigungen, Übergänge und Belege","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"Ableitung von Einschränkungen und zurückgegebene Solver-Beweise","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"Beweis, Modell, Kern, Zeuge oder Grenze","oss-aion-one-contract-six.fde68155d3":"Solver","oss-aion-one-contract-six.71c9a5c1a1":"Durchführbar, nicht durchführbar oder optimal","oss-aion-one-contract-six.8f7924f6f5":"Familien spezifischer Solver-Verifizierer","oss-aion-one-contract-six.2e9d2d4990":"Eine Schlussfolgerung aus deklarierten Einschränkungen","oss-aion-one-contract-six.0e7a123b77":"Loom-Argumentationsverifizierer","oss-aion-one-contract-six.3c1a0d119e":"Ein abgeschlossener verwalteter Vorgang","oss-aion-one-contract-six.6c2ed5435d":"Nexus-Organisationsverifizierer","oss-aion-one-contract-six.07b127b70d":"Ein kompiliertes Artefakt","oss-aion-one-contract-six.4f9018da9e":"Kera-Kompilierungsverifizierer","oss-aion-one-contract-six.1f42a0b0ce":"Eine ausgeführte Arbeitslast","oss-aion-one-contract-six.5a3c8f1f84":"Selvedge-Ausführungsverifizierer","oss-aion-one-contract-six.8879cc2e8a":"Eine simulierte Trajektorie","oss-aion-one-contract-six.0d72478caf":"Simulations- und FMI-Verifizierer","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"Ein abgeschlossener FMU-Lauf","oss-aion-one-contract-six.8f5753fba0":"FMU-Identität, Konfiguration, Schritte, Ereignisse, Konvergenz und Ablaufverfolgung","oss-aion-one-contract-six.4d64b5bbaf":"Simulations- und FMI-Verifizierer","oss-aion-one-contract-six.6f99b37c1c":"Behauptung","oss-aion-one-contract-six.4cb3ee8fa2":"Beweis","oss-aion-one-contract-six.0f3253d8d8":"Verifizierer","oss-aion-one-envelope.3b24a9a880":"acht Felder, versioniert","oss-aion-one-envelope.a348113c09":"welcher\n          Verifier ihn liest.","oss-aion-one-envelope.08ace6c26e":"ein Feld entscheidet","oss-aion-one-envelope.396e2145f9":"Vier Arten von Belegen, eine Öffnung, und","oss-aion-one-envelope.dc1a7be459":"auf dem zweiten geruht","oss-aion-one-envelope.ddc01a5859":"Trajektorienbehauptung","oss-aion-one-envelope.7f211a50e2":"Parametersatz","oss-aion-one-envelope.8f2aa45103":"Modellidentität","oss-aion-one-envelope.23e75e07fb":"durch das Zertifikatstypfeld gewählt, nicht durch den Absender","oss-aion-one-envelope.4e4dc30b71":"welcher Verifier ihn liest","oss-aion-one-envelope.c8c687f0ff":"dieselbe Öffnung, jedes Mal","oss-aion-one-envelope.b5a871e570":"ein Stapel Quittungen","oss-aion-one-envelope.f90f47de4d":"eine Folge von Übergängen","oss-aion-one-envelope.3116f117c0":"eine Passtabelle","oss-aion-one-envelope.134483f4a2":"ein Klauselbeweis","oss-aion-one-envelope.93a8ee0c5f":"was hineinkommt","oss-aion-one-envelope.582a139a7d":"nach Typ geleitet","oss-aion-one-envelope.6b9805fe87":"Ein Umschlag, vier Nutzlasten","oss-aion-one-envelope.3dde401523":"Laufzeitausführung","oss-aion-one-envelope.708563c595":"ed25519, verifiziert","oss-aion-one-envelope.f2e0576c5b":"zwei, unten benannt","oss-aion-one-envelope.f7b7603261":"versiegelt, 41 kB","oss-aion-one-envelope.15aae6195c":"Zertifikatsnutzlast","oss-aion-one-envelope.6732222b05":"Zertifikatstyp","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"Vertragsversion","oss-aion-one-envelope.b578b9727d":"keine Doppelbelastung im Zeitraum 2026-06","oss-aion-one-envelope.a503bc1da2":"abgelehnt","oss-aion-one-envelope.51c817ab85":"akzeptiert","oss-aion-one-envelope.495117c360":"Abhängigkeiten","oss-aion-one-envelope.910e029098":"illustrativ","oss-aion-one-field-apart.e704601d64":"die Achse, keine Stichprobe","oss-aion-one-field-apart.5c256bca81":"Das Ergebnis bewegte sich mit, und das ist ein Befund und keine Statistik.","oss-aion-one-field-apart.7a1e726c2f":"Zwei Anwendungen, in jedem öffentlichen Feld identisch, nur eine Zahl auseinander.","oss-aion-one-field-apart.084f6c9ebe":"jedes Paar, das die Regeln erlauben","oss-aion-one-field-apart.ddaee9368d":"tausend getestete Fälle","oss-aion-one-field-apart.4c4ccacd1b":"ein Paar, das Sie in eine Datei legen können","oss-aion-one-field-apart.6fddc6a6d1":"Band B,","oss-aion-one-field-apart.dbf68713b1":"dieselbe Linie, gestuft","oss-aion-one-field-apart.8c6c701170":"der Fall, der scheitert","oss-aion-one-field-apart.0f9dcd24f1":"das Ergebnis hing nicht von diesem Feld ab","oss-aion-one-field-apart.154b3f8e44":"Band B, 3 Angebote","oss-aion-one-field-apart.4392f1d89c":"eine Linie, keine Stufe","oss-aion-one-field-apart.02de2da27e":"der Fall, der hält","oss-aion-one-field-apart.b7de103af7":"Bruttogehalt, auf beiden Seiten frei gelassen","oss-aion-one-field-apart.c86b5b3346":"auf beiden Seiten gleich","oss-aion-one-field-apart.54bb687f85":"illustrative Anwendungen","oss-aion-one-field-apart.b69108366c":"das Ergebnis stuft am Paar","oss-aion-one-field-apart.e79b0df746":"ein Feld auseinander","oss-aion-one-field-apart.e1fef06921":"Angebote","oss-aion-one-field-apart.8699f2b04f":"dauerhaft","oss-aion-one-field-apart.06e3125012":"Beschäftigung","oss-aion-one-field-apart.305fa62f02":"30 bis 39","oss-aion-one-field-apart.c6a0c81b25":"Altersgruppe","oss-aion-one-field-apart.61a7508ed1":"grundlegend","oss-aion-one-field-apart.38a007151a":"Produkt","oss-aion-one-field-apart.a59ba24d63":"NL","oss-aion-one-field-apart.a94a58406e":"Region","oss-aion-one-word.95fa084cc9":"einer davon AION checks","oss-aion-one-word.ce157273ec":"drei davon glaubst du","oss-aion-one-word.a04376ab99":"und was du damit machen kannst","oss-aion-one-word.1a5b0d2471":"DIE LÜCKE","oss-aion-one-word.69dc71b6f9":"Womit ein Ergebnis ankommt","oss-aion-one-word.8d40d2bfcc":"Typisierte Behauptungen, die jeweils eine Regel, einen Übergang oder eine Prämisse benennen.","oss-aion-one-word.2f8acfe792":"Ein Zertifikat","oss-aion-one-word.b04dce1dd0":"Wie lange es dauerte, sicher zu sein. Gewissheit ist nicht die Frage.","oss-aion-one-word.7eb987f893":"Eine Dauer","oss-aion-one-word.8388e9c8ba":"Was das System tat. Nicht, warum die Schlussfolgerung folgt.","oss-aion-one-word.40d0f0d4b5":"Ein Protokoll","oss-aion-one-word.e7597ba59a":"unsat, kompiliert, sicher, genehmigt. Nichts daran, dem man widersprechen könnte.","oss-aion-one-word.ae976ad8e9":"Ein Wort","oss-aion-org-cert.dd25bad09c":"und jede einzelne wird geprüft","oss-aion-org-cert.e8add8f2b8":"Organisation, Rollen, Aufgaben und Genehmigungen schließen die Lücken","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"vom Ziel bis zum Beleg","oss-aion-org-cert.0a629276bf":"Acht Glieder in der Kette","oss-aion-org-cert.51e6694762":"Was tatsächlich außerhalb durchgeführt wurde und was zurückkam.","oss-aion-org-cert.4f0a23ec14":"Aktionen und Belege","oss-aion-org-cert.b249df120c":"Jede Grenze, die die Arbeit überschritt, und was sie passieren ließ.","oss-aion-org-cert.5eaad4eb5f":"Freigaben erteilt","oss-aion-org-cert.aba30ac5b8":"Welche Rolle was innehatte, in dem Moment, als die Aktion versucht wurde.","oss-aion-org-cert.145ae750ce":"Berechtigung aufgelöst","oss-aion-org-cert.f8a4dc9c6b":"Was versucht wurde und unter welcher Richtlinienversion.","oss-aion-org-cert.63fbd2b7ee":"Ziel und Richtlinie","oss-aion-pipeline.b07bbe8800":"Propositionaler Kern","oss-aion-pipeline.81f811c968":"Ein konfliktgesteuertes Klausellern-Suchverfahren über dem booleschen Gerüst. Es entscheidet, propagiert, stößt auf einen Konflikt, lernt eine Klausel und springt zurück. Binäre, ganzzahlige und adaptive Fixpunktwerte liegen dem Entscheidungsverfahren zugrunde; im arithmetischen Kern werden keine Gleitkommawerte gespeichert, akkumuliert oder als Fallback verwendet.","oss-aion-pipeline.dc0dd5bc07":"Entscheidungen und gelernte Klauseln","oss-aion-pipeline.0c5ad3c30f":"Theorie-Plugins","oss-aion-pipeline.f3a7990ab0":"Der Kern übergibt eine partielle Belegung an die Theorieschicht. Arithmetik, Bitvektoren, Arrays und Strings argumentieren in ihren eigenen Domänen und melden Propagationen und Konflikte zurück. Externe Gleitkommaeingaben werden an der Grenze in binäre Felder oder eine deklarierte Fixpunktskala dekodiert, bevor sie in die Prüfung einfließen. Der Kernel hostet diese Reasoner; zeitliche und programmbezogene Theorien leben in Begleit-Crates.","oss-aion-pipeline.9d1b00d225":"Theorie-Lemmata und Konflikte","oss-aion-pipeline.fa6a461dcc":"Beweis-Emitter","oss-aion-pipeline.b3ca95c05c":"Jeder Schritt, den die Engine ausführt, jede Resolution und jedes Theorie-Lemma, wird vom Beweis-Emitter protokolliert, sobald er geschieht. Das Ergebnis ist eine geordnete Ableitung, die ein separater Prüfer gegen ihre Prämissen replizieren kann.","oss-aion-pipeline.17ac98f8af":"eine geordnete Ableitung","oss-aion-pipeline.26d98dc390":"Formatexport","oss-aion-pipeline.a79251f54d":"Die Ableitung wird als LRAT, DRAT oder Alethe ausgegeben oder in der einheitlichen Zwischenform gehalten. LRAT trägt Unit-Propagations-Hinweise, was die Offline-Prüfung linear zur Länge des Beweises macht.","oss-aion-pipeline.8c3cee1cd3":"ein portables Zertifikat","oss-aion-pipeline.77ec79ed26":"Entscheidung bis Zertifikat","oss-aion-pipeline.c320454a47":"CDCL + Theorie + Emitter","oss-aion-pipeline.a618b4be8d":"Abfrage","oss-aion-pipeline.10de46b3b3":"Zertifikat","oss-aion-pipeline.62923220ae":"Ganzzahl / Fixpunkt.","oss-aion-pipeline.4961117925":"Keine Gleitkommawerte im Kern.","oss-aion-pipeline.591118af56":"Resolutionskette.","oss-aion-pipeline.39dfacd414":"Jeder Schritt zitiert die Prämissen, von denen er abhängt, in Reihenfolge.","oss-aion-pipeline.7fc7b98317":"Prüfer unabhängig.","oss-aion-pipeline.f0bef425b5":"Das Zertifikat repliziert ohne den Solver.","oss-aion-pipeline.a73bc5ed23":"Architektur, CDCL-Kern, Theorie-Plugins, Beweis-Emitter","oss-aion-plain-card.7e190a46ae":"Eine Maschine gibt eine Antwort","oss-aion-plain-card.b8941c136d":"Ein Computer rechnet etwas für dich aus. Ganz allein, du musst ihm einfach glauben.","oss-aion-plain-card.1232ecf314":"Er schreibt auch einen Beleg","oss-aion-plain-card.af7230bfb9":"AION lässt die Maschine neben der Antwort einen kleinen Beleg ausdrucken. Der Beleg zeigt jeden Schritt, den sie dorthin gegangen ist.","oss-aion-plain-card.262d1681dd":"Jeder kann den Beleg prüfen","oss-aion-plain-card.7d35d2e097":"Dein eigener Helfer liest den Beleg und sagt: Ja, das stimmt, oder: Nein, das ist falsch. Er muss der ersten Maschine überhaupt nicht vertrauen.","oss-aion-plain-card.e8146bafb5":"AION, in einfachen Worten","oss-aion-plain-card.0b081a8ef4":"Beleg inklusive","oss-aion-plain-card.a32564404b":"Denk an einen Kassenbon. Wenn du etwas kaufst, bekommst du einen Zettel, der beweist, dass dir der Laden den richtigen Betrag berechnet hat. Du kannst diesen Beleg jedem zeigen, und jeder kann ihn selbst nachrechnen.","oss-aion-plain-card.d5d9b99b9c":"AION macht dasselbe für einen Computer.","oss-aion-plain-card.2cc68d964c":"Wenn eine Maschine eine Antwort gibt, reicht dir AION einen Beleg, der zeigt, dass die Antwort richtig ist, und jeder kann ihn prüfen.","oss-aion-plain-card.374c644917":"Du musst der Maschine nie einfach nur vertrauen. Der Beleg übernimmt den Beweis.","oss-aion-plain-refusal.7d7fc8edd4":"Die gleiche Erklärung gilt für dich und für alle, die sie prüfen, denn es ist eine\n            Erklärung","oss-aion-plain-refusal.40c2416b25":"ein Fall, den du lesen kannst, kein Kreuz, das du nicht kannst","oss-aion-plain-refusal.f795b42ea6":"Der Raum auf dieser Karte wird am 1. August, in zwei Tagen, wieder auf den vollen Betrag aufgefüllt.","oss-aion-plain-refusal.3ae2a82129":"wenn das passiert","oss-aion-plain-refusal.a6012020ae":"Entweder 150 Euro mehr Raum auf der Karte oder eine Zahlung von 90 Euro oder weniger.","oss-aion-plain-refusal.74b2c9301b":"was es ändern würde","oss-aion-plain-refusal.e88b1876e6":"90 Euro decken keine 240 Euro ab, also können die Zahlung und der verbleibende Raum nicht beide bestehen.","oss-aion-plain-refusal.d649363397":"welcher Teil es bricht","oss-aion-plain-refusal.ec7a8f0a8d":"Die Zahlung betrug 240 Euro. Der verbleibende Raum auf der Karte betrug heute 90 Euro.","oss-aion-plain-refusal.fcd45ae097":"deine Situation","oss-aion-plain-refusal.e51b51ac5a":"Eine Zahlung wird nur durchgeführt, wenn der verbleibende Raum auf der Karte heute sie abdeckt.","oss-aion-plain-refusal.93823841cb":"was die Regel besagt","oss-aion-plain-refusal.9bc7984374":"Warum sie nicht durchging","oss-aion-plain-refusal.549840f998":"Wenn eine Regel gebrochen wird, schreibt AION die Situation, die sie gebrochen hat, in gewöhnlichen\n            Sätzen mit den Zahlen darin auf. Die Zahlung war so hoch, der verbleibende Raum auf der\n            Karte war heute weniger, und zusammen brechen diese beiden Fakten die Regel. Du\n            kannst es lesen, präzise widersprechen oder das eine ändern, was geändert werden muss.\n            Ein Kreuz in einem Kästchen gibt dir nichts davon, und es ist nicht kürzer, nur leerer.","oss-aion-plain-refusal.3b50831d8a":"Eine automatisierte Entscheidung, die dich ablehnt, ist schlimmer als eine, die ein Mensch getroffen hat, weil es\n            meist nichts zu fragen gibt. Die Ablehnung kommt fertig an. Was du bekommst, ist das Ergebnis\n            und, wenn du Glück hast, eine Referenznummer, und der Weg zu einer echten Erklärung ist eine\n            Beschwerde, die Wochen dauert und jemanden erreicht, der auch nicht beteiligt war.","oss-aion-plain-refusal.ada63e5c2f":"Ein ausgearbeiteter Fall ist es.","oss-aion-plain-refusal.462f7e9213":"„Nicht erlaubt“ ist kein Grund.","oss-aion-plain-refusal.5abdfa9cd6":"Der Unterschied","oss-aion-plain-refusal.68c46e84d7":"klar","oss-aion-reasoning-cert.0f1fb3d007":"und jeder Punkt wird geprüft","oss-aion-reasoning-cert.98ec75a261":"Grenzen und der endgültige Anspruch vervollständigen die sieben","oss-aion-reasoning-cert.433b925481":"Was ausgeschlossen wurde und die Prämissen, die es ausschlossen.","oss-aion-reasoning-cert.13382efd7c":"Widersprüche","oss-aion-reasoning-cert.e856a27527":"Das Teilproblem, das hinausging, und der Beweis, der zurückkam.","oss-aion-reasoning-cert.92324f5363":"Lösungszertifikate","oss-aion-reasoning-cert.fe451714e4":"Jedes einzeln benannt, in der Reihenfolge seiner Anwendung.","oss-aion-reasoning-cert.e0d40a5309":"Regelanwendungen","oss-aion-reasoning-cert.e0753c6513":"Was galt, in welcher Version, als die Arbeit lief.","oss-aion-reasoning-cert.b9366c0dbf":"Aktive Randbedingungen","oss-aion-reasoning-cert.a04ed61a81":"der Löser","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"sieben Punkte","oss-aion-reasoning-cert.eb64d71581":"Was ein Reasoning-Zertifikat enthält","oss-aion-reasoning-chain.126806353c":"deklariert, dann geprüft","oss-aion-reasoning-chain.751e90e830":"Jeder einzelne davon ist ein Artefakt, das die Argumentation hinterlassen hat, und jeder wird gelesen.","oss-aion-reasoning-chain.bc96941170":"Vier Einschränkungen, zwei Regelanwendungen, ein Solver-Durchlauf und ein Widerspruch.","oss-aion-reasoning-chain.57fa7b904f":"Was hier geprüft wird, ist die Ableitung, die das System deklariert hat, Punkt für Punkt.","oss-aion-reasoning-chain.e0aa3695ac":"Kern 01 02 04, und 03 ist nicht darin","oss-aion-reasoning-chain.e3338dab26":"Doppelbelastung ausgeschlossen","oss-aion-reasoning-chain.a43e177c4c":"04 Erstattung kehrt um","oss-aion-reasoning-chain.becc703d80":"zusammengeführte Belastung","oss-aion-reasoning-chain.398df239b3":"aus 01 und 02","oss-aion-reasoning-chain.373c5eb4cc":"Schritt für Schritt gelesen, schließt","oss-aion-reasoning-chain.45f358826b":"vom Beweiser zurückgegeben, in Alethe","oss-aion-reasoning-chain.9bc46d8fd1":"Bitvektor und Gleichheit, nichts anderes kreuzt","oss-aion-reasoning-chain.34fcd5c8c7":"Teilproblem, versiegelt","oss-aion-reasoning-chain.8c7f764922":"bei Wiederholungsanzahl, aus 02 und 03","oss-aion-reasoning-chain.7c960fefa4":"drei in den Kern gehoben, eines blieb, wo es war","oss-aion-reasoning-chain.eeacd6e80f":"aktive Einschränkungen, in den Worten, die die verantwortliche Person geschrieben hat","oss-aion-reasoning-chain.0ee0bb12eb":"Diese Konfiguration kann keine Doppelbelastung innerhalb eines Abrechnungszeitraums erzeugen.","oss-aion-reasoning-chain.c0644670d0":"die Behauptung, die Loom aufstellt","oss-aion-reasoning-chain.9616861141":"illustrative Behauptung und Versionen","oss-aion-reasoning-chain.e4f7c8c782":"Kern nennt drei, räumt eines aus","oss-aion-reasoning-chain.43c7dffedb":"Eine Schlussfolgerung, geöffnet","oss-aion-reasoning-chain.46d6eccd4e":"merge-charges","oss-aion-reasoning-chain.398d7639b5":"case-split","oss-aion-reasoning-chain.04174383d5":"aus 8 und 9","oss-aion-reasoning-chain.3d26486c4c":"aus 8","oss-aion-reasoning-chain.5a6d9bdd37":"aus 3 und 6","oss-aion-reasoning-chain.ce8e0b1a7d":"Eine Erstattung kehrt die Belastung um, die sie nennt.","oss-aion-reasoning-chain.4c449f834c":"Ein Abrechnungszeitraum endet um Mitternacht am letzten Tag.","oss-aion-reasoning-chain.a663638447":"Ein Wiederholungsversuch erhebt nie eine zweite Belastung.","oss-aion-reasoning-chain.0d43228516":"Eine Belastung wird einmal pro abgeschlossener Lieferung erhoben.","oss-aion-reassure.38a3bd59d5":"Der Punkt ist einfach: Verlassen Sie sich nie auf das Wort einer Maschine. Bewahren Sie einen Grund auf, den ein zweiter Prüfer testen kann.","oss-aion-reassure.0ccc7397a4":"Nein. Die Quittung kann direkt bei Ihnen vor Ort geprüft werden, ohne dass etwas über das Internet gesendet wird.","oss-aion-reassure.5bea629f3e":"Wird meine Antwort irgendwohin gesendet?","oss-aion-reassure.af397dc934":"Es ist in Europa gebaut. Ein separater Prüfer, nicht die Maschine, die die Antwort erzeugt hat, verifiziert jede Quittung.","oss-aion-reassure.7de6360d68":"Woher kommt es?","oss-aion-reassure.a93d9edbec":"Nein. Sie müssen nichts davon selbst aufbauen. Das Geschäft, das Krankenhaus oder das Büro verwendet es für Sie. Sie erhalten nur eine klarere Antwort.","oss-aion-reassure.39af3a44b7":"Muss ich mich mit Computern auskennen?","oss-aion-reassure.bdbcd6057e":"Ja. Die Quittung kann erneut geprüft werden, ohne das ursprüngliche Modell, die Sitzung, das Konto oder die Internetverbindung.","oss-aion-reassure.aa1b0d7005":"Kann sie später geprüft werden?","oss-aion-receipt.36889df54f":"Das fassen Sie selbst nie an. Wenn ein Geschäft oder ein Büro es für Sie verwendet, ist das der Beleg,\n          den es aushändigen kann.","oss-aion-receipt.46fbbfb5be":"Jeder kann ihn lesen und prüfen, dass er stimmt.","oss-aion-receipt.9c258dd430":"und Sie müssen es glauben. Mit AION händigt Ihnen die\n            Maschine auch den kleinen Beleg links aus. Er zeigt die Frage, die Schritte und\n            die Antwort.","oss-aion-receipt.013700f8eb":"Eine normale Maschine sagt nur","oss-aion-receipt.12df5bb228":"Zum Behalten","oss-aion-receipt.7b8544fad0":"Stimmt","oss-aion-receipt.def2581739":"Antwortbeleg","oss-aion-receipt.6e17da21e4":"Ein Beispiel für einen Antwortbeleg","oss-aion-receipt.f2688d32ea":"Fragen Sie erneut und Sie erhalten dieselbe Antwort und denselben Beleg, auf jedem Computer.","oss-aion-receipt.2379231efe":"Jedes Mal gleich","oss-aion-receipt.a4b884c0e4":"Ihr eigener Helfer prüft den Beleg direkt bei Ihnen, ohne dass etwas gesendet wird.","oss-aion-receipt.930888ee28":"Kein Internet","oss-aion-receipt.7a019cc1d2":"Der Grund steht auf dem Beleg, nicht versteckt in einer Maschine. Sie können ihn behalten oder zeigen.","oss-aion-receipt.47b716baec":"Schriftlich","oss-aion-receipt.92ed516e5b":"Ja, und hier ist der Grund.","oss-aion-receipt.7011b1a621":"Die Antwort","oss-aion-receipt.8ab9465666":"Ihr Fall wurde darauf abgestimmt.","oss-aion-receipt.16bb8dfc44":"Schritt zwei","oss-aion-receipt.d3ca88b9f3":"Die Regel wurde vollständig gelesen.","oss-aion-receipt.e97cc54395":"Schritt eins","oss-aion-receipt.afd2793ce0":"Habe ich Anspruch auf diese Erstattung?","oss-aion-receipt.d79cce547d":"Die Frage","oss-aion-recheck-list.09d5defeae":"zwei Zeilen, zwei Namen","oss-aion-recheck-list.fd3e1afd0e":"oder, weitaus häufiger, überhaupt nichts.","oss-aion-recheck-list.459f160ffa":"Ohne die Version hinter jeder Zeile führt dieselbe Meldung zu einer erneuten Prüfung\n          von allem,","oss-aion-recheck-list.cade8a80df":"der Liste und ihrer Verwaltung","oss-aion-recheck-list.6f13975269":"weiterhin kompatibel","oss-aion-recheck-list.48f8969999":"erneutes Lesen erforderlich","oss-aion-recheck-list.af0f44d357":", geändert in","oss-aion-recheck-list.4202e0844e":"Die Optimalitätsgrenzen-Regel wird strenger ausgelegt. Eine Grenze, die exakt am Limit angegeben ist, wird\n              nicht mehr als darunter liegend akzeptiert.","oss-aion-recheck-list.1c26bb5963":"veröffentlicht am 22.07.2025","oss-aion-recheck-list.1944dee3ee":"Checker v7.0","oss-aion-recheck-list.9ffcf8f72b":"beispielhafte Einträge","oss-aion-recheck-list.dc490c03ae":"zwei von fünf markiert","oss-aion-recheck-list.7316018edf":"Die betroffenen Datensätze","oss-aion-recheck-list.2237af7cd3":"die Optimalitätsgrenzen-Regel","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Routenoptimum, Depot Nord","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Firmware-Build, Gateway 3","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Einwilligungsprüfung, Kampagne 44","oss-aion-recheck-list.3c54a1df45":"intern","oss-aion-recheck-list.b8d251e8cd":"Stapelpreisberechnung","oss-aion-recheck-list.dce56394a1":"Dienstplan, Woche 12","oss-aion-recheck-list.48a3661d84":"Status","oss-aion-recheck-list.29e5b9a8e6":"Prüfer","oss-aion-recheck-list.51c817ab85":"akzeptiert","oss-aion-recheck-list.e2979e7595":"Lieferant","oss-aion-recheck-list.335ce16b3f":"Betreff","oss-aion-recheck-list.796a88413e":"J. Okonkwo, Betrieb","oss-aion-recheck-list.90916dd844":"Erneut prüfen und die angegebene Grenze mit dem Lieferanten bestätigen.","oss-aion-recheck-list.00e67572db":"M. de Vries, Datenschutz","oss-aion-recheck-list.e4faeae968":"Den gespeicherten Zertifikat gegen v7.0 erneut prüfen.","oss-aion-record-fields.8580937ae7":"jede erzeugt ihre eigene betroffene Menge","oss-aion-record-fields.632f62dd8b":"ein Zertifikatsschema vervollständigt die sieben","oss-aion-record-fields.7039b2f0bd":"wo es jetzt ist","oss-aion-record-fields.74b489c3d1":"wo es war","oss-aion-record-fields.5d5dc3b7c3":"DAUERHAFT","oss-aion-record-fields.c2a1a83804":"und es sind nicht nur Beweisregeln","oss-aion-record-fields.12b83ffb63":"Was sich darunter ändern kann","oss-aion-record-fields.91b3cb991a":"eine neuere Modellversion","oss-aion-record-fields.e1ab670f61":"Ein Modell- oder Simulationsvertrag","oss-aion-record-fields.da15b4cbb5":"der Anspruch selbst hat sich verschoben","oss-aion-record-fields.26e4976c38":"Ein Compiler- oder Laufzeitvertrag","oss-aion-record-fields.cb2c2e30b7":"unter einem anderen geklärt","oss-aion-record-fields.43e275dea3":"Eine Richtlinie","oss-aion-record-fields.521a7a8570":"jetzt anders gelesen","oss-aion-record-fields.58fd9f572c":"Eine Prüferregel","oss-aion-refusal-fields.432aa8565f":"eine Referenz, der jemand nachgehen kann","oss-aion-refusal-fields.36a85f9074":"kein rotes Kreuz","oss-aion-refusal-fields.fe71871083":"HINWEIS","oss-aion-refusal-fields.4f84be92c8":"damit jemand darauf reagieren kann","oss-aion-refusal-fields.fa31a3ca39":"Was eine Ablehnung enthält","oss-aion-refusal-fields.5647a1c020":"entscheiden, wessen Feststellung es ist","oss-aion-refusal-fields.11c0add347":"Ein Fehler im Beweis oder eine Regel, die wir nicht anwenden. Nicht dasselbe.","oss-aion-refusal-fields.a74aa40f65":"Die Art","oss-aion-refusal-fields.d3144a7994":"sehen, was nicht da war","oss-aion-refusal-fields.060958d8fd":"Was fehlte oder falsch war, als es erneut ausgearbeitet wurde.","oss-aion-refusal-fields.a7dc07c061":"Der Grund","oss-aion-refusal-fields.3b21710b2e":"prüfen, was es hätte tun sollen","oss-aion-refusal-fields.f80b017fdb":"Was der Schritt behauptete zu tun.","oss-aion-refusal-fields.0056e788fc":"Die Regel","oss-aion-refusal-fields.89abf35df5":"öffnen Sie es an dieser Zeile","oss-aion-refusal-fields.3dac51b71a":"Welcher Schritt, nach Nummer, in welcher Datei.","oss-aion-refusal-fields.2fb8438f32":"Der Ort","oss-aion-reviewable.e0cb1b89aa":"nicht nur die Autorin oder der Autor","oss-aion-reviewable.f29c4ff9dd":"die Eigentümerin oder der Eigentümer prüft es","oss-aion-reviewable.c6465865b0":"Ihr Satz","oss-aion-reviewable.ed6912ad70":"PRÜFUNG","oss-aion-reviewable.5867cc6bd5":"ohne Notation zu lernen","oss-aion-reviewable.8f8dec6da0":"Was eine prüfende Person sieht","oss-aion-reviewable.da8643122f":"Ein Name, ein Datum und die Version des bestätigten Satzes.","oss-aion-reviewable.7c92afb7f9":"Eine signierte Bestätigung","oss-aion-reviewable.340e6b4675":"Eine erneute Prüfung liest dasselbe, weil nichts ein Modell abgetastet hat.","oss-aion-reviewable.b08be2b959":"Jedes Mal dasselbe","oss-aion-reviewable.d3a2628a1c":"Jede genannte Menge mit der Art des Werts, den sie enthält.","oss-aion-reviewable.2587914ff8":"Worüber es arbeitet","oss-aion-reviewable.f0a2aa51a4":"Ein Satz, der ausdrückt, was die gesamte Bedingung kodiert.","oss-aion-reviewable.5a47a1dcaf":"Eine einfache Lesart","oss-aion-reviewable.aee2d461c7":"Unverändert, oben, so wie sie es geschrieben haben.","oss-aion-reviewable.7488358db7":"Ihr eigener Satz","oss-aion-risk-ledger.1a0f2538e1":"Fünf operative Abhängigkeiten werden durch ein Zertifikat ersetzt, das ein anderer Prüfer verifizieren kann.","oss-aion-risk-ledger.4b32d8f574":"Mit AION","oss-aion-risk-ledger.2e34d48ba3":"Der übliche Weg","oss-aion-risk-ledger.d1d7499182":"DIREKT VERGLICHEN","oss-aion-risk-ledger.02c7234156":"Spielen Sie die Argumentation offline erneut ab und überzeugen Sie sich selbst.","oss-aion-risk-ledger.b5058e1c76":"Nehmen Sie dem Anbieter beim Wort, dass die Antwort fundiert war.","oss-aion-risk-ledger.d2e183faa1":"Wie viel Vertrauen Sie ihm entgegenbringen","oss-aion-risk-ledger.96f0603563":"Das Zertifikat prüft ohne alle diese.","oss-aion-risk-ledger.04312971f3":"Das ursprüngliche Modell, die Solver-Sitzung und der Dienst müssen weiterhin verfügbar sein.","oss-aion-risk-ledger.2df1215b19":"Wovon die Verifizierung abhängt","oss-aion-risk-ledger.8ddd34c358":"Läuft auf Ihrer eigenen Hardware, in einer Rechtsordnung, die Sie genehmigen.","oss-aion-risk-ledger.c3fe4a906f":"Entscheidungen werden auf Servern erklärt, die Sie nicht kontrollieren.","oss-aion-risk-ledger.242ebe0c39":"Wo die Daten liegen","oss-aion-risk-ledger.75eb05728b":"Standard-Beweisformate bleiben unabhängig prüfbar.","oss-aion-risk-ledger.46d3f9eccd":"Die Erklärung verschwindet mit dem ursprünglichen Dienst.","oss-aion-risk-ledger.8ea6189e84":"Wenn sich die Laufzeit ändert","oss-aion-risk-ledger.21ff58d6a7":"Sie übergeben ein Zertifikat, das der Prüfer selbst prüfen kann.","oss-aion-risk-ledger.934929b924":"Sie leiten Logdateien weiter und hoffen, dass sie als Beweis gelesen werden.","oss-aion-risk-ledger.8632e0b3b5":"Wenn der Prüfer fragt","oss-aion-rule-refusal.c354dff2de":"kein Urteil nach 15","oss-aion-rule-refusal.0fc2b67ff7":"beim ersten schlägt ein Schritt fehl","oss-aion-rule-refusal.d7cb461a4b":"Vier Tests in fester Reihenfolge, und das Lesen stoppt","oss-aion-rule-refusal.ad9deadf27":"ein Klausel-Identifikator für zwei Klauseln verwendet","oss-aion-rule-refusal.ffc05ba511":"ein Pivot auf einem Literal deklariert, das die Klausel nicht enthält","oss-aion-rule-refusal.5af32fb7c4":"ein Hinweis, der den Schritt zitiert, den er rechtfertigen soll","oss-aion-rule-refusal.fbf5522f0e":"aus der feindlichen Suite gepinnt","oss-aion-rule-refusal.d3b27b8f89":"nicht geschlossen","oss-aion-rule-refusal.0f04e9ee60":"Literale, die auf der letzten Klausel noch stehen","oss-aion-rule-refusal.90f9cbf1cb":"Dateiende","oss-aion-rule-refusal.196a925493":"Prämissenindex, 1 bis 87","oss-aion-rule-refusal.72ce0bc93a":"alethe, Regel für Regel","oss-aion-rule-refusal.b14e7fc954":"bei 15 gestoppt","oss-aion-rule-refusal.ce0ed8058b":"Ein Beweis, von oben gelesen","oss-aion-rule-refusal.af0cbd46a2":"in falscher Reihenfolge zitiert","oss-aion-rule-refusal.165a394589":"aus 61 und 20","oss-aion-rule-refusal.dd39474e4f":"Prämisse fehlt","oss-aion-rule-refusal.6edfd31763":"aus 88","oss-aion-rule-refusal.d18b697772":"zitiert sich selbst","oss-aion-rule-refusal.5c7bf112ac":"aus 31 und 18","oss-aion-rule-refusal.64b0295aa0":"nicht unterstützte Regel","oss-aion-rule-refusal.5e2428fc82":"aus 14","oss-aion-rule-refusal.a7e8697338":"aus 12 und 13","oss-aion-rule-refusal.ba08b53848":"aus 4","oss-aion-rule-refusal.2a1be725ca":"12er-Auflösung","oss-aion-rule-refusal.54a0121f57":"aus 4 und 9","oss-aion-rule-refusal.8ffe1b4177":"Regel bekannt","oss-aion-rule-refusal.ebed34abd2":"unterhalb der eigenen","oss-aion-rule-refusal.d182b65e15":"Prämisse vorhanden","oss-aion-rule-refusal.a503bc1da2":"verweigert","oss-aion-rule-refusal.3a21295d81":"Speicher","oss-aion-same-except-one.279e6c9e96":"eines wird unten bearbeitet","oss-aion-same-except-one.87ca0e7356":"Grenzen, Ableitungen und Modellherkunft vervollständigen die sieben","oss-aion-same-except-one.72b459f8cc":"EIGENSCHAFTEN","oss-aion-same-except-one.25119f6e70":"und die Familie, die jede trägt","oss-aion-same-except-one.ed6552be04":"Aussagen, die Sie treffen können","oss-aion-same-except-one.633255fe41":"Diese Trajektorie respektierte diese Invarianten.","oss-aion-same-except-one.6b403d2a35":"Diese Aktion hatte die erforderliche Genehmigung.","oss-aion-same-except-one.ac5d8ada02":"Diese Workload lief unter diesen Fähigkeiten.","oss-aion-same-except-one.5e8efc64f2":"Diese Binärdatei entspricht diesem Quellgraphen.","oss-aion-same-except-one.81c0e8e986":"Simulation","oss-aion-same-except-one.92fe1455a7":"organisatorisch","oss-aion-same-except-one.1e21474598":"Ausführung","oss-aion-same-except-one.023646ce84":"Kompilierung","oss-aion-same-rule-parts.3326352b94":"diese drei überdauern es","oss-aion-same-rule-parts.b33174d833":"die Antwort ist eine Zeile","oss-aion-same-rule-parts.490fbefa4b":"dieselbe Arbeit zweimal ausführen und die Prüfung ergibt dasselbe","oss-aion-same-rule-parts.ce173fc797":"Für eine zweite Prüfung zurückgehalten.","oss-aion-same-rule-parts.60c6fa6f09":"die Antwort","oss-aion-same-rule-parts.25b8673c57":"YOURS","oss-aion-same-rule-parts.3b592f481b":"nachdem die Antwort eintrifft","oss-aion-same-rule-parts.3fea5c7183":"Drei Dinge, die Sie behalten","oss-aion-same-rule-parts.f460809c86":"Wann die Arbeit geprüft wurde und womit.","oss-aion-same-rule-parts.1f26226511":"der Datensatz","oss-aion-same-rule-parts.f3488c72aa":"Das Datum","oss-aion-same-rule-parts.7e9a6ac9d7":"Die Regel, wörtlich zitiert, mit Ihrer eigenen Situation darin.","oss-aion-same-rule-parts.fa1f96a2cc":"mit der Antwort gedruckt","oss-aion-same-rule-parts.a7dc07c061":"Der Grund","oss-aion-same-rule-parts.51240e4e03":"Gewöhnliche Wörter, aufbewahrt, sodass Sie sie jedem vorlesen können.","oss-aion-same-rule-parts.f901c543a0":"wie jemand sie geschrieben hat","oss-aion-same-rule-parts.0056e788fc":"Die Regel","oss-aion-same-rule-thrice.8716c9d2d1":"von allen drei zitierbar","oss-aion-same-rule-thrice.56daaad027":"Niemand hat vor Ort den Fall eines anderen ausgelegt.","oss-aion-same-rule-thrice.fe8d9a24bc":"Drei Namen, drei Daten, ein Grund Wort für Wort.","oss-aion-same-rule-thrice.2d4e5d243a":"die gleichen Worte in allen drei Briefen","oss-aion-same-rule-thrice.36c5f05f0e":"Meine Anfrage wurde zurückgehalten, weil jede Anfrage von einem Konto, das jemals überzogen war, für eine zweite Prüfung zurückgehalten wird. Ist das so beabsichtigt?","oss-aion-same-rule-thrice.47b69ccfd4":"was jeder der drei schreiben kann","oss-aion-same-rule-thrice.5441126254":"der Grund, mit Ihren Zahlen","oss-aion-same-rule-thrice.e026ce35f8":"die Regel, in Worten","oss-aion-same-rule-thrice.c6b6fdf0c8":"Ihre Anfrage wird zurückgehalten","oss-aion-same-rule-thrice.4af8028f5b":"Das trifft alle, die einmal eine Woche lang im Minus waren.","oss-aion-same-rule-thrice.43d7f6edd9":"Jede Anfrage von einem Konto, das jemals überzogen war, wird für eine zweite Prüfung zurückgehalten.","oss-aion-same-rule-thrice.d5dff79fd0":"die Regel, wie sie die verantwortliche Person formuliert hat","oss-aion-same-rule-thrice.660cf69152":"gleicher Grund, dreimal","oss-aion-same-rule-thrice.2aa5baf4fa":"eine Regel, drei Personen","oss-aion-same-rule-thrice.2969c22def":"einen Tag im August 2024 überzogen","oss-aion-same-rule-thrice.db55a373e5":"2. Juli","oss-aion-same-rule-thrice.7f557aff7f":"M. Haas","oss-aion-same-rule-thrice.8a1c6f7c01":"zwei Tage im November 2021 überzogen","oss-aion-same-rule-thrice.8a343dea89":"19. Juni","oss-aion-same-rule-thrice.6faee1ef44":"J. Okoro","oss-aion-same-rule-thrice.6eff9026e2":"sechs Tage im März 2023 überzogen","oss-aion-same-rule-thrice.e46936527e":"4. Juni","oss-aion-same-rule-thrice.ecdfc6f435":"A. Vermeer","oss-aion-same-rule-thrice.c818558b96":"Ihr Konto war irgendwann überzogen, daher wird diese Anfrage für eine zweite Prüfung zurückgehalten.","oss-aion-same-rule-thrice.69449f994d":"Ref.","oss-aion-same-rule-thrice.910e029098":"beispielhaft","oss-aion-second-reader.e2a4a212d5":"Auf die Zeile zu zeigen ist der nützliche Teil","oss-aion-second-reader.b31aece7ea":"Zustimmung ist einfach","oss-aion-second-reader.41e9c4b883":"PLAIN","oss-aion-second-reader.a16f194bdb":"Was die zweite Lesart bewirkt","oss-aion-second-reader.d160172930":"Noch einmal zusammenzählen","oss-aion-second-reader.0bd3d42b28":"Ein anderes Programm, ohne Grund, die Antwort zu bevorzugen.","oss-aion-second-reader.2c814bb70c":"Ist nicht die erste Maschine","oss-aion-second-reader.b792afd627":"Und sagt, welcher Schritt, sodass es etwas gibt, worauf man zeigen kann.","oss-aion-second-reader.4a195096b0":"Stoppt beim ersten Fehler","oss-aion-second-reader.58f56fa2c3":"Rechnet es erneut aus, statt zu vertrauen, dass es gemacht wurde.","oss-aion-second-reader.5abf0b9df4":"Macht jeden Schritt","oss-aion-second-reader.de8f44bd3b":"Nicht die Antwort. Die Schritte, die zu ihr führen sollten.","oss-aion-second-reader.0a461499ae":"Liest die Rechnung","oss-aion-second-sum.2517e33359":"ein Ort, kein Urteil","oss-aion-second-sum.1f31706279":"Was du brauchtest, war die Zeile, und da ist sie.","oss-aion-second-sum.1b06fb1625":"Beide Spalten ergeben eine Summe, und eine davon ist falsch.","oss-aion-second-sum.715f45331b":"Die Ablesung stoppt bei fünf, statt bis sechs weiterzugehen, denn eine Prüfung, die einen\n          Schritt überspringt, den sie nicht aufgehen lassen kann, ist keine Prüfung.","oss-aion-second-sum.be51277bfd":"nicht erreicht","oss-aion-second-sum.a90d766915":"dieser Schritt geht nicht auf","oss-aion-second-sum.b214ae4ce2":"derselbe Zug, beim Arbeiten einer Maschine aufgeschrieben","oss-aion-second-sum.e4cddfd229":"Jeder kann die Spalte selbst zusammenzählen und auf dieselbe Zeile kommen. Das ist\n              die ganze Idee, übertragen auf Arbeiten, die niemand sehen kann.","oss-aion-second-sum.a72b4463ba":"Die beiden Spalten stimmen drei Zeilen lang überein. Der Ring geht um die Zeile, an der\n              sie sich trennen, nicht um die Summe, denn die Summe war nie das, worüber zu streiten\n              sich lohnte.","oss-aion-second-sum.136fc39d05":"Zehn Cent, und es ist bei den Äpfeln.","oss-aion-second-sum.1104f28cf8":"zu zahlen","oss-aion-second-sum.51111a2b99":"der Laden, Dienstag","oss-aion-second-sum.e9594ccf76":"sie trennen sich bei den Äpfeln","oss-aion-second-sum.bb470fd83f":"dieselbe Spalte, zweimal addiert","oss-aion-second-sum.0220a293b9":"der Anspruch ist bezahlt","oss-aion-second-sum.f7e5a74a1f":"was noch zu zahlen ist, summiert sich","oss-aion-second-sum.597b954c29":"der Überschuss wurde abgezogen","oss-aion-second-sum.edccd745a8":"der Betrag liegt unter der Grenze für diese Reparatur","oss-aion-second-sum.709d0bb348":"die Reparatur steht auf der abgedeckten Liste","oss-aion-second-sum.1396b1459a":"das Konto war am Tag des Anspruchs offen","oss-aion-second-sum.d2fc512490":"Bleistift","oss-aion-second-sum.1c8f15dab7":"gedruckt","oss-aion-second-sum.910e029098":"illustrativ","oss-aion-second-sum.f6c1ab8181":"Seife","oss-aion-second-sum.bcef7a0462":"Käse","oss-aion-second-sum.76c2436b59":"Äpfel","oss-aion-second-sum.44213f9f4d":"Kaffee","oss-aion-second-sum.6ff291d817":"Brot","oss-aion-second-sum.cf5dbf0ec5":"Milch","oss-aion-sentence-returns.e9a72f31df":"deine Worte, beide Enden","oss-aion-sentence-returns.254545287c":"Acht Monate später liest eine fremde Person es, nicht eine Zusammenfassung davon.","oss-aion-sentence-returns.f0e71316de":"Eine Person schrieb einen Satz und legte ihn beiseite.","oss-aion-sentence-returns.4c51f16cb4":"Zwischen diesen beiden Lesevorgängen hat nichts dazugelernt, seine Meinung geändert oder eine\n            bessere Idee gehabt.","oss-aion-sentence-returns.06152533dc":"Eine zweite Belastung für eine Bestellung innerhalb eines Abrechnungsmonats ist nicht zulässig","oss-aion-sentence-returns.fb3e6817f1":"aus der Lektüre ein Jahr später","oss-aion-sentence-returns.32af205ca5":"aus der Lektüre im März","oss-aion-sentence-returns.0b1eb314b5":"derselbe Satz, ein Jahr später erneut gelesen","oss-aion-sentence-returns.547a49e160":"Bestellung 44-8127 wurde am dritten November belastet und erneut am neunzehnten","oss-aion-sentence-returns.d3141af6d8":"was hineingeriet","oss-aion-sentence-returns.a2d40412ef":"Eine zweite Belastung für eine Bestellung innerhalb eines Abrechnungsmonats","oss-aion-sentence-returns.0ee2593cc5":"der Teil, der nicht erfüllt wurde","oss-aion-sentence-returns.43015fadc4":"Niemand sollte für dieselbe Bestellung im selben Monat zweimal belastet werden.","oss-aion-sentence-returns.2ce9eb0823":"die Regel, in den Worten, in denen sie geschrieben wurde","oss-aion-sentence-returns.5c4173fbcf":"9. November, an die Kundschaft gesendet","oss-aion-sentence-returns.96ec36f99b":"Eine Belastung wurde gestoppt","oss-aion-sentence-returns.14da1cff14":"acht Monate","oss-aion-sentence-returns.b59f623fe2":"gelesen als","oss-aion-sentence-returns.6a250da793":"14. März, von der Person, die die Abrechnung verwaltet","oss-aion-sentence-returns.8766d15f20":"gleiche Worte an beiden Enden","oss-aion-sentence-returns.33e656aa3a":"ein Satz, acht Monate auseinander","oss-aion-sentence-returns.6180960e2c":"geschrieben","oss-aion-sentence-returns.910e029098":"veranschaulichend","oss-aion-side-by-side-rule.1462946510":"Hierarchie umgekehrt","oss-aion-side-by-side-rule.dc685ee970":"ist der kleinste Satz, ganz unten.","oss-aion-side-by-side-rule.37ba9a07a7":"Die einzige Zeile hier, die niemand lesen können muss","oss-aion-side-by-side-rule.24205c8d5e":"Der Körper dieses Blatts ist das, worum gebeten wurde.","oss-aion-side-by-side-rule.136ec48046":"Satzversion 3","oss-aion-side-by-side-rule.5714c84617":"9. April 2026","oss-aion-side-by-side-rule.fba84627ef":"Ilse Verhoeven, Abrechnungsbetrieb","oss-aion-side-by-side-rule.4c1493cdf2":"die Bedingung, wie sie gespeichert ist","oss-aion-side-by-side-rule.5050bceb24":"worüber es arbeitet","oss-aion-side-by-side-rule.70a7ded724":"Eine zweite Belastung gegen eine Referenz, die bereits innerhalb des Abrechnungszeitraums belastet wurde, wird\n          abgelehnt.","oss-aion-side-by-side-rule.decbbbcbea":"Kein Kunde darf im selben Abrechnungszeitraum zweimal für dieselbe Referenz belastet werden.","oss-aion-side-by-side-rule.41f5b5d765":"keine Notation erforderlich","oss-aion-side-by-side-rule.fd9d8f9d79":"vom Eigentümer bestätigt","oss-aion-side-by-side-rule.dbd8504696":"Übersichtsblatt","oss-aion-side-by-side-rule.b714510ded":"wie oft diese Referenz bereits belastet wurde","oss-aion-side-by-side-rule.71aa03cd23":"die Belastungsanzahl","oss-aion-side-by-side-rule.8f404d9e59":"der Monat, in den die Belastung fällt","oss-aion-side-by-side-rule.28db3c4a10":"der Abrechnungszeitraum","oss-aion-side-by-side-rule.7bbf8d007a":"die Kennung, gegen die eine Belastung erfolgt","oss-aion-side-by-side-rule.333190a7a5":"die Referenz","oss-aion-silent-wrong.e516f1474a":"Schritt 40, Regel unbekannt","oss-aion-silent-wrong.52c4b2ffb7":"wo es anhielt","oss-aion-silent-wrong.bdc9060b3b":"Acht Läufe ergaben acht Wörter. Nur der, der seine Arbeit niederschrieb,\n          kann es sagen","oss-aion-silent-wrong.dc3fb44cee":"eine Weigerung benennt eine Grenze","oss-aion-silent-wrong.d55eb7e866":"Dieser Reader hat bei Schritt 40 keine Regel dieses Namens, daher hielt er dort an. Der\n            Stempel wurde nie niedergedrückt und kein Urteil gefällt.","oss-aion-silent-wrong.d04a61e19e":"was die Lektüre hervorbrachte","oss-aion-silent-wrong.b31f1a6015":"alethe, ab Schritt 38","oss-aion-silent-wrong.74cb6750e3":"eines davon, ausgeschrieben","oss-aion-silent-wrong.c9266795e0":"acht Systeme, acht Ergebnisse","oss-aion-silent-wrong.d7d4ae123f":"illustrativ, ein Lauf von acht","oss-aion-silent-wrong.3c05b129e2":"kein Urteil gefällt","oss-aion-silent-wrong.c6dc61d79f":"Acht Wörter, eines davon geöffnet","oss-aion-silent-wrong.64494819a0":"Prämisse 40, die leere Klausel","oss-aion-silent-wrong.9dae957efd":"Prämisse 39","oss-aion-silent-wrong.52e787751c":"Prämissen 31 und 38","oss-aion-silent-wrong.36901d48ad":"Prämissen 12 und 31","oss-aion-silent-wrong.e00bcd7ac6":"Workflow genehmigt","oss-aion-silent-wrong.fd40251b0b":"Simulation konvergiert","oss-aion-silent-wrong.9204d100a8":"Richtlinie verabschiedet","oss-aion-silent-wrong.51c817ab85":"akzeptiert","oss-aion-silent-wrong.4d64c22879":"wiederholen","oss-aion-silent-wrong.94ec44c4f4":"glauben","oss-aion-silent-wrong.4848901b39":"optimal","oss-aion-silent-wrong.bf31c52c32":"sicher","oss-aion-silent-wrong.231e564db4":"abgeschlossen","oss-aion-silent-wrong.bac2ad9d5d":"kompiliert","oss-aion-silent-wrong.d203c40ac4":"unerfüllbar","oss-aion-sim-cert.d836eab67a":"physikalische Gültigkeit ist nicht","oss-aion-sim-cert.8f9800edbe":"Konformität und Eigenschaften werden hier geprüft","oss-aion-sim-cert.d982b6fdda":"ob das Modell die Welt repräsentiert, bleibt beim Modellbesitzer","oss-aion-sim-cert.c27ccdf78d":"physikalische Gültigkeit","oss-aion-sim-cert.99c6aa48cb":"wird nirgendwo beantwortet","oss-aion-sim-cert.e4125aa830":"die angegebenen Eigenschaften gelten über den Lauf, oder die Spur kommt zurück","oss-aion-sim-cert.24fa71fdd6":"Invariantenprüfungen","oss-aion-sim-cert.82ffe3f79b":"das deklarierte Modell, die Parameter und die Konfiguration haben diese Trajektorie erzeugt","oss-aion-sim-cert.8c30aa1c6e":"Ausführungskonformität","oss-aion-sim-cert.790f468e4d":"wird hier beantwortet","oss-aion-sim-cert.f6bceb137b":"ZWILLING UND FMI","oss-aion-sim-cert.cf2b82cb4f":"Modell zur Trajektorie","oss-aion-sim-cert.a7b63abc02":"Was das Zertifikat trägt","oss-aion-sim-cert.07ecfba93e":"Trajektorie und Status","oss-aion-sim-cert.6874c92610":"Ereignissequenz","oss-aion-sim-cert.e77c056cdc":"Parameter und Anfangszustand","oss-aion-sim-cert.720a1e14e6":"Modell- und FMU-Identität","oss-aion-source-to-artefact.ce10986f79":"Von der Quelle bis zum Zertifikat","oss-aion-source-to-artefact.c1ce053887":"benannt, nicht pauschal","oss-aion-source-to-artefact.75a0766041":"Eine pauschale Behauptung hätte nirgendwo fehlschlagen können.","oss-aion-source-to-artefact.b5e1e87d48":"Drei Behauptungen benannt, und diejenige, die fehlschlägt, benennt den Durchlauf, an dem sie fehlschlägt.","oss-aion-source-to-artefact.8732c432be":"Dass jeder Durchlauf in der Sequenz im Allgemeinen korrekt ist. Kein Zertifikat hier besagt, dass ein\n                Compiler gut ist, und keines muss das.","oss-aion-source-to-artefact.64d8424b5b":"was es nicht behauptet","oss-aion-source-to-artefact.302df26f74":"Quellgraph","oss-aion-source-to-artefact.e95689d184":"zur Referenzimplementierung, auf dem deklarierten Eingabebereich","oss-aion-source-to-artefact.0ca9407ef6":"kernel-äquivalent","oss-aion-source-to-artefact.5e68638068":"die deklarierte Formerhaltung gilt bei diesem Durchlauf für den angegebenen Eingabebereich\n                    nicht","oss-aion-source-to-artefact.ab2050f59e":"Tensorformen erhalten","oss-aion-source-to-artefact.213addbd25":"über Kanonisierung und Fusion, für jeden deklarierten Typ","oss-aion-source-to-artefact.9deae195e3":"Typen erhalten","oss-aion-source-to-artefact.2297843111":"Optimierungsstufe 2, Kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"Formbehauptung abgelehnt","oss-aion-source-to-artefact.2fa9505626":"Artefakt","oss-aion-source-to-artefact.910e029098":"illustrativ","oss-aion-source-to-artefact.9f939ff8a4":"Kernel-Auswahl","oss-aion-sovereignty.0fe4587501":"Die Verifizierung bleibt dort, wo die Beweise gespeichert sind: neben dem erzeugenden System, in einem Prüfdienst oder in einem isolierten Archiv.","oss-aion-sovereignty.2d7bdcb19f":"Ihre Entscheidungen bleiben unter Ihrer Kontrolle.","oss-aion-sovereignty.9426b99215":"Digitale Souveränität","oss-aion-sovereignty.be49286f42":"LRAT, DRAT, Alethe und das einheitliche Format halten Zertifikate unabhängig vom ursprünglichen Laufzeitumfeld prüfbar.","oss-aion-sovereignty.25c4717a63":"Portable Beweisformate","oss-aion-sovereignty.d99f32de40":"Die Prüfung eines Beweises funktioniert vollständig offline. Sie sind nicht auf einen entfernten Dienst angewiesen, der seine Bedingungen ändern oder verschwinden könnte.","oss-aion-sovereignty.34ebf0117d":"Keine externen Abhängigkeiten","oss-aion-sovereignty.44a8a39a30":"In Ihrem eigenen Rechenzentrum oder in einer von Ihnen gewählten Region. Die Begründung hinter einer Entscheidung muss nie eine Grenze überschreiten, die Sie nicht genehmigt haben.","oss-aion-sovereignty.331242fd64":"Läuft dort, wo Sie es wählen","oss-aion-sovereignty.599b928605":"AION wird in Europa entwickelt, und sein Prüfer kann innerhalb derselben europäischen Grenze bleiben wie die Entscheidungen, die er verifiziert.","oss-aion-sovereignty.45f9bdf22b":"Europäisch nach Ursprung","oss-aion-split-parts.cc0d7be136":"und eine Enklave ändert nichts","oss-aion-split-parts.a2fb24de32":"der Standard-Build hat keinen ausgehenden Client","oss-aion-split-parts.ffd75a18c4":"BEREITSTELLEN","oss-aion-split-parts.91f8c088aa":"und was jede einzelne benötigt","oss-aion-split-parts.758bd7cc2a":"Vier Möglichkeiten, es auszuführen","oss-aion-split-parts.400bd9a040":"Auf mehrere Maschinen verteilt und erst nach einer Abdeckungsprüfung zusammengesetzt.","oss-aion-split-parts.bb3d98dfee":"Verteilt","oss-aion-split-parts.74da65bc96":"Innerhalb Ihrer Grenze, auf Adressen, die Sie selbst festlegen.","oss-aion-split-parts.664046e78a":"Ein Dienst","oss-aion-split-parts.ce2ab3edc4":"Zeigen Sie darauf auf ein Zertifikat. Sonst muss nichts laufen.","oss-aion-split-parts.a7218c8eca":"Ein Befehl","oss-aion-split-parts.eefb3bac5d":"In Ihren eigenen Prozess eingebunden. Fragen und antworten, ohne dass eine Datei geschrieben wird.","oss-aion-split-parts.fa66edb7bd":"Eine Bibliothek","oss-aion-stays-here.e3e08ad140":"nichts hat den Raum verlassen","oss-aion-stays-here.18ab547f60":"Dieses leere Papier ist die gesamte Behauptung.","oss-aion-stays-here.907d22f7f0":"Zwischen der Box und den drei Dingen daneben ist nichts gezeichnet.","oss-aion-stays-here.001b06036c":"nicht auf diesem Bild","oss-aion-stays-here.8c84675037":"ein Link zu einer anderen Maschine in derselben Organisation, ausgeschaltet, bis jemand ihn absichtlich einrichtet","oss-aion-stays-here.e3527ba222":"Die Antwort kommt mit der Leitung unten an, weil die Leitung nie Teil davon war.","oss-aion-stays-here.caf3a041c8":"Die Verspätung betrug fünfundsiebzig Minuten, also mehr als eine Stunde, daher wird die Buchung storniert und der Fahrpreis geht auf die Karte zurück, von der er kam.","oss-aion-stays-here.7296ef48e5":"was zurückkam","oss-aion-stays-here.395ee2333f":"Stornieren beendet die Buchung und erstattet den Fahrpreis","oss-aion-stays-here.46d2008236":"eine Stunde bedeutet sechzig Minuten, keine Rundung","oss-aion-stays-here.2fd4fcb567":"eine Verspätung wird ab der auf dem Ticket gedruckten Zeit gezählt","oss-aion-stays-here.f5b422b60e":"die geschriebenen Regeln, gegen die es gelesen wird","oss-aion-stays-here.ee04bc3b23":"Storniere meine Buchung nur, wenn die Verspätung mehr als eine Stunde beträgt.","oss-aion-stays-here.af5509db2b":"was du getippt hast","oss-aion-stays-here.3cbd68d678":"die Maschine vor dir","oss-aion-stays-here.531aa138ac":"beantwortet, ohne zu gehen","oss-aion-stays-here.fb23ddcc1c":"eine Frage, ein Ort","oss-aion-stays-here.96ccbc62ab":"deine Worte sind kein Ding, das jemand anderes empfängt","oss-aion-stays-here.1b215d440d":"eine Maschine woanders, die deinen Satz liest","oss-aion-stays-here.b5a5c63d23":"kein externes Ding muss funktionieren, damit die Antwort ankommt","oss-aion-stays-here.b5c483d9d9":"ein Dienst, der verfügbar sein muss","oss-aion-stays-here.fa287ade3d":"niemand fragt, wer du bist, weil niemand es wissen muss","oss-aion-stays-here.d5a3ef8b78":"ein Konto, um sich anzumelden","oss-aion-stays-here.910e029098":"illustrativ","oss-aion-stays-here-list.56a6e8f9a7":"und nichts zu übergeben","oss-aion-stays-here-list.57eef35c96":"kein Warten","oss-aion-stays-here-list.a64eab5744":"worauf es wartet","oss-aion-stays-here-list.c00e02ca1e":"HERE","oss-aion-stays-here-list.8d985c5d9a":"und worauf es nie wartet","oss-aion-stays-here-list.13591491d9":"Worauf es läuft","oss-aion-stays-here-list.1458464f09":"Nichts, wofür man sich anmeldet, also nichts, wovon man Kunde ist.","oss-aion-stays-here-list.257fa99e08":"Kein Konto","oss-aion-stays-here-list.b165f2d684":"Ihr Satz wird anhand von Regeln geprüft, im selben Raum wie Sie.","oss-aion-stays-here-list.37a25e4e99":"Geschriebene Regeln","oss-aion-stays-here-list.7ee33f1c7a":"Die Arbeit findet dort statt, wo Sie sind, und niemand sonst muss laufen.","oss-aion-stays-here-list.d3612f57d8":"Die Maschine, an der Sie sind","oss-aion-supplier-answer.6d6ddcd4c1":"eine Aussage, vier Leerzeilen","oss-aion-supplier-answer.a5d36ba87c":"Keine der vier Fragen wird irgendwo auf dem Blatt beantwortet.","oss-aion-supplier-answer.d09481b0a5":"Jedes Wort darauf ist wahr und jemand hat es unterschrieben.","oss-aion-supplier-answer.cec9b36162":"14. März 2026","oss-aion-supplier-answer.22715d5cb9":"Die am 12. März 2026 eingereichte Konfiguration wurde als konfliktfrei verifiziert.","oss-aion-supplier-answer.1e0a1891e8":"Ref. SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"Konformitätsbescheinigung","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"vier unbeantwortete","oss-aion-supplier-answer.910e029098":"illustrativ","oss-aion-supplier-answer.f86e5cfb14":"Würde das auch nach der Änderung am Dienstag gelten?","oss-aion-supplier-answer.bbe7a72e5a":"Auf wessen Daten und wie viel davon?","oss-aion-supplier-answer.c25776701b":"Gegen welche Version unseres Regelsatzes?","oss-aion-supplier-answer.84d9ed92b5":"Welche Bedingungen wurden tatsächlich geprüft?","oss-aion-theory-matrix.ac8d77d669":"Aussagenlogik","oss-aion-theory-matrix.3d52a6d8fe":"Logik","oss-aion-theory-matrix.42f3aff840":"Boolesche Erfüllbarkeit mit konfliktgesteuertem Klausellernen. Der Ausgangspunkt für jede andere Theorie.","oss-aion-theory-matrix.6078532ab2":"Quantoren","oss-aion-theory-matrix.02f664dd36":"Prädikatenlogik erster Stufe mit modellbasierter Instanziierung. Argumentiert über forall und exists über den unterstützten Sorten.","oss-aion-theory-matrix.49167dbc57":"Lineare Arithmetik","oss-aion-theory-matrix.45f053dc73":"Arithmetik","oss-aion-theory-matrix.876aafb6c1":"Lineare ganzzahlige Arithmetik und reellwertige Eingaben in einer deklarierten Skala. Intern verwendet der Prüfer ganzzahlige oder adaptive Festkommawerte.","oss-aion-theory-matrix.b618fadea3":"Nichtlinear","oss-aion-theory-matrix.fd99188844":"Nichtlineare ganzzahlige Arithmetik und reellwertige Eingaben in einer deklarierten Skala. Der Prüfer verwendet ganzzahlige oder adaptive Festkommawerte, niemals Gleitkommawerte.","oss-aion-theory-matrix.d11f66aff2":"Gleitkomma-Eingabe","oss-aion-theory-matrix.19080aec82":"IEEE-754-Eingaben werden nur an der Grenze akzeptiert und dann vor der Prüfung in Binärfelder dekodiert. Intern werden keine Gleitkommawerte gespeichert, akkumuliert oder berechnet.","oss-aion-theory-matrix.914807cdef":"Bitvektoren","oss-aion-theory-matrix.e5e429bcc9":"Daten","oss-aion-theory-matrix.23c278d5ca":"Binärwörter fester Breite mit Überlaufsemantik. Für Hardware-Verifikation und Prüfung von Binärprotokollen.","oss-aion-theory-matrix.b90cc9bfd2":"Arrays","oss-aion-theory-matrix.eac25fcfc6":"Array-Theorie mit select- und store-Axiomen. Die entscheidbaren Fragmente werden explizit verfolgt.","oss-aion-theory-matrix.3816c4beac":"Zeichenketten","oss-aion-theory-matrix.8e5a47db7d":"Wortgleichungen, Längenbeschränkungen und Zugehörigkeit zu regulären Ausdrücken über Zeichenketten.","oss-aion-theory-matrix.0efe5fd2a3":"Temporal","oss-aion-theory-matrix.ab14d0a7db":"Programme","oss-aion-theory-matrix.12dfdaf96a":"Begleit-Crate","oss-aion-theory-matrix.dd600bd946":"Lineare und verzweigende temporallogische Fragmente zur Argumentation über Verhalten über die Zeit.","oss-aion-theory-matrix.bb8c6ec608":"Probabilistisch","oss-aion-theory-matrix.042a4dc40b":"Probabilistische Programmargumentation, einschließlich probabilistischer Datalog-artiger Inferenz.","oss-aion-theory-matrix.1e1837d4e8":"Nebenläufig","oss-aion-theory-matrix.60e30b1d8e":"Argumentation über nebenläufige Programme und die Interleavings, die ihre Threads erzeugen können.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"Theorieabdeckung","oss-aion-theory-matrix.4329e5da7b":"11 logische Domänen","oss-aion-theory-matrix.dc1baa8539":"Kernel + Begleiter","oss-aion-theory-matrix.5b1e898fc0":"Theorie","oss-aion-theory-matrix.cd89376f98":"Lebt in","oss-aion-theory-matrix.df1e1e1732":"Elf Theorien, jeder Reasoner erzeugt Schritte, die der Beweis-Emitter aufzeichnen und ein\n            Prüfer wiedergeben kann.","oss-aion-theory-matrix.36ce8cbd4c":"PROP zu CONCUR","oss-aion-three-questions.381a478392":"Zwei Antworten, eine Grenze","oss-aion-three-questions.b695e87b19":"zwei beantwortet, eine besessen","oss-aion-three-questions.9f5234300d":"Die dritte Frage ist nicht unsere, und das zu sagen ist es, was die ersten beiden\n          wert sind.","oss-aion-three-questions.8149763299":"Konformität hält, eine Invariante schlägt fehl mit ihrer Spur.","oss-aion-three-questions.5974dafe20":"die Tür ist so solide gezeichnet wie die Wand","oss-aion-three-questions.392d2df212":"Der Modellinhaber hält diese Frage, und er hält sie dauerhaft. Kein Zertifikat hier\n                berührt sie, und keines impliziert sie auch nur stillschweigend.","oss-aion-three-questions.c27ccdf78d":"physikalische Gültigkeit","oss-aion-three-questions.dbbe530d6c":"repräsentiert dieses Modell die reale Welt","oss-aion-three-questions.44b8fe96f9":"Schritt 1 284, p = 8,14 bar","oss-aion-three-questions.dcf63117f5":"Gegenbeispiel, angehoben und vergrößert","oss-aion-three-questions.ed4bde3030":"Schleifendruck bleibt unter 8 bar","oss-aion-three-questions.4676659f50":"das Bypassventil öffnet nie zweimal in einem Schritt","oss-aion-three-questions.045757b8af":"Rücklauftemperatur bleibt unter 95 °C","oss-aion-three-questions.24fa71fdd6":"Invariantenprüfungen","oss-aion-three-questions.846ee97ae5":"gelten die angegebenen Invarianten über den gesamten Lauf","oss-aion-three-questions.17f80cae31":"Der Lauf reproduziert sich aus dem, was das Zertifikat erklärt.","oss-aion-three-questions.ba01008496":"t = 4,20","oss-aion-three-questions.ff4e31b5a8":"x0 = 2,5","oss-aion-three-questions.a74e1bd7e0":"t = 1,75","oss-aion-three-questions.63df9305f6":"Toleranz 1e-6","oss-aion-three-questions.884f613dc6":"t = 0,00","oss-aion-three-questions.0c1ded1963":"Schritt 0,01 s","oss-aion-three-questions.8c30aa1c6e":"Ausführungskonformität","oss-aion-three-questions.b3c58a82bd":"haben das erklärte Modell und die Konfiguration diese Trajektorie erzeugt","oss-aion-three-questions.5d3f336ca9":"Hash blake3:d7104c9a","oss-aion-three-questions.010d47a0a4":"Chiller-Loop 3.1, fmu 2.0.4","oss-aion-three-questions.3d0266b863":"Modell und FMU","oss-aion-three-questions.b697dd615a":"zwei von drei","oss-aion-three-questions.f14f15b304":"Trajektorie","oss-aion-three-questions.f1f1425b65":"Parameter","oss-aion-three-questions.910e029098":"illustrativ","oss-aion-three-readings.41d8442e84":"die Messwerte und ihre Konfidenzen stammen von AION, die Wahl ist Ihre, und sie wird protokolliert","oss-aion-three-readings.42e8a93311":"drei Messwerte, eine Entscheidung, und sie hat einen Urheber","oss-aion-three-readings.62b4619c99":"ein Zähler, der nicht unter null fallen kann","oss-aion-three-readings.48a15f3a18":"eine ganze Zahl unter fünf","oss-aion-three-readings.ae3925651e":"ist retries eine ganze Zahl, ein Zähler oder ein beliebiger Wert?","oss-aion-three-readings.dffe60eb6a":"Frage gestellt","oss-aion-three-readings.fb76182a92":"gefragt, nicht angenommen","oss-aion-three-readings.8c3f96fa33":"Retries müssen unter fünf liegen","oss-aion-three-readings.e9be13f9ec":"AION benennt die Mehrdeutigkeit, statt sie zu beheben. Es benennt die Art der Mehrdeutigkeit,\n          listet die Messwerte mit der Konfidenz, die jeder trägt, und der Bedingung, die jeder\n          durchsetzen würde, und stellt eine Frage, die die betreffende Variable benennt. Die Entscheidung\n          bleibt bei einer Person. Was sich ändert, ist, dass sie einmal getroffen wird, protokolliert, von\n          der Person, die für die Anforderung verantwortlich ist, statt von der Person, die zufällig die\n          Konvertierung durchgeführt hat.","oss-aion-three-readings.f26c9b4ff8":"Unter fünf Versuchen, ganz gezählt. Oder unter fünf,\n          wenn viereinhalb ein legitimer Wert ist. Oder ein Zähler, der auch nicht unter\n          null fallen kann. Das sind drei verschiedene Regeln, und der Unterschied taucht\n          irgendwann als Vorfall auf. Im üblichen Arbeitsablauf wurde eine davon von der Person\n          gewählt, die die Übersetzung durchgeführt hat, an einem Donnerstag, ohne es jemandem\n          zu sagen.","oss-aion-three-readings.7b5121a8f0":"„Retries müssen unter fünf liegen.“","oss-aion-three-readings.ffe5d68fe6":"Jemand hat eine gewählt.","oss-aion-three-readings.55b8b0b398":"Ihr Satz hatte zwei Lesarten.","oss-aion-three-readings.2d1501c7e4":"Die stille Entscheidung, die niemand getroffen hat","oss-aion-three-readings.bec998cdfe":"eine beliebige Zahl, einschließlich viereinhalb","oss-aion-time-left.88430838dd":"niemandem überraschend aufgefallen","oss-aion-time-left.227b19b5aa":"Es wurde nur kleiner, vor jemandem, der noch darauf reagieren konnte.","oss-aion-time-left.ac61a8b97d":"Die Zahl war am achten Tag da und wurde nie lauter.","oss-aion-time-left.0703308f0f":"Auf diesem Blatt gibt es keinen Alarm und nichts ist rot geworden. Jede dieser Zeilen ist\n          derselbe Satz, der an einem anderen Tag gelesen wird.","oss-aion-time-left.6222c927fd":"Es geht an die Person, die verspätete Antworten abzeichnet, mit dem Datum darauf, und sie\n            schreibt dir zurück.","oss-aion-time-left.4dfda36be9":"14 Tage vergangen","oss-aion-time-left.d5f128da73":"die Antwort war am sechzehnten fällig","oss-aion-time-left.58cdff89f9":"eine andere Anfrage, nach dem Datum gelesen","oss-aion-time-left.6a7651b700":"dreißig Tage nach deiner Anfrage","oss-aion-time-left.813d27411f":"die Antwort ist fällig","oss-aion-time-left.d8b0301347":"du hast eine Kopie dessen angefordert, was sie über dich haben","oss-aion-time-left.4c3d95bf6a":"die Anfrage","oss-aion-time-left.795bcac29d":"heute noch vier Tage","oss-aion-time-left.56ff55acfb":"eine Frist, viermal gelesen","oss-aion-time-left.acafbd7541":"ruf sie heute an","oss-aion-time-left.148b21034f":"4 Tage übrig","oss-aion-time-left.f165b88925":"diese Woche nachfassen","oss-aion-time-left.b85bbd50bd":"8 Tage übrig","oss-aion-time-left.4a8b5bac9b":"noch in Ordnung","oss-aion-time-left.67f9059ac5":"14 Tage übrig","oss-aion-time-left.ca372a8fb7":"in den Kalender eintragen","oss-aion-time-left.16f29c69b8":"22 Tage übrig","oss-aion-time-left.910e029098":"illustrativ","oss-aion-two-routes.89c24f999c":"die andere prüft die Belege","oss-aion-two-routes.3a5d844ae5":"ein Weg reproduziert sie","oss-aion-two-routes.028a6cf2d7":"ihr Zertifikat","oss-aion-two-routes.5c837ce426":"ihr System","oss-aion-two-routes.27f65e5e47":"was es braucht","oss-aion-two-routes.d0765bbac1":"VERGLEICHEN","oss-aion-two-routes.91f8c088aa":"und was jede braucht","oss-aion-two-routes.8930c1c9b8":"Zwei Wege, sicher zu sein","oss-aion-two-routes.d56d985300":"prüfen","oss-aion-two-routes.e1fc5057de":"reproduzieren","oss-aion-two-routes.b028b89ea7":"ihre Unterstützung","oss-aion-two-routes.999464a52f":"nicht reproduziert","oss-aion-two-routes.9b9252883d":"das Zertifikat selbst","oss-aion-two-routes.4dc537c80f":"die Behauptung, die Eingaben und der Vertrag","oss-aion-two-routes.ad95c10298":"ihre genaue Version und Maschine","oss-aion-two-routes.cfd05bd2f2":"ihre Lizenz","oss-aion-value-grid.6cc3364a24":"Proof attached","oss-aion-value-grid.4910ee0aea":"Evidence with every result","oss-aion-value-grid.411bf64817":"The result and its compact certificate travel together, so evidence is created when the decision is made rather than reconstructed during review.","oss-aion-value-grid.05f9c0dc34":"Checked by another engine","oss-aion-value-grid.eea79d1484":"A separate verifier walks the certificate against the original premises. The model does not get to grade its own answer.","oss-aion-value-grid.cbd17d59ba":"Portable formats","oss-aion-value-grid.5e6cba1721":"Evidence outlives the runtime","oss-aion-value-grid.b59cb11a8c":"LRAT, DRAT, Alethe, and the unified proof form keep the certificate readable after a model, solver, or service has changed.","oss-aion-value-grid.a60bdd7985":"Verifies offline","oss-aion-value-grid.ebfb47f4ba":"No live dependency","oss-aion-value-grid.6144cbfcab":"Checking a proof needs no network, no account, and no live connection to us. The thing you depend on at audit time has no recurring dependency on a supplier.","oss-aion-value-grid.26ef011865":"EU sovereignty","oss-aion-value-grid.23672ea195":"European, and yours to run","oss-aion-value-grid.26e89e1455":"Built in Europe and runnable entirely on hardware you control. Your evidence and your decisions never have to leave a jurisdiction you approve.","oss-aion-value-grid.66ac329042":"De-risked audits","oss-aion-value-grid.9c8c22f54d":"Evidence another party can test","oss-aion-value-grid.6572cc2be6":"When a regulator or auditor asks how a decision was reached, you hand over a certificate anyone can check, instead of relying on a supplier promise that you cannot test.","oss-aion-value-grid.6b5eb5323e":"Decision evidence","oss-aion-value-grid.870c4d024a":"Independent verification","oss-aion-value-grid.93e2c4e5c4":"Start with one decision path and keep its certificate through review.","oss-aion-value-grid.217fc9a42f":"certificate · checker · archive","oss-aion-what-you-got.2b69c8154b":"und jede Frage wirft eine auf","oss-aion-what-you-got.7f629c0e9f":"vier Dinge, die du erhältst","oss-aion-what-you-got.7a9727c9f8":"von dir überprüfbar","oss-aion-what-you-got.bc1c663195":"was du erhältst","oss-aion-what-you-got.0da9f51943":"BEOBACHTET","oss-aion-what-you-got.8becd8f7be":"und was es klärt","oss-aion-what-you-got.7d3574bfa5":"Was ein Lieferant übergibt","oss-aion-what-you-got.0306f977ae":"Welcher Build es gesagt hat. Nicht, was er geprüft hat oder wie.","oss-aion-what-you-got.fd12863535":"nein","oss-aion-what-you-got.7b0c210f52":"Eine Versionsnummer","oss-aion-what-you-got.f78a920a78":"Ihre Beschreibung ihres eigenen Prozesses, von ihnen geschrieben.","oss-aion-what-you-got.301941b624":"ihr Bericht","oss-aion-what-you-got.7591a35462":"Eine Methodennotiz","oss-aion-what-you-got.5eec058df8":"Jemand steht hinter dem Wort, nicht hinter der Begründung.","oss-aion-what-you-got.28fde2f659":"nur der Name","oss-aion-what-you-got.7573daa505":"Eine Unterschrift","oss-aion-what-you-got.94ebda1bd3":"Sicher, machbar, konsistent. Ein Wort, keine Arbeit.","oss-aion-what-you-got.c99c8e4a9b":"Eine Schlussfolgerung","oss-aion-where-it-runs.1ba0334f9f":"es gibt kein Drittes","oss-aion-where-it-runs.03e2311510":"Sie konfigurieren die beiden","oss-aion-where-it-runs.076d156600":"nichts darin zu konfigurieren","oss-aion-where-it-runs.f16ac53550":"Ihres zu konfigurieren","oss-aion-where-it-runs.9be34046ca":"LOCAL","oss-aion-where-it-runs.3ca221bb6c":"und nichts anderes verlässt","oss-aion-where-it-runs.6cdd4e486a":"Zwei konfigurierbare Grenzen","oss-aion-where-it-runs.39616fc267":"Ein Programm, das Sie installieren und das als lokaler Prozess läuft.","oss-aion-where-it-runs.00bfadf39c":"Ein externer Beweiser","oss-aion-where-it-runs.801db3efcd":"Nur die Adressen, die Sie festlegen, und nur, sobald Sie sie festlegen.","oss-aion-where-it-runs.d296df3171":"Ein Cluster","oss-aion-where-it-runs.67204bf5d4":"keine Route","oss-aion-where-it-runs.91984fcc1b":"Ein gehostetes Modell","oss-aion-where-it-runs.b8b252650e":"überhaupt kein Client","oss-aion-where-it-runs.ee39579eba":"Der Standard-Build","oss-aion-where-it-runs.d49fe2c403":"nicht installiert","oss-aion-where-you-meet-it.2a85ffb07a":"Der Ort ändert sich, das Versprechen nicht: ein Grund, den Sie lesen können, und ein Beleg, den jeder prüfen kann.","oss-aion-where-you-meet-it.9a8413cd88":"Sie werden AION selbst nie ausführen. Das sind die Arten von Orten, an denen es leise für Sie arbeiten kann.","oss-aion-where-you-meet-it.33fb502270":"Drei alltägliche Momente","oss-aion-where-you-meet-it.40e32f89eb":"Jeder, dem Sie vertrauen, kann den Beleg prüfen und bestätigen.","oss-aion-where-you-meet-it.03ef5e1328":"Wenn ein Amt eine Maschine zur Prüfung Ihres Falls einsetzt, haben Sie Anspruch auf einen Grund, den Sie lesen und hinterfragen können.","oss-aion-where-you-meet-it.2390278256":"Eine Leistung oder ein Formular wird geprüft","oss-aion-where-you-meet-it.2e92ab22dd":"Bei einer öffentlichen Stelle","oss-aion-where-you-meet-it.0bd84e3a14":"Der Grund wird aufgeschrieben, nicht in einem System versteckt.","oss-aion-where-you-meet-it.c4a1d64452":"Geldentscheidungen, die eine Maschine trifft, können wie eine verschlossene Tür wirken. Der Beleg öffnet sie in klaren Schritten.","oss-aion-where-you-meet-it.e17885868a":"Ein Kredit oder eine Erstattung wird berechnet","oss-aion-where-you-meet-it.5e45cf57a0":"Bei der Bank","oss-aion-where-you-meet-it.e2c536b2b3":"Sie können den Beleg anfordern und Ihrem eigenen Arzt zeigen.","oss-aion-where-you-meet-it.0b56f170bf":"Wenn eine Maschine bei Ihrer Behandlung mitentscheidet, sollten Sie den Grund dahinter sehen können, nicht nur das Ergebnis.","oss-aion-where-you-meet-it.0332b7d1b7":"Ein Computer hilft bei der Entscheidung über Ihre Behandlung","oss-aion-where-you-meet-it.4046c6355b":"Im Krankenhaus","oss-aion-which-did-you-mean.1ff884a89e":"gefragt, nicht geraten","oss-aion-which-did-you-mean.2eb1c230f2":"Die Wahl gehört dem, der den Satz geschrieben hat.","oss-aion-which-did-you-mean.d94da790d1":"Zwei gewöhnliche Lesarten, ein Fall dazwischen.","oss-aion-which-did-you-mean.3b4d06d361":"Es wurde keine Frage gestellt, und niemandem wurde gesagt, auf welche der beiden es gelandet ist.","oss-aion-which-did-you-mean.93a161cede":"Stunden werden ganz gezählt. Gewählt an einem Donnerstagnachmittag von jemandem, der\n                liefern musste.","oss-aion-which-did-you-mean.4b73aced85":"in Kraft","oss-aion-which-did-you-mean.17e120a269":"Abbrechen, wenn die Verspätung mehr als eine Stunde beträgt.","oss-aion-which-did-you-mean.ddf20b2d3c":"die übliche Art, wie das geregelt wird","oss-aion-which-did-you-mean.3f42a39277":"wie es tatsächlich läuft","oss-aion-which-did-you-mean.1e9a34969e":"ganze Stunden","oss-aion-which-did-you-mean.9c2a4532bb":"Wenn Sie mehr als eine Stunde geschrieben haben, meinten Sie ganze Stunden oder die Verspätung, wie sie\n                tatsächlich läuft?","oss-aion-which-did-you-mean.280b34e1e5":"Ihr Zug hat fünfundsiebzig Minuten Verspätung und die Buchung geht verloren, bevor Sie\n                    entschieden haben, ob Sie noch reisen möchten.","oss-aion-which-did-you-mean.97e4112012":"Eine Verspätung ist so lang, wie sie tatsächlich ist. Eineinviertel Stunden sind mehr als eine\n                    Stunde.","oss-aion-which-did-you-mean.c5d620cfa2":"Lesart zwei","oss-aion-which-did-you-mean.466780685c":"Ihr Zug hat fünfundsiebzig Minuten Verspätung und nichts wird abgebrochen. Sie warten auf dem\n                    Bahnsteig auf einen Zug, der noch kommt.","oss-aion-which-did-you-mean.6b67a39030":"Stunden werden ganz gezählt. Eine Verspätung von einerinviertel Stunden zählt als eine Stunde,\n                    und eine Stunde ist nicht mehr als eine Stunde.","oss-aion-which-did-you-mean.9cf85c69a8":"Lesart eins","oss-aion-which-did-you-mean.ef52f97a5b":"mehr als eine Stunde","oss-aion-which-did-you-mean.371c6d7efd":"Abbrechen, wenn die Verspätung","oss-aion-which-did-you-mean.887640fa01":"Sie haben geschrieben","oss-aion-which-did-you-mean.3650db40be":"warten auf Ihre Antwort","oss-aion-which-did-you-mean.ff312b91d2":"was meinten Sie","oss-aion-which-did-you-mean.6f8f8e9f76":"dann","oss-aion-which-did-you-mean.910e029098":"beispielhaft","oss-aion-your-corpus.a54df5506a":"zwei Wochen, mit einem schriftlichen Ergebnis","oss-aion-your-corpus.ee646eb7cc":"Führen Sie denselben Korpus mit dem aus, was Sie heute verwenden, und legen Sie die beiden Berichte nebeneinander.","oss-aion-your-corpus.f2d4df122d":"Zweiundsechzig von vierundsechzig, auf Ihrer Maschine, unter Ihrer Begrenzung.","oss-aion-your-corpus.8ff7db55b1":"diese Begrenzung","oss-aion-your-corpus.8ada74cbb4":"diese Maschine","oss-aion-your-corpus.b2ed177f82":"dieser Korpus","oss-aion-your-corpus.71e1422875":"eine Funktion von","oss-aion-your-corpus.94ef1b7ae8":"von 64 korrekt","oss-aion-your-corpus.2ce97993d5":"noch kein Urteil","oss-aion-your-corpus.90326d4307":"verstrichen 41 s","oss-aion-your-corpus.69bb8da1c5":"läuft noch","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"keine Antwort aufgezeichnet","oss-aion-your-corpus.72330c3954":"16 GB Adressraum","oss-aion-your-corpus.b4f0923eae":"16 GB pro Lauf","oss-aion-your-corpus.ff367b6b79":"Adressraumbegrenzung","oss-aion-your-corpus.d1ea89e714":"32 Kerne, 128 GB","oss-aion-your-corpus.dbd2aaf9ae":"beispielhafter Lauf","oss-aion-your-corpus.e380724f89":"eine begrenzt, eine läuft noch","oss-aion-your-corpus.f6f66c95d6":"Ihr Korpus, an Ort und Stelle","oss-aion-your-corpus.8d95729188":"begrenzt","oss-aion-your-corpus.7817c52b25":"Maschine","oss-aion-your-corpus.d95f464bc9":"Instanzen","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"Korpus","oss-aion-your-sentence-parts.8e7ed848f6":"du kannst es weiterhin lesen","oss-aion-your-sentence-parts.78c48f428a":"du hast es geschrieben","oss-aion-your-sentence-parts.c569c19f0b":"Lies noch einmal, es gibt dieselbe Regel. Dazwischen ist nichts abgewichen.","oss-aion-your-sentence-parts.43015fadc4":"Niemand sollte zweimal für dieselbe Bestellung im selben Monat belastet werden.","oss-aion-your-sentence-parts.a14707f800":"Dein Satz, unverändert","oss-aion-your-sentence-parts.2ccea15065":"ein Jahr später","oss-aion-your-sentence-parts.a80d4309ae":"Am Anfang der Nachricht, über dem Teil, der nicht erfüllt wurde.","oss-aion-your-sentence-parts.f33c43e8f9":"Dein Satz, zitiert","oss-aion-your-sentence-parts.f0f795235c":"der Tag, an dem es gilt","oss-aion-your-sentence-parts.fe74b20e8f":"So wie du es getippt hast, mit einer schlichten Zeile, die sagt, wie es gelesen wurde.","oss-aion-your-sentence-parts.358b1cbc5d":"Dein Satz, beibehalten","oss-aion-your-sentence-parts.13211e2743":"der Tag, an dem du es schreibst","oss-aion-your-sentence-parts.27a0362e59":"DEINE WORTE","oss-aion-your-sentence-parts.d37598cc12":"an drei verschiedenen Tagen","oss-aion-your-sentence-parts.32a5ee7a1f":"Derselbe Satz","page-breadcrumb.c766e66518":"Breadcrumb","page-toc.7e439c353e":"Auf dieser Seite","section_st_a1_display-split.7c9a7c0610":"Details","section_st_f1_cta-dark.90e40d5043":"Erste Schritte","spindle-extras.127edee78d":"UNTERZEICHNET","toc-rail.f5cbdf6bfb":"Inhalt"}