Phase 13: Tools & Protocols

Evidências, Confiança e Desconhecidos na Análise Binária

Type: Build

Languages: Python, C

Prerequisites: Phase 13 · 32 (ELF from scratch), Phase 13 · 33 (disassembly and control flow), Phase 13 · 34 (lifting to pseudocode)

Time: ~105 minutes

Objetivos de aprendizagem

• Construir um registro de evidências baseado nos dados rea.Evidencecom confiança observada, derivada e inferida.
• Compute ids de conteúdo-hash que permanecem os mesmos quando o arquivo se move para outra pasta.
• Registrem o que cada fornecedor não pode mostrar como limitações que viajam com o registro.
• Recusar-se a declarar um resultado até que uma execução observada da função o apoie.
• Mantenha os desconhecidos residuais como registros revisados unidos por uma cadeia de hash.
• O provedor de cache responde sob uma chave exata e recusa uma repetição obsoleta.

O problema

Perguntas a um agente o que ?gradeem ledger-x86_64-O1.oO agente chama rea, lê o pseudódromo Ghidra e responde 0. Um revisor pergunta como o agente sabe. O agente tem um bloco de texto que Ghidra imprimido. Para o caminho padrão, esse texto lêuVar1 = -(param_1 >> 0x1f) ^ (uint)((ulong)((long)param_1 * 0x66666667) >> 0x3f);Os bytes naquele momento dizem:xor eax, eax- Não .

A expressão e a instrução produzem 0 para cada entrada. O agente não sabia disso.NDSS BAR 2026O estudo de 2026 colocou texto dentro de binários e descobriu que os modelos propunha a ação insegura implantada em 35 dos 40 casos (arXiv 2607.12507)).

A rea 6.5.0 dá ao agente um vocabulário para isso.Evidenceregistro com um confidencedeobserved- Não .derived, ou inferred, um authority, e uma lista delimitationsA habilidade embalada diz ao agente: "Toda conclusão deve distinguir observações, inferências e desconhecidos. Cite IDs de Evidência, preserve limitações e cobertura incompleta, e nunca implica que a análise estática observou execução".

Três coisas rea deixa para você. Seus snapshots cache resultados exatos de consulta, não análise. Sua verificação passa uma reivindicação quando uma dimensão de comparação é inalterada, e seu próprio comentário diz que um passe "não estabelece equivalência global de implementação".verified- Não.

Esta lição construi a peça que falta em Python simples. Você escreve um livro que armazena todos os fatos sobre o dispositivo como um registro com um hash de conteúdo. Você faz previsões sobrepercent_changeE ...gradeImporta dois registros reais reais e a imagem de onde vieram, e o seu livro conta com cada hash rea escrito.

Três palavras para confiança, cinco para autoridade

confidenceé um enum com três valores, nunca um número. authorityQuando um produtor não diz nada, rea usashipped-artifactcomobserved- Não .

O primeiro trata de pseudocódio como uma observação do comportamento. É uma observação do que Ghidra imprimiu. O segundo trata de uma lista vazia como prova de ausência.code/main.pycodifica ambas as regras.

O registro

Um registro tem exatamente 16 campos, e rea 6.5.0 rejeita qualquer outro campo. code/main.pymantém os mesmos nomes que rea, então um registro de cada lado valida no outro.relationship_coverage, diz o quão completo é uma lista de chamadores ou chamados.complete- Não .partial, ou unknown, ou nullQuando a operação não relaciona ligações.

Este é o verdadeiro disco que escrevi para .gradeO arquivo completo é:code/fixtures/rea-evidence-grade.json, 37.573 bytes.

jsonCopy{
  "evidence_id": "ev_67b6d3f992eaf49a2e16de084b6ebfdd9884e8c5c7f75e175b7bb20f4f748ce1",
  "subject": {
    "name": "ledger-x86_64-O1.o",
    "digest": { "sha256": "9a4a8082ba5e285a732552981a6935e0c5255725664f380e37c44ebfb04d803f" },
    "format": "elf",
    "architecture": "x86_64",
    "local_path": "/private/tmp/aiefs-re/phases/13-tools-and-protocols/35-evidence-confidence-and-unknowns/code/fixtures/ledger-x86_64-O1.o"
  },
  "provider": { "id": "ghidra", "name": "Ghidra", "version": "12.1.4" },
  "analysis_profile": {
    "provider": { "id": "ghidra", "name": "Ghidra", "version": "12.1.4" },
    "parameters": { "jump_table_evidence": "typed-case-default-blocks-v1", "import_mode": "ephemeral-source-immutable" },
    "digest": "9c7f6b24be69294e61da046e4583e3856cb9e40433b149c1bf8bb534d2fe03ef"
  },
  "operation": "analyze_function",
  "parameters": { "procedure": "grade" },
  "confidence": "observed",
  "authority": "shipped-artifact",
  "environment": null,
  "limitations": [
    "Default-space addresses use lowercase 0x-prefixed hexadecimal; other address spaces use <percent-encoded-space>:0x<hex>.",
    "Resolved reference metadata identifies computed, indirect, external, call, jump, and data edges; unresolved targetless flows remain unknown, and function classifications distinguish thunks and externals."
  ],
  "relationship_coverage": {
    "status": "complete",
    "diagnostics": [
      "Only resolved Ghidra call references are returned; unresolved computed or indirect calls remain unknown, while function classifications distinguish thunks and externals."
    ]
  },
  "locations": [],
  "evidence_links": []
}

O verdadeiro .parametersO objeto do perfil tem 25 chaves.limitationsUma limitação é parte do conteúdo, então deixar cair uma altera o ID, e o seu livro maior rejeitaria o registro.

Observe o que o registro não diz. environmentÉ o que énullPorque Ghidra leu um ficheiro e não encontrou nada.locationsé vazio porque este relatório operacional endereça dentro normalized_result- Não .relationship_coveragetem o estatutocompleteO diagnóstico diz que apenas as referências de chamadas resolvidas Ghidra são devolvidas e que chamadas computadas ou indiretas não resolvidas permanecem desconhecidas.

O ID é um hash de conteúdo, e o caminho não está nele

reacomputadores evidence_idComo ev_mais SHA-256 sobre o JSON canônico RFC 8785 de uma projeção do registro.digest- Não .format, e architecturee gota .nameE ...local_path- Cai .relationship_coveragequando o seu valor é null, então um registro sem ligações de ligação mantém a mesma identidade que antes do campo existir.raw_resulte todas as limitações, são hashed.

RFC 8785 classifica chaves de objeto, remove espaço branco e fixa os formulários de número e cadeia. Para registros cujos números são inteiros, a biblioteca padrão do Python produz os mesmos bytes:

pythonCopydef canonical_json(value):
    return json.dumps(value, sort_keys=True, separators=(",", ":"), ensure_ascii=False, allow_nan=False)

code/main.pyRejeita flutuações antes de hash, porque RFC 8785 e Python imprimem algumas flutuações de forma diferente.

A mesma observação dos mesmos bytes obtém a mesma identificação em qualquer máquina e em qualquer pasta.local_pathNa lista acima, os nomes de uma pasta em um Mac. O ID não muda quando você copiar a fixa para /home/you/re- Não .rebind_subject_path()O disco não é um disco de música, mas é um disco de música que permite mostrar um disco sob um novo caminho.sha256- Não .format, ou architectureO mesmo acontece com o rebindEvidenceToTargetPathQuando reproduz um registro de instantâneo para um alvo em um novo caminho.

validate_evidence()recalcula a identificação e rejeita uma desatividade com a frase de rea, "O identificador semântico de evidências não corresponde ao seu registro".analysis_profile.providerdiferem de sua providerO teste .test_tampered_id_and_mismatched_profile_are_rejectedEdita uma linha de pseudocódio dentro do real gradeRegisto e observa o livro de conta recusa-lo.

Observe o objeto por si mesmo

Antes de qualquer fornecedor, o livro-guia lê o arquivo. observe_object()Paralisa os cabeçalhos das secções ELF64, .symtab- Não ..strtab, e .rela.textcomstruct.unpack_from- Escreve um .inspect_objectregistro e um read_function_bytesTodos os cinco sãoobservedcom autoridade shipped-artifact, porque a fonte era o arquivo no disco.

llvm-objdump -tconcorda: grade- Não .0000000000000010com tamanho 2eAs três mudanças em.rela.textsãoR_X86_64_PC32contra.rodataem compensações 0x36- Não .0x84, e 0x93, com adições 0x10- Não .0x24, e -0x4Cada disco tem um .file-offset-rangelocalização e uma limitação: "Os bytes de seção são lidos do arquivo no disco. O leitor não aplica nenhuma realocação e não executa nenhum código".

A lição 32 constrói o leitor inteiro. Aqui, é de 60 linhas, porque esta lição é sobre o que você grava sobre a leitura.

Derive a Tabela e diga que você a derivou

Os 46 bytes de gradecontêm quatro padrões que a lição 33 decodificou:

Um multiplicador por 0x66666667Seguido por um turno de 34 é uma divisão assinada por 10. O arquivo tem o número 10.derive_grade_model()escreve esse fato como uma limitação: "O divisor 10 é uma derivação do multiplicador 0x66666667 e do turno 34. O arquivo tem o número 10. "

O add ecx, -6O primeiro caso é de 6.cmp ecx, 4com um salto sem assinatura admite cinco casos, 6 a 10.

O lea- Não ..text+0x33Carrega a realocação com adição 0x10. Uma PC32 realocaliza medidas a partir do final do deslocamento de 4 bytes, de modo que a tabela começa em .rodata+0x14Cinco palavras de " indiano " .1, 2, 3, 4, 4- O interruptor .ledger.cO compilador transformou o interruptor em uma tabela de busca de valores de devolução.

O registro resultante ev_605106bff2d9998f…- Não .confidence derived, e o seu evidence_linksNome dos dois registros observados em que se apoia. Remova o registro de bytes do livro principal e o registro derivado tem um link pendurado.ev_a467c242…- Não .

Agora, compare com Ghidra, o pseudocódio para os mesmos bytes:

cCopyuint grade(int param_1)
{
  uint uVar1;
  uint uVar2;

  uVar2 = param_1 / 10 - 6;
  uVar1 = -(param_1 >> 0x1f) ^ (uint)((ulong)((long)param_1 * 0x66666667) >> 0x3f);
  if (uVar2 < 5) {
    uVar1 = *(uint *)(&DAT_001000b4 + (ulong)uVar2 * 4);
  }
  return uVar1;
}

Ghidra aplicou a mudança e nomeou a mesa DAT_001000b4, que é .rodata+0x14Depois de colocado.text- Não .0x100000Para o valor padrão, ele imprimiu uma expressão que é sempre 0 e nunca diz 0.native_value_flowMarca essas operações is_dead: trueO registro é uma observação fiel de Ghidra. O significado que você lê dele é derivado, e o valor que você espera de uma corrida é inferido.

O percent_changeO registro mostra o outro fracasso.undefined1 [16] percent_change(int param_1,int param_2,ulong param_3)A fonte diz:int percent_change(int before, int after)- Não .idivescreveEDX:EAX, e o caminho zero sai .EDXO decompiler deduz um retorno de 16 bytes e um terceiro parâmetro.native_api.return_type.confidenceParagradeÉ o que é"low"Tratar uma assinatura recuperada como a inferência do prestador e registrá-la dessa forma.

As previsões são registros inferidos

Uma previsão é uma afirmação sobre o comportamento que nenhuma observação afirmou. claim_suite()construiu 18 deles a partir dos modelos derivados e da fonte. record_prediction()Armazena cada um como um disco com confidence inferredE ...authority analyst-inference, ligado aos registos em que se baseia.

predict()usa semântica C, não semântica Python. c_div()Truncas para zero, e wrap32()Põe cada intermediário em 32 bits. Python's //Rondas em direcção ao infinito negativo, então (3 - -7) * 100 // -7A lição 36 torna esta grade muito maior.

Cada previsão abre um desconhecido residual.observedEvidências com autoridade controlled-replaye recomenda uma sonda:execute_functionA pergunta para a reivindicação de primeira classe diz "A classificação ((95) == 4 mantém-se quando a função compilada é executada?"

Verifique se eles estão em contato com uma corrida

code/fixtures/harness.cincluiledger.ce imprime um resultado por invocação. observe_runs()Compila-o com o primeiro de clang- Não .cc, ou gccCada entrada na grade é executada uma vez.

jsonCopy{
  "operation": "execute_function",
  "parameters": { "function": "grade", "args": [95] },
  "normalized_result": { "result": 4, "stdout": "4\n", "exit_code": 0 },
  "confidence": "observed",
  "authority": "controlled-replay",
  "environment": { "id": "host-process", "platform": "darwin", "architecture": "arm64", "isolation": "process" },
  "limitations": [
    "The run executed a host build of ledger.c, not the x86-64 object. The claim about the object rests on the shared source and on the compiler.",
    "One run observes one input. It proves nothing about other inputs."
  ]
}

O assunto de um registro de execução é o binário de arneses, um arquivo Mach-O arm64 neste Mac, com seu próprio SHA-256.course-harnesscom a linha de versão do compilador, aqui Apple clang version 17.0.0 (clang-1700.6.3.2)- O .evidence_linksNomear o registro fonte ev_2f1e6d251543d017…, porque a corrida e o objeto compartilhamledger.cE nada mais.

Leia a primeira limitação duas vezes. O objeto x86-64 nunca foi executado nesta máquina. O que foi executado foi uma segunda construção da mesma fonte para outra arquitetura. Isso ainda é uma observação, e é a mais forte disponível sem um emulador, então a reivindicação passa com essa frase anexada. Um relatório que omite isso perdeu informações necessárias ao leitor.

As 17 corridas de entrada única concordam com as previsões.code/fixtures/run-evidence.jsonDetém esses 17 registos e o registro de origem, exportado com --recordEm 2026-10-13. Quando não houver compilador,build_ledger()O relatório diz que o mercado de trabalho é um mercado de trabalho.runscampo.

Regras de promoção

Uma reivindicação passa de inferida a apoiada apenas através de corridas observadas. check_claim()- Não .execute_functionregistos com a mesma função e argumentos, compara cada resultado com a previsão e conta as entradas cobertas:

promote_claim()É a forma estrita.ClaimErrorQuando qualquer identificação é inferredou derived. Ele é levantado quando um id nomea uma série de outra função ou de outros argumentos. Ele é levantado quando a lista está vazia e quando as corridas cobrem menos entradas do que a reivindicação.grade(55)Não pode promover.ev_7be90c0c…na figura e observar a queda da reivindicação para unsupportedenquanto dois registos sobre grade- Não.

A alegação de alcance mostra o caso parcial. Apenas dois de seus onze entradas, 95 e 100, aparecem na grade de execução. check_claim()Retorno unknowncomcovered2 de 11, e promote_claim()O livro principal não arredondou isso.

completion_ledger()Espelhos rea's EvidenceCompletionLedgerO seu ID éecl_Mais o hash dos seus registos, e completeÉ verdade só quandopass- É igual .totalAs impressões da demonstração .ecl_da64933ea13befed…comcomplete: false, por causa daquela reivindicação de um alcance.

Os desconhecidos são registos com uma cadeia de hash

Rea armazena um resíduo desconhecido como um registro rigoroso. code/main.pymantém os mesmos campos e as mesmas invariantes.

O ID éunk_Mais SHA-256 sobre {domain, question, scope_digest}O problema é que, quando o espaço branco da pergunta se desmorona em espaços individuais, dois analistas que fazem a mesma pergunta sobre o mesmo arquivo obtêm a mesma identificação.scope_digesté o SHA-256 do objeto.

Cada alteração é uma nova revisão.previous_revision_digest nullCada revisão posterior nomeia osrevision_digestda primeira, e a digestão cobre todos os campos, exceto a si mesma.verify_unknown_chain()Ele verifica que cada link aponta para a revisão anterior. Ele verifica que a evidência de mutação de cada nome de revisão está no livro principal.

Cada mutação é em si uma evidência, como acontece com o provedor rea-unknown-registry- O nosso carregou .confidence derived- Não .authority analyst-inferenceA limitação diz: "Uma mutação de registro registra o que o analista decidiu.

É por isso que os 81 registros da demonstração incluem 36 registros de mutação derivados: 18 aberturas e 18 atualizações.

Em cada revisão são aplicadas três invariantes:

• Só um .resolvedO desconhecido carrega umresolution, e apenas a revisão 1 não tem antecessor.
• A.contradictedNome desconhecido, pelo menos, um identificador contraditório e nenhum identificador aparece em ambas as listas.
• A.verifiedA resolução deve indicar pelo menos um identificador de prova com a confiança e autoridade necessárias.

A terceira regra é a de que o livro-razão recusa mais frequentemente. As notas de fluxo de trabalho da rea dizem: "Somente evidências observadas qualificativas podem verificar uma resolução". resolve_unknown()Por conseguinte, rejeita o modelo de tabela, rejeita um registo observado com autoridade shipped-artifact, e aceita o registro de corrida ev_f4ffbe8f922ec7fe…A revisão resolvida para grade(95)É a revisão 2, e o seu previous_revision_digestÉ o que éffca840b55a8a188…, o digest da revisão 1.

update_unknown()- Toma .expected_revisione eleva .revision-conflictQuando está ultrapassado, como a rea.update_unknownA reação correta é a de que as notas da rea dão: ler novamente a revisão actual e decidir novamente.

Um desconhecido permanece aberto após a demonstração:unk_f2eb0d7f84c80a19…, "A classificação ((score) == 4 para cada pontuação de 90 a 100 mantém quando a função compilada é executada?" Seu status é investigating, suas identidades de suporte incluem as duas corridas, e sua sonda ainda nomeia as nove entradas sem uma corrida.

Um cache de respostas não é um banco de dados de análise

rea tem três coisas que parecem um cache.-readOnly -deleteProjectE apagado ao fechar.AnalysisSnapshotCacheO arquivo instantâneo contém até 10.000 entradas para uma identidade binária.target- Não .binding- Não .entries- Não .workflow_entries, e um evidence_bundle- Não .

A chave do cache é query_Mais SHA-256 sobre {target, binding, operation, parameters}- Não .targetÉ o que é{sha256, kind, format, architecture}, e um raw-binaryO alvo também tem entry_point- Não .bindingA análise de dados e de dados de dados é feita por um fornecedor e pelo perfil de análise inteiro, incluindo o digest.jump_table_evidencedetyped-case-default-blocks-v1a um v2, e a digestão muda, então cada chave muda.

code/fixtures/rea-snapshot.jsonO arquivo rea foi escrito durante as duas corridas, 142.690 bytes. rea escreveu com permissões apenas do proprietário, e a cópia comprometida é legível por todos.AnswerCache.import_snapshot()recalcula cada um .query_idE recusa o arquivo quando qualquer diferença.targetou bindingDiferente da ativa, com a redação de rea profile_mismatchRecusou uma imagem de quemformat_versionNão é .course-answer-cache-1- Não .

Três medições desta máquina.gradeA consulta levou 8,6 segundos, com uma importada Ghidra fresca.percent_changeUma consulta contra o mesmo snapshot levou 8,5 segundos, porque uma consulta diferente é um cache perdido.gradeA consulta levou 2,1 segundos e retornou o registro idêntico com o idêntico evidence_id. A repetição na memória em rea adiciona a limitação "Cariada a partir de um snapshot local de análise de REA; esta chamada não re-exerceu o provedor. "lookup()adiciona uma frase do mesmo tipo, para que o leitor possa distinguir uma repetição de uma resposta nova.

Uma mutação termina o cache. Em rea 6.5.0, um renome ou um comentário limpa o cache de instantâneo antes que rea envie a chamada ao provedor. Uma resposta falhada não pode provar que a escrita foi retirada, então uma escrita falhada também interrompe a repetição. Uma importação de metadados que altera o banco de dados faz o mesmo.

Por que um agente precisa disto?

Um agente que conduz rea através do MCP vê o registro completo de cada chamada e pode citarevidence_idA pesquisa de 2026 diz onde isso vai mal. A confiança excessiva na saída de ferramentas foi uma das quatro fraquezas do estudo NDSS BAR. No estudo de texto plantado, mostrando conteúdo binário como dados sozinhos ainda deixou 15 propostas inseguras de 40, e verificações de proveniência com autorização de ferramentas removendo-as.arXiv 2606.06838Na binária com centenas de funções, apenas 10 a 15 por cento receberam análise real antes que o agente produziu estubes.

O livro-razão responde a cada um destes com um registro, e o agente relata apenas o que o livro-razão contém.unsupportedUma reivindicação com algumas corridas éunknownUm texto do fornecedor éobservedDá ao agente o ficheiro de habilidades.outputs/E fazer do livro o único lugar onde escrever conclusões, que vale para Claude, Cursor, Codex, OpenClaw, Hermes, ou qualquer agente que leia SKILL.md.

Construí-lo

Execute a demonstração de biblioteca padrão:

bashCopycd phases/13-tools-and-protocols/35-evidence-confidence-and-unknowns
python3 code/main.py

A demonstração lê o objeto, importa os dois registros rea, verifica o instantâneo rea e deriva os dois modelos.

jsonCopy{
  "records": 81,
  "by_confidence": { "observed": 25, "derived": 38, "inferred": 18 },
  "rea_snapshot": { "entries": 2, "replay_hit": true, "stale_profile_refused": true },
  "grade_table": [1, 2, 3, 4, 4],
  "runs": "live: Apple clang version 17.0.0 (clang-1700.6.3.2)",
  "claims": [ { "claim_id": "grade(95)", "status": "pass", "covered": "1/1" }, { "claim_id": "grade(90..100)", "status": "unknown", "covered": "2/11" } ],
  "completion_ledger_id": "ecl_da64933ea13befed9483f8b00447bb3f4ceb74324c01e2515eff03f3af3ca750",
  "complete": false,
  "unknowns": { "resolved": 17, "investigating": 1 }
}

Sem um compilador C,runslê imported 17 recorded run records from run-evidence.jsonE o resto é o mesmo.

Leia code/main.pyna ordem seguinte:

1. canonical_json()E ...compute_evidence_id()Mantém a receita de hash e a projeção semântica.
2. create_evidence()E ...validate_evidence()construir e verificar um registro.
3. EvidenceLedger.record()E ...import_bundle()armazenar registos e recusar conflitos.
4. open_unknown()- Não .update_unknown(), e resolve_unknown()manter a cadeia de revisão.
5. observe_object()lê o ELF e derive_grade_model()- Ele lê a mesa.
6. claim_suite()- Não .predict(), e record_prediction()Escreva o nível inferido.
7. observe_runs()transforma cada arame em um registro observado.
8. check_claim()- Não .promote_claim(), e completion_ledger()aplicar as regras de promoção.
9. AnswerCacheAs chaves respondem como as fotos da Rea e recusam as antigas.

Usá-lo

Mantenha um livro de conta por alvo e por investigação. Coloque o SHA-256 do alvo em cada assunto e digeste o escopo da pergunta em cada desconhecido.providerQuando você reconstruir o dispositivo, o assunto digere alterações e cada registro antigo se torna evidência de outro arquivo.

Escreva limitações no momento em que as conhece. O leitor que não aplica nenhuma realocação diz isso. A execução de uma construção host diz isso. O modelo que infere um divisor diz isso. Um registro escrito sem suas limitações parece mais forte do que os fatos permitem, e um leitor posterior não pode reparar isso.

Tratar cada texto fornecedor como dados. As cadeias e pseudocódios do alvo são textos que o alvo controla._meta.provenance.untrusted_content: trueAs instruções do servidor dizem ao modelo que trate o conteúdo-alvo como dados e que informe qualquer solicitação nele para executar, instalar, baixar ou enviar algo como uma tentativa de injeção rápida.

Laboratório Interativo

Laboratório A: recomputar um rea-id

• Docodediretório, Python aberto:

bashCopycd phases/13-tools-and-protocols/35-evidence-confidence-and-unknowns/code
python3 -q

• Correr .

pythonCopyfrom main import *
record = load_evidence_file(FIXTURES / "rea-evidence-grade.json")
record["evidence_id"] == compute_evidence_id(record)
record["subject"]["local_path"] = "/home/you/re/ledger-x86_64-O1.o"
record["evidence_id"] == compute_evidence_id(record)
record["limitations"].pop()
record["evidence_id"] == compute_evidence_id(record)

As duas primeiras comparações são verdadeiras. O caminho não está no hash. A terceira é falsa, porque uma limitação é conteúdo.

Laboratório B: recusar uma promoção

pythonCopyledger, report = build_ledger(live_runs=False)
claim = [c for c in claim_suite(ledger.find(operation="derive_switch_model")[0], ledger.find(operation="derive_arithmetic_model")[0], ledger.find(operation="read_source")[0]) if c.claim_id == "grade(55)"][0]
promote_claim(ledger, claim, [ledger.find(operation="derive_switch_model")[0]["evidence_id"]])

O chamado é elevado .ClaimErrorE nomear o ID derivado. Agora passar o ID de execução:

pythonCopyrun = run_records_for(ledger, "grade", [55])[0]
promote_claim(ledger, claim, [run["evidence_id"]])["status"]

O status é pass, e os retornados limitationsLevar a sentença de construção de hospedeiro.

Laboratório C: recusar uma foto obsoleta

pythonCopyimport json
snapshot = json.loads(REA_SNAPSHOT_PATH.read_text())
target, binding = rea_snapshot_binding(snapshot)
AnswerCache(target, binding).import_snapshot(snapshot)
stale = dict(binding["analysis_profile"]["parameters"], jump_table_evidence="typed-case-default-blocks-v2")
AnswerCache(target, {"provider": binding["provider"], "analysis_profile": make_profile(binding["provider"], stale)}).import_snapshot(snapshot)

A primeira declaração de importação 2. A segunda aumenta CacheErrorcomprofile_mismatchUma série de versões mudou e a imagem inteira é recusada.

Lab D: quebrar a cadeia

pythonCopyunknown_id = [u for u, r in ledger.unknowns.items() if r[-1]["status"] == "investigating"][0]
ledger.verify_unknown_chain(unknown_id)
ledger.unknowns[unknown_id][0]["severity"] = "critical"
ledger.verify_unknown_chain(unknown_id)

A primeira chamada retorna, a segunda aumenta.EvidenceIntegrityError, porque a revisão 1 não corresponde mais ao seu próprio digest e a revisão 2 indica um digest que já não existe.

Laboratório de Prática

Feche o desconhecido aberto e adicione um segundo provedor.

Requisitos:

• Extensãorun_grid()Então, as nove entradas faltantes da reivindicação de intervalo são executadas, então confirme os movimentos desconhecidos para resolvedna revisão 3.
• Adicionarllvm-objdump -dcomo segundo fornecedor com o seu próprio providerobjecto e registar a sua lista de gradeComo observed- Não .
• Escreva umderivedUm registro que indica as duas listas, Ghidra e llvm-objdump, decodifica as mesmas 14 instruções e liga as duas.
• Abre um desconhecido para grade_label(105)com severidade high, já que o índice da tabela 4 diz labels[4], e resolvê-lo com uma corrida.
• Exportar o livro de conta com export_bundle()Importá-lo num novo livro e provar que cada cadeia ainda verifica.

O sucesso significa um relatório em que cada frase cita um ID do pacote e o únicounknownA reivindicação desapareceu.

Lição Artifacto

Esta lição produzoutputs/skill-evidence-ledger.mdDiz ao agente como escrever cada descoberta como um registro com confiança, autoridade, limitações e links.pass- Não .fail- Não .unknown, ou unsupported- Não .

Verifique

Execute a demonstração e a suíte determinista:

bashCopycd phases/13-tools-and-protocols/35-evidence-confidence-and-unknowns
python3 code/main.py
python3 -m unittest discover -s code/tests -v

Os 28 testes provam:

• ambas rea evidence_idvalores, o perfil e ambos os instantâneos query_idValores recomputados a partir do conteúdo
• Um caminho alterado mantém a identificação e uma limitação alterada muda-a
• um registro alterado, um fornecedor de perfil incompatível, um float e um valor enum desconhecido são rejeitados
• um registro duplicado de devolução duplicate, um recorde conflituoso aumenta, e uma importação de pacote é atômica
• as importações de lote de corrida registadas com 18 registos e sem ligações penduradas
• Um desconhecido abre na revisão 1, recusa uma obsoleta expected_revision, e resolve apenas com observado controlled-replayEvidências
• Uma revisão editada quebra a cadeia
• A promoção recusa evidências inferidas, derivadas, vazias e não relacionadas e passa com um acordo
• A cobertura parcial é unknowne uma corrida discordante é fail
• O cache atinge a chave exata e perde outros parâmetros
• O cache recusa uma versão de perfil com problemas, um alvo errado, uma versão de formato errado e uma chave alterada
• O leitor do ELF concorda com llvm-objdumpsobre compensações, tamanhos, bytes e realocações, e a tabela diz 1, 2, 3, 4, 4
• As previsões usam divisão C, e as corridas gravadas concordam com todas as 17 reivindicações de entrada única
• Com um compilador presente, as corridas ao vivo concordam também

Modos de falha de produção

Regra de funcionamento

Registre o que você leu, o que calculou e o que espera como três tipos de registro com três palavras. Feche um desconhecido com um id, nunca com uma frase. Reproduzir uma resposta apenas sob a chave exata com que foi armazenada, e recusar quando uma cadeia de versões difere.

Mais leitura

• rea 6.5.0 source, src/domain/evidence.ts and src/domain/residualUnknown.ts
• RFC 8785, JSON Canonicalization Scheme
• Ghidra 12.1.4 release
• Agent Failure Patterns in CTF Reverse Engineering, NDSS BAR 2026
• When Binaries Talk Back: Representation-Confusion Attacks on LLM-Assisted Reverse Engineering, arXiv 2607.12507
• Agentic decompilation study, arXiv 2606.06838
• When LLM Decompilers Recompile More and Preserve Less, arXiv 2609.05370
• rea 6.5.0 fonte em tag 3b79af2que esta lição descreve: src/domain/evidence.ts- Não ..agents/skills/reverse-engineer-anything/SKILL.md- Não .docs/cli.md- Não .src/domain/reconstructionVerification.ts- Não .src/application/ReconstructionObligationCandidates.ts- Não .docs/tool-design.md- Não .src/domain/evidenceCompletionLedger.ts- Não .src/domain/residualUnknown.ts- Não .src/application/investigation/UnknownEvidence.ts- Não ..agents/skills/reverse-engineer-anything/references/evidence-workflows.md- Não .src/application/binary/AnalysisSnapshotCache.ts- Não .src/domain/analysisSnapshot.ts- Não .src/application/binary/BinarySession.ts- Não .src/application/binary/BinarySessionRecords.ts- Não .docs/mcp-contracts.md- Não .

This free lesson is part of the AI Engineering from Scratch curriculum. Read the full explanation, run the lesson code, and verify the result in the interactive reader or from the repository source.

Browse the complete course catalog or open this lesson on GitHub.