P10-L01 · P10 · P10-M01
Définir une question réfutable et un périmètre borné de chaîne et de temps
Prérequis: P08-L08 · P09-L08
Objectifs pédagogiques
- Définir une question réfutable et un périmètre borné de chaîne et de temps
- Rédiger un test de réfutation avant d’examiner un graphe.
Pourquoi ce sujet compte
Une question vague comme « Qui est derrière ce token ? » regroupe implicitement financement, contrôle technique, identité et mobile. Une question bornée permet à un second analyste de contester à partir des mêmes enregistrements plutôt que d’un récit concurrent.
Explication
Commencez par une affirmation qui peut être réfutée. Nommez le réseau, l’identifiant exact de l’actif, l’intervalle de blocs et le prédicat d’événement. Séparez l’observation nécessaire de l’hypothèse qu’elle pourrait étayer. « La sortie X a-t-elle financé l’entrée Y ? » porte sur le registre ; « La même personne contrôle-t-elle les deux ? » exige un autre lien probant.
Consignez à l’avance les conditions de soutien et de réfutation. Si un chemin est absent d’un indexeur, vérifiez la couverture avant d’y voir une réfutation. Un graphe limité à une chaîne ne peut exclure un retrait d’exchange, un pont ou un accord hors chaîne. Définissez une règle d’arrêt : si le reçu ou la preuve de propriété nécessaire est indisponible, limitez la conclusion ou indiquez INSUFFICIENT EVIDENCE. N’élargissez pas le périmètre simplement parce qu’une étiquette semble intéressante.
Conservez quatre champs pour chaque affirmation : enregistrement OBSERVED, interprétation INFERRED avec alternatives, fait UNKNOWN et suffisance des preuves disponibles pour la conclusion proposée. UNKNOWN décrit un fait manquant ; INSUFFICIENT EVIDENCE décrit une décision sur une affirmation. Un rapport peut constater un transfert sans conclure à la propriété.
Terminologie
Périmètre : réseau, actif, intervalle et prédicat.
Réfutateur : enregistrement qui contredirait le test énoncé.
Lien d’attribution : preuve reliant une relation technique au contrôleur proposé.
Exemple historique
ILLUSTRATIVE : l’analyste R reçoit une capture affirmant que l’actif fictif T sur le réseau N a été financé par l’acteur H. Les lignes stipulées indiquent A → B au bloc 100 et C → B au bloc 102 ; aucune preuve d’identité n’existe. Le périmètre proposé est N, les blocs 99–103 et l’actif exact T. Ces étiquettes ne sont pas de vraies adresses. Le prédicat du registre demande si A a financé B dans cet intervalle ; une affirmation distincte sur un contrôleur humain reste non testée.
Spécifications visuelles
Panneau de preuves à deux colonnes : prédicat du registre et prédicat d’identité. Montrez A → B et C → B comme liens stipulés ; ne dessinez aucun cercle de propriétaire commun. Ajoutez une condition de couverture et une case d’arrêt.
Légende : Investigation fictive bornée ; les liens de financement n’identifient pas un humain.
SPECIFICATION_ONLY — le visuel rendu n’a pas été produit ni examiné indépendamment.
Ce que les preuves établissent
Dans le jeu de données stipulé, deux relations de financement sont spécifiées et la question bornée peut recevoir une réponse. Le plan rend les critères de collecte et de rejet vérifiables.
Ce que les preuves n’établissent pas
Cela n’établit aucun événement réel de chaîne, identité, propriété, intention ni historique global de financement. Un résultat de portée limitée ne peut devenir une accusation.
Erreurs fréquentes
Commencer par la personne soupçonnée ; assimiler la destination commune B à un contrôle commun ; élargir silencieusement l’intervalle temporel ; interpréter des lignes de fournisseur manquantes comme preuve d’absence de transaction.
Exercice pratique
Rédigez en une phrase une question réfutable sur le registre et une question distincte de propriété. Précisez l’intervalle, un réfutateur, une couverture préalable et une condition d’arrêt. Classez les deux liens entrants et l’affirmation concernant l’acteur H.
Afficher la correction détaillée
Question sur le registre : « Dans les blocs 99–103 de N, B reçoit-il un transfert de A pour l’actif T ? » Réfutateur : les enregistrements complets décodés pour cet intervalle montrent un autre actif ou une autre destination. Condition de couverture : tous les blocs et types d’événement pertinents sont disponibles. A → B et C → B sont OBSERVED uniquement dans ce jeu fictif. Le contrôle par un même humain est UNKNOWN et les preuves sont INSUFFICIENT pour attribuer à l’acteur H. Arrêtez-vous si l’intervalle nécessaire ou le lien d’attribution ne peut être obtenu.
Liste de contrôle
- Nommez le réseau et l’actif exacts.
- Énoncez l’intervalle et le prédicat avant la collecte.
- Listez un réfutateur et une couverture préalable du fournisseur.
- Séparez les affirmations sur le registre, le contrôle et l’identité.
Résumé
Une investigation reproductible commence par une affirmation réfutable et un périmètre vérifiable.
Résumé
- Borner la question avant d’interpréter le graphe.
- Une relation de financement et une attribution de propriété exigent des preuves différentes.
- Une couverture manquante peut empêcher une conclusion.
Leçon suivante
P10-L02
Outils
Utilisez l’outil BlockAssay nommé uniquement comme contexte de lecture des preuves. Cette leçon ne crée aucune sortie d’outil, session de compte ni droit d’accès. Exercice hors ligne ; ne signez, ne déployez, n’approuvez et ne financez rien.
Sources et limites des affirmations
- BTC: Guide développeur Bitcoin — transactions — Les références des entrées identifient les sorties de transactions antérieures ; les scripts n’identifient pas un humain. Limite : Documentation du mécanisme uniquement ; les valeurs illustratives originales sont stipulées, pas observées. Les enregistrements historiques disposent d’une provenance figée séparément et de lacunes de collecte explicites.
- API: Spécification de l’API publique Esplora — Routes GET, satoshis entiers et champs indexés de confirmation et de dépense des sorties. Limite : Documentation du mécanisme uniquement ; les valeurs illustratives originales sont stipulées, pas observées. Les enregistrements historiques disposent d’une provenance figée séparément et de lacunes de collecte explicites.
Classification des preuves
ILLUSTRATIVE — entrées hors ligne entièrement fictives ; aucune observation actuelle.
Date d’observation
null — aucune observation réelle
Version du contenu
1
Date de révision
null
Statut de révision
needs_review
Spécifications visuelles
P10-L01-V01
Définir une question réfutable et un périmètre borné de chaîne et de temps
Investigation fictive bornée ; les liens de financement n’identifient pas un humain.
Panneau de preuves à deux colonnes : prédicat du registre et prédicat d’identité. Montrez A → B et C → B comme liens stipulés ; ne dessinez aucun cercle de propriétaire commun. Ajoutez une condition de couverture et une case d’arrêt.
Panneau de preuves à deux colonnes : prédicat du registre et prédicat d’identité. Montrez A → B et C → B comme liens stipulés ; ne dessinez aucun cercle de propriétaire commun. Ajoutez une condition de couverture et une case d’arrêt.
À 390 px, empilez observations, hypothèses, lacunes et conclusion ; conservez les IDs complets et un équivalent textuel intégral. Tout tableau large défile localement.
La prose peut suivre RTL ; les IDs, quantités et axes temporels restent LTR. Préservez le sens des dépendances.
P10-L01-ILLUSTRATIVE-v1
Sources et limites des affirmations
BTC · PRIMARY_DOCUMENTATION
Guide développeur Bitcoin — transactions
- Affirmation étayée
- Les références des entrées identifient les sorties de transactions antérieures ; les scripts n’identifient pas un humain.
- Limite de vérification
- Documentation du mécanisme uniquement ; les valeurs illustratives originales sont stipulées, pas observées. Les enregistrements historiques disposent d’une provenance figée séparément et de lacunes de collecte explicites.
- Date de vérification
- 2026-10-02
https://developer.bitcoin.org/devguide/transactions.html
API · PRIMARY_DOCUMENTATION
Spécification de l’API publique Esplora
- Affirmation étayée
- Routes GET, satoshis entiers et champs indexés de confirmation et de dépense des sorties.
- Limite de vérification
- Documentation du mécanisme uniquement ; les valeurs illustratives originales sont stipulées, pas observées. Les enregistrements historiques disposent d’une provenance figée séparément et de lacunes de collecte explicites.
- Date de vérification
- 2026-10-02
https://github.com/Blockstream/esplora/blob/master/API.md
Provenance des données
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.