espressif/arduino-esp32 — reverse-engineered prompt

Build me a complete Arduino core for the ESP32 family so a maker can install it, pick their ESP32 board, write normal Arduino sketches, compile them, and upload them without having to understand the low level chip setup.

It should support the main ESP32 chips listed by Espressif, include board definitions, variants, core code, common libraries, tools, examples, and clear docs for installing on Windows, Linux, and macOS. I also want guidance for using it inside an ESP IDF project, plus notes for migration from older versions, troubleshooting, decoding crashes, and compatibility with normal Arduino APIs where that makes sense.

Please organize it like a real open source hardware support package with tests, formatting, contribution info, and release friendly files. Keep the user experience focused on Arduino users, but make it solid enough for advanced ESP32 developers too. Look up current Espressif and Arduino docs online if you need to.