Phase 13: Tools & Protocols

Des preuves, une confiance et des inconnues dans l'analyse binaire

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

Objectifs d'apprentissage

• Construire un dossier de preuves basé sur les données de réa Evidenceavec la confiance observée, dérivée et déduite.
• Compute les identifiants de contenu-hash qui restent les mêmes lorsque le fichier passe à un autre dossier.
• Enregistrer ce que chaque fournisseur ne peut pas montrer comme des limites qui voyagent avec le dossier.
• Refuser d'indiquer un résultat jusqu'à ce qu'une fonction observée le supporte.
• Conserver les inconnus résiduels en tant qu'enregistrements révisés rejoints par une chaîne de hachage.
• Le fournisseur de cache répond sous une clé exacte et refuse une répétition obsolète.

Le problème

Vous demandez à un agent ce que vous voulez .gradedans ledger-x86_64-O1.oLe réviseur demande comment l'agent sait. L'agent a un bloc de texte que Ghidra a imprimé. Pour le chemin par défaut, ce texte lituVar1 = -(param_1 >> 0x1f) ^ (uint)((ulong)((long)param_1 * 0x66666667) >> 0x3f);Les octets à ce moment-là disentxor eax, eax- Je suis désolé .

L'expression et l'instruction produisent tous les deux 0 pour chaque entrée. L'agent ne savait pas cela. Il a fait confiance au texte parce qu'un outil l'a produit.NDSS BAR 2026Il a cité quatre faiblesses récurrentes: le biais de formation, la confiance excessive en les observations, les limites de contexte et la persistance des plans.arXiv 2607.12507)

Réa 6.5.0 donne à l'agent un vocabulaire pour cela.Evidenceenregistrement avec un confidencede observed- Je suis là .derivedou inferred, uneauthority, et une liste de limitations. La compétence de l'emballage dit à l'agent: "Chaque conclusion doit distinguer les observations, les inférences et les inconnus. Citez les identifiants de preuve, préservez les limites et la couverture incomplète, et ne jamais implique que l'analyse statique observé exécution".

Trois choses réal vous laissent. Ses instantanés cachent les résultats exacts de la requête, pas l'analyse. Sa vérification passe une revendication lorsqu'une dimension de comparaison est inchangée, et son propre commentaire dit qu'un passe " n'étale pas l'équivalence globale de la mise en œuvre. " Son registre d'obligation prend des candidats uniquement à partir de JavaScript et de graphiques gérés, de sorte qu'une fonction native n'atteint jamais.verifiedà travers elle.

Cette leçon construit la pièce manquante en Python simple. Vous écrivez un livre qui stocke tous les faits sur le dispositif comme un enregistrement avec un hash de contenu. Vous faites des prédictions surpercent_changeet gradeVous importez deux enregistrements réels et l'instantané de laquelle ils sont venus, et votre grand livre recompte chaque hash réé écrit.

Trois mots pour la confiance, cinq pour l'autorité

confidenceest un enum avec trois valeurs, jamais un nombre. authorityIl est important de noter que les résultats obtenus par le producteur ne sont pas suffisants pour que les producteurs ne fassent pas deshipped-artifactavec observed- Je suis désolé .

Deux confusions coûtent le plus de temps. Le premier traite le pseudocode comme une observation du comportement. C'est une observation de ce que Ghidra a imprimé. Le second traite une liste vide comme une preuve d'absence.code/main.py- Il encode les deux règles.

Le récit

Un enregistrement contient exactement seize champs, et réa 6.5.0 rejette tout autre champ. code/main.pyLe 16ème champ, qui est le même que le réel, est le même que le réel.relationship_coverage, indique la taille d'une liste complète d'appelants ou de appelés.complete- Je suis là .partialou unknownou nulllorsque l'opération ne rapporte pas de relations d'appel.

C' est le vrai disque pour lequel réa a écrit .gradeLe dossier complet estcode/fixtures/rea-evidence-grade.json, 37 573 octets.

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": []
}

La vraie .parametersL'objet du profil a 25 clés.limitationsUne limite fait partie du contenu, donc en la supprimant, l'identifiant est modifié, et votre grand livre rejetterait l'enregistrement.

Notez ce que le récit ne dit pas. environmentest nullParce que Ghidra a lu un dossier et n'a rien trouvé.locationsest vide car cette opération rapporte des adresses à l' intérieur normalized_result- Je suis là .relationship_coveragea le statut completeLe diagnostic indique que seuls les références d'appels Ghidra résolus sont renvoyées, et que les appels informatisés ou indirects non résolus restent inconnus.

L'ID est un mélange de contenu, et le chemin n'est pas dans le même

réacteurs evidence_idcomme ev_plus SHA-256 sur le JSON canonique RFC 8785 d'une projection du dossier.digest- Je suis là .format, et architectureet des gouttes .nameet local_pathIl tombe .relationship_coveragelorsque sa valeur est null, donc un enregistrement sans relations d'appel conserve la même identité que avant que le champ n'existe.raw_resultet chaque limite est hashée.

RFC 8785 tries les clés d'objet, supprime l'espace blanc et fixe les formes de nombre et de chaîne. Pour les enregistrements dont les nombres sont entiers, la bibliothèque standard de Python produit les mêmes octets:

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

code/main.pyLes deux enregistrements réels et l'instantané ne contiennent pas de floats, donc la recette reproduit chaque hash réel:

Pourquoi exclure le chemin ? la même observation des mêmes octets obtient le même id sur n'importe quelle machine et dans n'importe quel dossier.local_pathdans la liste ci-dessus, les noms d'un dossier sur un Mac. L' id ne change pas lorsque vous copiez le fichier à /home/you/re- Je suis là .rebind_subject_path()Il refuse quand on a un disque.sha256- Je suis là .formatou architectureréal 6.5.0 fait la même chose avec rebindEvidenceToTargetPathlorsqu'il reproduit un enregistrement d'impression instantanée pour une cible sur une nouvelle voie.

validate_evidence()Il rejette également un enregistrement dont le nom est identifié par un identifiant sémantique.analysis_profile.providerdiffère de son provider- Le test .test_tampered_id_and_mismatched_profile_are_rejectedmodifie une ligne de pseudocode à l'intérieur de la vraie gradel'enregistrement et regarde le livre refuser.

Observez vous- même l'objet

Avant tout fournisseur, le registre lit le dossier. observe_object()analyse les en-têtes de section ELF64, .symtab- Je suis là ..strtab, et .rela.textavec struct.unpack_fromIl en écrit un .inspect_objectenregistrement et un read_function_bytesenregistrement par symbole de fonction.observedavec autorité shipped-artifact, parce que la source était le fichier sur le disque.

llvm-objdump -test d'accord: gradeà0000000000000010avec taille 2eLes trois délocalisations en.rela.textsontR_X86_64_PC32contre .rodataà des compensations 0x36- Je suis là .0x84, et 0x93, avec des additions 0x10- Je suis là .0x24, et -0x4Chaque disque contient unfile-offset-rangeLocalisation et une limitation: "Les octets de section sont lus à partir du fichier sur le disque. Le lecteur n'applique aucune relocalisation et n'exécute aucun code".

La leçon 32 construit le lecteur dans son intégralité. Voici 60 lignes, parce que cette leçon est sur ce que vous enregistrez sur la lecture.

Dérivez la table et dites que vous l'avez dérivée

Les 46 octets de gradecontiennent quatre modèles que la leçon 33 décode:

Un multiplicateur par 0x66666667Le dossier contient le numéro 10.derive_grade_model()écrit ce fait comme une limitation: "Le divisor 10 est une dérivation du multiplicateur 0x666667 et du changement 34. Le fichier contient le numéro 10. "

Le add ecx, -6Le premier cas est de 6.cmp ecx, 4avec un saut non signé admet cinq cas, 6 à 10.

Le leaà.text+0x33effectue le déménagement avec addend 0x10. Un PC32 mesure la relocalisation à partir de la fin du déplacement de 4 bytes, de sorte que le tableau commence à .rodata+0x14Cinq mots de petite enjeu .1, 2, 3, 4, 4- Le commutateur .ledger.cLe compilateur a transformé le commutateur en une table de recherche des valeurs de retour.

Le dossier résultant ev_605106bff2d9998f…Il aconfidence derived, et son evidence_linksnommer les deux enregistrements observés sur lesquels il repose. supprimer l'enregistrement de octets du livre et l'enregistrement dérivé a un lien suspendu. La figure ci-dessus montre cet état lorsque vous désactivezev_a467c242…- Je suis désolé .

Comparons avec Ghidra, son pseudocode pour les mêmes octets:

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 a appliqué le déménagement et nommé la table DAT_001000b4, qui est .rodata+0x14après avoir été placé .textà0x100000Il a récupéré la division par 10 et les cinq cas. Pour la valeur par défaut, il a imprimé une expression qui est toujours 0 et ne dit jamais 0.native_value_flowmarque ces opérations is_dead: trueLe récit est une fidèle observation de Ghidra.

Le percent_changeLe dossier montre l'autre échec.undefined1 [16] percent_change(int param_1,int param_2,ulong param_3)La source dit:int percent_change(int before, int after)- Je suis là .idivécrit EDX:EAX, et le chemin de zéro sort .EDXLe décompilateur a donc déduit un retour de 16 octets et un troisième paramètre.native_api.return_type.confidencepour gradeest "low"- Traiter une signature récupérée comme une conclusion du fournisseur, et l'enregistrer de cette façon.

Les prédictions sont des récits

Une prédiction est une affirmation sur un comportement qu'aucune observation n'a déclaré. claim_suite()Il en construit dix-huit à partir des modèles dérivés et de la source. record_prediction()stocke chacun comme un disque avec confidence inferredet authority analyst-inference, lié aux dossiers sur lesquels il repose.

predict()utilise la sémantique C, pas la sémantique Python. c_div()se réduit à zéro, et wrap32()Le code de Python est de 32 bits.//Ronde vers l'infini négatif, donc (3 - -7) * 100 // -7La leçon 36 rend cette grille beaucoup plus grande.

Chaque prédiction ouvre un résidu inconnu.observedpreuve avec autorité controlled-replayet recommande une sonde: execute_functionLa question pour la demande de première classe est "La note ((95) == 4 se tient-elle lorsque la fonction compilée est exécutée?"

Vérifiez leur équivalence

code/fixtures/harness.cinclut ledger.cet imprime un résultat par invocation. observe_runs()compilée avec la première de clang- Je suis là .ccou gccchaque entrée dans la grille une fois. chaque course devient un record:

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."
  ]
}

Le sujet d'un enregistrement d'exécution est le fichier binaire de harnais, un fichier Mach-O arm64 sur ce Mac, avec son propre SHA-256.course-harnessavec la ligne de version du compilateur, ici Apple clang version 17.0.0 (clang-1700.6.3.2)- Le .evidence_linksnommer le dossier source ev_2f1e6d251543d017…, parce que la course et l' objet partagentledger.cJe ne sais pas.

Lire la première limitation deux fois. L'objet x86-64 n'a jamais fonctionné sur cette machine. Ce qui a fonctionné était une deuxième construction de la même source pour une autre architecture. C'est toujours une observation, et c'est la plus forte disponible sans émulateur, donc la revendication passe avec cette phrase attachée. Un rapport qui l'omit a perdu les informations dont le lecteur a besoin.

Les 17 entrées uniques sont toutes en accord avec les prédictions.code/fixtures/run-evidence.jsondétient ces 17 enregistrements et le registre source, exporté avec --recordEn 2026-10-13. Quand aucun compilateur n'est présent,build_ledger()Il est vrai que les pays de l'Europe centrale et orientale ont déjà fait preuve de la même volonté.runsle champ.

Règles de promotion

Une réclamation passe de la déduction à l'appui uniquement par des démarches observées. check_claim()Il chercheexecute_functionenregistrer avec la même fonction et les mêmes arguments, comparer chaque résultat avec la prédiction et compter les entrées couvertes:

promote_claim()C'est la forme stricte.ClaimErrorquand un identifiant est inferredou derived. Il se lève lorsqu'un id nomme une suite d'une autre fonction ou d'autres arguments. Il se lève lorsque la liste est vide et lorsque les files d'attente couvrent moins d'entrées que la revendication.grade(55), et aucun ne peut le promouvoir.ev_7be90c0c…dans la figure et voir la réclamation tomber à unsupportedAlors que deux enregistrements sur gradeRestez ici.

La demande de portée montre le cas partiel. Seuls deux de ses onze entrées, 95 et 100, apparaissent dans la grille de fonctionnement. check_claim()Retour unknownavec covered2 sur 11, et promote_claim()Les données de référence sont les données de référence de l'ensemble des données de référence.

completion_ledger()Les miroirs de réa EvidenceCompletionLedgerSon numéro d' identification estecl_plus le hash de ses dossiers, et completeest vrai seulement lorsque passégale totalLes empreintes de démonstration .ecl_da64933ea13befed…avec complete: false, à cause de cette revendication de rang unique.

Les inconnus sont des enregistrements avec une chaîne de hachage

réa stocke un résidu inconnu comme un enregistrement strict. code/main.pyIl conserve les mêmes champs et les mêmes invariants.

L' identité est unk_plus SHA-256 sur{domain, question, scope_digest}Deux analystes qui posent la même question sur le même fichier obtiennent la même identité.scope_digestest le SHA-256 de l'objet.

Chaque changement est une nouvelle révision.previous_revision_digest null. Chaque révision ultérieure nomme le revision_digestde celui qui l'a précédé, et le digeste couvre tout le champ sauf lui-même. verify_unknown_chain()Il vérifie que chaque lien pointe vers la révision précédente. Il vérifie que les preuves de mutation de chaque nom de révision sont dans le grand livre.

Chaque mutation est elle-même un enregistrement de preuve, comme le fait réellement le fournisseur rea-unknown-registry- Nos porteurs .confidence derived- Je suis là .authority analyst-inferenceLa limite est: " Une mutation du registre enregistre ce que l'analyste a décidé.

C'est pourquoi les 81 enregistrements de la démo comprennent 36 enregistrements de mutations dérivées: 18 ouvertures et 18 mises à jour.

Trois invariants sont appliqués à chaque révision:

• - Je ne suis pas là .resolvedUn inconnu porte un resolution, et seule la révision 1 n'a pas de prédécesseur.
• Une .contradictednoms inconnus au moins un identifiant contradictoire et aucun identifiant n'apparaît dans les deux listes.
• Une .verifiedla résolution nomme au moins un identifiant de preuve avec la confiance et l'autorité requises.

La troisième règle est celle où le registre refuse le plus souvent. Les notes de flux de travail de rea disent "Seules les preuves observées qualifiantes peuvent vérifier une résolution". resolve_unknown()rejette donc le modèle de tableau, rejette un enregistrement observé avec autorité shipped-artifact, et accepte le record de course ev_f4ffbe8f922ec7fe…. La révision résolue pour grade(95)est la révision 2, et son previous_revision_digestest ffca840b55a8a188…, le résumé de la révision 1.

update_unknown()Il prendexpected_revisionet augmente revision-conflictQuand il est démodé, comme ré's update_unknownLa réaction correcte est celle que donnent les notes de Rea: relire la révision actuelle et décider à nouveau.

Un inconnu reste ouvert après la démo:unk_f2eb0d7f84c80a19…, "Actuelle la note ((score) == 4 pour chaque score de 90 à 100 tenir quand la fonction compilée fonctionne ?" Son statut est investigating, ses identifiants de soutien comprennent les deux courses, et sa sonde nomme toujours les neuf entrées sans course.

Un cache de réponses n'est pas une base de données d'analyse

réa a trois choses qui ressemblent à un cache.-readOnly -deleteProjectet supprimé à la fin.AnalysisSnapshotCachecontient jusqu'à 10 000 entrées pour une identité binaire.target- Je suis là .binding- Je suis là .entries- Je suis là .workflow_entries, et une evidence_bundle- Je suis désolé .

La clé cache est query_plus SHA-256 sur{target, binding, operation, parameters}- Je suis là .targetest {sha256, kind, format, architecture}, et une raw-binaryLa cible a aussientry_point- Je suis là .bindingLe fournisseur et l'ensemble du profil d'analyse, digest inclus.jump_table_evidencede typed-case-default-blocks-v1à une v2, et la digestion change, donc chaque clé change.

code/fixtures/rea-snapshot.jsonest le fichier réé écrit pendant les deux exécutions, 142.690 octets. réé l'a écrit avec des autorisations réservées au propriétaire, et la copie engagée est lisible par tout le monde. Il a deux entrées et un paquet de preuves avec les mêmes deux enregistrements. AnswerCache.import_snapshot()recompte chacun query_idIl refuse une photo de l'un de ses fichiers.targetou bindingdiffère de l'actif, avec la formulation de réa profile_mismatchIl refuse une photo de quiformat_version- Ce n' est pas vrai .course-answer-cache-1- Je suis désolé .

Trois mesures de cette machine.gradeLa requête a pris 8,6 secondes, avec une importation de Ghidra fraîche.percent_changela requête contre le même instantané a pris 8,5 secondes, parce qu'une requête différente est une cache manquée.gradela requête a pris 2,1 s et a rendu le même enregistrement avec le même evidence_id. La répétition en mémoire en réa ajoute la limite " Chargé à partir d'un instantané d'analyse locale de réa; cet appel n'a pas réexécuté le fournisseur. " Notre lookup()ajoute une phrase du même genre, afin que le lecteur puisse distinguer une répétition d'une nouvelle réponse.

Une mutation met fin au cache. Dans rea 6.5.0, un renom ou un commentaire efface le cache d'instantané avant que rea envoie l'appel au fournisseur. Une réponse ratée ne peut pas prouver que la rédaction a été réouverte, donc une rédaction ratée arrête également la répétition.

Pourquoi un agent a besoin de ça ?

Un agent qui conduit réa par MCP voit le dossier complet de chaque appel et peut citerevidence_idLa recherche de 2026 indique où cela va mal. La confiance excessive en la sortie des outils était l'une des quatre faiblesses de l'étude NDSS BAR. Dans l'étude de texte planté, montrant le contenu binaire comme données seules, 15 propositions dangereuses de 40 étaient toujours laissées, et les vérifications de provenance avec l'autorisation de l'outil les ont retirées.arXiv 2606.06838Dans les binaires avec des centaines de fonctions, seulement 10 à 15% ont reçu une analyse réelle avant que l'agent ne produise des éclats.

Le registre répond à chacun de ces questions avec un enregistrement, et l'agent ne rapporte que ce que le registre contient.unsupportedUne réclamation avec quelques courses estunknownUn texte du fournisseur est observedDonnez à l'agent le dossier des compétences.outputs/et faire du livre le seul endroit où il écrit des conclusions, qui s'applique à Claude, Cursor, Codex, OpenClaw, Hermes, ou à tout agent qui lit SKILL.md.

Faites-le

Exécutez la démo de la bibliothèque standard:

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

La démo lit l'objet, importe les deux enregistrements réels, vérifie l'instantané réel et dérive les deux modèles.

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 }
}

Sans un compilateur C,runsIl litimported 17 recorded run records from run-evidence.jsonet le reste est le même.

Lire code/main.pydans cet ordre:

1. canonical_json()et compute_evidence_id()Gardez la recette de hash et la projection sémantique.
2. create_evidence()et validate_evidence()construire et vérifier un dossier.
3. EvidenceLedger.record()et import_bundle()conserver des dossiers et rejeter les conflits.
4. open_unknown()- Je suis là .update_unknown(), et resolve_unknown()maintenir la chaîne de révision.
5. observe_object()Lire l'ELF et derive_grade_model()Il lit la table.
6. claim_suite()- Je suis là .predict(), et record_prediction()écrire le niveau déduit.
7. observe_runs()chaque harnais est un enregistrement observé.
8. check_claim()- Je suis là .promote_claim(), et completion_ledger()appliquer les règles de promotion.
9. AnswerCacheLes clés répondent comme les instantanés de Rea et refusent les anciens.

Utilisez-le

Gardez un registre par cible et par enquête. Mettez le SHA-256 de la cible dans chaque sujet et le champ de la question dans chaque inconnu.providerLorsque vous reconstruisez le fichier, le sujet est digéré et chaque ancien enregistrement devient une preuve d'un autre fichier.

Écrivez des limites au moment où vous les connaissez. Le lecteur qui n'applique aucune relocalisation dit cela. La course d'une construction hôte dit cela. Le modèle qui infère un diviseur dit cela. Un enregistrement écrit sans ses limites semble plus fort que les faits ne le permettent, et un lecteur ultérieur ne peut pas réparer cela.

Les chaînes et les pseudocodes de la cible sont des textes que la cible contrôle._meta.provenance.untrusted_content: trueLes instructions du serveur indiquent au modèle de traiter le contenu cible comme des données et de signaler toute demande d'exécution, d'installation, de téléchargement ou d'envoi de quelque chose comme une tentative d'injection rapide.

Laboratoire interactif

Laboratoire A: recomputer une réaction

De la coderépertoire, ouverture Python:

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

Je vais courir .

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)

Les deux premières comparaisons sont vraies. Le chemin n'est pas dans le hash. Le troisième est faux, parce qu'une limitation est contenue.

Laboratoire B: refus d'être promu

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"]])

L' appel s' élève ClaimErroret nomme l'identifiant dérivé.

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

Le statut est pass, et les retournés limitationsporter la sentence de construction d'hôte.

Laboratoire C: refuser une photo dépassée

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)

Le premier rapport d'importation 2. Le second rapport augmente CacheErroravec profile_mismatchUne chaîne de version a changé, et l'instant-shot entier est refusé.

Laboratoire D: casser la chaîne

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)

Le premier appel revient, le second monte.EvidenceIntegrityError, parce que la révision 1 ne correspond plus à sa propre digestion et la révision 2 fait référence à une digestion qui n'existe plus.

Laboratoire de pratique

Fermez l'ouverture inconnue et ajoutez un deuxième fournisseur.

Les exigences:

• Extension run_grid()alors les 9 entrées manquantes de la demande de plage sont exécutées, puis confirmez les mouvements inconnus à resolvedà la révision 3.
• Ajouter llvm-objdump -den tant que deuxième fournisseur avec sa propreproviderl' objet et enregistrer sa liste de gradecomme observed- Je suis désolé .
• Écrivez unederivedenregistrement qui indique les deux listes, Ghidra et llvm-objdump, décode les mêmes 14 instructions, et relier les deux.
• Ouvrez un inconnu pour grade_label(105)avec gravité high, puisque l' indice du tableau 4 est labels[4], et résoudre avec une course.
• Exporter le livre avec export_bundle()Il faut l'importer dans un nouveau registre et prouver que chaque chaîne est toujours vérifiée.

Le succès signifie un rapport dans lequel chaque phrase cite un id du paquet et celui de l' un.unknownLa réclamation est partie.

Leçon d'artisanat

Cette leçon produit outputs/skill-evidence-ledger.mdIl indique à l'agent comment écrire chaque découverte en tant qu'enregistrement avec confiance, autorité, limitations et liens.pass- Je suis là .fail- Je suis là .unknownou unsupported- Je suis désolé .

Vérifiez

Exécutez la démo et la suite déterministe:

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

Les 28 tests prouvent:

• réalistesevidence_idLes valeurs, le profil et les deux instantanés query_idLes valeurs sont recomputées à partir du contenu
• un chemin modifié garde l' id et une limite modifiée le modifie
• un enregistrement corrompu, un fournisseur de profil non correspondant, un flot et une valeur enum inconnue sont rejetés
• une copie des dossiers duplicate, un record contradictoire monte, et une importation de paquets est atomique
• les importations enregistrées en série avec 18 enregistrements et aucun lien suspendu
• Un inconnu s' ouvre à la révision 1, refuse une mise en mode expected_revision, et se résolve seulement avec observé controlled-replaypreuve
• une révision modifiée rompt la chaîne
• La promotion refuse les preuves déduites, dérivées, vides et non liées, et passe avec un accord
• couverture partielle est unknownet une course en désaccord est fail
• le cache clique sur la clé exacte et manque sur d'autres paramètres
• le cache refuse une version de profil accidentée, une cible erronée, une version de format erroné et une clé altérée
• Le lecteur de l' ELF est d' accord avec llvm-objdumpsur les compensations, les tailles, les octets et les délocalisations, et le tableau se lit 1, 2, 3, 4, 4
• Les prédictions utilisent la division C, et les courses enregistrées sont d'accord avec les 17 revendications de seule entrée
• Avec un compilateur présent, les émissions en direct sont également d'accord

Mode de défaillance de la production

Règlement d'exploitation

Enregistrez ce que vous avez lu, ce que vous avez calculé et ce que vous attendez comme trois types d'enregistrements avec trois mots. Fermez un inconnu avec un id, jamais avec une phrase. Rejouez une réponse seulement sous la clé exacte avec laquelle elle a été stockée, et refuser quand une chaîne de version diffère.

Pour en savoir plus

• 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
• réa 6.5.0 source à la balise 3b79af2que cette leçon décrit: src/domain/evidence.ts- Je suis là ..agents/skills/reverse-engineer-anything/SKILL.md- Je suis là .docs/cli.md- Je suis là .src/domain/reconstructionVerification.ts- Je suis là .src/application/ReconstructionObligationCandidates.ts- Je suis là .docs/tool-design.md- Je suis là .src/domain/evidenceCompletionLedger.ts- Je suis là .src/domain/residualUnknown.ts- Je suis là .src/application/investigation/UnknownEvidence.ts- Je suis là ..agents/skills/reverse-engineer-anything/references/evidence-workflows.md- Je suis là .src/application/binary/AnalysisSnapshotCache.ts- Je suis là .src/domain/analysisSnapshot.ts- Je suis là .src/application/binary/BinarySession.ts- Je suis là .src/application/binary/BinarySessionRecords.ts- Je suis là .docs/mcp-contracts.md- Je suis désolé .

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.