P01-L08 · P01 · P01-M02
Classificar uma alegação de projeto nos quatro estados de evidência
Pré-requisitos: P01-L07
Objetivos de aprendizagem
- Classificar uma alegação de projeto nos quatro estados de evidência
- Atribuir os quatro estados de evidência alegação por alegação.
- Escrever uma conclusão de investigação delimitada.
- Pedir a menor evidência que resolva uma lacuna.
Master fonte EN · P01-L08 · 30 minutos estimados · needs_review
Estudo apenas de leitura. Sem ligação de carteira, dinheiro real, frase de recuperação, chave privada, assinatura ou negociação em direto. A duração é uma estimativa editorial; os recursos visuais são especificações, não componentes implementados.
Por que importa
Qualidade de investigação depende de separar observação e interpretação. Uma lista só é útil se mudar a formulação de conclusões e evitar alegações sem suporte.
Explicação
Definir alegação antes de recolher material
Começar com uma frase testável. «Este contrato reporta certa oferta em certo bloco» difere de «este projeto é seguro». A primeira aponta para registo identificável; a segunda junta muitas incógnitas. Dividir alegação ampla em campos torna evidência em falta visível, em vez de a ocultar sob etiqueta única de confiança.
Ligar fonte à sua função
Especificação API explica significado de campos [RPC]; norma de tokens explica semântica de interface [ERC20]. Nenhuma página prova existência de saldo fictício ou histórico. Para apoiar valor, apontar para registo efetivamente fornecido e contexto. Para explicar cálculo, declarar registos de entrada e método.
Correspondência fonte-alegação deve indicar que campo apoia que afirmação e onde começa inferência. Copiar URL para fim de relatório não basta se só discutir mecanismo.
Aplicar precisamente os quatro estados
OBSERVED: campo diretamente inspecionável ou declaração efetiva de publicação, descrita a esse nível. INFERRED: cálculo ou interpretação com pressupostos explícitos. UNKNOWN: falta facto necessário. INSUFFICIENT EVIDENCE: material disponível não estabelece a alegação. As etiquetas não são classificação em que todas as incógnitas acabem positivas.
Uma fonte pode apoiar observação restrita e deixar alegação ampla sem suporte. Autorização de despesa de token é quantidade que um autorizado específico pode gastar por uma conta sob regras do contrato [ERC20]. Autorização zero fornecida descreve uma permissão num contexto; não estabelece ausência de todas as vias de perda. Declaração web de que equipa controla endereço é observada como declaração; atribuição subjacente pode continuar sem suporte.
Escolher próximo pedido útil
Pedir registo, data ou método específico em falta. «Mais investigação» é vago. Para hora ausente, contexto da fonte; para discrepância de oferta, contrato/bloco exato e definição contabilística. Para identidade, não pedir frase de recuperação nem substituir atribuição por ligação de financiamento.
Terminar relatório no seu limite
Conclusão breve pode ser útil com incógnitas: objeto exato, factos medidos, cálculo e alegações não estabelecidas. Completar a lista não implica ação financeira. Objetivo: nota de investigação defensável.
Terminologia
- Alegação: proposição específica a testar.
- Proveniência: origem do registo e como foi obtido.
- Inferência: conclusão derivada sob pressupostos.
- Cobertura: parte da questão respondida pelos registos.
Exemplo histórico
Dossier ILLUSTRATIVE em SIM-BLOCK-8. R1: TOKEN-Q totalSupply bruto=1000000, casas decimais fornecidas=2. R2: autorização de despesa ACCOUNT-A→SPENDER-B=0 para TOKEN-Q. R3: página alega «Equipa controla A». Não há registo independente de identidade, reservas ou tempo fornecido.
Especificações visuais
Painel de evidência com R1/R2/R3 ligados a alegações restritas e quatro estados identificados. Texto alternativo: campos observados levam a cálculo de oferta; identidade e segurança continuam por resolver.
O que a evidência demonstra
Campos estipulados, cálculo transparente e existência da alegação.
O que a evidência não demonstra
Cobertura integral de permissões, identidade humana, cobertura por reservas ou segurança garantida.
Erros comuns
- Citar documentação de mecanismo como registo.
- Marcar alegação ampla OBSERVED porque um campo é visível.
- Substituir identidade desconhecida por palpite de agrupamento.
Exercício prático
Escrever quatro alegações cobrindo estados de evidência. Calcular oferta apresentada, avaliar «todos os fundos estão seguros» e ligar conclusões a R1/R2/R3 ou registo ausente. Propor dois seguimentos dirigidos.
Entregar uma pequena tabela de evidência e raciocínio, usando apenas o material fornecido. Distribuição sugerida: estudo 12 min, inspeção/cálculo 8 min, correção/questionário 10 min.
Mostrar correção detalhada
OBSERVED nos dados educativos: oferta bruta e casas decimais R1; autorização zero selecionada R2; declaração de atribuição R3. INFERRED: oferta apresentada=10000 sob casas decimais fornecidas. UNKNOWN: controlador humano, reservas e hora UTC. INSUFFICIENT EVIDENCE: segurança de todos os fundos e controlo da equipa estabelecido independentemente. Pedir contexto de fonte para hora e atribuição apoiada independentemente; não pedir segredos.
Grelha de revisão: 1 ponto por âmbito exato, proveniência da fonte/dados educativos, raciocínio correto, limites explícitos e utilização segura sem ligação (5 no total). Observação inventada ou atribuição humana sem suporte exige correção independentemente da pontuação. É avaliação formativa, não certificação.
Lista de verificação
- Uma alegação precisa por linha.
- Referência ao registo e contexto.
- Pressupostos de inferência.
- Factos em falta e conclusões sem suporte.
- Seguimento dirigido sem segredos.
Resumo
Qualidade de investigação depende de separar observação e interpretação. Uma lista só é útil se mudar a formulação de conclusões e evitar alegações sem suporte. O material apoia campos estipulados, cálculo transparente e existência da alegação. Não estabelece cobertura integral de permissões, identidade humana, cobertura por reservas ou segurança garantida.
Resumo
- Atribuir os quatro estados de evidência alegação por alegação.
- Escrever uma conclusão de investigação delimitada.
- Pedir a menor evidência que resolva uma lacuna.
Próxima lição
P02-L01 após rever este exercício e os seus pré-requisitos.
Ferramentas
NONE. O catálogo autoritativo não exige acesso ao produto nesta lição. Usar material congelado/sem ligação.
Fontes e limites das afirmações
- [RPC] JSON-RPC Ethereum — Estado do recibo, contexto do bloco e resultados de API no âmbito da rede. Verificado em 2026-10-01.
- [ERC20] Norma de tokens ERC-20 — Saldos de tokens, casas decimais opcionais e interfaces de transferência, aprovação e autorização de despesa. Verificado em 2026-10-01.
Valores sintéticos são entradas de exercício criadas pelo autor. Eventuais valores históricos devem usar o conjunto de dados associado e a sua proveniência mais restrita. Inspeção de fontes não é aceitação editorial independente.
Especificações visuais
P01-L08-V01
Classificar uma alegação de projeto nos quatro estados de evidência
Dados educativos ilustrativos; não é um ecrã em direto
Painel de evidência com R1/R2/R3 ligados a alegações restritas e quatro estados identificados. Texto alternativo: campos observados levam a cálculo de oferta; identidade e segurança continuam por resolver.
campos observados levam a cálculo de oferta; identidade e segurança continuam por resolver.
390px: linhas empilhadas com equivalente textual completo; aceitação da renderização a 768px/computador pendente
Texto RTL; identificadores e unidades numéricas permanecem LTR; preservar o sentido factual das setas
FIX-P01-L08
Fontes e limites das afirmações
RPC · PRIMARY_DOCUMENTATION
JSON-RPC Ethereum
- Afirmação sustentada
- Estado do recibo, contexto do bloco e resultados de API no âmbito da rede.
- Limite de verificação
- Página primária inspecionada para o mecanismo indicado ou publicação atribuída; não autentica dados ilustrativos.
- Data de verificação
- 2026-10-01
https://ethereum.org/en/developers/docs/apis/json-rpc/
ERC20 · PRIMARY_DOCUMENTATION
Norma de tokens ERC-20
- Afirmação sustentada
- Saldos de tokens, casas decimais opcionais e interfaces de transferência, aprovação e autorização de despesa.
- Limite de verificação
- Página primária inspecionada para o mecanismo indicado ou publicação atribuída; não autentica dados ilustrativos.
- Data de verificação
- 2026-10-01
https://eips.ethereum.org/EIPS/eip-20
Proveniência dos dados
id: FIX-P01-L08
dataStatus: ILLUSTRATIVE
source: Original teaching fixture embedded below; not externally observed
observedAt: null
timeBasis: SIM/T markers are fictional; no real timestamp or chain observation
scope: Invalid training labels; no usable wallet, key or signature