OTA 分区放得下，为什么仍不能证明回滚可靠
容量是升级前置条件，回滚还涉及镜像状态、启动验证、确认时机和应用自检。工具只能判断指定增长预算是否放得下，不能证明掉电与回退路径正确。
本文以公开公式与合成输入分析工程决策，由器赋开物编辑整理，AI 辅助撰写，未用真实硬件完成下述测试。数值用于复算，现场验收应另填测量记录。
这次要解决什么问题？
示例容量余量充足，但新应用启动后网络异常。如果应用过早标记升级有效，后续故障未必触发预期回滚；应按所用ESP-IDF版本与bootloader机制设计状态流程。
先把输入和单位列清楚
打开ESP32 OTA 双槽容量预算工具，可先用工具默认值熟悉字段，再按下表改为本文场景。
| 输入项目 | 教学输入 | 单位 |
|---|---|---|
| 可用于两个应用槽的连续区域 | 6144 | KiB |
| 最终待写入应用镜像大小 | 2000 | KiB |
| 规划增长余量 | 10 | % |
这里的数值是明确设定的数学样例，不代表任何具体板卡、仪器或客户项目的实测数据。参数若来自你的设备，应同时记录料号、工作模式与取得方式。
按公式复算，可以得到什么？
单槽 = floor(应用区域 / 2 / 64KiB) × 64KiB；所需 = ceil(镜像KiB × (100 + 余量%)/100)
| 计算项目 | 模型输出 | 单位 |
|---|---|---|
| 每个对齐后的应用槽 | 3072 | KiB |
| 含增长预留的镜像预算 | 2200 | KiB |
| 单槽剩余预算 | 872 | KiB |
| 区域内未分配尾部 | 0 | KiB |
下载本场景输入、公式与结果 JSON。附件保留未四舍五入的模型数值，并以空的实测栏区分预测与测量；上表只为便于阅读作显示舍入。
怎样一步步核对？
先保存旧版可恢复镜像与数据兼容性说明，明确新固件何时完成自检并确认有效。台架测试覆盖正常升级、新版自检失败和关键阶段重启，逐项记录启动分区与镜像状态。断电测试只在可恢复的测试设备执行，不能用生产设备试探。
哪些误读会让结论失效？
HTTP下载成功、校验通过和应用确认是不同阶段，日志中的“OTA成功”需标明层级。回滚到旧应用后若数据格式已不可逆迁移，也可能无法恢复业务。
达到什么条件才算核验完成？
报告将容量、下载完整性、镜像验证、首启自检和业务恢复分别验收。没有进行真机测试的流程只能标为测试方案，不把计算器的正余量当作回滚实测通过。
模型覆盖到哪里？
不生成可烧录分区表，不预算factory第三槽，不验证实际偏移或安全启动签名附加空间。应输入最终实际写入镜像大小，并通过idf.py partition-table与构建输出核对。
公式与参数定义参考乐鑫分区表：应用分区与对齐；本页的场景设计和合成算例用于帮助复查，不能由模型输出反推硬件已经合格。若当前设备或SDK版本与来源不同，应先核对对应手册。
继续解决相关问题
本文为公开资料整理，非亲测。关键参数与代码请结合实物与下列官方来源验证。
- 乐鑫分区表：应用分区与对齐 ↗
docs.espressif.com/projects/esp-idf/en/stable/esp32/api-guides/partition-tables.html