FOQA — a exceedance de voo que você prova

Todo voo comercial grava centenas de parâmetros a alta taxa. Programas de segurança (FOQA) os varrem por exceedances: um parâmetro que saiu do envelope seguro — bank angle demais, g excessivo, velocidade alta. O TUBE retém o registro de voo com bound e certifica a exceedance sem descomprimir. Dado real: NASA DASHlink, 3 voos, 186 parâmetros.

Bank angle de um voo — o envelope ±25°

ângulo de rolagem (graus) a 8 Hz · a faixa é o envelope seguro ±25° · fora dela = exceedance (curva acentuada)

Retenção do registro de voo

10 parâmetros × 3 voos · 1,28 M amostras · ε = resolução do sensor
gzipSZ3TUBE (±ε)

SZ3 vence de raspão (1,12×) — os parâmetros de voo são lisos; ambos ~54–61×. Bound nunca violado. Multiplique por 186 parâmetros × milhares de voos × frota: é o QAR inteiro retido com garantia por amostra.

Exceedance certificada

"quantas amostras saíram de ±25° de bank?"

[612, 620]
bracket certificado · verdade 616 · pico 29,3°

O CLAMP acha a exceedance tocando 2,3% do registro comprimido (4 de 176 blocos) — a evidência de segurança sem descomprimir. A borda ±ε trata as amostras exatamente em 25°, o limiar que dispara o alerta.

🔏
Exceedance de voo selada no GIRDER — verificada
foqa · NASA DASHlink Tail666 voo1 bank · cabeça 18da11a0453fb0db… · Ed25519, encadeado, carimbado PLUMB

A leitura honesta. Bytes empatam com o SZ3 (parâmetros lisos) — a venda é a exceedance certificada tocando 2,3% do arquivo + a retenção da frota com bound provável + o selo. A mesma consulta serve a qualquer envelope (g vertical, velocidade, altitude). Acesso: o tail zip da NASA é 838 MB — extraí os voos parseando os cabeçalhos locais do zip na parte já baixada, sem o arquivo inteiro. Dado real: NASA DASHlink. TUBE, SZ3 e gzip no mesmo dado, bound idêntico.