DA-EX-001 / ÖFFENTLICHER NACHWEISFALL
Eine Anfrage. Eine Quittung.
Ein archivierter Snapshot des Anfragehandlers vom 12. Oktober 2026: Quellcode, eine Eigenschaft und eine dokumentierte Ausführung. Der aktuelle Handler verfügt über zusätzliche Schutzmaßnahmen und wird gesondert geprüft.
13.10.2026 / SPEZIFIKATIONSKORREKTUR
F-1 / F-2: Abdeckungslücken geschlossen.
Der ursprüngliche Lauf mit 347 Anfragen erreichte den Insert-Race-Fallback nie; alle Testeingaben verwendeten language = en. Die archivierte SPEC.md stellte die Abdeckung dieser Pfade zu weitgehend dar. Die zusätzlichen Regressionsergebnisse unten sind vom ursprünglichen Lauf getrennt.
F-1 / Erzwungene Konkurrenzsituation
Eine Barriere hält die Ergebnisse zweier echter SELECT-Anweisungen zurück, bis beide einen fehlenden Schlüssel gelesen haben. Ein INSERT erstellt die Zeile; der andere ändert nichts und sein Handler führt den Fallback-SELECT aus. Identische und widersprüchliche Nutzdaten werden jeweils mit beiden Clients als Gewinner geprüft: 201/200 oder 201/409, eine gespeicherte Quittung und unveränderte Gewinnerdaten.
F-2 / Sprachnormalisierung
Für den historischen Handler werden vierzehn Eingaben abgedeckt: en, uk, fehlend, null, leere Zeichenfolge, unbekannte Sprache, EN, en mit Leerzeichen, en-US, false, true, Zahl, Array und Objekt. Nur exakt en bleibt en; andere Werte werden zu uk. Jeder Fall prüft Speicherung, Wiederholung mit kanonischem Wert und Konflikte bei geänderter Sprache. Der aktuelle Handler prüft zusätzlich de, DE, de-DE und de mit Leerzeichen: Nur exakt de bleibt de; die anderen drei werden zu uk. Ebenso werden fr, FR, fr-FR und fr mit Leerzeichen geprüft: Nur exakt fr bleibt fr.
| Prüfung | Historischer Handler | Aktueller Handler |
|---|---|---|
| Barrieren-Szenarien | 4 | 4 |
| Fallback-Ausführungen / V8 | 4 | 4 |
| Spracheingaben | 14 | 22 |
| Zusätzliche Anfragen | 50 | 74 |
| Assertions in den Zusatzgruppen | 188 | 268 |
Negativkontrollen: Die neuen Prüfungen wiesen drei absichtliche Defekte zurück: Entfernen des Fallbacks, Annahme widersprüchlicher Nutzdaten und Normalisierung aller Sprachen zu en.
Lokal auf echtem SQLite mit kontrollierter SQL-Reihenfolge in einem Prozess ausgeführt. Dies ist kein Test verteilter Parallelität oder von Cloudflare D1. Es wurde keine Produktions-API aufgerufen. Original-ZIP, Manifest, Signaturen und Bericht vom 12. Oktober bleiben unverändert.
Zusätzlicher Prüflauf: PASS · v24.19.0 ·
Exakte Ergebnisse und SHA-256-Werte der geprüften Quelldateien
Regressionsbefehl im Quellprojekt:
node scripts/verify-evidence-coverage.mjs{
"schema": "DA-EX-001/coverage-correction/v1",
"status": "PASS",
"finished_at": "2026-10-14T00:08:46.088Z",
"node": "v24.19.0",
"artifact_id": "924bcddb97a58f886a7e4bdd8b3165aae6e05a4ca3b8f91184ce559ab4e9a07b",
"baseline": {
"handler_requests": 347,
"checks": 1773,
"journal_events": 332,
"insert_race_fallback_executions": 0
},
"historical": {
"status": "PASS",
"checks": 188,
"handler_requests": 50,
"forced_race": {
"cases": 4,
"requests": 8,
"scenarios": [
{
"case": "identical_payloads",
"winner": 0,
"statuses": [
201,
200
],
"initial_reads_absent": 2,
"insert_changes": [
1,
0
],
"fallback_reads": 1,
"rows": 1,
"status": "PASS"
},
{
"case": "identical_payloads",
"winner": 1,
"statuses": [
200,
201
],
"initial_reads_absent": 2,
"insert_changes": [
1,
0
],
"fallback_reads": 1,
"rows": 1,
"status": "PASS"
},
{
"case": "conflicting_payloads",
"winner": 0,
"statuses": [
201,
409
],
"initial_reads_absent": 2,
"insert_changes": [
1,
0
],
"fallback_reads": 1,
"rows": 1,
"status": "PASS"
},
{
"case": "conflicting_payloads",
"winner": 1,
"statuses": [
409,
201
],
"initial_reads_absent": 2,
"insert_changes": [
1,
0
],
"fallback_reads": 1,
"rows": 1,
"status": "PASS"
}
]
},
"language_normalization": {
"cases": 14,
"requests": 42,
"scenarios": [
{
"input": "en",
"normalized": "en",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "uk",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "missing",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "null",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "empty",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "unknown",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "uppercase_en",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "padded_en",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "regional_en",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "false",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "true",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "number",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "array",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "object",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
}
]
},
"insert_race_fallback_executions": 4
},
"current": {
"status": "PASS",
"checks": 268,
"handler_requests": 74,
"forced_race": {
"cases": 4,
"requests": 8,
"scenarios": [
{
"case": "identical_payloads",
"winner": 0,
"statuses": [
201,
200
],
"initial_reads_absent": 2,
"insert_changes": [
1,
0
],
"fallback_reads": 1,
"rows": 1,
"status": "PASS"
},
{
"case": "identical_payloads",
"winner": 1,
"statuses": [
200,
201
],
"initial_reads_absent": 2,
"insert_changes": [
1,
0
],
"fallback_reads": 1,
"rows": 1,
"status": "PASS"
},
{
"case": "conflicting_payloads",
"winner": 0,
"statuses": [
201,
409
],
"initial_reads_absent": 2,
"insert_changes": [
1,
0
],
"fallback_reads": 1,
"rows": 1,
"status": "PASS"
},
{
"case": "conflicting_payloads",
"winner": 1,
"statuses": [
409,
201
],
"initial_reads_absent": 2,
"insert_changes": [
1,
0
],
"fallback_reads": 1,
"rows": 1,
"status": "PASS"
}
]
},
"language_normalization": {
"cases": 22,
"requests": 66,
"scenarios": [
{
"input": "en",
"normalized": "en",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "uk",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "missing",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "null",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "empty",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "unknown",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "uppercase_en",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "padded_en",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "regional_en",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "false",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "true",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "number",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "array",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "object",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "de",
"normalized": "de",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "uppercase_de",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "regional_de",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "padded_de",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "fr",
"normalized": "fr",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "uppercase_fr",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "regional_fr",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
},
{
"input": "padded_fr",
"normalized": "uk",
"statuses": [
201,
200,
409
],
"status": "PASS"
}
]
},
"insert_race_fallback_executions": 4
},
"mutation_controls": [
{
"id": "fallback_removed",
"result": "DETECTED",
"reason": "One real no-op insert followed by the fallback SELECT"
},
{
"id": "conflict_accepted",
"result": "DETECTED",
"reason": "Fallback response"
},
{
"id": "language_always_en",
"result": "DETECTED",
"reason": "en: different normalized language conflicts"
}
],
"bindings": [
{
"role": "historical_handler",
"sha256": "ecec0fe67f3df9658c4a42e20d9e2c8f0aabf60d9584ec225f877c57b4302cd0"
},
{
"role": "current_handler",
"sha256": "dacc2952c2876497a49d1c86394ad601c30430df551936d71d3b1418c9ef3b8d"
},
{
"role": "current_security",
"sha256": "c3b0adb9b8e4950edc72beb70719028e0387a48b2c4f635cecee9438759039b3"
},
{
"role": "current_body_reader",
"sha256": "4669c3ec9eed91a0d082a95a11433693481f073e39cb1878f325abcddc449c25"
},
{
"role": "current_fields",
"sha256": "62941d820fea3b01467c769a2e4f48bb2e28710e3e91c27ee30241badd565385"
},
{
"role": "current_migration",
"sha256": "9998207ea659d29bbb9ef501f835c68a22612244306bec5f07df85b1c78c415d"
},
{
"role": "probes",
"sha256": "71890850c625a796cce034edb4198d57f9e3cf4e8d0ed3989a063d940f9e310f"
},
{
"role": "runner",
"sha256": "b0eb82555abb59927d67d530e369c492f5975bf60c1bf2bf423b3e66dbc24f29"
}
],
"production_requests": 0,
"limits": [
"Deterministically scheduled SQL statements in one process and one SQLite connection.",
"No claim about distributed scheduling, Cloudflare D1 or physical effects.",
"The original package and report are retained unchanged; these are additional probes.",
"Only the runtime shown in this result was executed here."
]
}01Aussage
Eine Wiederholung erzeugt keinen zweiten Eintrag.
Solange der gespeicherte Eintrag besteht und unverändert ist, liefert eine gültige Anfrage mit derselben requestId und normalisiertem Inhalt die ursprüngliche Quittung zurück. Abweichender Inhalt unter dieser Kennung wird als Konflikt abgewiesen.
ANFRAGEKENNUNG7a345678-1234-4234-9234-123456789abc
02Artefakt
Einsehbarer Quellcode.
Die Dateien sind auf das Paket vom 12. Oktober 2026 festgelegt. Sie entsprechen nicht der aktuellen API-Implementierung mit HMAC, IP-Limits und Löschung über eine authentifizierte Identität.
ARTEFAKT-SHA-256
924bcddb97a58f886a7e4bdd8b3165aae6e05a4ca3b8f91184ce559ab4e9a07b03Eigenschaft
Höchstens ein Eintrag je Schlüssel.
∀ k · count(rows[k]) ≤ 1
Die Einschränkung PRIMARY KEY NOT NULL verhindert zwei Zeilen mit derselben Kennung. Der Handler gibt die gespeicherte Quittung nur bei übereinstimmenden Feldern zurück; andernfalls folgt 409.
Diese Invariante setzt voraus, dass SQLite seine Einschränkungen durchsetzt. Die Ergebnisse unten sind begrenzte Implementierungsprüfungen, kein formaler Beweis für den gesamten Code.
Archivierte SPEC.md — siehe Korrektur F-1 / F-2 oben → ↗04Verifikation
Ein beobachtetes Ausführungsergebnis.
347Handlerausführungen
81Sequenzen × 4 Anfragen
16gleichzeitige Aufrufe in einem Prozess
1Prüfung nach erneutem Öffnen der Datenbank
Jedes Wort der Länge vier über A / B / C: zwei verschiedene gültige Anfragen mit derselben Kennung und eine Anfrage ohne Einwilligung. 347 = 5 + 324 + 16 + 2. Kontrollanfragen + 81 × 4 Anfragen + gleichzeitige Aufrufe + erstes Schreiben und Wiederholung nach erneutem Öffnen der Datenbank.
| Prüfschritt | HTTP | Zeilen vorher → nachher | Beobachtung |
|---|---|---|---|
| Erste Übermittlung | 201 | 0 → 1 | Ein Eintrag erstellt |
| Exakte Wiederholung | 200 | 1 → 1 | Dieselbe Quittung |
| Normalisierte Wiederholung | 200 | 1 → 1 | Dieselbe Quittung |
| Geänderter Inhalt, gleiche Kennung | 409 | 1 → 1 | Konflikt, gespeicherter Eintrag unverändert |
| Fehlende Einwilligung | 400 | 1 → 1 | Abgewiesen, gespeicherter Eintrag unverändert |
Verbindung zu den Dateien prüfen.
Die Schaltfläche berechnet SHA-256 der heruntergeladenen Dateien neu und vergleicht die Werte mit dem festgelegten Manifest. Das prüft die Integrität in Ihrem Browser; die Servertests können Sie mit dem folgenden Befehl erneut ausführen.
In diesem Browser noch nicht geprüft.
10 Nutzdateien + manifest.json = 11 ZIP-Dateien
- README.md—
- SPEC.md—
- artifact/app/api/inquiries/route.ts—
- artifact/drizzle/0000_parallel_swordsman.sql—
- artifact/lib/inquiries.js—
- artifact/lib/inquiry-fields.js—
- fixtures.json—
- package.json—
- report.json—
- verify.mjs—
MANIFEST-SHA-256
797f9a0c63a718c324f25f58b12a70c3441675358321b4d3c505b078c14954c0Wählen Sie eine originale oder bearbeitete Kopie. Die Datei wird auf Ihrem Gerät verarbeitet und nicht hochgeladen.
Keine Datei ausgewählt.
Erwarteter Handler-SHA-256
ecec0fe67f3df9658c4a42e20d9e2c8f0aabf60d9584ec225f877c57b4302cd0SHA-256 der gewählten Datei
Ergebnis selbst reproduzieren.
Entpacken Sie das ZIP in einen neuen Ordner und führen Sie den Befehl aus. Erforderlich ist Node.js 24 oder neuer. Es gibt keine npm-Abhängigkeiten. Der Lauf verwendet temporäre SQLite-Datenbanken und schreibt verification.local.json.
node verify.mjsZIP SHA-256
4dba2dd9b34e0e39bbc859e5ac7f4cd9bb8b42ab12246736edbdafe919de57daREPRODUKTION / SELBER AUSFÜHRENDER
Gleiches Paket. Gleiche Methode.
Das öffentliche ZIP wurde heruntergeladen und unverändert erneut ausgeführt. Das bestätigt die Paketintegrität und Wiederholbarkeit des bestehenden Laufs in der angegebenen Umgebung.
- Unabhängige externe Verifikation
- Nicht durchgeführt
- Verhaltensabdeckung
- Dieselben 347 Anfragen; keine neuen Szenarien
- Heruntergeladenes ZIP
- Exakte SHA-256-Übereinstimmung
- Originaldateien
- 11 von 11 unverändert
Diese Wiederholung belegt weder Testvollständigkeit noch Neuartigkeit oder Schwierigkeit der Eigenschaft und erlaubt keine weitergehende Aussage zur Programmreife.
Reproduktion im Erstellungsablauf der Website ·
Ausgeführt von Codex im Erstellungsablauf der Website. Ein neues Verzeichnis auf demselben Host; eine Prüfung auf einem zweiten Rechner oder unter Netzwerkisolation wird nicht behauptet.
Wie werden Assertions gezählt und was bedeutet PASS?
Status des aufgezeichneten Berichts: PASS.
1.773 Assertions = 1.763 Prüfungen des ursprünglichen Laufs + zehn Dateihash-Prüfungen. Gezählt werden ausgeführte Assertions, keine eindeutigen Szenarien. PASS bedeutet, dass dieser Satz ohne Verletzung seiner Prüfbedingungen abgeschlossen wurde; es belegt nicht dessen Vollständigkeit.
Warum lieferte der erste Vergleich FAIL?
Ausführungszeiten ändern sich. Auch der Index der Anfrage, die in der Parallelgruppe den Eintrag erstellt, kann variieren. Beide Läufe behalten eine Zeile: eine Antwort 201 und fünfzehn Antworten 200. Sequenzielle Szenarien werden in ihrer ursprünglichen Reihenfolge verglichen.
Der erste Vergleich verlangte fälschlich denselben Gewinner der Parallelgruppe. Er lieferte FAIL, obwohl das unveränderte Prüfprogramm bestand. Die Vergleichsregel wurde an die behauptete Eigenschaft angepasst; das erste Ergebnis ist erhalten.
ZIP SHA-256
33e792457b56f56f4ef2a5ad9971deaa2133eb2ca4f30604f6baf4962329dfdeDer nächste Schritt ist eine Reproduktion durch eine andere Person auf einem anderen Rechner mit einem zugeordneten Bericht: Prüfer, Umgebung, Befehl, Pakethash, Ergebnis und Grenzen. Ein solcher Bericht ist hier noch nicht veröffentlicht. Testvollständigkeit und Aussagegehalt der Eigenschaft erfordern ein gesondertes Review von Spezifikation und Szenarien.
05Grenzen
Was dieses Ergebnis belegt.
- Die bereitgestellten Dateien wurden mit 347 Kontrollanfragen geprüft. Beliebige HTTP-Eingaben wurden nicht vollständig durchlaufen.
- Die ursprünglichen 16 gleichzeitigen Aufrufe erreichten den Insert-Race-Fallback nicht; alle Eingaben verwendeten en. Zusätzliche F-1-/F-2-Prüfungen sind oben dokumentiert. Verteilte Parallelität und Cloudflare D1 wurden nicht getestet.
- Die Datenbank wurde regulär geschlossen und erneut geöffnet. Absturzwiederherstellung und Stromausfall wurden nicht geprüft.
- Eine Quittung bestätigt einen Datenbankeintrag, keine menschliche Prüfung, Nachrichtenzustellung oder physische Handlung.
Die Verifikation wurde bei der Entwicklung dieses Beispiels erstellt und ausgeführt. Sie ist kein unabhängiges externes Audit.
Hashes binden Bytes an das veröffentlichte Manifest. Sie ersetzen keine unabhängig vertrauenswürdige Herausgebersignatur.
Dieser Fall betrifft einen Mechanismus dieser Website, nicht die Reife der Forschungsprogramme.