ESP32 有 8MB Flash，为什么 4MB 固件仍可能 OTA 失败
整颗Flash容量不等于单个OTA槽容量。bootloader、分区表、NVS、otadata、文件系统及两个应用槽共享空间，应先取得真实分区布局再比较最终镜像。
本文以公开公式与合成输入分析工程决策，由器赋开物编辑整理，AI 辅助撰写，未用真实硬件完成下述测试。数值用于复算，现场验收应另填测量记录。
这次要解决什么问题？
假设扣除其他区域后只有6144KiB连续空间给两个等大应用槽，每槽最多3072KiB。即使整颗Flash标称8MiB，4MiB应用仍放不进这个单槽。示例不自动生成分区表。
先把输入和单位列清楚
打开ESP32 OTA 双槽容量预算工具，可先用工具默认值熟悉字段，再按下表改为本文场景。
| 输入项目 | 教学输入 | 单位 |
|---|---|---|
| 可用于两个应用槽的连续区域 | 6144 | KiB |
| 最终待写入应用镜像大小 | 4096 | KiB |
| 规划增长余量 | 0 | % |
这里的数值是明确设定的数学样例，不代表任何具体板卡、仪器或客户项目的实测数据。参数若来自你的设备，应同时记录料号、工作模式与取得方式。
按公式复算，可以得到什么？
单槽 = floor(应用区域 / 2 / 64KiB) × 64KiB；所需 = ceil(镜像KiB × (100 + 余量%)/100)
| 计算项目 | 模型输出 | 单位 |
|---|---|---|
| 每个对齐后的应用槽 | 3072 | KiB |
| 含增长预留的镜像预算 | 4096 | KiB |
| 单槽剩余预算 | -1024 | KiB |
| 区域内未分配尾部 | 0 | KiB |
预留增长余量后镜像无法放入单槽，需要缩小固件或调整分区布局。
下载本场景输入、公式与结果 JSON。附件保留未四舍五入的模型数值，并以空的实测栏区分预测与测量；上表只为便于阅读作显示舍入。
怎样一步步核对？
从构建输出和实际Flash规格核对容量，查看分区表的每个偏移与长度。确定两个应用槽的实际大小，再取得最终待写入镜像字节数。不要以下载成功或整包烧录成功替代单槽容量检查。
哪些误读会让结论失效？
开发板宣传的Flash与模组实际装配可能不同，构建配置也可能使用另一容量。把文件系统剩余空间当应用槽可自动扩展空间，通常不成立，布局调整需要专门迁移设计。
达到什么条件才算核验完成？
最终镜像小于每个目标应用槽，并保留明确增长余量。分区表、构建配置和真机布局一致后，再验证升级与回滚；容量检查失败应先阻止发布。
模型覆盖到哪里？
不生成可烧录分区表，不预算factory第三槽，不验证实际偏移或安全启动签名附加空间。应输入最终实际写入镜像大小，并通过idf.py partition-table与构建输出核对。
公式与参数定义参考乐鑫分区表：应用分区与对齐；本页的场景设计和合成算例用于帮助复查，不能由模型输出反推硬件已经合格。若当前设备或SDK版本与来源不同，应先核对对应手册。
继续解决相关问题
本文为公开资料整理，非亲测。关键参数与代码请结合实物与下列官方来源验证。
- 乐鑫分区表：应用分区与对齐 ↗
docs.espressif.com/projects/esp-idf/en/stable/esp32/api-guides/partition-tables.html