OFFENE METHODE / KLARE GRENZEN

Methode prüfen. Ergebnisse verstehen.

Eine eigenständige Lehrkomponente veranschaulicht die Verifikation. Review-Muster zeigen, was Auftraggeber erhalten. Interne Implementierungen der Forschungsprogramme sind nicht enthalten.

Schwarze Elektronikeinheit mit Kabeln und Anzeigen auf einem Labortisch — VISUELLER KONTEXTLokales Rechnen

01 / DA-MODEL-002

Eine Quittung ≠ eine externe Wirkung.

DA-MODEL-002 ist ein erfundener Leuchtenprüfstand. Die Software hat einen Befehl angenommen; ob die Leuchte eingeschaltet wurde, muss ein externer Beobachter gesondert feststellen.

01
Befehl
Eine Aufforderung, die Anzeige einzuschalten.
02
Softwarequittung
Die Software hat die Anfrage angenommen. Der Zustand der Anzeige ist nicht festgestellt.
03
Externe Beobachtung
Eine aktuelle, diesem Befehl zugeordnete Meldung eines vertrauenswürdigen Beobachters.

Die Bestätigung erfordert den aktuellen Befehl und eine aktuelle vertrauenswürdige Beobachtung. Falsch zugeordnete, veraltete und gefälschte Meldungen werden abgewiesen; eine Wiederholung kann die Aktualität nicht erneuern.

Ausgeführte Prüfung des endlichen Beispiels

erreichbare Zustände: 106
geprüfte Übergänge: 1378
Sequenzen mit je 100 Ereignissen: 1000
erkannte fehlerhafte Varianten: 4

PASS · Python 3.12.14 · 2026-10-13T04:58:49.960638+00:00

Gegenbeispiele für gezielt eingebaute Fehler

receipt_is_effect

request_1 → receipt

wrong_ticket

request_1 → wrong_ticket

stale

request_1 → stale

forged

request_1 → forged

Beispiel und Prüfprogramm · ZIP ↓Aufgezeichneter JSON-Bericht ↗

Lokal reproduzieren

Python 3.10+ · keine externen Abhängigkeiten

python verify.py --report verification.local.json

SHA-256 / ZIP

1ba4989109c73bfb1f16bc0787153e13d4e222a055917b2131b5fc612bae2bff

02 / Review-Muster

Was Auftraggeber erhalten.

Zwei aufeinander abgestimmte Dokumente zum selben erfundenen Prüfstand. Kennungen verknüpfen Vertrauensgrenze, Lücke, erforderlichen Nachweis und Abschlusskriterium.

Karte der Vertrauensgrenzen

Grenze	Was sie überschreitet	Vertrauensgrundlage / Einschränkung
TB-01 · Client → Empfänger	Ein Befehl und seine Kennung.	Eine Quittung belegt die Annahme; sie ist kein Nachweis für den Zustand der Anzeige.
TB-02 · Empfänger → Umgebung	Die Absicht, einen externen Zustand zu ändern.	Ausführung und Beobachtung sind getrennt; eine Wirkung kann ohne Bestätigung eintreten.
TB-03 · Beobachter → Bewertung	Eine dem Befehl zugeordnete Beobachtung.	Quellenauthentizität und Messgenauigkeit werden hier vorausgesetzt. Ein reales System benötigt gesonderte Nachweise.
TB-04 · Bewertung → Oberfläche	Ein Status und ein Beobachtungszeitpunkt.	Zeigen Sie „beobachtet“, Zeitpunkt und Umfang an; machen Sie aus einer früheren Beobachtung keine Garantie für den aktuellen Zustand.

Bearbeitbares Muster herunterladen · Markdown ↓

Lückenregister

Lücke	Auswirkung und erforderlicher Nachweis	Abschlusskriterium
G-01 / TB-03 · Hoch	Die Authentizität des Beobachters wird vorausgesetzt. Erforderlich sind ein Vertrauensmodell, Schlüsselregeln und Negativprüfungen.	Die Quelle ist identifiziert; fremde, widerrufene und gefälschte Meldungen werden abgewiesen.
G-02 / TB-03 · Hoch	Abstrakte Aktualität ist keine gemessene Zeit. Erforderlich sind Verzögerungsgrenzen, Uhrunsicherheit und ein definiertes Ablaufverhalten.	Abgelaufene Meldungen und übermäßige Uhrunsicherheit können keine aktuelle Bestätigung erzeugen.
G-03 / TB-02 · Mittel	Wiederherstellung und die Wiederverwendung von Kennungen sind nicht modelliert. Neustart- und Persistenzszenarien sind erforderlich.	Nach einem Neustart kann eine alte Beobachtung keinem neuen Befehl zugeordnet werden.
G-04 / TB-04 · Mittel	Eine Beobachtung könnte als aktueller Zustand missverstanden werden. Erforderlich sind ein Oberflächenmuster und eine Prüfung der Verständlichkeit der Statusanzeige.	Die Oberfläche unterscheidet angenommen, beobachtet, abgelaufen und unbekannt.

Bearbeitbares Muster herunterladen · CSV ↓

Beim Übergang vom Modell zu einem realen Prüfstand bleiben alle Lücken offen. Dies veranschaulicht das Format eines Ergebnisses; es ist kein Review eines Kundensystems.

Die deutschen Muster sind übersetzte Arbeitsvorlagen. Sie gehören nicht zum signierten Originalpaket. Signierte Prüfarchive, Quellcode und maschinenlesbare Protokolle bleiben in ihrer Originalsprache unverändert.

03 / Zugangsstufen

Umfang vereinbaren. Dann Zugang gewähren.

Die öffentliche Seite schaltet keine vertraulichen Unterlagen frei. Jede Herausgabe erfordert ein vereinbartes Ziel, einen benannten Empfänger und festgelegte Bedingungen.

01 / Öffentlich

Zweck, Aussagegrenzen, das erfundene Beispiel und Review-Muster. Quellcode der Forschungsprogramme wird nicht veröffentlicht.

02 / Prüfung unter NDA

Nach Vereinbarung: aufgezeichnete Prüfausgaben, eine Versionskennung und ausgewählte geschwärzte Unterlagen. Eine personalisierte Kopie trägt eine eindeutige Ausgabemarkierung; vollständiger Quellcode ist nicht enthalten.

03 / Kontrollierte Einsicht

Eine vereinbarte Unterlagenliste, personenbezogener Lesezugriff, ein Ablaufdatum und ein Ausgabeprotokoll. Kanal und Empfänger werden vor der Freigabe bestätigt.

Bewertungsziel und gewünschtes Ergebnis beschreiben.
NDA, Unterlagenversion und zulässigen Umfang vereinbaren.
Empfänger, Ablaufdatum und Einsichtskanal bestätigen.
Eine markierte Kopie ausgeben und Hash, Umfang sowie Ablaufdatum im Ausgabeprotokoll festhalten.

Eine Ausgabemarkierung unterscheidet Kopien; sie verhindert keine Screenshots oder Abschriften. Ein NDA allein ist keine technische Zugriffskontrolle. Diese Website bietet kein automatisches Repository für vertrauliche Programme.

Technisches Review anfragen ↗

Direkter Kontakt zum Forscher

1westwestwest@gmail.com

04 / Integrität und Herkunft

Integrität und Herkunft

Prüfbare Hashes und Signaturen für die verfügbaren öffentlichen Unterlagen. Eine Signatur belegt den Besitz des zugehörigen Schlüssels; eine unabhängige Identitätsprüfung oder Zeitstempelung wird nicht behauptet.

SHA-256- und Signaturverzeichnis ↗Signatur des Verzeichnisses ↓Öffentlicher Schlüssel ↓

minisign -Vm public-evidence-index.json -p release-key.pub

Laden Sie public-evidence-index.json.minisig in dasselbe Verzeichnis herunter. Bewahren Sie den Fingerabdruck des öffentlichen Schlüssels gesondert auf: Dateien und ein Schlüssel von derselben Website schaffen für sich genommen kein unabhängiges Vertrauen.

SHA-256 / öffentlicher Schlüssel

df5ad41bb5583bfe18ce84336e5122a5f24fd8c667868e99b7702c393882fa84

Die Signaturen umfassen das öffentliche Beispiel, Review-Muster und das historische Formularpaket. Ohne ausdrücklich ausgewählte Snapshots werden keine Hashes privater Spezifikationen oder Quelltexte der sechs Programme behauptet. Die Signaturzeit stammt von der Uhr des Ausstellers und ist kein unabhängiger Zeitstempel.