Evidenz gegen eine Aussage

AnyVerify

Ein Verifikationsergebnis ist nur dann etwas wert, wenn es zwei Quellen, die sich widersprechen, und einen Abgleich, der nicht durchgeführt werden konnte, auseinanderhält.

Status: Forschungskonzept · unveröffentlichter Prototyp

Das Modell, interaktiv

Aussage: Die Ursprungserklärung dieser Sendung stimmt mit einem unabhängigen Registereintrag überein. Das Profil vergleicht fünf Attribute, jedes mit eigener Vergleichsregel. Ändern Sie, was das Register zurückgegeben hat, und beobachten Sie das Ergebnis.

Was das Register zurückgegeben hatAlles passt zusammenDie Registerreferenz fehltDie Namen des Erzeugers weichen abEine prüfende Person löst die Abweichung auf

Attribut	Erklärung	Register	Vergleichsregel	Abgleich
Ursprungsland	BR	BR	exakt	Übereinstimmung
Name des Erzeugers	Cooperativa São João	COOPERATIVA SAO JOAO	normalisierter Text	Übereinstimmung
Menge	19,200 kg	19,450 kg	Zahl, ±2 %	Übereinstimmung
Erntedatum (optional)	2026-06-10	2026-06-12	Datum, ±3 Tage	Übereinstimmung
Registerreferenz	BA-0427-7731	BA-0427-7731	exakt	Übereinstimmung

Ergebnis

Erhärtet: Die beiden Quellen stimmen bei jedem erforderlichen Attribut überein.

Übereinstimmungsquote

1,00

5 / 5

Die Forschungsfrage

Stützt die verfügbare Evidenz eine bestimmte Aussage tatsächlich, Attribut für Attribut, und wie sollte ein System das ausdrücken, wenn es das nicht beurteilen kann?

Bei welchen Attributen stimmen die Quellen überein?
Wo weichen sie voneinander ab, und wie stark?
Was konnte überhaupt nicht geprüft werden?
Wann muss eine Person die Sache entscheiden?

Grundbausteine

Verifikationsfall
AnyVerifyCase
Eine Aussage über einen Gegenstand, verifiziert gegen ein versioniertes Profil, verknüpft mit dem Fall, den sie verifiziert.
Profil
profiles/*.yaml
Welche Attribute zu vergleichen sind, zwischen welchen zwei Quellen, mit welcher Vergleichsregel und Toleranz, und welche davon erforderlich sind. Daten, beim Laden validiert, Default-Deny.
Abgleich
AnyVerifyCheck
Ein verglichenes Attribut: Übereinstimmung, Abweichung, fehlend oder nicht eindeutig, mit den gesehenen Werten und einem Begründungscode.
Ergebnis
VerificationResult
Erhärtet, widersprochen, unzureichend, durch Prüfung aufgelöst oder ausstehend. Unzureichend und widersprochen werden nie zusammengelegt.
Übereinstimmungsquote
attribute-agreement-ratio
Der Anteil der geprüften Attribute, die übereinstimmen, als Methode benannt, nicht als Wahrscheinlichkeit dargestellt.
Prüfung und Attestierung
kernel authority act
Eine Person mit der Befugnis erfasst eine Entscheidung und ihre Begründung. Das Ergebnis der Maschine bleibt erhalten und wird nicht ersetzt.

Ein Szenario, Schritt für Schritt

Was zwischen dem Eintreffen einer Erklärung und einem Ergebnis geschieht, auf das sich jemand verlassen kann.

Schritt 1 von 6: Einen Fall gegen ein Profil eröffnen

Die Aussage, der Gegenstand, den sie betrifft, und die Profilversion werden zu Beginn festgelegt, sodass das Ergebnis immer sagen kann, woran es gemessen wurde.
Die Erklärung des Lieferanten und der Registereintrag werden als Evidenz beigefügt, jeweils mit Quelle und Zeitpunkt.
Fünf Vergleiche, jeder getrennt erfasst. Ein fehlender Wert wird als fehlend erfasst, nicht als Abweichung.
Der Regelauswerter liest die Abgleiche. Quellen, die bei einem erforderlichen Attribut voneinander abweichen, ergeben widersprochen; ein erforderliches Attribut, das nicht verglichen werden konnte, ergibt unzureichend.
Ein Widerspruch eröffnet eine Prüfaufgabe. Die Attestierung der prüfenden Person löst den Fall auf und steht neben dem Ergebnis der Maschine, das lesbar bleibt.
Jedes Ergebnis hat ein Gültigkeitsfenster aus dem Profil. Danach ist das Ergebnis veraltet und muss neu bewertet statt wiederverwendet werden.

Was es unterscheidet

AnyValid

Seine Frage

Was hat die maßgebliche Quelle selbst gesagt?

Warum dies nicht dasselbe ist

AnyVerify vergleicht Quellen miteinander. Es fragt keine Stelle nach einem Urteil und schlägt nichts nach.

AnyTrace

Seine Frage

Wo hat sich diese Sache befunden?

Warum dies nicht dasselbe ist

AnyVerify nimmt einen Rückverfolgungsfall als Gegenstand und sagt, ob eine Aussage darüber standhält.

AnyUSMCA

Seine Frage

Erfüllt Ursprungsevidenz ein benanntes Regelwerk?

Warum dies nicht dasselbe ist

AnyUSMCA nutzt die Ergebnisse von AnyVerify als Eingaben; AnyVerify weiß nichts über Handelsregeln.

Grenzen und Nicht-Ziele

Stimmen zwei Quellen überein, ist das Erhärtung, kein Beweis. Beide können falsch sein.
Es ist keine Nachschlage-Engine und fragt keine Stelle ab.
Ein Ergebnis ist keine Bescheinigung und zieht keinen rechtlichen Schluss.
Die beiden Profile sind Referenzprofile, nicht die offizielle Checkliste von irgendjemandem.

Was existiert und was nicht

Im Repository

app/products/anyverify/{service,compare}.py: Vergleichsregeln, Abgleiche, Entscheidung, Prüfung, Ablauf der Gültigkeit, Wiederverwendung
Zwei Referenzprofile: origin-declaration.v1 und supplier-identity.v1
Tabellen anyverify_cases und anyverify_checks
10 authentifizierte Routen
tests/any_family/test_anyverify.py: die vier Ergebnisse der Vergleichsregeln, unzureichend gegenüber widersprochen, Prüfung, Ablauf der Gültigkeit (36 Tests)

Forschungsagenda, nicht gebaut

Eine Anbindung an irgendein reales Register; die Quellen liefert der Aufrufer
Vergleich über mehr als zwei Quellen für ein Attribut
Jegliche Eichung der Übereinstimmungsquote an tatsächlichen Ergebnissen

Wo es in AnyLAI steht

AnyVerify

Application kernelAbgleiche, Ergebnisse und Prüfungen sind Evidenz, Ereignisse, Aufgaben und Befugnisakte des Kerns.
AnyTraceVerknüpft sich mit dem Rückverfolgungsfall, den es verifiziert.
AnyUSMCASeine Ergebnisse sind die Ursprungsevidenz, auf die sich die Regeln von AnyUSMCA stützen.
Trust architectureDasselbe Prinzip wie in der Vertrauensarchitektur: eine Person, wo die Evidenz unsicher ist.

Fallverknüpfung über den Kern
direkte Nutzung eines anderen Moduls oder Systems
Aufruf im Schattenmodus: erfasst, nie ausgeführt

Aktueller Stand

Forschungsstand

Forschungskonzept · unveröffentlichter Prototyp
Unveröffentlicht: Routen abgeschaltet
Kein Produktivbetrieb, keine realen Daten
36 Tests im Repository

Ein Prototyp-Modul über dem gemeinsamen Kern mit zwei Referenzprofilen, einem Service, Tabellen, Routen und Tests. Abgeschaltet, nicht veröffentlicht, nicht mit realen Daten genutzt.

Testsuite: python-backend/tests/any_family/test_anyverify.py

Forschungsprojekt · Unabhängige F&E · Kein kommerzielles Angebot