Vai al contenutoBlockAssay

Evidenze mancanti, contrastanti e obsolete

P10-L06 · P10 · P10-M02

Risolvere conflitti o riportare evidenza insufficiente

ILLUSTRATIVE · needs_review

Prerequisiti: P10-L05

Obiettivi di apprendimento

  • Risolvere conflitti o riportare evidenza insufficiente
  • Risolvere misurazioni contrastanti per tempo, unità e copertura prima di scegliere un valore.

Perché è importante

Due fornitori possono dissentire perché hanno misurato finestre diverse, non perché uno inganni. Scegliere il valore conveniente nasconde il reale problema probatorio.

Spiegazione

Iniziare con un registro dei conflitti. Per ogni valore registrare identità dell’asset, catena, blocco/slot, unità grezza, base di finalità, paginazione e tempo di recupero. Normalizzare unità compatibili conservando risposte grezze. Valori di blocchi diversi possono entrambi essere osservazioni valide; non descrivono un’istantanea comune. Un campo mancante non è zero e un campo obsoleto non si aggiorna recuperando nuovamente la stessa cache.

Quando i record riguardano realmente lo stesso stato, verificare versione del decoder, decimali del token, eventi eliminati, trattamento di transazioni pendenti/riorganizzazioni e paginazione. Non fare la media di saldi incompatibili in una cifra sintetica di «consenso». Un record primario indipendente dello stato può risolvere un conflitto di campo, ma soltanto se ambito e identificatore corrispondono. Preservare il conflitto precedente e spiegare la risoluzione anziché sovrascrivere evidenze.

La conclusione deve identificare quali affermazioni più ristrette siano supportate e cosa rimanga indisponibile. UNKNOWN etichetta un campo irrisolto; INSUFFICIENT EVIDENCE significa che una decisione proposta, come un’accusa di prelievo, non è supportabile da quei campi. Il pannello vuoto di uno strumento può essere un difetto di copertura, non un risultato pulito.

Terminologia

Obsoleto: valore il cui stato misurato precede l’osservazione dichiarata.

Registro dei conflitti: record delle fonti affiancati con verifiche di campi compatibili.

Mancante: campo indisponibile, distinto da zero numerico.

Risoluzione: spiegazione del disaccordo supportata da evidenze.

Esempio storico

ILLUSTRATIVE: il fornitore A dà saldo 100 al blocco 50 con 0 decimali. Il fornitore B dà 9000 unità grezze al blocco 51 con 2 decimali: 90 unità visualizzate. Il fornitore C restituisce null al blocco 51 perché il suo tipo di evento supportato è indisponibile. Si propone un presunto prelievo di 10 unità, ma nessuna ricevuta della transizione è fornita.

Specifiche visive

Pannello delle evidenze con righe A/B/C, importi grezzi/visualizzati e colonne dei blocchi. Segnalare disallineamento temporale e C mancante; mostrare affermazione di prelievo come irrisolta, non contrassegno rosso di frode.

Didascalia: Osservazioni contrastanti fittizie riconciliate prima di qualsiasi attribuzione di eventi.

SPECIFICATION_ONLY — la visualizzazione non è stata prodotta o revisionata indipendentemente.

Cosa dimostrano le prove

A e B descrivono stati stipulati diversi di blocco; B si converte in 90 unità. C è mancante, non zero. L’apparente differenza da 100-a-90 è una possibile variazione di stato che richiede evidenza della transizione.

Cosa non dimostrano le prove

Non prova un evento di prelievo, intenzione del controllore, frode del fornitore o saldo attuale. Anche una differenza reale di saldo potrebbe riflettere diverse transizioni o contabilità incompatibile.

Errori comuni

Trattare null come zero; fare la media di 100 e 9000; ignorare blocchi diversi; chiamare la differenza furto; perdere record grezzi dopo normalizzazione.

Esercizio pratico

Costruire il registro dei conflitti, calcolare B, respingere un’aggregazione invalida e scrivere una conclusione sul prelievo proposto. Specificare il prossimo record decisivo da chiedere.

Mostra correzione dettagliata

A: blocco 50, raw100, decimals0, display100. B: blocco 51, raw9000, decimals2, display90. C: blocco 51, indisponibile, visualizzazione sconosciuta. Una media aritmetica mescola basi temporali e di unità ed è invalida. «I dati didattici contengono una differenza di 10 unità tra osservazioni di blocchi separati; meccanismo di prelievo e attribuzione non sono stabiliti». Richiedere ricevuta della transizione/riconciliazione dello stato per l’asset esatto tra blocchi50–51, con copertura pertinente completa. Mantenere C come lacuna di copertura del fornitore.

Lista di controllo

  • Allineare identità, unità, tempo e base di finalità.
  • Preservare null come indisponibile.
  • Respingere medie di stati incompatibili.
  • Nominare l’evidenza necessaria per risolvere l’affermazione specifica.

Riepilogo

Risolvere prima la base della misurazione; se l’evidenza decisiva della transizione è assente, riportare la precisa affermazione irrisolta.

Riepilogo

  • Null non è zero.
  • Stati di blocco diversi non sono un’istantanea.
  • Una sola differenza di saldo non nomina un meccanismo o motivo.

Lezione successiva

P10-L07

Strumenti

Usare lo strumento BlockAssay nominato soltanto come contesto di lettura delle evidenze. Questa lezione non crea output di strumenti, sessioni di account o diritti di accesso. Esercizio offline; non firmare, distribuire, approvare o finanziare nulla.

Fonti e limiti delle affermazioni

  • API: Specifica dell’API pubblica Esplora — Percorsi GET, satoshi interi e campi indicizzati di conferma/spesa degli output. Limite: Soltanto documentazione dei meccanismi; i valori illustrativi originali sono stipulati, non osservazioni. I record storici hanno provenienza congelata separatamente e lacune esplicite di raccolta.

Classificazioni delle prove

ILLUSTRATIVE — input offline interamente fittizi; nessuna osservazione attuale.

Data di osservazione

null — nessuna osservazione reale

Versione del contenuto

1

Data di revisione

null

Stato della revisione

needs_review

Specifiche visive

P10-L06-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

Risolvere conflitti o riportare evidenza insufficiente

Osservazioni contrastanti fittizie riconciliate prima di qualsiasi attribuzione di eventi.

Pannello delle evidenze con righe A/B/C, importi grezzi/visualizzati e colonne dei blocchi. Segnalare disallineamento temporale e C mancante; mostrare affermazione di prelievo come irrisolta, non contrassegno rosso di frode.

Pannello delle evidenze con righe A/B/C, importi grezzi/visualizzati e colonne dei blocchi. Segnalare disallineamento temporale e C mancante; mostrare affermazione di prelievo come irrisolta, non contrassegno rosso di frode.

Impilare osservazioni, ipotesi, lacune e conclusione a 390 px; conservare ID completi ed equivalente testuale completo. Ogni tabella larga scorre localmente.

La prosa può seguire RTL; ID, quantità e assi temporali rimangono LTR. Preservare la direzione delle dipendenze.

P10-L06-ILLUSTRATIVE-v1

Fonti e limiti delle affermazioni

API · PRIMARY_DOCUMENTATION

Specifica dell’API pubblica Esplora

Affermazione supportata
Percorsi GET, satoshi interi e campi indicizzati di conferma/spesa degli output.
Limite di verifica
Soltanto documentazione dei meccanismi; i valori illustrativi originali sono stipulati, non osservazioni. I record storici hanno provenienza congelata separatamente e lacune esplicite di raccolta.
Data della verifica
2026-10-02
Apri fonte primaria
https://github.com/Blockstream/esplora/blob/master/API.md

Provenienza dei dati

id: P10-L06-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.

Verifica il ragionamento

P10-L06-Q1 · Come deve diventare un valore visualizzato il null del fornitore C?
P10-L06-Q2 · B restituisce 9000 unità con due decimali. Qual è una visualizzazione compatibile?
P10-L06-Q3 · Perché non fare la media di A e B come saldo fidato?
P10-L06-Q4 · La differenza da 100-a-90 prova un prelievo?
P10-L06-Q5 · Che cosa deve succedere dopo che un record indipendente dello stesso stato risolve un errore del decoder?