OTA 容量应比较 bin、elf 还是整包大小
应比较实际写入目标应用槽的最终应用镜像，而不是ELF调试文件或包含所有分区的合并烧录包。安全签名等附加空间也应体现在最终输入里。
本文以公开公式与合成输入分析工程决策，由器赋开物编辑整理，AI 辅助撰写，未用真实硬件完成下述测试。数值用于复算，现场验收应另填测量记录。
这次要解决什么问题？
构建目录同时有app.elf、应用bin、bootloader.bin和合并包。各文件用途不同，单看最大的文件或IDE显示的编译数字，可能把调试信息与Flash占用混在一起。
先把输入和单位列清楚
打开ESP32 OTA 双槽容量预算工具，可先用工具默认值熟悉字段，再按下表改为本文场景。
| 输入项目 | 教学输入 | 单位 |
|---|---|---|
| 可用于两个应用槽的连续区域 | 6144 | KiB |
| 最终待写入应用镜像大小 | 2800 | KiB |
| 规划增长余量 | 0 | % |
这里的数值是明确设定的数学样例，不代表任何具体板卡、仪器或客户项目的实测数据。参数若来自你的设备，应同时记录料号、工作模式与取得方式。
按公式复算，可以得到什么？
单槽 = floor(应用区域 / 2 / 64KiB) × 64KiB；所需 = ceil(镜像KiB × (100 + 余量%)/100)
| 计算项目 | 模型输出 | 单位 |
|---|---|---|
| 每个对齐后的应用槽 | 3072 | KiB |
| 含增长预留的镜像预算 | 2800 | KiB |
| 单槽剩余预算 | 272 | KiB |
| 区域内未分配尾部 | 0 | KiB |
下载本场景输入、公式与结果 JSON。附件保留未四舍五入的模型数值，并以空的实测栏区分预测与测量；上表只为便于阅读作显示舍入。
怎样一步步核对？
在发布流程标出OTA服务器实际提供的文件，记录其字节数和散列。除以1024换成KiB输入工具，与目标槽尺寸比较。若签名或后处理发生在构建后，应在后处理完成后重新测大小与摘要，避免比较旧文件。
哪些误读会让结论失效？
压缩下载包大小不等于解压后写入大小，合并烧录包则可能包含多个区域。把传输文件名约定当作证据也不够，应核对实际OTA代码怎样解析和写入。
达到什么条件才算核验完成？
发布记录能从下载文件追溯到最终应用镜像、字节数、散列与目标槽。任何后处理修改都会重新触发容量检查，不以之前构建通过作为最终产物已通过的证明。
模型覆盖到哪里？
不生成可烧录分区表，不预算factory第三槽，不验证实际偏移或安全启动签名附加空间。应输入最终实际写入镜像大小，并通过idf.py partition-table与构建输出核对。
公式与参数定义参考乐鑫分区表：应用分区与对齐；本页的场景设计和合成算例用于帮助复查，不能由模型输出反推硬件已经合格。若当前设备或SDK版本与来源不同，应先核对对应手册。
继续解决相关问题
本文为公开资料整理，非亲测。关键参数与代码请结合实物与下列官方来源验证。
- 乐鑫分区表：应用分区与对齐 ↗
docs.espressif.com/projects/esp-idf/en/stable/esp32/api-guides/partition-tables.html