启用安全签名后，为什么要重新检查 OTA 镜像大小
签名、填充或其他后处理可能改变最终镜像长度，因此容量检查必须放在最终产物之后。不能用签名前应用大小代表实际OTA写入文件。
本文以公开公式与合成输入分析工程决策，由器赋开物编辑整理，AI 辅助撰写，未用真实硬件完成下述测试。数值用于复算，现场验收应另填测量记录。
这次要解决什么问题？
应用原先接近槽边界，启用安全流程后若仍复用旧容量表，可能漏掉附加内容。本例使用3000KiB最终镜像和5%规划余量演示预算失败，不估计特定签名算法固定增加多少。
先把输入和单位列清楚
打开ESP32 OTA 双槽容量预算工具，可先用工具默认值熟悉字段，再按下表改为本文场景。
| 输入项目 | 教学输入 | 单位 |
|---|---|---|
| 可用于两个应用槽的连续区域 | 6144 | KiB |
| 最终待写入应用镜像大小 | 3000 | KiB |
| 规划增长余量 | 5 | % |
这里的数值是明确设定的数学样例，不代表任何具体板卡、仪器或客户项目的实测数据。参数若来自你的设备，应同时记录料号、工作模式与取得方式。
按公式复算，可以得到什么？
单槽 = floor(应用区域 / 2 / 64KiB) × 64KiB；所需 = ceil(镜像KiB × (100 + 余量%)/100)
| 计算项目 | 模型输出 | 单位 |
|---|---|---|
| 每个对齐后的应用槽 | 3072 | KiB |
| 含增长预留的镜像预算 | 3150 | KiB |
| 单槽剩余预算 | -78 | KiB |
| 区域内未分配尾部 | 0 | KiB |
预留增长余量后镜像无法放入单槽，需要缩小固件或调整分区布局。
下载本场景输入、公式与结果 JSON。附件保留未四舍五入的模型数值，并以空的实测栏区分预测与测量；上表只为便于阅读作显示舍入。
怎样一步步核对？
梳理构建、签名、打包、上传顺序，在每步保存产物散列及字节数。确认OTA写入的是哪一种镜像格式，并在最后一步与目标槽比较。安全功能和芯片型号的限制以官方流程为准，避免为节省空间关闭必要校验。
哪些误读会让结论失效？
把网络传输加密和镜像签名混为同一文件变化，可能定位错误。某些处理只影响传输包，另一些影响实际写入镜像，应由OTA实现及构建说明确认。
达到什么条件才算核验完成？
发布校验读取的是最终待部署文件，大小和散列与服务器提供的一致。容量通过与签名有效性分别验证，缺一不能由另一项代替。
模型覆盖到哪里？
不生成可烧录分区表，不预算factory第三槽，不验证实际偏移或安全启动签名附加空间。应输入最终实际写入镜像大小，并通过idf.py partition-table与构建输出核对。
公式与参数定义参考乐鑫分区表：应用分区与对齐；本页的场景设计和合成算例用于帮助复查，不能由模型输出反推硬件已经合格。若当前设备或SDK版本与来源不同，应先核对对应手册。
继续解决相关问题
本文为公开资料整理，非亲测。关键参数与代码请结合实物与下列官方来源验证。
- 乐鑫分区表：应用分区与对齐 ↗
docs.espressif.com/projects/esp-idf/en/stable/esp32/api-guides/partition-tables.html