rea-analysis-optimization
Optimisation des analyses REA
Utilisez ce skill dans un clone du dépôt REA (morluto/rea) ; les guides cités sont embarqués sous references/rea/ (copie figée du commit importé ; dans un clone, la version du clone fait foi).
Trouvez une source concrète de travail inutile, corrigez-la chez son propriétaire et vérifiez que les investigations menées à terme restent équivalentes. Une décision mesurée de laisser une implémentation telle quelle constitue aussi un résultat utile.
Suivez les priorités de performance, le guide de conception des outils et le guide de test du clone. Ce skill fournit un workflow d'optimisation, pas une permission supplémentaire d'exécuter des cibles, de publier ou de fusionner. Appuyez-vous sur les contrats en vigueur, les prérequis des providers et l'autorisation de l'utilisateur.
Réservez les mesures de performance aux changements qui visent la performance ou qui soulèvent un risque concret de régression. Le nettoyage courant repose sur des vérifications d'exactitude : il n'exige ni ce workflow d'optimisation ni des benchmarks synthétiques du seul fait que des appels de helpers, des imports ou des représentations changent.
Lisez l'étude de cas Kuna lorsque vous choisissez une stratégie de réutilisation ou interprétez un benchmark. Ses observations figées illustrent des compromis ; elles ne garantissent rien sur les providers actuels et ne constituent pas des gains de vitesse universels.
Fixez la question et l'oracle d'exactitude
Décrivez la tâche menée à terme par l'analyste : les faits et relations nécessaires pour y répondre, le niveau de détail demandé, l'accès aux sources et les inconnues significatives. Choisissez un artefact réel représentatif ainsi qu'un cas petit ou vide. Consignez la révision de référence, le digest de la cible, l'identité du moteur, les options, l'hôte et le point d'entrée. Travaillez dans un clone séparé pour ne pas perturber d'autres travaux.
Établissez un oracle indépendant de l'implémentation modifiée : attentes de fixtures construites depuis les sources, octets de fichier mappés indépendamment, ou producteur natif accompagné de vérifications de son interprétation. Comparer deux wrappers autour du même décodeur défectueux n'établit pas l'exactitude. Préservez les largeurs d'adresse, les alternatives à même adresse, les extrémités non résolues, la couverture et le lien avec les sources. Un résultat vide ne prouve l'absence que dans le périmètre réellement examiné.