BIS-C12 · Perfiles, documentación y construcción

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

Contrato candidato · Banco previo · Oráculo · Entradas · Fuentes · Comprobación · Código y operaciones.

Veinte escenarios, seis positivos y catorce negativos; once entradas literales. Cero escenarios C12 ejecutados en Rust o en una IA. Paridad canónica y procedencia se cotejan separadamente. Documentación bilingüe no crea perfiles fuente. Funciones, métodos y posibles macros deben conservar las validaciones.

El entorno local se desconectó tras la lectura; la preparación se realizó directamente mediante JavaScript y GitHub. Sin ejecución del preparador Python ni sincronización final del checkout.

Siguiente: consolidar cobertura y pendientes C01–C12, preparar sedes BIS-03. Dos escenarios originales ejecutados y veintidós pendientes; S24 mantiene GUI diferida.