DOCUMENTACIÓN / PRUEBAS Y EVIDENCIAS
Pruebas y evidencias
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.
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
Fase 0.2 · 34022055251
24 PASS · 0 FAIL · 0 ERROR · 0 BLOCKED. Ejecución privada · Registro 012 · privado
| Testigo | Estado | Obligación observada |
|---|---|---|
NA05-baseline | PASS · defecto detectado | El criterio positivo detecta el incumplimiento del prototipo 0.1 |
A05-positive | PASS | Una conexión lenta no impide respuesta auténtica en 2 s a otra petición. |
A05-capacity-control | PASS | Cuatro lectores ocupados limitan datos y conservan el control local autorizado. |
A07-before | PASS | Cancelación previa exacta impide el efecto y conserva una petición independiente. |
A07-after | PASS | Un compromiso no se deshace y su estado sobrevive al reinicio del receptor. |
A07-binding | PASS | Una huella ajena no cancela el contenido legítimo del mismo identificador. |
A07-authority | PASS | La clave de datos y el canal TCP no permiten ejercer la cancelación. |
A07-offline | PASS | Con el bus detenido se cancela y la entrega posterior queda impedida. |
A07-restart | PASS | La cancelación previa permanece después de reiniciar receptor y bus. |
I08-revocation | PASS | Revocación tras validación y antes de la transacción impide el efecto. |
I08-cancellation | PASS | Cancelación tras validación y antes de la transacción impide el efecto. |
I08-commit | PASS | Una cancelación bloqueada por la transacción no emite un éxito falso. |
I01-tamper | PASS | La modificación del tráfico no produce efectos ilegítimos. |
I02-fabricate | PASS | La modificación del tráfico no produce efectos ilegítimos. |
I03-replay | PASS | Las entregas repetidas sólo comprometen un efecto. |
I06-receipt | PASS | El recibo fabricado se rechaza aunque el efecto exista. |
I03-concurrent | PASS | Peticiones concurrentes idénticas no duplican el efecto. |
I07-order | PASS | La revisión explícita rechaza inversión y las identidades conflictivas. |
I09-contract | PASS | Firmas inválidas, versiones y destinos ajenos no se admiten. |
A02-recovery | PASS | Pérdida del recibo y reintento tras reinicio no duplican. |
A06-transaction | PASS | La terminación antes de comprometer revierte y permite un reintento único. |
A05-quota | PASS | Los límites de registros rechazan crecimiento y preservan reintentos y control. |
C04-C06-bounded | PASS | Canario y claves no aparecen en capturas o salidas examinadas; otra clave no abre el recibo. |
P02-measurement | PASS | Cuarenta operaciones auténticas con muestras completas y capturas acotadas. |
Procedencia y medición
Fuente fa69ead89282112433b6dc9c6571d334c25c4858. Binario SHA-256 e7dd02013237d2b295903029267a4941ea600399e6e04cf43917104a00804265. Ejecución 34022055251: 35 muestras útiles tras 5 de calentamiento, mediana completa 4,313462 ms y máximo 5,587314 ms. Intel Xeon Platinum 8573C alojado; no es SLO ni prueba de mejora causal. El control NA05 reproduce el incumplimiento del binario 0.1; no convierte aquel fallo en conformidad.
Los resultados se atribuyen al testigo y al corte ejecutado. Una comprobación parcial no cierra una garantía completa.
Continuación histórica 0.1 · 34010741314
7 PASS · 1 FAIL · 1 BLOCKED · 0 ERROR. Abrir ejecución privada.
| Testigo | Estado | Alcance observado |
|---|---|---|
I07-revision | PASS | La precondición de revisión impide adelantar una modificación dependiente |
I08-lock | PASS | Revocación persistida antes de que el receptor pueda obtener la transacción de escritura |
C04-logs | PASS | Los registros y capturas examinados no contienen el canario excluido ni las claves binarias |
C05-keys | PASS | Un segundo juego independiente de credenciales no abre el recibo del primer participante |
C06-captures | PASS | Las capturas persistidas tras reiniciar el bus no contienen el canario en claro |
A05-deadline | FAIL | Comprobar si el plazo de 2 s limita la interacción completa |
A07-invalid | PASS | Un campo de cancelación ajeno al contrato se rechaza y no cancela otra petición |
A07-authorized | BLOCKED | Cancelación autorizada y correlacionada con una petición |
A08-bounded | PASS | Tres intentos con bus detenido no generan efectos; el restablecimiento permite un compromiso |
Conservación de las ejecuciones anteriores
| Ejecución | Estado registrado | Objeto |
|---|---|---|
| 34008781204 · privada | Correcta | Habilitación del entorno; sin prueba de seguridad |
| 34009071616 · privada | Fallo conservado | 17 testigos correctos; fallo posterior del empaquetado |
| 34009279507 · privada | Correcta | Repetición con empaquetado corregido |
| 34009531885 · privada | Correcta | 17 testigos; compilador y dependencias fijados |
Acceso al registro completo
Expediente de continuación · privado. Los paquetes conservan entradas, comandos, salidas, estados y manifiestos SHA-256. Las claves ficticias y las capturas completas permanecen en el repositorio privado.
Cómo interpretar el resultado
PASS: el criterio limitado del testigo se cumplió. FAIL: se observó un incumplimiento del criterio ensayado. ERROR: la sonda no concluyó. BLOCKED: falta una capacidad o condición necesaria. En los tres controles negativos de la primera tanda, PASS significa que el oráculo detectó el defecto introducido deliberadamente.