BIS-C06 · Lectura, inicialización y reevaluación
S22 · BIS-02 en ejecución · RETP-2026-209
Contrato candidato · Banco previo · Matriz de sedes y límites · Continuidad e instantáneas · Fuentes · Verificación documental.
Dieciocho escenarios especificados: seis positivos contractuales y doce negativos; cero ejecutados. La lectura técnica puede registrarse sin Frame. La evaluación inicial no exige antecedente ficticio; la reevaluación necesita horizonte, dato suficiente y productor real. Bienformación local, evaluación ejecutada y custodia histórica tienen alcances distintos.
La inspección reconoce las guardas Rust existentes. No acredita productores ausentes mediante declaraciones o booleanos. El criterio de aceptación Rust de C05 permanece vigente; este incremento sólo prepara contratos, oráculos textuales y un testigo estructural, con comprobación auxiliar Python.
Los 24 escenarios originales conservan dos ejecutados y 22 pendientes. Continúa C07: composición, dimensiones diferentes, dirección, puentes y codominios. BIS-03 decide sedes; BIS-04 realiza lo justificado. S24 mantiene diferida la GUI hasta el cierre del Bis, catálogo y fase.