DOCUMENTACIÓN / LABORATORIO DE INFRAESTRUCTURA
Laboratorio de infraestructura
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
Ensayos de cliente, bus y receptor Rust con un efecto SQLite sintético. El prototipo no ejecuta sv_core.
| Dato | Referencia |
|---|---|
| Repositorio canónico del experimento | SV-matematica-semantica-cuaternaria · privado |
| Rama | lab/infraestructura-sv-2026-09-06 |
| Carpeta | laboratorio-de-infraestructura-SV/ |
| Corte fuente de la continuación | f973904d58cd2a9f28cb93e9c41fe2c5893dce68 |
| Ejecución de la continuación | 34010741314 · privada |
| Revisión pública | Panel de resultados |
Fuentes históricas del experimento 0.1
- Contrato experimental 0.1 · privado
- Criterios de las sondas de continuación · privado
- Estado documentado de la primera tanda · privado
- Fuente del prototipo Rust · privado
- Controlador de la primera tanda · privado
- Controlador de la continuación · privado
Qué acredita
La primera tanda verificó 17 testigos, incluidos tres controles de sensibilidad. La continuación se resume en la ficha de evidencias. La confidencialidad, la integridad y la recuperación completas siguen abiertas.
Entorno de ejecución
GitHub Actions proporciona el equipo alojado Ubuntu 24.04 x86-64; GitHub Pages sirve los documentos estáticos. La página no ejecuta el bus, no lee el repositorio privado y no contiene las credenciales sintéticas de los ensayos. La revisión pública comparte origen web con el Playground.