echolabsFLIGHT-1S v4 — resultados
Estado: cerrada roja. Validación A interrumpida en 44/64 vuelos y con un fallo de recuperación. Banco no autorizado. FLIGHT-1S no queda verde bajo v4. Contrato: FLIGHT1S-V4-DESIGN.md.
Veredicto
| Grupo | Estado | Nota |
|---|---|---|
| Ejecución | rojo | 44/64 vuelos A, 0/4 controles negativos; cadena interrumpida |
| Recuperación | rojo | perturbed-eddc87870377f61b-r5: not_recovered |
| Separación | rojo | no evaluable: faltan bloques de mundo completos |
| Controles negativos | rojo | no volados |
| Estímulo, desafío perturbado, envolvente física 1000 mm | verde | sobre los 44 vuelos existentes |
| Repetición, higiene, configuración, código/historia congelados | verde | lock 8ed03f5a…cb71c intacto |
Uno solo de los grupos rojos basta para impedir el verde. La recuperación fallida es independiente de la interrupción: completar los 20 vuelos no cambiaría el veredicto de A.
Interrupción
El proceso campaign run murió el 2026-09-11 a las 07:09:37 (CEST) junto
con la sesión del agente que lo había lanzado. No hay traceback ni OOM del
kernel. En ese momento volaban perturbed-02083ef67737f6d9-r7 y
nominal-02083ef67737f6d9-r7; sus contenedores terminaron solos y su
salida quedó en /tmp, fuera de lab/. No hubo validation/report.json.
Faltan 02083…-r7/r8 (4 vuelos), el mundo ef7f22a49738b970 completo
(16) y los 4 negativos. Por diseño no hay reintentos ni exclusión de fallos de
infraestructura, y el coordinador congelado rechaza reabrir una etapa. No se
volaron vuelos nuevos para completar el denominador. El log original se copió
a lab/flight1s-v4/run.log (sha256 156a2d2e…2701).
Evidencia existente
Auditoría de los 44 vuelos contra el lock: 662 comprobaciones, 0 hallazgos. Traza, ULog, identidad, asignación, parámetros leídos en ULog, mundo, fuerza, duraciones y aritmética independiente reconstruidos; ningún fichero ajeno.
| Brazo | N | Mínimo, mm | Máximo, mm | >250 mm |
|---|---|---|---|---|
| Nominal | 22 | 85.459 | 291.350 | 2 |
| Perturbado | 22 | 399.588 | 643.178 | 22 |
Nominales >250 mm (diagnóstico v2, no criterio v4): nominal-eddc…-r8
256.294 y nominal-02083…-r1 291.350. Impulso perturbado 636–763 ppk; una
publicación de wrench en cada perturbado; desplazamiento máximo 658 mm.
Fallo de recuperación, del veredicto congelado: tras el pulso, desafío 457.476 mm, impulso 638 ppk, sin 3 s continuos dentro de 200 mm antes de 10 s; offset final 124.563 mm. El final dentro del radio no demuestra permanencia. El detalle de entrada/salida de banda está en flight1s-v5/DESIGN.md; no altera este resultado.
Contraste por mundo, sólo diagnóstico (la puerta exige 4 bloques completos):
| Mundo | Parejas | Media d, mm | Mínimo d, mm |
|---|---|---|---|
| 73e0dcb3241663a5 | 8/8 | 381.891 | 220.708 |
| eddc87870377f61b | 8/8 | 240.536 | 191.904 |
| 02083ef67737f6d9 | 6/8 | 325.441 | 269.410 |
| ef7f22a49738b970 | 0/8 | — | — |
Con cuatro mundos A es sólo puerta de ingeniería; estas medias no son
inferencia. La estabilidad observada se atribuye a PX4; echoAI no participa
en estos vuelos (agent_in_gazebo=false, cortex_calls=0, wsp_writes=0).
Comprobaciones previas
Auditores históricos ejecutados de nuevo antes del lock:
| Versión | Comprobaciones | Hallazgos | Episodios reconstruidos | Resultado |
|---|---|---|---|---|
| v1 | 375 | 0 | 48 | Evidencia válida, rojo |
| v2 | 435 | 0 | 48 | Evidencia válida, rojo |
Desarrollo v3 de noaid_7n (no entra en el denominador v4): 68 nominales
88.049–280.493 mm (1 >250) y 67 perturbados 393.057–677.017 mm. Regresión
previa al lock: 7/7 módulos verdes (lab/flight1s-v4/regression.json).
Reproducir
Desde echoai:
PYTHONPATH=.. python3 -m echoai.nexus0.flight1s_v4_close audit
Reconstruye el cierre desde las trazas y lo compara con
lab/echo3_flight1s_v4_report.json (sha256 ad998091…46b8,
kind=interrupted_closure). close es de una escritura y se niega si el
informe existe. nexus0/flight1s_v4_close.py está fuera de nexus0/flight1s_v4/
para no alterar el inventario congelado; usa el contrato v4 sin cambios.
La orden congelada flight1s_v4.campaign audit no evalúa etapas sin
report.json y devuelve evidence_valid=false; esperado en esta cadena.
Las pruebas de adulteración de etapa del coordinador no se ejecutaron: no
hay informe de etapa sobre el que mutar.
Un verde v4 no habría significado que v2 era verde ni precisión nominal ≤250 mm. Esta cadena no acredita autonomía echoAI, vuelo real ni sim-to-real.