- C1 alterado: z[nid] <= 1 -> z[nid] == 1 para todas as missoes; toda missao
deve ser coberta por exatamente 1 aeronave (sem missoes descobertas).
- n_missoes padrao reduzido de 50 para 20 (n_evam de 5 para 4): garante
factibilidade do MIP com Set Partitioning no envelope de 4 aeronaves.
- Time limit padrao do solver CBC fixado em 120 s (era ilimitado): evita
travamento ao tentar provar infeasibility.
- Corrigido display "Not Solved": status de L1 preservado quando PuLP
redefine mdl.status apos setObjective() em L2.
- f0_cenario_insp_grande.json revisado: apenas 2803 com f0=595h em INSP 2A
(F_max=600h, downtime=4 dias); demais matriculas com f0=0.
- Gerado planejamento_insp_grande.html: Gantt exibe INSP 2A visivelmente;
20/20 missoes cobertas; CBC Optimal em < 15 s.
- changelog.md e LOG.md atualizados com limitacoes detalhadas para
contribuidores: escopo validado, bugs de display, riscos numericos do
big-M com LRT < 5h e comportamento de 2811 ociosa.
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
- visualizar_resultado: barras Gantt via go.Scatter lines (renderizacao
garantida), yaxis range fixo para FAB 2800 visivel, largura minima 2h
- oamrp_v3: parser --escala para Escala de Voo Modelo 1 (CSV real),
coordenadas de 26 bases, time-limit default 5min, imports timedelta/date
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
