Liste de contrôle de recherche fondée sur les preuves

Source canonique EN · P01-L08 · 30 minutes estimées · needs_review

Étude en lecture seule. Aucune connexion de portefeuille, aucun argent réel, aucune phrase de récupération, clé privée, signature ou transaction de marché en direct. La durée est une estimation éditoriale ; les éléments visuels sont des spécifications, pas des composants déployés.

La qualité de la recherche dépend de la séparation entre observation et interprétation. Une liste de contrôle n’est utile que si elle change la formulation des conclusions et empêche les affirmations non étayées.

Définir l’affirmation avant de recueillir du matériel

Commencer par une phrase testable. « Ce contrat indique une offre particulière à un bloc particulier » diffère de « ce projet est sûr ». La première vise un enregistrement identifiable ; la seconde regroupe de nombreuses inconnues. Décomposer une affirmation large en champs rend les preuves manquantes visibles au lieu de les masquer sous une seule étiquette de confiance.

Relier une source à son rôle

Une spécification d’API explique le sens des champs [RPC] ; une norme de jeton explique la sémantique de l’interface [ERC20]. Aucune de ces pages de documentation ne prouve l’existence d’un solde fictif ou historique. Pour étayer une valeur, pointer vers l’enregistrement effectivement fourni et son contexte. Pour expliquer un calcul, préciser les enregistrements d’entrée et la méthode.

Une correspondance entre sources et affirmations doit indiquer quel champ d’enregistrement étaye quelle déclaration et où l’inférence commence. Copier une URL à la fin d’un rapport ne suffit pas lorsque cette URL ne traite que d’un mécanisme.

Appliquer les quatre états avec précision

OBSERVED : un champ directement inspectable ou la déclaration effective d’une publication, décrite à ce niveau. INFERRED : un calcul ou une interprétation avec des hypothèses explicites. UNKNOWN : un fait nécessaire manque. INSUFFICIENT EVIDENCE : le matériel disponible ne permet pas d’établir l’affirmation proposée. Ces étiquettes ne constituent pas un classement dans lequel chaque inconnue doit finir par devenir positive.

Une même source peut étayer une observation restreinte tout en laissant une affirmation plus large non étayée. Une allocation de dépense de jetons est la quantité qu’un dépensier précisé est autorisé à dépenser pour le compte d’un compte selon les règles du contrat de jeton [ERC20]. Une allocation fournie de zéro décrit une autorisation dans un contexte ; elle n’établit pas l’absence de tout chemin de perte d’actifs. La déclaration d’un site selon laquelle une équipe contrôle une adresse est observée comme une déclaration, tandis que l’attribution sous-jacente peut rester non étayée.

Choisir une prochaine demande utile

Demander un enregistrement, une date ou une méthode manquants précis. « Plus de recherche » est trop vague. Pour une heure manquante, demander le contexte de la source ; pour un écart d’offre, demander le contrat/bloc exact et la définition comptable. Pour une affirmation d’identité, ne pas demander de phrase de récupération ni utiliser un lien de financement comme substitut à l’attribution.

Arrêter le rapport à sa limite

Une conclusion concise peut rester utile avec des inconnues : préciser l’objet exact, les faits mesurés, le calcul et les affirmations non établies. Compléter cette liste de contrôle n’entraîne aucune action financière. Son but est une note de recherche défendable.

• Affirmation : proposition précise à tester.
• Provenance : origine d’un enregistrement et manière dont il a été obtenu.
• Inférence : conclusion dérivée sous des hypothèses.
• Couverture : partie de la question à laquelle répondent les enregistrements.

Dossier ILLUSTRATIVE à SIM-BLOCK-8. R1 : TOKEN-Q totalSupply brut=1000000, décimales fournies=2. R2 : allocation de dépense ACCOUNT-A→SPENDER-B=0 pour TOKEN-Q. R3 : la page du projet affirme « L’équipe contrôle A ». Aucun enregistrement indépendant d’identité, enregistrement de réserves ou horodatage n’est fourni.

Panneau de preuves reliant R1/R2/R3 à des affirmations restreintes et à quatre états étiquetés. Texte alternatif : les champs observés conduisent à un calcul d’offre ; l’identité et la sécurité restent non résolues.

Les champs stipulés, les calculs transparents et l’existence de l’affirmation.

Une couverture complète des autorisations, l’identité humaine, la couverture par des réserves ou une sécurité garantie.

• Citer la documentation d’un mécanisme comme un enregistrement.
• Marquer une affirmation large OBSERVED parce qu’un champ est visible.
• Remplacer une identité inconnue par une supposition fondée sur un cluster.

Rédiger quatre affirmations couvrant les états de preuve. Calculer l’offre affichée, évaluer « tous les fonds sont sûrs » et relier chaque conclusion à R1/R2/R3 ou à un enregistrement manquant. Proposer deux suivis ciblés.

Présenter un court tableau des éléments de preuve et le raisonnement, uniquement à partir du matériel fourni. Répartition suggérée : étude 12 min, inspection/calcul 8 min, correction/quiz 10 min.

• Une affirmation précise par ligne.
• Pointeur vers l’enregistrement et contexte.
• Hypothèses de l’inférence.
• Faits manquants et conclusions non étayées.
• Suivi ciblé sans secrets.

La qualité de la recherche dépend de la séparation entre observation et interprétation. Une liste de contrôle n’est utile que si elle change la formulation des conclusions et empêche les affirmations non étayées. Le matériel fourni étaye les champs stipulés, les calculs transparents et l’existence de l’affirmation. Il n’établit pas une couverture complète des autorisations, l’identité humaine, la couverture par des réserves ou une sécurité garantie.

• Attribuer les quatre états de preuve affirmation par affirmation.
• Rédiger une conclusion de recherche délimitée.
• Demander le plus petit élément de preuve permettant de combler une lacune.

P02-L01 après revue de cet exercice et de ses prérequis.

NONE. Le catalogue de référence n’exige aucun accès au produit pour cette leçon. Utiliser le matériel figé/hors ligne.

• [RPC] Ethereum JSON-RPC — Statut du reçu, contexte du bloc et résultats d’API dans le périmètre du réseau. Vérifié le 2026-10-01.
• [ERC20] Norme de jeton ERC-20 — Soldes de jetons, décimales facultatives, interfaces de transfert, d’approbation et d’allocation de dépense. Vérifié le 2026-10-01.

Les valeurs synthétiques sont des données d’entrée d’exercice créées par l’auteur. Les valeurs historiques éventuelles doivent utiliser le jeu de données lié et sa provenance plus restreinte. L’inspection des sources ne constitue pas une acceptation éditoriale indépendante.