P10-L01 · P10 · P10-M01
Definir uma pergunta refutável e um âmbito limitado de cadeia e tempo
Pré-requisitos: P08-L08 · P09-L08
Objetivos de aprendizagem
- Definir uma pergunta refutável e um âmbito limitado de cadeia e tempo
- Escrever um teste de refutação antes de examinar um grafo.
Por que importa
Uma pergunta vaga como «Quem está por trás deste token?» agrega implicitamente financiamento, controlo técnico, identidade e motivo. Uma pergunta delimitada permite a um segundo analista discordar usando os mesmos registos em vez de uma narrativa concorrente.
Explicação
Comece com uma afirmação que possa ser refutada. Indique a rede, o identificador exato do ativo, o intervalo de blocos e o predicado do evento. Separe a observação necessária da hipótese que pode apoiar. «A saída X financiou a entrada Y?» é uma pergunta sobre o registo; «A mesma pessoa controla ambas?» exige outra ligação probatória.
Registe antecipadamente condições de apoio e de refutação. Se um caminho estiver ausente num indexador, verifique a cobertura antes de tratar a ausência como refutação. Um grafo limitado a uma cadeia não pode excluir um levantamento de uma exchange, uma ponte ou um acordo fora da cadeia. Defina uma regra de paragem: se o recibo ou a evidência de propriedade necessária estiver indisponível, limite a conclusão ou marque INSUFFICIENT EVIDENCE. Não alargue o âmbito só porque uma etiqueta parece interessante.
Mantenha quatro campos para cada afirmação: registo OBSERVED, interpretação INFERRED com alternativas, facto UNKNOWN e se as evidências disponíveis são suficientes para a conclusão proposta. UNKNOWN descreve um facto em falta; INSUFFICIENT EVIDENCE descreve uma decisão sobre uma afirmação. Um relatório pode observar uma transferência sem concluir sobre a propriedade.
Terminologia
Âmbito: rede, ativo, intervalo e predicado.
Refutador: registo que contradiria o teste indicado.
Ligação de atribuição: evidência que liga uma relação técnica ao controlador proposto.
Exemplo histórico
ILLUSTRATIVE: o analista R recebe uma captura que afirma que o ativo fictício T na rede N foi financiado pelo ator H. As linhas estipuladas mostram A → B no bloco 100 e C → B no bloco 102; não existem evidências de identidade. O âmbito proposto é N, blocos 99–103, ativo exato T. Estas etiquetas não são endereços reais. O predicado do registo pergunta se A financiou B nesse intervalo; uma afirmação separada de controlo humano permanece por testar.
Especificações visuais
Painel de evidências com duas colunas: predicado do registo e predicado de identidade. Mostre A → B e C → B como ligações estipuladas; não desenhe um círculo de proprietário comum. Acrescente um requisito de cobertura e uma caixa de paragem.
Legenda: Investigação fictícia delimitada; as ligações de financiamento não identificam uma pessoa.
SPECIFICATION_ONLY — o visual renderizado não foi produzido nem revisto independentemente.
O que a evidência demonstra
No conjunto estipulado, duas relações de financiamento são especificadas e a pergunta delimitada pode ser respondida. O plano permite rever os critérios de recolha e rejeição.
O que a evidência não demonstra
Não estabelece qualquer evento real de cadeia, identidade, propriedade, intenção ou histórico global de financiamento. Um resultado de âmbito reduzido não pode tornar-se uma acusação.
Erros comuns
Começar pela pessoa suspeita; tratar o destino comum B como controlo comum; alargar silenciosamente o intervalo; interpretar linhas do fornecedor em falta como prova de ausência de transação.
Exercício prático
Redija numa frase uma pergunta refutável sobre o registo e outra separada sobre propriedade. Especifique o intervalo, um refutador, um requisito prévio de cobertura e uma condição de paragem. Classifique as duas ligações de entrada e a afirmação sobre o ator H.
Mostrar correção detalhada
Pergunta sobre o registo: «Nos blocos 99–103 de N, B recebe uma transferência de A do ativo T?» Refutador: registos completos descodificados desse intervalo mostram outro ativo ou destino. Requisito de cobertura: todos os blocos e tipos de evento relevantes estão disponíveis. A → B e C → B são OBSERVED apenas neste conjunto fictício. O controlo pela mesma pessoa é UNKNOWN, e a evidência é INSUFFICIENT para atribuir ao ator H. Pare quando não for possível obter o intervalo necessário ou a ligação de atribuição.
Lista de verificação
- Indique a rede e o ativo exatos.
- Defina o intervalo e o predicado antes da recolha.
- Liste um refutador e um requisito prévio de cobertura do fornecedor.
- Separe afirmações sobre o registo, controlo e identidade.
Resumo
Uma investigação reprodutível começa com uma afirmação refutável e um âmbito verificável.
Resumo
- Delimite a pergunta antes da interpretação do grafo.
- Uma relação de financiamento e uma atribuição de propriedade exigem evidências diferentes.
- A falta de cobertura pode impedir uma conclusão.
Próxima lição
P10-L02
Ferramentas
Utilize a ferramenta BlockAssay indicada apenas como contexto de leitura de evidências. Esta lição não cria resultados de ferramenta, sessões de conta nem direitos de acesso. Exercício offline; não assine, implemente, aprove nem financie nada.
Fontes e limites das afirmações
- BTC: Guia de desenvolvimento Bitcoin — transações — As referências das entradas identificam saídas de transações anteriores; os scripts não identificam uma pessoa. Limite: Apenas documentação do mecanismo; os valores ilustrativos originais são estipulados, não são observações. Os registos históricos têm proveniência congelada separadamente e lacunas de recolha explícitas.
- API: Especificação da API pública Esplora — Rotas GET, satoshis inteiros e campos indexados de confirmação e gasto das saídas. Limite: Apenas documentação do mecanismo; os valores ilustrativos originais são estipulados, não são observações. Os registos históricos têm proveniência congelada separadamente e lacunas de recolha explícitas.
Classificações de evidência
ILLUSTRATIVE — entradas offline inteiramente fictícias; nenhuma observação atual.
Data de observação
null — nenhuma observação real
Versão do conteúdo
1
Data de revisão
null
Estado de revisão
needs_review
Especificações visuais
P10-L01-V01
Definir uma pergunta refutável e um âmbito limitado de cadeia e tempo
Investigação fictícia delimitada; as ligações de financiamento não identificam uma pessoa.
Painel de evidências com duas colunas: predicado do registo e predicado de identidade. Mostre A → B e C → B como ligações estipuladas; não desenhe um círculo de proprietário comum. Acrescente um requisito de cobertura e uma caixa de paragem.
Painel de evidências com duas colunas: predicado do registo e predicado de identidade. Mostre A → B e C → B como ligações estipuladas; não desenhe um círculo de proprietário comum. Acrescente um requisito de cobertura e uma caixa de paragem.
A 390 px, empilhe observações, pressupostos, lacunas e conclusão; mantenha os IDs completos e um equivalente textual integral. As tabelas largas deslocam-se localmente.
A prosa pode seguir RTL; os IDs, quantidades e eixos temporais permanecem LTR. Preserve o sentido das dependências.
P10-L01-ILLUSTRATIVE-v1
Fontes e limites das afirmações
BTC · PRIMARY_DOCUMENTATION
Guia de desenvolvimento Bitcoin — transações
- Afirmação sustentada
- As referências das entradas identificam saídas de transações anteriores; os scripts não identificam uma pessoa.
- Limite de verificação
- Apenas documentação do mecanismo; os valores ilustrativos originais são estipulados, não são observações. Os registos históricos têm proveniência congelada separadamente e lacunas de recolha explícitas.
- Data de verificação
- 2026-10-02
https://developer.bitcoin.org/devguide/transactions.html
API · PRIMARY_DOCUMENTATION
Especificação da API pública Esplora
- Afirmação sustentada
- Rotas GET, satoshis inteiros e campos indexados de confirmação e gasto das saídas.
- Limite de verificação
- Apenas documentação do mecanismo; os valores ilustrativos originais são estipulados, não são observações. Os registos históricos têm proveniência congelada separadamente e lacunas de recolha explícitas.
- Data de verificação
- 2026-10-02
https://github.com/Blockstream/esplora/blob/master/API.md
Proveniência dos dados
id: P10-L01-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.