Risques et limites

Les murs sont des positions LP financées en ETH. Leur présence définit une liquidité disponible, sans rendre le résultat d’un trade indépendant du prix, des frais ou de l’état du pool.

Prix et exécution

Une position peut être consommée. Le marché, la cible des nouveaux fonds, le prix d’une plage et le montant net obtenu par une vente sont des données distinctes. Utilisez une cotation pour le montant envisagé.

Une forte variation entre cotation et exécution peut provoquer un refus par le minimum reçu ou le plafond d’entrée. Les taxes, les frais du pool et le gas restent des coûts réels.

Contrats et comptabilité

La séparation des comptes doit rester vraie après achats, ventes, burns, collecte de fees, rewards, referrals et remplacements. La nouvelle politique doit notamment conserver les ticks et les reliquats de chaque mur.

L’isolation des CUBIT absorbés avant leur éventuelle revente est une contrainte critique. Elle doit être validée sur la nouvelle structure de positions et sur les chemins exact-input/output, y compris lorsque plusieurs opérations se suivent.

Le linking de BandLib et WallLib, la taille des contrats et les paramètres de compilation appartiennent aussi au périmètre de vérification.

Maintenance et disponibilité

Un keeper doit payer le gas et soumettre une transaction pour exécuter la maintenance. Une prime trop faible, un RPC indisponible, une congestion ou un problème de suivi de nonce peuvent la retarder.

La pause guardian ne bloque pas les swaps, mais elle peut suspendre les deux fonctions de maintenance pendant la période autorisée. L’expiration de la pause ne remplit pas une réserve dépensée.

Intégrations et modules

Un routeur tiers n’a pas nécessairement le même traitement final du burn que le routeur CUBIT. La compatibilité d’un agrégateur doit être testée avec les taxes du hook et la version du pool.

Les modules remplaçables introduisent une confiance envers les décisions futures de l’équipe. Les vérifications de getters ne constituent pas une preuve de sûreté du code choisi. Une nouvelle adresse nécessite une nouvelle revue de l’approval ou de la signature.

Frontend et données

Un affichage peut utiliser une simulation, un ancien manifeste ou des données périmées. L’interface doit identifier le réseau et les blocs, signaler les pannes et empêcher une signature à partir d’un contexte devenu incohérent.

Les chiffres en USD dépendent aussi de la convention de capitalisation et de la conversion retenue. La base 7k de la demande doit être calibrée avant de devenir un paramètre de lancement en ETH.

Ce que les tests permettent de dire

Les tests et campagnes d’invariants donnent des preuves pour les cas, les états et la révision effectivement explorés. Une analyse statique sans alerte High ne signifie pas absence de défaut ; une longue campagne réussie n’est pas une preuve formelle générale.

Cette édition ne revendique ni audit externe terminé, ni validation mainnet, ni absence possible de perte. L’état réel des versions détaille ce qui a été rapporté et ce qui reste à établir.

Sources : audit/reports/2026-09-10-v1-v2/BILAN_FINAL_FR.md, SECURITE_ET_RECETTE.md, contracts/docs/STRICT_BURN.md et les frontières d’exécution présentes dans le code.