P09-L06 · P09 · P09-M02
Construir grafo de evidência e testar hipóteses alternativas de propriedade
Pré-requisitos: P09-L05
Objetivos de aprendizagem
- Construir grafo tipado de evidência e coorte reproduzível.
- Comparar justamente hipóteses de controlo comum e serviço partilhado.
- Reconciliar fluxo interno/externo sem atribuição de identidade.
Master de origem EN · P09-L06 · 45 minutos estimados · needs_review
Por que importa
Agrupamento pode ser conjunto de observações, grupo algorítmico ou hipótese de propriedade. Usar uma palavra para os três convida atribuição não sustentada. Financiamento comum, tempos semelhantes e uso de aplicação partilhada podem ser relações reais sem provar proprietário humano comum.
Esta lição constrói grafo de evidência, compara explicações e mantém arestas incertas visíveis. Avaliará hipóteses pelo suporte e testes ausentes, não por confiança numérica de identidade sem calibração.
Explicação
Definir agrupamento neste contexto
Começar com regra explícita de pertença. «Endereços que recebem fundos nativos de HUB na janela W» define conjunto cofinanciado reproduzível. «Endereços controlados por uma pessoa» é hipótese mais forte que exige evidência independente de controlo.
Nomear conjunto segundo regra. Coorte cofinanciada pode servir inspeção adicional sem ser agrupamento de propriedade. Se método de agrupamento do fornecedor não é divulgado, preservar resultado como afirmação de fornecedor com mecanismo desconhecido.
Grafo deve separar nós do registo e de entidade. Endereços, programas e contas de tokens são objetos examináveis. Nó de pessoa ou organização exige fundamentação separada. Não o criar para simplificar diagrama.
Usar arestas tipadas e com fontes
Cada aresta exige rede, origem, destino, tipo, ativo/montante quando relevante, localizador de evento, contexto, resultado e cobertura. «Relacionado» é demasiado vago. Transferência nativa, campo de autoridade partilhado, derivação de programa e chamada à mesma aplicação respondem a perguntas diferentes.
Estruturas de resultado Solana distinguem instruções, signatários e saldos [S09-STRUCTURES]. Fornecem campos de mecanismo para examinar arestas, não identidade humana integrada. Pesquisa de assinaturas só descobre atividade que referencia endereço no seu âmbito [S09-SIGNATURES].
Para nós mediados por programa distinguir derivação e propriedade. PDA usam assinatura de programa em vez de chave privada [S09-PDA]. Programa partilhado pode processar muitos utilizadores independentes; derivar vários endereços de um programa não funde beneficiários por si só.
Separar observações e hipóteses
Desenhar arestas de movimento fornecido bem-sucedido como linhas contínuas. Desenhar ligações hipotéticas de controlo tracejadas com explicação. Aresta possível indisponível deve ser marcada desconhecida, não desenhada como medida.
Cofinanciamento observado sustenta relação. Pode ser compatível com controlo comum, levantamentos de custódia partilhada, distribuição pública, salários ou outro serviço comum. Alternativas não são todas provadas; mostram que observação não determina propriedade exclusivamente.
Transferência entre membros pode reforçar pergunta de coordenação mas não identifica controlador humano. Pagamento comercial, reembolso ou encaminhamento de serviço também podem ligar endereços independentes. Testar mecanismo em vez de contar setas como votos de identidade.
Evitar inflação de evidência dependente
«Mesmo minuto», «próximos» e «mesmo lote visível» podem ser três descrições de uma característica temporal. Não contar como confirmações independentes. Financiamento comum e proximidade temporal da mesma fonte podem também partilhar operação subjacente.
Rótulo de fornecedor e rótulo de interface copiado desse fornecedor são dependentes. Duas apresentações não duplicam evidência de identidade. Relatório deve agrupar afirmações por fonte anterior.
Nenhum limiar fixo como «três pistas significam mesmo proprietário» é justificado pelo conjunto. Modelo calibrado exigiria alvo definido, verdade de referência representativa e análise de erros. A lição usa estados qualitativos explícitos e pedidos de evidência falsificáveis.
Comparar justamente explicações concorrentes
Escrever previsões de cada explicação e o que as distinguiria. Controlo comum poderia prever autorização partilhada ou gestão coordenada, mas atividade pública comum não é exclusiva. Distribuição por serviço poderia prever muitos destinatários com comportamento posterior diferente, mas grafo parcial não estabelece população mais ampla.
Procurar evidência que enfraqueça interpretação preferida, não apenas exemplos compatíveis. Ausência de evidência contrária em exportação incompleta não confirma. Se nenhum registo fornecido discrimina hipóteses, declará-las não resolvidas.
Resultado válido pode ser «conjunto sustenta coorte cofinanciada; propriedade humana insuficientemente demonstrada». É resultado de análise, não falha da tarefa. Diz precisamente ao revisor onde investigação pode avançar.
Preservar limites do grafo e quantidades
Transferência dentro de coorte move inventário entre nós sem acrescentar financiamento externo. Somar todas as arestas mede movimento bruto, não entrada externa nem saldos. Reconciliar dentro de fronteira declarada.
Se HUB envia 10 a cada um de três membros e um envia depois 2 a outro, financiamento externo é 30. Volume bruto de arestas incluindo transferência interna é 32. Inventário da coorte permanece30 no modelo fechado sem taxas. Estatísticas têm nomes diferentes e não podem ser substituídas.
Não fundir vistas duplicadas de um evento. Manter localizadores de P09-L02. Aresta de chamada não tem quantidade sem efeito distinto de valor fornecido. Chamadas da aplicação no exercício não transportam montante nativo adicional.
Relatar relações sem atribuição pública de identidade
Manter rótulos de fornecedor, hipóteses de controlo e transferências observadas em secções diferentes. Usar identificadores neutros. Estatuto comercial, riqueza aparente e popularidade não elevam estado de evidência.
Nenhum grafo autoriza sinal de negociação ou acusação pública. Não identificar pessoa real por caminhos de financiamento nem inferir intenção de atividade aparentemente coordenada. Objetivo educativo é grafo auditável com alternativas, cobertura e próximas verificações.
Terminologia
- Coorte: conjunto selecionado por regra de observação divulgada.
- Hipótese de propriedade: controlo partilhado proposto que exige evidência separada.
- Aresta tipada: relação com mecanismo explícito.
- Pista dependente: evidência que descreve mesma observação subjacente.
- Entrada externa: movimento que atravessa para dentro da fronteira escolhida.
- Evidência discriminante: registo que distingue explicações concorrentes.
Exemplo histórico
ILLUSTRATIVE — FIX-P09-06. SIM-CHAIN-A, T1–T5 sintéticos. Saldos nativos começam0 para W1/W2/W3. Efeitos nativos listados completos; taxas e outros efeitos são0. Regra de coorte: recebe 10 de HUB durante T1–T3.
| Registo | Operação bem-sucedida fornecida |
|---|---|
| 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 chama APP, valor0 |
| G6 | T5 W2 chama APP, valor0 |
| L1 | fornecedor rotula HUB «serviço de salários»; fundamento ausente |
T1–T5 estabelecem só ordem sintética, não segundos reais. Sem assinaturas de autoridade partilhada, proveniência salarial autenticada ou identidade humana fornecidas. H1=controlador comum; H2=serviço partilhado/distribuidor público com destinatários independentes.
O que a evidência demonstra
OBSERVED no conjunto: W1/W2/W3 partilham fonte imediata de financiamento; W1/W2 interagem também com APP; ocorre movimento interno de2 unidades.
INFERRED: todos os três cumprem regra cofinanciada. Entrada externa 30, fluxo interno2 e saldo final de coorte 30 nas hipóteses do modelo.
O que a evidência não demonstra
UNKNOWN: propriedade humana, afiliação salarial, conjunto mais amplo de destinatários HUB e semântica de autorização APP.
INSUFFICIENT EVIDENCE: nem H1 nem H2 é exclusivamente estabelecida. Financiamento igual e ordem sintética próxima não provam controlo comum; L1 não autentica identidade salarial.
Erros comuns
Renomear conjunto cofinanciado como proprietário único; contar descrições temporais como pistas independentes; desenhar arestas presumidas contínuas; somar movimento interno ao financiamento externo; adotar rótulo de serviço para resolver hipótese.
Exercício prático
Construir grafo tipado e calcular saldos finais dos membros, entrada externa e volume bruto das arestas nativas. Comparar H1/H2 com suporte fornecido e próxima verificação para cada hipótese. Declarar se agrupamento de propriedade humana pode ser apresentado como provado.
Mostrar correção detalhada
Correção resolvida e raciocínio esperado
Arestas nativas contínuas G1–G4; separar arestas de chamada sem valor G5/G6. L1 continua anotação de fornecedor, não nó de entidade verificada. Toda ligação de controlo comum é hipótese tracejada.
Saldos finais: W1=10−2=8, W2=10+2=12, W3=10. Total30. Entrada externa 10+10+10=30; volume bruto das arestas nativas30+2=32. Fluxo interno não acrescenta financiamento.
Ambas as hipóteses são compatíveis com cofinanciamento. H1 exige evidência de controlo partilhado sustentada independentemente; H2 exige mecanismo autenticado de serviço e registos relevantes de distribuição mais ampla. Nem ausência de prova de controlo partilhado nem ausência de salários verificados prova hipótese rival.
Apresentar coorte cofinanciada, não proprietário humano provado. Pontuação em dez: grafo tipado (três), saldos e fronteiras de fluxo (três), comparação justa de hipóteses (dois), resultado delimitado/pedidos de evidência (dois).
Lista de verificação
- Publicar regra de pertença.
- Tipar e identificar fonte de cada aresta.
- Separar relações medidas de hipóteses de controlo.
- Agrupar pistas dependentes por mecanismo.
- Reconciliar fluxos internos e transfronteira.
- Testar alternativas e preservar atribuição não resolvida.
Resumo
Grafo útil pode estabelecer relações deixando propriedade não resolvida. Testes de hipóteses exigem evidência que distingue explicações.
Resumo
Financiamento comum não é propriedade comum. Vários rótulos temporais podem ser uma pista. Movimento interno altera alocação, não financiamento externo da coorte.
Especificações visuais
Grafo HUB→W1/W2/W3 quantidades10 e W1→W2 quantidade2; arestas APP distintas e valor0. Arestas observadas contínuas, possibilidades controlo/serviço H1/H2 tracejadas. Mostrar finais8/12/10, externo30 e bruto 32 com rótulos separados; L1 não verificado.
Coorte cofinanciada ilustrativa; propriedade permanece não resolvida.
Usar SVG/HTML determinista ou gráficos com unidades, localizadores de evidência e alternativas textuais. Azul-marinho/preto com ciano, azul elétrico e violeta discretos; sem capturas decorativas ou fabricadas de exploradores. A 390px empilhar anotações; verificar 768px, computador e RTL árabe quando os recursos forem implementados. Manter identificadores LTR e direções factuais de tempo/arestas/eixos inalteradas. Usar apenas a marca oficial BlockAssay fornecida. Ambos os registos visuais continuam especificações.
Ferramentas
WALLET_INTELLIGENCE corresponde à inspeção só de leitura de registos de endereços públicos, relações e proveniência. Verificar rede suportada, identificadores exatos, campos e cobertura antes de integrar na execução; não se afirma aqui qualquer capacidade de fornecedor em direto. Usar o exercício offline incluído se faltarem dados ou acesso pago. Não é necessária ligação de carteira, credenciais, chave privada, assinatura ou operação real de mercado. Dados ausentes continuam desconhecidos. Progresso Academy, estatuto de criador, pagamentos e referências nunca alteram evidência Radar.
Fontes e limites das afirmações
- Estruturas JSON do RPC Solana — Metadados de resultado, taxa, instruções e saldos como vistas distintas. Verificado em 2026-09-30.
- Solana getSignaturesForAddress — Histórico de assinaturas que referenciam o endereço, ordem da mais recente à mais antiga e paginação. Verificado em 2026-09-30.
- Endereços Solana derivados de programa — Endereços derivados de programa e assinatura pelo programa; sem chave privada de PDA. Verificado em 2026-09-30.
Todos os registos de exemplo são conjuntos originais ILLUSTRATIVE, não medições históricas/em direto da cadeia. A documentação explica mecanismos, não montantes ou rótulos inventados. A cronologia sintética é explicitamente delimitada; observedAt=null é intencional. OBSERVED num exercício significa um registo fornecido do conjunto. Rever documentação e descodificação implementada antes de publicar. Rótulos de fornecedor não estabelecem identidade; controlo de endereços e atribuição humana exigem evidências distintas.
Próxima lição
P09-L07 após o exercício resolvido e a revisão das perguntas.
Especificações visuais
P09-L06-V01
Que relações são observadas e que explicação de propriedade continua hipotética?
Coorte cofinanciada ilustrativa; propriedade permanece não resolvida.
Grafo HUB→W1/W2/W3 quantidades10 e W1→W2 quantidade2; arestas APP distintas e valor0. Arestas observadas contínuas, possibilidades controlo/serviço H1/H2 tracejadas. Mostrar finais8/12/10, externo30 e bruto 32 com rótulos separados; L1 não verificado.
Três endereços recebem10 cada de HUB; fluxo interno2 realoca para 8/12/10; chamadas de aplicação e rótulo de serviço não provam controlo humano partilhado.
390px: anotações empilhadas e equivalente textual acessível; verificação a 768px/no computador pendente
Rótulos/disposição RTL nativos; identificadores LTR; preservar tempo, eixo numérico e direção de transferência.
FIX-P09-06
P09-L06-V02
O que é observado, inferido, desconhecido ou insuficientemente sustentado?
Estados de evidência ilustrativos e limites de atribuição.
Quatro linhas rotuladas ligadas aos identificadores de registo, afirmação, limitação e próxima verificação desta lição; nunca mostrar uma identidade humana nem um veredicto de segurança.
Tabela de quatro estados de evidência com localizadores de registo e incerteza.
390px: anotações empilhadas e equivalente textual acessível; verificação a 768px/no computador pendente
Rótulos/disposição RTL nativos; identificadores LTR; preservar tempo, eixo numérico e direção de transferência.
FIX-P09-06
Fontes e limites das afirmações
S09-STRUCTURES · official_documentation_or_standard
Estruturas JSON do RPC Solana
- Afirmação sustentada
- Metadados de resultado, taxa, instruções e saldos como vistas distintas.
- Limite de verificação
- Página primária inspecionada; nenhum valor do registo ilustrativo nem rótulo de entidade verificado independentemente.
- Data de verificação
- 2026-09-30
https://solana.com/docs/rpc/json-structures
S09-SIGNATURES · official_documentation_or_standard
Solana getSignaturesForAddress
- Afirmação sustentada
- Histórico de assinaturas que referenciam o endereço, ordem da mais recente à mais antiga e paginação.
- Limite de verificação
- Página primária inspecionada; nenhum valor do registo ilustrativo nem rótulo de entidade verificado independentemente.
- Data de verificação
- 2026-09-30
https://solana.com/docs/rpc/http/getsignaturesforaddress
S09-PDA · official_documentation_or_standard
Endereços Solana derivados de programa
- Afirmação sustentada
- Endereços derivados de programa e assinatura pelo programa; sem chave privada de PDA.
- Limite de verificação
- Página primária inspecionada; nenhum valor do registo ilustrativo nem rótulo de entidade verificado independentemente.
- Data de verificação
- 2026-09-30
https://solana.com/docs/core/pda
Proveniência dos dados
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