Preuves manquantes, contradictoires et périmées

Deux fournisseurs peuvent diverger parce qu’ils ont mesuré des fenêtres différentes, pas parce que l’un trompe. Choisir la valeur commode dissimule le véritable problème de preuve.

Commencez par un registre de conflits. Pour chaque valeur, consignez identité de l’actif, chaîne, bloc/slot, unité brute, base de finalité, pagination et heure de collecte. Normalisez les unités compatibles tout en conservant les réponses brutes. Des valeurs de blocs différents peuvent être toutes deux des observations valides ; elles ne décrivent pas un instantané commun. Un champ manquant n’est pas zéro et un champ périmé n’est pas actualisé en récupérant de nouveau le même cache.

Quand les enregistrements visent réellement le même état, testez la version du décodeur, les décimales token, les événements perdus, la gestion des événements en attente/réorganisations et la pagination. Ne moyennez pas les soldes incompatibles en un chiffre synthétique de « consensus ». Un enregistrement primaire d’état indépendant peut résoudre un conflit de champ, seulement si son périmètre et son identifiant correspondent. Conservez le conflit précédent et expliquez la résolution au lieu d’écraser les preuves.

La conclusion doit identifier les affirmations plus limitées étayées et ce qui reste indisponible. UNKNOWN étiquette un champ non résolu ; INSUFFICIENT EVIDENCE signifie qu’une décision proposée, telle une accusation de retrait, ne peut être étayée par ces champs. Un panneau vide d’outil peut être un défaut de couverture, pas un résultat sans problème.

Périmée : valeur dont l’état mesuré précède l’observation revendiquée.

Registre de conflits : enregistrements de sources côte à côte avec vérifications de compatibilité des champs.

Manquant : champ indisponible, distinct du zéro numérique.

Résolution : explication du désaccord étayée par les preuves.

ILLUSTRATIVE : le fournisseur A donne un solde 100 au bloc 50 avec 0 décimales. Le fournisseur B donne 9000 unités brutes au bloc 51 avec 2 décimales : 90 unités affichées. Le fournisseur C renvoie null au bloc 51 parce que son type d’événement pris en charge est indisponible. Un retrait allégué de 10 unités est proposé, sans reçu de transition fourni.

Panneau de preuves avec lignes A/B/C, montants bruts/affichés et colonnes de blocs. Signalez le décalage temporel et C manquant ; montrez l’affirmation de retrait non résolue, pas un badge rouge de fraude.

Légende : Les observations fictives contradictoires sont réconciliées avant toute attribution d’événement.

SPECIFICATION_ONLY — le visuel rendu n’a pas été produit ni examiné indépendamment.

A et B décrivent des états de blocs stipulés différents ; B se convertit en 90 unités. C est manquant, pas zéro. L’écart apparent de 100 à 90 est un changement d’état possible exigeant une preuve de transition.

Cela ne prouve ni événement de retrait, intention du contrôleur, fraude du fournisseur ni solde actuel. Même un écart réel de solde pourrait refléter plusieurs transitions ou une comptabilité incompatible.

Traiter null comme zéro ; moyenner 100 et 9000 ; ignorer le décalage de blocs ; appeler l’écart un vol ; perdre les enregistrements bruts après normalisation.

Construisez le registre de conflits, calculez B, rejetez une agrégation invalide et rédigez une conclusion sur le retrait proposé. Précisez le prochain enregistrement décisif à demander.

• Alignez identité, unité, temps et base de finalité.
• Conservez null comme indisponible.
• Rejetez les moyennes d’états incompatibles.
• Nommez les preuves nécessaires pour résoudre l’affirmation précise.

Résolvez d’abord la base de mesure ; si la preuve décisive de transition manque, rapportez précisément l’affirmation non résolue.

• Null n’est pas zéro.
• Des états de blocs différents ne sont pas un même instantané.
• Un écart de solde seul ne nomme ni mécanisme ni mobile.

P10-L07

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.

• 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.

ILLUSTRATIVE — entrées hors ligne entièrement fictives ; aucune observation actuelle.

null — aucune observation réelle

1

null

needs_review