Informe de Inteligencia de Sincronización de Protocolo Reconciliación completa de upstream. Toly implementó una actualización estructural del programa: límites administrativos por mercado integrados en la configuración de la losa como restricciones inmutables. Absorbimos todo el delta en la pila ALIENTOR. Cada capa — análisis en cadena, codificación de instrucciones, construcción de transacciones, manejo de errores, herramientas para operadores y la interfaz de usuario de trading en vivo — ahora habla el mismo formato de wire que el binario actualizado. El cambio principal: barandillas de gobernanza a nivel de configuración. Tres nuevos parámetros inmutables se estampan en cada mercado en el momento de la inicialización. Una vez establecidos, el programa los hace cumplir para siempre — sin anulación administrativa, sin salida de multisig. Máxima tarifa de mantenimiento por slot (sin signo de 128 bits). Umbral de riesgo máximo (sin signo de 128 bits). Suelo del precio mínimo del oráculo (sin signo de 64 bits). Estos actúan como techos y suelos duros. Cualquier operación administrativa subsiguiente que viole estos límites se rechaza en cadena con el nuevo error InvalidConfigParam. Esta es una minimización de confianza a nivel de protocolo: los implementadores de mercado se comprometen a los límites de parámetros en el génesis. Geometría de la losa cambiada. La región de configuración creció en 48 bytes para acomodar los tres campos de límite más espacio reservado. La longitud de la configuración pasa de 320 a 368. El bloque del motor se desplaza hacia abajo desde el desplazamiento 392 a 440. La asignación total de la losa crece de 992,560 a 992,616 bytes. Cada lectura dependiente del desplazamiento — análisis de bitmap, búsquedas de cuentas, extracción del estado del motor, lecturas de saldo de bóveda — recalibrada a través de toda la pila. Cuatro capas de análisis independientes actualizadas para coincidir: el analizador del lado del servidor canónico, el analizador del lado del navegador, las constantes locales del constructor de transacciones y la constante de cálculo de alquiler para nuevos despliegues de mercado. Tres nuevas instrucciones para el ciclo de vida post-resolución. Etiqueta 21: cierre forzado administrativo para cuentas abandonadas después de la resolución del mercado. Requiere la bandera resuelta, posición cero, firma administrativa. Ocho metas de cuenta con el contexto completo de bóveda/token/oráculo. Así es como limpias los rezagados después de que un mercado binario se asienta. Etiqueta 22: configuración de la política de retiro de seguros. El administrador establece una autoridad, base mínima de retiro, puntos básicos máximos de retiro y un período de enfriamiento en slots. Acceso a seguros limitado por tasa para mercados resueltos: la autoridad puede drenar de forma incremental pero nunca exceder los límites configurados por época. Etiqueta 23: ejecutar un retiro de seguro limitado por tasa bajo la política configurada. La autoridad presenta un monto, el programa lo verifica contra las restricciones de min/max/enfriamiento y transfiere de la bóveda si es válido. Siete metas de cuenta incluyendo el reloj para la aplicación del enfriamiento. Las tres completamente codificadas — diseños de datos de instrucciones, especificaciones de orden de cuentas con banderas exactas de firmante/escribible, y funciones de codificación de alto nivel listas para uso tanto en CLI como programático. Formato de wire de InitMarket actualizado. La instrucción de inicialización ahora espera tres campos adicionales entre el precio de marca inicial y el bloque de parámetros de riesgo: los tres límites administrativos. Codificados como u128, u128, u64 en el orden exacto del wire. La CLI los acepta como --max-maintenance-fee, --max-risk-threshold y --min-oracle-price-cap. El constructor de transacciones de la UI inyecta valores predeterminados generosos — techos a escala de billones para la tarifa y el umbral, suelo cero para el límite del oráculo — asegurando que los flujos de despliegue de mercado existentes no se rompan mientras se da a los operadores el control total cuando lo necesiten. Dos nuevos códigos de error del programa. Código 26: InvalidConfigParam — se activa cuando cualquier operación administrativa intenta establecer un valor que excede o subestima los límites inmutables del mercado. La CLI presenta orientación técnica; la UI traduce a un lenguaje de usuario accionable sobre la verificación de las restricciones de parámetros. ...