P10-L01 · P10 · P10-M01
Eine falsifizierbare Frage und einen begrenzten Chain-Zeit-Umfang definieren
Voraussetzungen: P08-L08 · P09-L08
Lernziele
- Eine falsifizierbare Frage und einen begrenzten Chain-Zeit-Umfang definieren
- Vor der Graphprüfung einen widerlegenden Test formulieren.
Warum das wichtig ist
Eine vage Frage wie „Wer steht hinter diesem Token?“ bündelt unbemerkt Finanzierung, technische Kontrolle, Identität und Motiv. Eine begrenzte Frage lässt einen zweiten Analysten anhand derselben Datensätze widersprechen, statt anhand einer konkurrierenden Erzählung.
Erklärung
Mit einer Aussage beginnen, die scheitern kann. Netzwerk, genaue Vermögenswertkennung, Blockintervall und Ereignisprädikat benennen. Die benötigte Beobachtung von der möglicherweise gestützten Hypothese trennen. „Finanzierte Output X den Input Y?“ ist eine Ledgerfrage; „Kontrolliert dieselbe Person beide?“ braucht eine andere Evidenzbrücke.
Stützende und widerlegende Bedingungen vorab registrieren. Fehlt ein Pfad bei einem Indexer, vor seiner Behandlung als Widerlegung die Abdeckung prüfen. Ein auf eine Chain begrenzter Graph kann weder Börsenabhebung noch Brücke oder Off-Chain-Vereinbarung ausschließen. Eine Stoppregel definieren: Fehlt der nötige Beleg oder die Eigentümerschaftsevidenz, die Schlussfolgerung eingrenzen oder INSUFFICIENT EVIDENCE markieren. Den Umfang nicht bloß erweitern, weil eine Bezeichnung interessant erscheint.
Für jede Aussage vier Felder führen: OBSERVED-Datensatz, INFERRED-Interpretation mit Alternativen, UNKNOWN-Tatsache und die Frage, ob verfügbare Evidenz für die vorgeschlagene Schlussfolgerung genügt. UNKNOWN beschreibt eine fehlende Tatsache; INSUFFICIENT EVIDENCE beschreibt eine Entscheidung über eine Aussage. Ein Bericht kann einen Transfer beobachten und dennoch einen Eigentümerschaftsschluss ablehnen.
Begriffe
Umfang: Netzwerk, Vermögenswert, Intervall und Prädikat.
Widerlegender Befund: Datensatz, der dem angegebenen Test widersprechen würde.
Zuordnungsbrücke: Evidenz, die eine technische Beziehung mit dem vorgeschlagenen Kontrolleur verbindet.
Historisches Beispiel
ILLUSTRATIVE: Analyst R erhält einen Screenshot mit der Behauptung, dass fiktiver Vermögenswert T auf Netzwerk N durch Akteur H finanziert wurde. Festgelegte Zeilen zeigen A → B bei Block 100 und C → B bei Block 102; keine Identitätsevidenz existiert. Vorgeschlagener Umfang ist N, Blöcke 99–103, exakter Vermögenswert T. Diese Bezeichnungen sind keine realen Adressen. Das Ledgerprädikat fragt, ob A B in diesem Intervall finanzierte; eine separate Aussage zu menschlicher Kontrolle bleibt ungeprüft.
Visuelle Spezifikationen
Zweispaltiges Evidenzpanel: Ledgerprädikat und Identitätsprädikat. A → B und C → B als festgelegte Kanten zeigen; keinen Kreis gemeinsamer Eigentümer zeichnen. Ein Abdeckungstor und ein Stoppfeld hinzufügen.
Bildunterschrift: Fiktive begrenzte Untersuchung; Finanzierungskanten identifizieren keinen Menschen.
SPECIFICATION_ONLY — die gerenderte Visualisierung wurde nicht erstellt oder unabhängig geprüft.
Was die Evidenz belegt
In der festgelegten Fixture sind zwei Finanzierungsbeziehungen angegeben und die begrenzte Frage ist beantwortbar. Der Plan macht Erhebungs- und Ablehnungskriterien prüfbar.
Was die Evidenz nicht belegt
Dies belegt kein tatsächliches Chain-Ereignis, keine Identität, Eigentümerschaft, Absicht oder globale Finanzierungshistorie. Ein kleines begrenztes Ergebnis darf keine Anschuldigung werden.
Häufige Fehler
Mit der verdächtigten Person beginnen; gemeinsames Ziel B als gemeinsame Kontrolle behandeln; das Zeitintervall stillschweigend erweitern; fehlende Anbieterzeilen als Beweis keiner Transaktion interpretieren.
Praktische Übung
Eine falsifizierbare Ledgerfrage in einem Satz und eine separate Eigentümerschaftsfrage formulieren. Intervall, widerlegenden Befund, Abdeckungsvoraussetzung und Stoppbedingung angeben. Die beiden Eingangskanten und die Aussage zu Akteur H klassifizieren.
Ausführliche Lösung anzeigen
Ledgerfrage: „Empfängt B innerhalb der N-Blöcke 99–103 einen Transfer von A für Vermögenswert T?“ Widerlegender Befund: vollständige dekodierte Datensätze dieses Intervalls zeigen einen anderen Vermögenswert oder ein anderes Ziel. Abdeckungsvoraussetzung: alle Blöcke und relevanten Ereignistypen sind verfügbar. A → B und C → B sind nur innerhalb dieser fiktiven Fixture OBSERVED. Kontrolle durch denselben Menschen ist UNKNOWN, und Evidenz ist INSUFFICIENT für die Zuordnung zu Akteur H. Stoppen, wenn das nötige Intervall oder die Zuordnungsbrücke nicht beschafft werden kann.
Checkliste
- Exaktes Netzwerk und Vermögenswert benennen.
- Intervall und Prädikat vor der Erhebung angeben.
- Widerlegenden Befund und Anbieterabdeckungsvoraussetzung auflisten.
- Ledger-, Kontroll- und Identitätsaussagen trennen.
Zusammenfassung
Eine reproduzierbare Untersuchung beginnt mit einer Aussage, die scheitern kann, und einem prüfbaren Umfang.
Zusammenfassung
- Die Frage vor der Graphinterpretation begrenzen.
- Finanzierungsbeziehung und Eigentümerschaftszuordnung erfordern verschiedene Evidenz.
- Fehlende Abdeckung kann eine Schlussfolgerung verhindern.
Nächste Lektion
P10-L02
Werkzeuge
Das genannte BlockAssay-Werkzeug nur als Kontext zum Lesen von Evidenz verwenden. Diese Lektion erstellt keine Werkzeugausgabe, Kontositzung oder Berechtigung. Offline-Übung; nichts signieren, bereitstellen, genehmigen oder finanzieren.
Quellen und Aussagegrenzen
- BTC: Bitcoin-Entwicklerleitfaden — Transaktionen — Inputreferenzen identifizieren frühere Transaktionsoutputs; Skripte identifizieren keinen Menschen. Grenze: Nur Mechanismusdokumentation; originale illustrative Werte sind festgelegt, keine Beobachtungen. Historische Datensätze haben separat eingefrorene Herkunft und ausdrückliche Erhebungslücken.
- API: Spezifikation der öffentlichen Esplora-API — GET-Routen, ganzzahlige Satoshis und indexierte Bestätigungs-/Ausgabestatusfelder. Grenze: Nur Mechanismusdokumentation; originale illustrative Werte sind festgelegt, keine Beobachtungen. Historische Datensätze haben separat eingefrorene Herkunft und ausdrückliche Erhebungslücken.
Evidenzklassifikationen
ILLUSTRATIVE — vollständig fiktive Offline-Eingaben; keine aktuelle Beobachtung.
Beobachtungsdatum
null — keine reale Beobachtung
Inhaltsversion
1
Prüfdatum
null
Prüfstatus
needs_review
Visuelle Spezifikationen
P10-L01-V01
Eine falsifizierbare Frage und einen begrenzten Chain-Zeit-Umfang definieren
Fiktive begrenzte Untersuchung; Finanzierungskanten identifizieren keinen Menschen.
Zweispaltiges Evidenzpanel: Ledgerprädikat und Identitätsprädikat. A → B und C → B als festgelegte Kanten zeigen; keinen Kreis gemeinsamer Eigentümer zeichnen. Ein Abdeckungstor und ein Stoppfeld hinzufügen.
Zweispaltiges Evidenzpanel: Ledgerprädikat und Identitätsprädikat. A → B und C → B als festgelegte Kanten zeigen; keinen Kreis gemeinsamer Eigentümer zeichnen. Ein Abdeckungstor und ein Stoppfeld hinzufügen.
Bei 390 px Beobachtungen, Annahmen, Lücken und Schlussfolgerung stapeln; vollständige IDs und komplette Textalternative erhalten. Breite Tabellen scrollen lokal.
Prosa kann RTL folgen; IDs, Mengen und Zeitachsen bleiben LTR. Abhängigkeitsrichtung erhalten.
P10-L01-ILLUSTRATIVE-v1
Quellen und Aussagegrenzen
BTC · PRIMARY_DOCUMENTATION
Bitcoin-Entwicklerleitfaden — Transaktionen
- Gestützte Aussage
- Inputreferenzen identifizieren frühere Transaktionsoutputs; Skripte identifizieren keinen Menschen.
- Verifikationsgrenze
- Nur Mechanismusdokumentation; originale illustrative Werte sind festgelegt, keine Beobachtungen. Historische Datensätze haben separat eingefrorene Herkunft und ausdrückliche Erhebungslücken.
- Prüfdatum
- 2026-10-02
https://developer.bitcoin.org/devguide/transactions.html
API · PRIMARY_DOCUMENTATION
Spezifikation der öffentlichen Esplora-API
- Gestützte Aussage
- GET-Routen, ganzzahlige Satoshis und indexierte Bestätigungs-/Ausgabestatusfelder.
- Verifikationsgrenze
- Nur Mechanismusdokumentation; originale illustrative Werte sind festgelegt, keine Beobachtungen. Historische Datensätze haben separat eingefrorene Herkunft und ausdrückliche Erhebungslücken.
- Prüfdatum
- 2026-10-02
https://github.com/Blockstream/esplora/blob/master/API.md
Datenherkunft
id: P10-L01-ILLUSTRATIVE-v1
dataStatus: ILLUSTRATIVE
observedAt: null
source: Original offline scenario in realOrHistoricalExample
scope: Fictional stipulated labels and values. No wallet, deployment, transaction, token launch or production observation.