Toda usina dos EUA reporta emissões horárias à EPA por monitores contínuos (CEMS). O limite está na lei (40 CFR Part 75) — o ε aqui é literalmente a precisão de reporte, e a régua é o limite do permit. O TUBE retém a série com bound provável e transforma o relatório de conformidade numa consulta que você prova. Dado real: EPA CAMPD, usina Barry (AL), unidade 5, ano 2023 (8.760 horas).
TUBE 2,1× menor que o SZ3 (19,9 vs 42,2 KB) e menor que o gzip lossless — emissão é escalonada e cheia de zeros (paradas), o terreno ideal do deadband. Bound nunca violado. Multiplique por milhares de unidades × anos.
O CLAMP certifica a contagem direto do comprimido, e o bracket ±ε trata o caso legalmente decisivo — um valor em 0,1499 vs 0,1501. Aqui a fronteira é limpa (0 ambíguos): 162 horas provadamente acima, todas transientes de partida (pico 1,58 = 10× o limite).
Por que é o encaixe mais forte dos domínios novos. O ε está na letra da lei (Part 75), o comprador é compliance/mercado de carbono, e o TUBE ainda ganha os bytes (raro — a estrutura escalonada da emissão é o home turf dele). A frase: "seu relatório para a EPA é um número; o nosso é um número que o auditor re-deriva com a chave pública". Honesto: se as 162 horas de partida são violação ou exceção-de-startup depende do permit — mas a contagem certificada é o produto, não o julgamento. Dado real: EPA CAMPD (DEMO_KEY). TUBE, SZ3 e gzip no mesmo dado, bound idêntico.