P09-L06 · P09 · P09-M02
Costruire un grafo delle evidenze e verificare ipotesi alternative di proprietà
Prerequisiti: P09-L05
Obiettivi di apprendimento
- Costruire un grafo tipizzato delle evidenze e una coorte riproducibile.
- Confrontare equamente ipotesi di controllo comune e servizio condiviso.
- Riconciliare flusso interno/esterno senza attribuzione d’identità.
Master della fonte EN · P09-L06 · 45 minuti stimati · needs_review
Perché è importante
Un cluster può essere un insieme di osservazioni, un raggruppamento algoritmico o un’ipotesi di proprietà. Usare una parola per tutti e tre invita ad attribuzione non supportata. Finanziamento comune, tempi simili e uso della stessa applicazione possono essere relazioni autentiche senza provare un proprietario umano comune.
Questa lezione costruisce un grafo delle evidenze, confronta spiegazioni e tiene visibili gli archi incerti. Valuterai le ipotesi secondo supporto e verifiche mancanti anziché assegnare una confidenza numerica d’identità senza calibrazione.
Spiegazione
Definire che cosa significa cluster qui
Iniziare con una regola esplicita di appartenenza. «Indirizzi che ricevono fondi nativi da HUB nella finestra W» definisce un insieme riproducibile finanziato dalla stessa fonte. «Indirizzi controllati da una persona» è un’ipotesi più forte che richiede evidenza indipendente di controllo.
Nominare l’insieme secondo la sua regola. Una coorte finanziata dalla stessa fonte può essere utile per ulteriori esami senza essere un cluster di proprietà. Se il metodo di raggruppamento di un fornitore non è divulgato, conservare l’output come affermazione del fornitore con meccanismo sconosciuto.
Il grafo deve separare nodi del registro e nodi di entità. Indirizzi, programmi e account di token sono oggetti ispezionabili. Un nodo umano o organizzativo necessita di supporto separato. Non crearlo soltanto per semplificare il diagramma.
Usare archi tipizzati con fonti
Ogni arco necessita di rete, fonte, destinazione, tipo, asset/importo se pertinenti, riferimento all’evento, contesto, risultato e copertura. «Collegato» è troppo vago. Trasferimento nativo, campo di autorità condiviso, derivazione da programma e stessa chiamata di applicazione rispondono ciascuno a una domanda diversa.
Le strutture dei risultati Solana distinguono istruzioni, firmatari e saldi [S09-STRUCTURES]. Forniscono campi di meccanismo per esaminare gli archi, non un’identità umana incorporata. Una ricerca di firme scopre soltanto attività che cita l’indirizzo nel proprio ambito [S09-SIGNATURES].
Per nodi mediati da programma, distinguere derivazione e proprietà. I PDA usano firma del programma anziché chiave privata [S09-PDA]. Un programma condiviso può elaborare molti utenti indipendenti, quindi derivare più indirizzi da un programma non fonde di per sé i beneficiari.
Separare osservazioni e ipotesi
Disegnare archi di movimenti forniti riusciti come linee continue. Disegnare collegamenti ipotizzati di controllo come linee tratteggiate con spiegazione. Un possibile arco indisponibile deve essere segnato sconosciuto, non disegnato come misurato.
Il finanziamento comune osservato supporta una relazione. Può essere compatibile con controllo comune, prelievi da custodia condivisa, distribuzione pubblica, stipendi o un altro servizio comune. Queste alternative non sono tutte provate; mostrano che l’osservazione non determina univocamente la proprietà.
Un trasferimento tra due membri può rafforzare una domanda sul coordinamento, ma comunque non identifica un controllore umano. Pagamento commerciale, rimborso o instradamento di servizio possono anche collegare indirizzi indipendenti. Verificare il meccanismo anziché contare frecce come voti d’identità.
Evitare inflazione di evidenze dipendenti
«Stesso minuto», «ravvicinati» e «stesso gruppo visibile» possono essere tre descrizioni di una caratteristica temporale. Non contarle come conferme indipendenti. Anche finanziamento comune e tempi dalla stessa fonte possono condividere una sola operazione sottostante.
Un’etichetta del fornitore e una dell’interfaccia copiata da quel fornitore sono dipendenti. Due visualizzazioni non raddoppiano l’evidenza d’identità. Un rapporto dovrebbe raggruppare tali affermazioni per fonte a monte.
Nessuna soglia fissa come «tre indizi significano stesso proprietario» è giustificata dai dati didattici. Un modello calibrato richiederebbe obiettivo definito, verità di riferimento rappresentativa e analisi degli errori. La lezione usa invece stati qualitativi espliciti e richieste di evidenza falsificabili.
Confrontare equamente spiegazioni concorrenti
Scrivere che cosa prevede ogni spiegazione e che cosa la distinguerebbe. Il controllo comune potrebbe prevedere evidenza di autorizzazione condivisa o gestione coordinata, ma la sola attività pubblica condivisa non è esclusiva. Un’ipotesi di distribuzione di servizio potrebbe prevedere molti destinatari con comportamenti successivi diversi, ma un grafo parziale non può stabilire quella popolazione più ampia.
Cercare evidenze che potrebbero indebolire l’interpretazione preferita, non soltanto esempi compatibili. Evidenza contraria mancante in un’esportazione incompleta non è conferma. Se nessun record fornito discrimina le ipotesi, riportarle irrisolte.
Una conclusione valida può essere «i dati didattici supportano una coorte finanziata dalla stessa fonte; la proprietà umana è insufficientemente evidenziata». È un risultato di analisi, non un fallimento del compito. Dice precisamente al revisore dove l’indagine potrebbe avanzare.
Preservare limiti del grafo e delle quantità
Un trasferimento dentro una coorte sposta inventario tra nodi senza aggiungere nuovo finanziamento esterno. Sommare tutti gli archi misura movimento lordo, non afflusso esterno o saldi detenuti. Riconciliare entro un confine dichiarato.
Se HUB invia 10 a ciascuno di tre membri e uno successivamente invia 2 a un altro, il finanziamento esterno della coorte è 30. Il volume lordo degli archi di trasferimento, incluso quello interno, è 32. L’inventario della coorte rimane30 nel modello chiuso senza commissioni. Queste statistiche hanno nomi diversi e non sono sostituibili.
Non fondere viste duplicate di un evento. Mantenere i riferimenti agli eventi di P09-L02. Un arco di chiamata non ha quantità senza un effetto distinto di valore fornito. Le chiamate dell’applicazione in questo esercizio non portano importo nativo aggiuntivo.
Riportare relazioni senza attribuzione pubblica d’identità
Tenere etichette dei fornitori, ipotesi di controllo e trasferimenti osservati in sezioni diverse. Usare sempre identificatori neutrali. Stato commerciale, ricchezza apparente e popolarità non possono innalzare uno stato probatorio.
Nessun grafo autorizza un segnale di trading o un’accusa pubblica. Non identificare una persona reale da percorsi di finanziamento e non dedurre intenzioni da attività che sembra coordinata. L’obiettivo didattico è un grafo verificabile con alternative, copertura e verifiche successive.
Terminologia
- Coorte: insieme selezionato tramite una regola di osservazione divulgata.
- Ipotesi di proprietà: controllo condiviso proposto che necessita di evidenze separate.
- Arco tipizzato: relazione con meccanismo esplicito.
- Indizio dipendente: evidenza che descrive la stessa osservazione sottostante.
- Afflusso esterno: movimento che attraversa verso l’interno il confine scelto.
- Evidenza discriminante: record che distingue spiegazioni concorrenti.
Esempio storico
ILLUSTRATIVE — FIX-P09-06. SIM-CHAIN-A, T1–T5 sintetici. I saldi nativi iniziano0 per W1/W2/W3. Effetti nativi elencati completi; commissioni e altri effetti sono0. Regola della coorte: riceve 10 da HUB durante T1–T3.
| Record | Operazione riuscita fornita |
|---|---|
| G1 | T1 HUB→W1,10 NATIVE |
| G2 | T2 HUB→W2,10 NATIVE |
| G3 | T3 HUB→W3,10 NATIVE |
| G4 | T4 W1→W2,2 NATIVE |
| G5 | T5 W1 chiama APP, valore0 |
| G6 | T5 W2 chiama APP, valore0 |
| L1 | il fornitore etichetta HUB «servizio stipendi»; fondamento assente |
T1–T5 stabiliscono soltanto ordine sintetico, non secondi reali. Non sono fornite firme che provino autorità condivisa, provenienza autenticata degli stipendi o identità umana. H1=controllore comune; H2=servizio condiviso/distributore pubblico con destinatari indipendenti.
Cosa dimostrano le prove
OBSERVED nei dati didattici: W1/W2/W3 condividono la fonte immediata di finanziamento; W1/W2 interagiscono anche con APP; avviene un movimento interno di2 unità.
INFERRED: Tutti e tre soddisfano la regola di finanziamento dalla stessa fonte. Afflusso esterno 30, flusso interno2 e saldo finale della coorte 30 secondo le ipotesi del modello.
Cosa non dimostrano le prove
UNKNOWN: Proprietà umana, affiliazione agli stipendi, insieme più ampio di destinatari HUB e semantica di autorizzazione APP.
INSUFFICIENT EVIDENCE: Né H1 né H2 è stabilita univocamente. Finanziamento uguale e ordine sintetico ravvicinato non possono provare controllo comune; L1 non può autenticare identità del servizio stipendi.
Errori comuni
Rinominare un insieme finanziato dalla stessa fonte come un proprietario; contare descrizioni temporali come indizi indipendenti; disegnare continui archi ipotizzati; aggiungere movimento interno al finanziamento esterno; adottare un’etichetta di servizio per risolvere un’ipotesi.
Esercizio pratico
Costruire il grafo tipizzato e calcolare saldi finali dei membri, afflusso esterno e volume lordo degli archi nativi. Confrontare H1/H2 usando supporto fornito e una verifica successiva per ciascuna. Dichiarare se un cluster di proprietà umana possa essere riportato come provato.
Mostra correzione dettagliata
Correzione svolta e ragionamento atteso
Gli archi nativi continui sono G1–G4; separare archi di chiamata a valore zero G5/G6. L1 rimane un’annotazione del fornitore, non un nodo di entità verificata. Qualsiasi collegamento di controllo comune è un’ipotesi tratteggiata.
Saldi finali: W1=10−2=8, W2=10+2=12, W3=10. Totale30. Afflusso esterno 10+10+10=30; volume lordo degli archi nativi30+2=32. Il flusso interno non aggiunge finanziamento.
Entrambe le ipotesi sono compatibili con finanziamento dalla stessa fonte. H1 richiede evidenza di controllo condiviso supportata indipendentemente; H2 richiede meccanismo di servizio autenticato e pertinenti record più ampi di distribuzione. Né assenza di prova di controllo condiviso né assenza di stipendi verificati prova l’ipotesi rivale.
Riportare una coorte finanziata dalla stessa fonte, non un proprietario umano provato. Punteggio su dieci: grafo tipizzato (tre), saldi e limiti dei flussi (tre), confronto equo delle ipotesi (due), conclusione delimitata/richieste di evidenza (due).
Lista di controllo
- Pubblicare una regola di appartenenza.
- Tipizzare ogni arco e indicarne la fonte.
- Separare relazioni misurate e ipotesi di controllo.
- Raggruppare indizi dipendenti per meccanismo.
- Riconciliare flussi attraverso il confine e interni.
- Verificare alternative e preservare attribuzione irrisolta.
Riepilogo
Un grafo utile di cluster può stabilire relazioni lasciando irrisolta la proprietà. Verificare ipotesi richiede evidenze che distinguano le spiegazioni.
Riepilogo
Finanziamento comune non è proprietà comune. Diverse etichette temporali possono essere un indizio. Il movimento interno cambia allocazione, non finanziamento esterno della coorte.
Specifiche visive
Grafo HUB→W1/W2/W3 quantità10 e W1→W2 quantità2; archi di chiamata APP distinti e valore0. Archi osservati continui, possibilità H1/H2 di controllo/servizio tratteggiate. Mostrare finali8/12/10, esterno30 e lordo 32 con etichette separate; L1 non verificata.
Coorte illustrativa finanziata dalla stessa fonte; proprietà irrisolta.
Usare SVG/HTML deterministico o grafici con unità, riferimenti alle evidenze e alternative testuali. Blu navy/nero con tocchi sobri di ciano, blu elettrico e viola; nessuna schermata decorativa o inventata di explorer. A 390px impilare le annotazioni; verificare 768px, desktop e RTL arabo quando le risorse saranno implementate. Mantenere gli identificatori LTR e inalterate le direzioni fattuali del tempo, degli archi e degli assi. Usare soltanto il marchio ufficiale BlockAssay fornito. Entrambi i record visivi rimangono specifiche.
Strumenti
WALLET_INTELLIGENCE corrisponde all’ispezione in sola lettura di record di indirizzi pubblici, relazioni e provenienza. Verificare rete supportata, identificatori esatti, campi e copertura prima di qualsiasi integrazione a runtime; qui non si dichiara alcuna capacità di un fornitore in tempo reale. Usare l’esercizio offline incorporato se dati o accesso a pagamento non sono disponibili. Non sono richiesti connessione del wallet, credenziali, chiave privata, firma o operazione di mercato reale. I dati mancanti rimangono sconosciuti. Progressi Academy, stato di creatore, pagamenti e segnalazioni non alterano mai le evidenze Radar.
Fonti e limiti delle affermazioni
- Strutture JSON del RPC Solana — Metadati del risultato, commissione, istruzioni e saldi come viste distinte. Verificato il 2026-09-30.
- Solana getSignaturesForAddress — Cronologia delle firme che citano l’indirizzo, ordine dal più recente e paginazione. Verificato il 2026-09-30.
- Indirizzi Solana derivati da programma — Indirizzi derivati da programma e firma del programma; nessuna chiave privata del PDA. Verificato il 2026-09-30.
Tutti i record di esempio sono dati didattici originali ILLUSTRATIVE, non misurazioni storiche o in tempo reale della catena. La documentazione spiega i meccanismi, non gli importi o le etichette inventati. La cronologia sintetica è esplicitamente delimitata; observedAt=null è intenzionale. OBSERVED in un esercizio indica un record dei dati forniti. Riesaminare documentazione e decodifica distribuita prima della pubblicazione. Le etichette dei fornitori non stabiliscono identità; controllo degli indirizzi e attribuzione umana richiedono evidenze distinte.
Lezione successiva
P09-L07 dopo l’esercizio svolto e la revisione delle domande.
Specifiche visive
P09-L06-V01
Quali relazioni sono osservate e quale spiegazione della proprietà rimane ipotetica?
Coorte illustrativa finanziata dalla stessa fonte; proprietà irrisolta.
Grafo HUB→W1/W2/W3 quantità10 e W1→W2 quantità2; archi di chiamata APP distinti e valore0. Archi osservati continui, possibilità H1/H2 di controllo/servizio tratteggiate. Mostrare finali8/12/10, esterno30 e lordo 32 con etichette separate; L1 non verificata.
Tre indirizzi ricevono10 ciascuno da HUB; movimento interno2 rialloca a 8/12/10; chiamate all’applicazione ed etichetta di servizio non provano controllo umano condiviso.
390px: annotazioni impilate ed equivalente testuale accessibile; verifica a 768px/desktop in attesa
Etichette e disposizione RTL native; identificatori LTR; preservare tempo, asse numerico e direzione dei trasferimenti.
FIX-P09-06
P09-L06-V02
Che cosa è osservato, dedotto, sconosciuto o insufficientemente supportato?
Stati illustrativi delle evidenze e limiti dell’attribuzione.
Quattro righe etichettate collegate agli ID dei record, all’affermazione, al limite e alla verifica successiva della lezione; non mostrare mai un’identità umana o un giudizio di sicurezza.
Tabella dei quattro stati delle evidenze con riferimenti ai record e incertezza.
390px: annotazioni impilate ed equivalente testuale accessibile; verifica a 768px/desktop in attesa
Etichette e disposizione RTL native; identificatori LTR; preservare tempo, asse numerico e direzione dei trasferimenti.
FIX-P09-06
Fonti e limiti delle affermazioni
S09-STRUCTURES · official_documentation_or_standard
Strutture JSON del RPC Solana
- Affermazione supportata
- Metadati del risultato, commissione, istruzioni e saldi come viste distinte.
- Limite di verifica
- Pagina primaria esaminata; nessun valore illustrativo del registro o etichetta di entità verificato indipendentemente.
- Data della verifica
- 2026-09-30
https://solana.com/docs/rpc/json-structures
S09-SIGNATURES · official_documentation_or_standard
Solana getSignaturesForAddress
- Affermazione supportata
- Cronologia delle firme che citano l’indirizzo, ordine dal più recente e paginazione.
- Limite di verifica
- Pagina primaria esaminata; nessun valore illustrativo del registro o etichetta di entità verificato indipendentemente.
- Data della verifica
- 2026-09-30
https://solana.com/docs/rpc/http/getsignaturesforaddress
S09-PDA · official_documentation_or_standard
Indirizzi Solana derivati da programma
- Affermazione supportata
- Indirizzi derivati da programma e firma del programma; nessuna chiave privata del PDA.
- Limite di verifica
- Pagina primaria esaminata; nessun valore illustrativo del registro o etichetta di entità verificato indipendentemente.
- Data della verifica
- 2026-09-30
https://solana.com/docs/core/pda
Provenienza dei dati
id: FIX-P09-06
dataStatus: ILLUSTRATIVE
observedAt: null
source: Original frozen educational records embedded in this lesson
scope: Closed fictional co-funded cohort, internal transfer, zero-value app calls and unverified label.
identifiers: Invalid training labels; no usable addresses or signatures
timeBasis: Synthetic S/T or SIM-DAY markers explicitly defined in example; no real ledger/UTC observation