Identificação
| pacote | data/validacao/2026-09-28_1827 |
| verificação executada em | 2026-09-28 21:11:29 |
| responsável | Fabio Serra Pereira · engenheiro mecânico, CREA-SP 5071933433 — revisão e aprovação da verificação automática dos scripts, em 28/09/2026 |
| ambiente | MATLAB 26.1.0.3251617 (R2026a) Update 2 |
| integridade | SHA-256 de cada script auditado (tabela abaixo) |
| revisão do código que gerou o pacote | não registrada no pacote desta reauditoria |
Este recibo cobre a conferência numérica do pacote: cada etapa refaz um cálculo fora da plataforma e o compara com o número publicado, dentro da tolerância declarada. A conferência foi executada pelos scripts e revisada por Fabio Serra Pereira. O recibo anterior, de 15/09/2026, continua disponível em verificacao-2026-09-15_1009.
O parecer de cada etapa
O parecer diz o que o verde confere e o que ele não afirma.
E1 — Corte derivado do ONS
VERDECalcular max(0, estimada - verificada) por intervalo de 30 minutos e converter MWmed em MWh pelo fator 0,5 h.
categoria Engenhariascript main_conferenciatolerância 1e-09 — igualdade exata; só o arredondamento do CSV separaverificado em 2026-09-28 20:10:37aprovado por Fabio Serra Pereira, sobre a verificação automática dos scripts
Parecer. Verificação automática: scripts sem erro. O verde confere o critério numérico declarado; não é laudo nem garantia de resultado.
E2 — Previsão k-NN de 48 h
VERDEReproduzir a previsão publicada com a seleção de vizinhos e a média UNIFORME dos K (o regressor não pondera por distância).
categoria Engenhariascript knn_previsaotolerância 1e-06 — acúmulo de ponto flutuante em milhares de somasverificado em 2026-09-28 20:10:37aprovado por Fabio Serra Pereira, sobre a verificação automática dos scripts
Parecer. Verificação automática: scripts sem erro. O verde confere o critério numérico declarado; não é laudo nem garantia de resultado.
E3 — Skill e intervalo por blocos
VERDECalcular skill = 1 - MAE/MAE_referencia e obter o intervalo de confiança por reamostragem em blocos.
categoria Estatisticascript bootstrap_skilltolerância 0.0001 — reamostragem tem ruído próprio; a semente e fixaverificado em 2026-09-28 20:10:37aprovado por Fabio Serra Pereira, sobre a verificação automática dos scripts
Parecer. Verificação automática: scripts sem erro. O verde confere o critério numérico declarado; não é laudo nem garantia de resultado.
E4 — k-Means e silhueta
VERDEComparar centroides e silhueta recalculados com os resultados da plataforma.
categoria Estatisticascript kmeans_usinastolerância 1e-06 — distâncias em ponto flutuanteverificado em 2026-09-28 20:10:37aprovado por Fabio Serra Pereira, sobre a verificação automática dos scripts
Parecer. Verificação automática: scripts sem erro. O verde confere o critério numérico declarado; não é laudo nem garantia de resultado.
E5 — Rede do DQN, passo a passo
VERDETrês multiplicacoes de matriz e dois ReLU reproduzem os valores Q.
categoria Engenhariascript dqn_forwardtolerância 1e-05 — pesos gravados com 6 casas no CSVverificado em 2026-09-28 20:10:37aprovado por Fabio Serra Pereira, sobre a verificação automática dos scripts
Parecer. Verificação automática: scripts sem erro. O verde confere o critério numérico declarado; não é laudo nem garantia de resultado.
E6 — Parcelas do custo de campo
VERDEGeração parada durante o serviço (pelo balanço sob a ordem de corte), corte que a estação fora não comprova, degradação por atraso e visitas pelo mínimo do plano somam o custo de cada política.
categoria Financeiroscript campo_custostolerância 1e-06 — somas longas em ponto flutuanteverificado em 2026-09-28 20:10:37aprovado por Fabio Serra Pereira, sobre a verificação automática dos scripts
Parecer. Verificação automática: scripts sem erro. O verde confere o critério numérico declarado; não é laudo nem garantia de resultado.
E7 — Regras de alarme no dia
VERDEAs 11 regras marcam os mesmos instantes que a plataforma marcou.
categoria Engenhariascript alarmes_um_diatolerância 0 — comparação lógica: correspondência exata entre os instantesverificado em 2026-09-28 20:10:37aprovado por Fabio Serra Pereira, sobre a verificação automática dos scripts
Parecer. Verificação automática: scripts sem erro. O verde confere o critério numérico declarado; não é laudo nem garantia de resultado.
E8 — Conferência dos indicadores
VERDECada número exibido no painel reaparece aqui, calculado fora da plataforma.
categoria Comparacaoscript main_conferenciatolerância 0.0001 — os números da tela são arredondados para exibicaoverificado em 2026-09-28 20:10:38aprovado por Fabio Serra Pereira, sobre a verificação automática dos scripts
Parecer. Verificação automática: scripts sem erro e comparação com a plataforma OK. O verde confere o critério numérico declarado; não é laudo nem garantia de resultado.
E9 — Valor ano a ano
VERDEErro por MW de cada lado e custo por política, recalculados dos CSV, devem corresponder aos valores da plataforma.
categoria Financeiroscript valor_anualtolerância 0.001 — soma de muitas linhas em ponto flutuante; a tela arredonda para exibicaoverificado em 2026-09-28 20:10:38aprovado por Fabio Serra Pereira, sobre a verificação automática dos scripts
Parecer. Verificação automática: scripts sem erro. O verde confere o critério numérico declarado; não é laudo nem garantia de resultado.
E10 — Exposição a estimativa da CCEE
VERDER$ por hora faltante, por hora de sol e por dia (submodulo 2.1, anexo 7.2), recalculados dos CSV, devem corresponder aos valores da plataforma.
categoria Financeiroscript exposicao_cceetolerância 0.001 — soma de muitas linhas em ponto flutuante; a tela arredonda para exibicaoverificado em 2026-09-28 20:10:38aprovado por Fabio Serra Pereira, sobre a verificação automática dos scripts
Parecer. Verificação automática: scripts sem erro. O verde confere o critério numérico declarado; não é laudo nem garantia de resultado.
E11 — Cenário de condição
VERDEA energia perdida por cada política, refeita do estado de cada passo (blocos fora, derratados, corte), mais visitas e peças, deve fechar o custo do ano que o ambiente contabilizou.
categoria Financeiroscript condicao_custostolerância 0.01 — somas longas em ponto flutuante; tolerância de R$ 0,01 no total do anoverificado em 2026-09-28 20:10:38aprovado por Fabio Serra Pereira, sobre a verificação automática dos scripts
Parecer. Verificação automática: scripts sem erro. O verde confere o critério numérico declarado; não é laudo nem garantia de resultado.
Refazer, usina a usina, energia, rotinas, corretivas e peças, com o desconto da frota organizada e o estoque comum, deve reproduzir o custo do ano de cada frota, cenário e política.
categoria Financeiroscript frota_custostolerância 0.5 — somas de centenas de usinas; tolerância de R$ 0,50 no total do ano da carteiraverificado em 2026-09-28 20:10:38aprovado por Fabio Serra Pereira, sobre a verificação automática dos scripts
Parecer. Verificação automática: scripts sem erro. O verde confere o critério numérico declarado; não é laudo nem garantia de resultado.
Ambiente
Nenhum toolbox é necessário para esta verificação. Os scripts do pacote e o motor de conferência usam só o MATLAB base; a tabela registra o que havia na máquina, não o que foi exigido.
| toolbox | instalado | licenciado | funções | disponível | necessário? |
|---|
| Statistics and Machine Learning Toolbox | false | true | 0/2 | false | Não. O quantil é a função quantile do MATLAB base e a inversa da normal sai de erfinv, também base. |
| Optimization Toolbox | false | true | 1/2 | false | Não. Nenhuma otimização é refeita na verificação. |
| Curve Fitting Toolbox | false | true | 0/2 | false | Não. Nenhum ajuste de curva é usado. |
| Econometrics Toolbox | false | true | 0/2 | false | Não. A autocorrelação tem implementação própria em MATLAB base. |
| Signal Processing Toolbox | false | true | 0/2 | false | Não. Nenhum filtro ou espectro é usado. |
| Parallel Computing Toolbox | false | true | 0/1 | false | Não. A verificação roda em sequência. |
| Deep Learning Toolbox | true | true | 1/1 | true | Não. A rede DQN é refeita por multiplicação de matrizes, sem dlarray; o toolbox só aparece na checagem de ambiente. |
Hash de cada script auditado
| script | método | hash (início) |
|---|
| alarmes_um_dia | SHA-256 | 1d7af557eece49a4… |
| bateria_controle | SHA-256 | f21d5ada084abf0c… |
| bootstrap_skill | SHA-256 | d6d1af2268440cf1… |
| campo_custos | SHA-256 | 65e0e1e16c77c557… |
| condicao_custos | SHA-256 | dfa633cf8fb66c9d… |
| conferir_contrato | SHA-256 | dff4fd33af02dc40… |
| conferir_grandezas | SHA-256 | 903b87c8b9082e0b… |
| dqn_forward | SHA-256 | 8fcd37f7c1e7d645… |
| exposicao_ccee | SHA-256 | d72e6fef11825bd8… |
| frota_custos | SHA-256 | c6ac3d3b3ab1745c… |
| kmeans_usinas | SHA-256 | a835270d6f1c39f0… |
| knn_previsao | SHA-256 | 45806b4d6a651f73… |
| main_conferencia | SHA-256 | e6e42ddf4c19bab1… |
| reunir_grandezas | SHA-256 | c6a24328ff18bf40… |
| validar_tudo | SHA-256 | 995c5170e0362d51… |
| valor_anual | SHA-256 | 2e286687e3ea8942… |
Anexo A — premissas financeiras
O inventário financeiro do projeto lista 39 parâmetros, com a origem de cada um. A maioria é premissa assumida, não medição.
Anexo B — métodos estatísticos e a via usada
| método | nível | via |
| bootstrap por blocos | 90% | BASE |
| quantil empírico | — | BASE (quantile nativo) |
| inversa da normal | — | BASE |
| autocorrelação e Ljung-Box | — | BASE |
BASE é o MATLAB base. O quantil usa a função nativa quantile, que fica em toolbox/matlab/datafun, parte do MATLAB base; a mediana de [1 2 3 4 5] deu 3. Nenhum método depende de toolbox.