BIS-C08 · Tri.U válido y fallo técnico de representación

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

Contrato candidato · Banco previo · Oráculo de conservación · Fuentes y alcance · Verificación documental.

Veinte escenarios especificados; cero ejecutados. Seis positivos y catorce negativos. Seis fuentes SVP preparan entradas parciales; no implementan el montaje gráfico. El testigo conserva 16 posiciones y cinco U legítimas.

La representación debe conservar el estado matemático. Fallo técnico, indisponibilidad, rechazo de artefacto y ausencia de materialización conservan su estatuto y evidencia. Si el contrato exige imagen, su ausencia impide ese uso, sin producir una U ni alterar el estado. Las guardas de tipos Rust existentes no prueban por sí solas la procedencia de un literal U fabricado por un adaptador.

C01 conserva su evidencia nativa; C02–C07 conservan estados y límites. Los contadores originales permanecen en dos ejecutados y 22 pendientes. Continúa C09; BIS-03 decide sedes y BIS-04 realiza lo justificado. GUI pendiente en S24.