Riesgos y límites
Los muros son posiciones LP financiadas en ETH. Su presencia define una liquidez disponible, sin hacer que el resultado de una operación sea independiente del precio, las comisiones o el estado del pool.
Precio y ejecución
Una posición puede consumirse. El mercado, el objetivo de los fondos nuevos, el precio de un rango y el importe neto obtenido por una venta son datos distintos. Utiliza una cotización para el importe previsto.
Una variación fuerte entre cotización y ejecución puede provocar un rechazo por el mínimo recibido o el límite de entrada. Las tasas, las comisiones del pool y el gas siguen siendo costes reales.
Contratos y contabilidad
La separación de cuentas debe seguir siendo válida después de compras, ventas, quemas, recogida de comisiones, recompensas, referidos y sustituciones. La nueva política debe conservar especialmente los ticks y los remanentes de cada muro.
El aislamiento de los CUBIT absorbidos antes de su posible reventa es una restricción crítica. Debe validarse en la nueva estructura de posiciones y los recorridos exact-input/output, incluso cuando se suceden varias operaciones.
La vinculación de BandLib y WallLib, el tamaño de los contratos y los parámetros de compilación también forman parte del alcance de verificación.
Mantenimiento y disponibilidad
Un keeper debe pagar gas y enviar una transacción para ejecutar el mantenimiento. Una recompensa demasiado baja, un RPC no disponible, congestión o un problema de seguimiento del nonce pueden retrasarlo.
La pausa del guardian no bloquea los swaps, pero puede suspender las dos funciones de mantenimiento durante el periodo autorizado. La expiración de la pausa no repone una reserva gastada.
Integraciones y módulos
Un router de terceros no necesariamente tiene el mismo tratamiento final de la quema que el router CUBIT. La compatibilidad de un agregador debe probarse con las tasas del hook y la versión del pool.
Los módulos sustituibles introducen confianza en las decisiones futuras del equipo. Las verificaciones de getters no demuestran la seguridad del código elegido. Una dirección nueva requiere revisar de nuevo la autorización o la firma.
Frontend y datos
Una pantalla puede utilizar una simulación, un manifiesto antiguo o datos obsoletos. La interfaz debe identificar la red y los bloques, señalar fallos e impedir una firma desde un contexto que haya perdido coherencia.
Las cifras en USD dependen también de la convención de capitalización y de la conversión elegida. La base 7k solicitada debe calibrarse antes de convertirse en un parámetro de lanzamiento en ETH.
Qué permiten afirmar las pruebas
Las pruebas y campañas de invariantes aportan evidencias sobre los casos, estados y revisión realmente explorados. Un análisis estático sin alertas High no significa ausencia de defectos; una campaña larga superada no es una prueba formal general.
Esta edición no afirma tener una auditoría externa terminada, validación mainnet ni imposibilidad de pérdidas. El estado real de las versiones detalla lo comunicado y lo que queda por establecer.
Fuentes: audit/reports/2026-09-10-v1-v2/BILAN_FINAL_FR.md, SECURITE_ET_RECETTE.md, contracts/docs/STRICT_BURN.md y las fronteras de ejecución presentes en el código.