Capacidad genérica de último reinicio
Las posiciones 16–18 pueden unificarse con una regla exacta: elegir el último reinicio activo y evaluar solo su sufijo.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Las posiciones 16–18 pueden unificarse con una regla exacta: elegir el último reinicio activo y evaluar solo su sufijo.
Por qué la prueba es relevante
El acarreo es una recurrencia de primer orden: un estado forzado posterior borra toda dependencia anterior. La unión debe usar dominancia por posición máxima y no sumar tasas solapadas.
r*=máx{i∈{16,17,18}:Ri=1}c22=Sufijo(r*→22,valor(Rr*))P(algún reinicio)=P(R16∪R17∪R18)Cómo se probó
Compilar un contrato genérico por posición, elegir el reinicio máximo, despachar el sufijo K/P/G correspondiente y validar en cohortes original y fresca.
Qué ocurrió
Cero errores semánticos. La cobertura fue 874/1.361 (64,22%) originalmente y 192/300 (64,00%) en fresco. Las últimas posiciones frescas fueron bit16:17, bit17:64, bit18:111 y ninguna:108.
Controles de exactitud y estadísticos
Las tasas de unión concuerdan, pero la puerta teoremática siguió siendo igualdad exacta de máscaras. El contrato prohíbe multiplicar tasas y conserva el límite de atenuación de V42.
Qué significa
V43 cierra la familia de reinicios como representación exacta reutilizable. Su economía no fue evaluada y el límite posterior impide promoverla a submotor.
Limitaciones
- Exactitud acotada al cubo fuente declarado.
- Cobertura no equivale a trabajo SHA ahorrado.
- La interfaz a6 no se simplificó.
Trazabilidad
Enumerar solapamientos, elegir la posición máxima, aplicar el sufijo correcto y verificar c22 contra suma directa en ambas cohortes.
Variantes canónicas
SUBENGINE-V43ASUBENGINE-V43BSUBENGINE-V43CFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.