DOCUMENTACIÓN / DOCUMENTACIÓN DE LABORATORIOS

Documentación de laboratorios

Consulta pública actualizada · 27 de septiembre de 2026

Estado documental, resultados de candidatos, fuentes identificadas y criterios de revisión externa. Incluye una edición para lectura sin conexión y distingue la evidencia pública de los límites de acceso.

Consultar estado, fuentes y revisión externa

Las fichas y pruebas históricas de esta página conservan sus fechas y alcances originales.

Evidencia pública verificable · 8 de septiembre de 2026

El paquete de verificación se consulta sin acceso privado. El panel conserva 55 PASS, 1 FAIL, 1 BLOCKED y 1 ERROR. La conciliación de #8 enumera aparte sus 16 PASS y 1 ERROR; no vuelve a sumarlos al panel. Especificación, manifiesto, verificador y límites.

Marco canónico en Calidad: perfiles, contratos y ensamblaje

Lectura prioritaria para continuar el cierre nuclear. El acta distingue representación, dominio y soporte tecnológico, precisa qué debe conservar y comprobar la semántica y la IR y exige ensayo previo de las realizaciones tecnológicas en el laboratorio. Leer el acta canónica en Calidad · Consultar el corte de integración.

Esta página mantiene un vínculo explícito a la sede canónica. Los registros y la candidata 020 conservan sus evidencias y límites propios.

Secuencia de cierre desde PR #61. Consultar etapas, relevos IMM/CYB y obligaciones tecnológicas · Corte integrado. Adenda del acta de transición existente · RETP-076.

Continuación documental · 020

El perfil tecnológico candidato parte de los contratos y las pruebas 0.2, 016 y 018. Distingue evidencia heredada y enlace pendiente con SV, y conserva la secuencia de cierre nuclear. Consultar la candidata y sus 14 obligaciones.

Continuación material · 018

La comparación local .NET/FFI y WebAssembly ya está ejecutada: paridad de 79 casos, 36000 muestras y contención de fallos. La integración completa con el bus y R1 sigue pendiente. Los estados anteriores se conservan como antecedentes. Ver resultado, costes y límites actuales.

Fase 0.2 · 24 PASS · 0 FAIL · 0 ERROR · 0 BLOCKED

Repetición #9 correcta: 23 comprobaciones de fase 0.2 y un control, más 17 testigos iniciales y 7 comprobaciones del controlador. La ejecución #8 conserva un ERROR A04 por carrera de limpieza; la corrección está documentada y probada. Las garantías completas y el enlace con SV permanecen abiertos. Contrato experimental · Mapa verificable · Resultados y límites

Acceso a los dos laboratorios y a sus fuentes. Cada ficha indica qué contiene, dónde reside y qué estado acredita.

LAB-2026-033 · 09/09/2026

Aislamiento del auxiliar y verificación independiente

Dos componentes experimentales Rust, 33 testigos finales, utilidad y ataques; costes y límites medidos.

Ensayo sintético · sin ejecución de modelos IA ni sv_core

Leer documento completo · Paquete verificable

LAB-2026-030 · 09/09/2026

Rendimiento y seguimiento Beta

Medición exploratoria recibida, tablas corregidas y controles de tiempo, CPU y memoria para las futuras evoluciones.

Sin necesidad acreditada de refactorización · reproducción pendiente

Leer documento completo

CONTINUIDAD · LECTURA PRIORITARIA

Secuencia rectora desde PR #61

Oráculos, K1, contratos, retornos IMM/CYB, puerta algebraica, K2 y consolidación; continuación R2/R3/R4. Obligaciones tecnológicas PT01–PT14 en cada etapa.

Acta de transición · RETP-076

LECTURA PRIORITARIA · CALIDAD