Ir para o conteúdoBlockAssay

Carteiras relacionadas e agrupamentos

P09-L06 · P09 · P09-M02

Construir grafo de evidência e testar hipóteses alternativas de propriedade

ILLUSTRATIVE · needs_review

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.

RegistoOperação bem-sucedida fornecida
G1T1 HUB→W1,10 NATIVE
G2T2 HUB→W2,10 NATIVE
G3T3 HUB→W3,10 NATIVE
G4T4 W1→W2,2 NATIVE
G5T5 W1 chama APP, valor0
G6T5 W2 chama APP, valor0
L1fornecedor 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

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

SPECIFICATION_ONLY · ILLUSTRATIVE

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

SPECIFICATION_ONLY · ILLUSTRATIVE

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
Abrir fonte primária
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
Abrir fonte primária
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
Abrir fonte primária
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

Teste seu raciocínio

P09-L06-Q1 · Que grupo é sustentado reproduzivelmente?
P09-L06-Q2 · Quais são saldos nativos finais W1/W2/W3?
P09-L06-Q3 · Qual é financiamento externo da coorte?
P09-L06-Q4 · Como tratar pistas mesmo minuto/proximidade/lote se descrevem um evento?
P09-L06-Q5 · Que hipótese é provada exclusivamente aqui?