Ambito dell’indagine e ipotesi

Una domanda vaga come «Chi c’è dietro questo token?» riunisce tacitamente finanziamento, controllo tecnico, identità e motivi. Una domanda delimitata permette a un secondo analista di dissentire usando gli stessi record anziché una storia concorrente.

Iniziare con un’affermazione che possa fallire. Nominare rete, identificatore esatto dell’asset, intervallo di blocchi e predicato dell’evento. Separare l’osservazione necessaria dall’ipotesi che può supportare. «L’output X ha finanziato l’input Y?» è una domanda sul registro; «La stessa persona controlla entrambi?» necessita di un collegamento probatorio diverso.

Registrare prima sia condizioni di supporto sia di confutazione. Se un percorso manca da un indicizzatore, verificare copertura prima di trattare l’assenza come confutazione. Un grafo limitato a una catena non può escludere prelievi da exchange, bridge o accordi fuori catena. Definire una regola di arresto: quando ricevuta necessaria o evidenza di proprietà sono indisponibili, restringere la conclusione o segnare INSUFFICIENT EVIDENCE. Non allargare l’ambito soltanto perché un’etichetta sembra interessante.

Mantenere quattro campi per ogni affermazione: record OBSERVED, interpretazione INFERRED con alternative, fatto UNKNOWN e sufficienza dell’evidenza disponibile per la conclusione proposta. UNKNOWN descrive un fatto mancante; INSUFFICIENT EVIDENCE descrive una decisione su un’affermazione. Un rapporto può osservare un trasferimento rinunciando a una conclusione di proprietà.

Ambito: rete, asset, intervallo e predicato.

Falsificatore: record che contraddirebbe la verifica dichiarata.

Collegamento di attribuzione: evidenza che connette una relazione tecnica al controllore proposto.

ILLUSTRATIVE: l’analista R riceve una schermata che afferma che l’asset fittizio T sulla rete N sia stato finanziato dall’attore H. Righe stipulate mostrano A → B al blocco 100 e C → B al blocco 102; non esiste evidenza d’identità. L’ambito proposto è N, blocchi 99–103, asset esatto T. Queste etichette non sono indirizzi reali. Il predicato del registro chiede se A abbia finanziato B nell’intervallo; un’affermazione separata di controllore umano rimane non verificata.

Pannello delle evidenze a due colonne: predicato del registro e predicato d’identità. Mostrare A → B e C → B come archi stipulati; non disegnare un cerchio di proprietario comune. Aggiungere una condizione di copertura e una casella di arresto.

Didascalia: Indagine delimitata fittizia; gli archi di finanziamento non identificano una persona.

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

Nei dati didattici stipulati sono specificate due relazioni di finanziamento e si può rispondere alla domanda delimitata. Il piano rende revisionabili i criteri di raccolta e rifiuto.

Non stabilisce alcun evento effettivo di catena, identità, proprietà, intenzione o cronologia globale del finanziamento. Un piccolo risultato delimitato non può diventare un’accusa.

Iniziare dalla persona sospettata; trattare destinazione condivisa B come controllo condiviso; espandere tacitamente l’intervallo temporale; interpretare righe mancanti del fornitore come prova di nessuna transazione.

Redigere una domanda falsificabile sul registro in una frase e una domanda separata sulla proprietà. Specificare intervallo, falsificatore, prerequisito di copertura e condizione di arresto. Classificare i due archi in entrata e l’affermazione sull’attore H.

• Nominare rete e asset esatti.
• Dichiarare intervallo e predicato prima della raccolta.
• Elencare un falsificatore e un prerequisito di copertura del fornitore.
• Separare affermazioni sul registro, controllo e identità.

Un’indagine riproducibile inizia con un’affermazione che possa fallire e un ambito verificabile.

• Delimitare la domanda prima di interpretare il grafo.
• Relazione di finanziamento e attribuzione di proprietà richiedono evidenze diverse.
• Copertura mancante può impedire una conclusione.

P10-L02

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.

• BTC: Guida per sviluppatori Bitcoin — transazioni — I riferimenti degli input identificano output di transazioni precedenti; gli script non identificano una persona. 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.
• 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.

ILLUSTRATIVE — input offline interamente fittizi; nessuna osservazione attuale.

null — nessuna osservazione reale

1

null

needs_review