BIS-C07 · Composición tipada entre dimensiones diferentes

S22 · BIS-02 en ejecución · RETP-2026-210

Contrato · Banco y fuentes SVP · Oráculos algebraicos previos · Contratos del conductor · Fuentes y alcance · Verificación documental.

18 variantes preparadas; cero ejecutadas: cuatro positivas y catorce negativas contractuales. El banco preserva células de 16 y 25 posiciones, serie por puente y compuerta con codominios ordenados. No concatena vectores ni impone un operador universal.

Once negativas prevén rechazo estructural; tres mantienen estructura admisible pero sustituyen la operación esperada. Esa previsión deriva de inspección y contrato, no de una prueba Rust. Los oráculos incluyen tres vectores de destino y nueve filas de compuerta, sin atribuir salidas hipotéticas a un productor aún no ejecutado.

C07-P/N originales siguen pendientes de realización y prueba. Continúa C08: Tri.U y fallo técnico. Los contadores generales permanecen en dos escenarios originales ejecutados y 22 pendientes; BIS-03 decide sedes y BIS-04 realiza lo justificado. S24 conserva la GUI diferida hasta cierre de Bis, catálogo y fase.