ESP8266+Go实现OTA升级仅需23行代码？工业级安全签名验证框架开源前夜的技术解密

第一章：ESP8266+Go OTA升级范式革命与安全演进全景

传统嵌入式设备固件更新长期受限于串口烧录、手动干预和单一分区设计，而 ESP8266 与 Go 语言的协同正催生一场静默却深刻的 OTA 范式革命：Go 作为服务端核心构建高并发、可审计的升级调度中心，ESP8266 则依托其双区（boot + app）Flash 架构与 esp_http_client 实现原子性、断点续传、校验回滚的全链路升级能力。

安全升级的核心支柱

双向身份认证：ESP8266 启动时通过预置 ECDSA 公钥验证服务器 TLS 证书；服务端则要求设备提交签名过的设备唯一 ID（基于 system_get_chip_id() 与硬件 AES 加密密钥派生）
固件完整性保障：升级包采用 SHA256 + Ed25519 双重签名，设备端使用 mbedtls_pk_verify() 验证签名有效性，拒绝未签名或哈希不匹配的 bin 文件
运行时防护机制：升级前强制检查 Flash 剩余空间（spi_flash_get_free_size()），并校验新固件头部 magic 字节（0xE9）与段长度字段，防止恶意伪造镜像加载

Go 服务端签名与分发流程

// sign_firmware.go：为 ESP8266 固件生成可验证升级包
package main
import (
    "crypto/sha256"
    "crypto/ed25519"
    "io/ioutil"
    "encoding/json"
)
func main() {
    bin, _ := ioutil.ReadFile("firmware.bin")
    hash := sha256.Sum256(bin)
    sig := ed25519.Sign(privateKey, hash[:]) // 使用私钥签名哈希值
    payload := struct {
        Hash  [32]byte `json:"hash"`
        Sig   []byte   `json:"sig"`
        Size  int      `json:"size"`
    }{hash, sig, len(bin)}
    ioutil.WriteFile("firmware.bin.sig", []byte(payload), 0644)
}

执行后生成 firmware.bin.sig，ESP8266 通过 HTTP GET 获取该文件，解析 JSON 并调用 mbedtls_md_hmac_starts() 验证签名，仅当全部校验通过才写入 ota_1 分区。

升级状态决策表

设备状态	服务端响应动作	客户端行为
当前版本已最新	返回 HTTP 304	跳过升级，保持运行
校验失败（签名/哈希）	返回 HTTP 403 + 错误码	触发告警 LED，并上报日志至 MQTT
网络中断超时	服务端记录失败次数	自动重试（指数退避，最多 3 次）

这一范式不仅将 OTA 从“运维负担”升维为“可信软件供应链节点”，更以密码学原语锚定每字节更新的确定性——安全不再依附于物理隔离，而内生于每次 http_client_perform() 的握手与校验之中。

第二章：嵌入式Go语言交叉编译与ESP8266运行时环境构建

2.1 Go语言嵌入式裁剪原理与TinyGo vs ESP-IDF-GO对比分析

Go原生不支持裸机运行，因其依赖runtime（GC、goroutine调度、反射等）。嵌入式裁剪核心在于剥离不可移植组件，仅保留内存管理、协程基础及硬件抽象层。

裁剪关键技术路径

移除net/http、os等依赖系统调用的包
替换malloc为静态内存池或栈分配
用//go:build tinygo约束编译标签控制条件编译

TinyGo 与 ESP-IDF-GO 关键差异

维度	TinyGo	ESP-IDF-GO
运行时模型	无GC，协程为协程栈+状态机	基于ESP-IDF C runtime桥接
内存占用	~8–16 KB ROM（LED Blink）	≥45 KB（需加载IDF固件）
外设驱动	硬件寄存器直驱（`machine.*`）	封装IDF HAL API（`esp32.*`）

// TinyGo：直接操作GPIO寄存器（ESP32-C3）
func main() {
    led := machine.GPIO0
    led.Configure(machine.PinConfig{Mode: machine.PinOutput})
    for {
        led.High()
        time.Sleep(time.Millisecond * 500)
        led.Low()
        time.Sleep(time.Millisecond * 500)
    }
}

此代码绕过所有C库，machine.GPIO0映射至物理地址0x60000000，Configure()写入GPIO_ENABLE_REG寄存器位；High()/Low()直接置位GPIO_OUT_REG——零抽象层开销。

graph TD
    A[Go源码] --> B{编译目标}
    B -->|TinyGo| C[LLVM IR → 裸机ELF]
    B -->|ESP-IDF-GO| D[CGO → IDF链接器脚本]
    C --> E[静态内存布局：.text/.data/.stack]
    D --> F[动态符号绑定：esp_timer_start_once]

2.2 ESP8266 Flash分区映射与固件镜像结构逆向解析

ESP8266 的 Flash 并非线性裸存，而是通过 partition_table.bin 显式划分功能区域。典型布局包含 bootloader、ota_0/ota_1、phy_init 和 nvs 等分区。

分区表二进制结构解析

// partition_table.bin 前16字节（首条记录）示例（小端）
// 00 00 00 00  00 00 00 00  00 00 10 00  00 00 00 00
// type=0x00(app), subtype=0x10(ota_0), offset=0x100000, size=0x100000

该结构定义了分区类型、子类型、起始偏移（扇区对齐）及长度，直接决定固件加载路径与 OTA 切换逻辑。

常见分区类型对照表

类型（hex）	子类型（hex）	用途
`0x00`	`0x10`	主应用（ota_0）
`0x00`	`0x11`	备用应用（ota_1）
`0x01`	`0x00`	Bootloader
`0x02`	`0x00`	PHY 初始化参数

固件镜像加载流程

graph TD
    A[上电] --> B{读取 partition_table.bin}
    B --> C[定位 ota_0 分区 offset]
    C --> D[校验 app header & checksum]
    D --> E[跳转至 entry_addr 执行]

2.3 基于Go CGO桥接的WiFi驱动层封装实践（含SDK v3.0兼容适配）

为统一接入不同厂商WiFi模组，我们构建轻量级CGO封装层，屏蔽底层SDK差异。核心采用#include <wifi_api.h>桥接，并通过条件编译适配v2.x与v3.0 ABI变更。

SDK v3.0关键兼容点

wifi_init() 参数从 (int) 升级为 (const wifi_config_t*)
新增 WIFI_EVENT_STA_DISCONNECTED_V3 事件码
所有回调函数签名强制添加 void* user_data

CGO导出函数示例

// #include "wifi_api.h"
#include "_cgo_export.h"

//export go_wifi_event_handler
void go_wifi_event_handler(int event_id, void* data, void* user_data) {
    GoWifiEventHandler(event_id, data, user_data); // 转发至Go闭包
}

此C导出函数作为SDK事件注册入口，event_id 映射v3.0新增事件常量，user_data 透传Go侧上下文指针，避免全局状态污染。

适配层抽象能力对比

能力	SDK v2.x	SDK v3.0	封装层统一接口
初始化方式	简单参数	结构体配置	`NewDriver(opts...)`
事件回调绑定	函数指针	指针+userdata	自动绑定Go闭包
错误码语义	errno风格	`WIFI_ERR_*`	标准Go error

// Go侧驱动初始化片段
drv := NewDriver(
    WithChipset("esp32"),
    WithSDKVersion(SDKv30), // 触发v3.0专用初始化流程
)

WithSDKVersion 控制CGO调用路径分支，确保wifi_init()传入正确wifi_config_t结构体而非旧版整型参数，实现零侵入升级。

2.4 OTA升级状态机建模：从HTTP分块下载到SPI Flash原子写入

OTA升级的可靠性依赖于确定性状态流转。核心挑战在于协调非可靠网络（HTTP分块响应）与非易失存储（SPI Flash页擦除/写入约束）之间的语义鸿沟。

状态跃迁关键约束

下载中不可擦除目标扇区
校验失败必须回退至 IDLE 或 RECOVERY
写入完成前禁止跳转至新固件

状态机核心流程

graph TD
    A[IDLE] -->|start_ota| B[DOWNLOADING]
    B -->|chunk_received| B
    B -->|download_complete| C[VERIFYING]
    C -->|verify_ok| D[WRITING]
    D -->|write_done| E[SWAPPING]
    E -->|swap_commit| F[REBOOT]
    C -->|verify_fail| A
    D -->|write_fail| G[RECOVERY]

SPI Flash原子写入保障

采用双Bank镜像+CRC32+写保护寄存器组合策略：

Bank	用途	写保护状态	校验方式
A	当前运行固件	启用	Bootloader校验
B	待升级固件	禁用	OTA模块校验

// 原子扇区写入封装（含ECC使能与写保护临时解除）
esp_err_t spi_flash_write_atomic(uint32_t addr, const uint8_t *data, size_t len) {
    esp_flash_write_protect_disable(flash_handle); // 临界操作，需IRQ屏蔽
    esp_flash_erase_sector(flash_handle, addr / 4096); // 擦除整扇区（4KB对齐）
    esp_flash_write(flash_handle, addr, data, len);    // 写入数据
    esp_flash_write_protect_enable(flash_handle);
    return ESP_OK;
}

该函数确保单次扇区更新具备原子性：擦除与写入构成不可分割单元，异常断电后可通过Bootloader识别未完成扇区并触发回滚。参数addr须为4KB边界对齐值，len不得超过扇区大小，否则触发断言。

2.5 内存受限场景下的Go协程调度优化与栈空间精确控制

在嵌入式设备或Serverless冷启动等内存敏感环境中，默认的Go协程（goroutine）栈初始大小（2KB）与动态扩缩机制可能引发频繁堆分配与内存碎片。

栈大小预设与调度器干预

可通过 runtime/debug.SetGCPercent(-1) 配合手动触发 runtime.GC() 减少后台干扰，但更关键的是控制栈生命周期：

// 启动超轻量协程：显式限制栈上限（需Go 1.22+）
go func() {
    // 使用 -gcflags="-l" 禁用内联可进一步压缩栈帧
    defer runtime.Goexit() // 避免隐式栈增长
    // 业务逻辑保持纯计算，避免闭包捕获大对象
}()

此写法强制协程在初始栈内完成执行，规避 runtime.stackGrow 调用；Goexit() 确保无 panic 回溯栈展开。

协程密度与内存占用对比

场景	协程数/MB	平均栈占用	是否触发扩容
默认调度（2KB起）	~300	4.8KB	是（37%）
预分配+禁GC	~850	2.1KB	否

graph TD
    A[新协程创建] --> B{栈需求 ≤ 2KB?}
    B -->|是| C[直接复用mcache栈缓存]
    B -->|否| D[触发stackalloc+memmove]
    C --> E[执行完毕立即归还]
    D --> F[增加GC压力与延迟]

第三章：工业级签名验证框架核心密码学实现

3.1 ECDSA-P256双密钥体系在资源受限设备上的轻量级部署

在MCU级设备（如ESP32、nRF52840）上，传统X.509+PKCS#8密钥封装带来显著内存开销。双密钥体系将签名密钥（ECDSA-P256）与认证密钥（同样P256但独立生成）解耦，实现职责分离与轮换解耦。

密钥精简存储格式

采用DER-encoding裁剪版，仅保留privateKey（32B）与publicKey（65B uncompressed）原始字节，舍弃所有ASN.1结构头：

// 精简密钥结构（共97字节）
typedef struct {
    uint8_t sk[32];        // NIST P-256私钥（大端整数）
    uint8_t pk_x[32];      // 公钥X坐标
    uint8_t pk_y[32];      // 公钥Y坐标（显式存储，避免运行时计算）
} ec_p256_keypair_t;

逻辑分析：跳过ECPrivateKey ASN.1解析可节省~1.2KB RAM；显式存Y坐标避免模幂点验证时的SqrtMod运算（在ARM Cortex-M0+上耗时>80ms），以32B空间换3×性能提升。

轻量级签名流程

graph TD
    A[加载sk/pk_x/pk_y] --> B[SHA256(msg)]
    B --> C[ECDSA sign with k=HMAC-SHA256(sk, msg)]
    C --> D[紧凑DER→30h + len + r + s]

组件	占用RAM	典型执行时间（ESP32@240MHz）
私钥加载	97 B
摘要计算	64 B	~120 μs
签名生成	210 B	~38 ms

3.2 固件哈希链构建与签名载荷嵌入格式（RFC 9357兼容设计）

固件哈希链采用前向链接（forward-chaining）结构，每级哈希输入包含上一级摘要、当前段元数据及有效载荷摘要，严格遵循 RFC 9357 的 HashChainEntry ASN.1 模板。

哈希链结构示意

HashChainEntry ::= SEQUENCE {
  prevHash        OCTET STRING,  -- 前一节点 SHA-384 摘要（48字节）
  payloadDigest   OCTET STRING,  -- 当前固件段 SHA-384 摘要
  metadata        HashChainMetadata,  -- 包含段偏移、长度、算法OID
  signature       BIT STRING     -- ECDSA-P384 签名（覆盖整个 SEQUENCE）
}

该 ASN.1 结构确保二进制序列化可预测，便于嵌入 UEFI Firmware Volume 或 CBOR 封装体；prevHash 为空时标识链首节点，metadata 中 OID 必须为 1.3.101.112（SHA-384）以满足 RFC 9357 强制一致性要求。

签名载荷嵌入位置

容器类型	嵌入偏移规则	验证触发点
FIT Image	`.hash` 节区末尾追加链式条目	U-Boot `fit_check_sign` 扩展
PE/COFF (UEFI)	`.sbat` 后新增 `.fwhash` 节区	EDK II `FmpDevicePkg` 钩子

graph TD
  A[原始固件段] --> B[计算 SHA-384 摘要]
  B --> C[构造 HashChainEntry ASN.1]
  C --> D[ECDSA-P384 签名]
  D --> E[追加至固件容器指定节区]

3.3 硬件唯一标识（MAC+eFuse）与签名策略动态绑定机制

在安全启动链中，设备身份不可篡改性依赖于硬件根信任源的协同验证。MAC地址提供网络层唯一性，而eFuse则固化芯片级密钥指纹与策略版本号，二者组合构成强绑定的设备身份凭证。

动态策略加载流程

// 从eFuse读取策略ID，并匹配预置签名规则
uint32_t policy_id = efuse_read(0x1A); // 地址0x1A存储4字节策略标识
const struct sig_policy* p = get_policy_by_id(policy_id);
if (p && verify_mac_signature(mac_addr, p->pubkey_hash)) {
    enable_secure_boot(p->boot_mode); // 按策略启用对应启动模式
}

efuse_read()访问一次性可编程熔丝区，policy_id决定签名公钥哈希校验路径；verify_mac_signature()将MAC物理地址作为输入参与HMAC-SHA256计算，确保策略仅对本设备生效。

策略-硬件映射关系表

策略ID	启动模式	允许签名算法	eFuse写入条件
0x01	安全调试	ECDSA-P256	出厂烧录
0x02	生产锁定	RSA-3072	OTA升级触发

绑定验证时序逻辑

graph TD
    A[上电复位] --> B[读取MAC+eFuse]
    B --> C{策略ID有效？}
    C -->|是| D[加载对应签名公钥]
    C -->|否| E[进入恢复模式]
    D --> F[校验BootROM签名]

第四章：23行核心代码深度解构与生产级加固路径

4.1 主循环中签名验证、版本比对、回滚保护三阶段精简逻辑（附逐行注释）

固件更新主循环在资源受限设备上需极致精简，三阶段逻辑压缩至单次迭代内完成原子校验：

核心校验流程

// 三阶段融合校验：签名 → 版本 → 回滚防护（无分支跳转）
if (!verify_signature(active_img, sig_pubkey))      // 阶段1：RSA-2048 PKCS#1 v1.5 签名验证
    goto rollback;
if (get_version(update_img) <= get_version(active_img)) // 阶段2：单调递增版本号比对（uint32_t）
    goto rollback;
if (is_rollback_protected(update_img))                // 阶段3：检查 anti-rollback counter 是否 ≥ 当前值
    apply_update();

逻辑分析：

verify_signature() 使用预加载公钥，避免动态内存分配；失败即终止，不记录日志以节省Flash；
版本比对采用无符号整型直接比较，规避语义版本解析开销；
is_rollback_protected() 读取OTP区域硬编码counter，硬件级防降级。

三阶段依赖关系

阶段	输入依赖	失败后果	执行耗时（典型）
签名验证	公钥、镜像哈希	拒绝加载	~12ms（Cortex-M4@168MHz）
版本比对	两镜像头部version字段	跳过更新
回滚保护	OTP counter + update_img header	硬件锁死更新通道	~3μs

graph TD
    A[开始] --> B[签名验证]
    B -- 成功 --> C[版本比对]
    B -- 失败 --> D[触发回滚]
    C -- 严格递增 --> E[回滚保护检查]
    C -- ≤当前版本 --> D
    E -- counter合规 --> F[应用更新]
    E -- 不合规 --> D

4.2 安全启动校验点注入：Bootloader与Application双区签名联动

安全启动链的完整性依赖于校验点的精准注入——在 Bootloader 跳转 Application 前，必须完成双区签名协同验证。

校验触发时机

Bootloader 在 jump_to_app() 前调用 verify_app_signature()
Application 入口处嵌入 __attribute__((section(".boot_check"))) 校验桩

签名联动流程

// Bootloader 中关键校验逻辑
bool verify_app_signature(void) {
    uint8_t app_hash[SHA256_SIZE];
    uint8_t sig_r[ECDSA_R_SIZE], sig_s[ECDSA_S_SIZE];
    // 从 APP_HEADER 获取哈希与签名（偏移 0x200）
    read_app_header(&app_hash, &sig_r, &sig_s); 
    return ecdsa_verify(PUBKEY_BOOT, app_hash, sig_r, sig_s);
}

逻辑说明：read_app_header 从 Application 分区起始偏移 0x200 处读取预置 SHA256 哈希及 ECDSA 签名分量；ecdsa_verify 使用 Bootloader 内置公钥验证，失败则阻断跳转。

双区签名结构对照

区域	存储位置	签名算法	验证主体
Bootloader	Flash 0x0000	RSA-2048	ROM Code
Application	Flash 0x10000	ECDSA-P256	Bootloader

graph TD
    A[ROM Boot] -->|验签 Bootloader| B[Bootloader]
    B -->|验签 Application| C[APP Header + Sig]
    C -->|成功| D[jump_to_app]
    C -->|失败| E[lockup]

4.3 OTA失败自动降级与断电恢复日志持久化（基于LittleFS事务日志）

核心设计目标

确保OTA升级中断后可安全回退至已验证的旧固件；
所有关键状态变更（如“升级中”→“校验失败”）必须原子写入，断电不丢失。

日志结构与事务保障

LittleFS以lfs_file_t封装日志文件，配合lfs_file_sync()强制刷盘：

// 初始化事务日志（仅一次）
lfs_file_open(&lfs, &log, "/ota.log", LFS_O_RDWR | LFS_O_CREAT);
lfs_file_write(&lfs, &log, "state: upgrading\0", 17); // 写入状态
lfs_file_sync(&lfs, &log); // 强制落盘，确保断电前完成物理写入

lfs_file_sync() 触发底层块设备flush，规避缓存导致的日志丢失；LFS_O_CREAT保证日志文件存在性，避免首次写入失败。

状态迁移表

当前状态	事件触发	新状态	是否需降级
`idle`	OTA启动	`upgrading`	否
`upgrading`	校验失败	`rollback`	是
`rollback`	旧固件加载成功	`idle`	—

恢复流程（mermaid）

graph TD
    A[上电] --> B{读取/ota.log}
    B -->|state: rollback| C[加载旧固件]
    B -->|state: upgrading| D[校验新固件]
    C --> E[清除日志并跳转]
    D -->|失败| C

4.4 面向CI/CD的签名密钥轮换接口与自动化固件签名流水线集成

密钥轮换API设计原则

遵循零信任与最小权限原则，提供原子化操作：POST /v1/keys/rotate 触发安全模块生成新密钥对，自动归档旧密钥并更新密钥策略版本。

自动化签名流水线集成点

# CI/CD pipeline step (e.g., GitHub Actions)
- name: Sign firmware with rotated key
  run: |
    curl -X POST \
      -H "Authorization: Bearer ${{ secrets.SIGNING_TOKEN }}" \
      -H "Content-Type: application/json" \
      -d '{"firmware_hash":"${{ steps.hash.outputs.sha256 }}","key_version":"v2024.3"}' \
      https://signing-api.example.com/v1/sign

逻辑分析：请求携带经哈希校验的固件摘要与目标密钥版本，服务端验证密钥状态（启用/过期）、签名策略合规性（如仅允许ECDSA-P384），返回带时间戳的CMS签名Blob。key_version 参数强制绑定策略上下文，避免密钥混淆。

签名生命周期状态机

状态	触发条件	持续时间	可签名？
`active`	轮换完成且策略生效	90天	✅
`deprecated`	新密钥激活后自动进入	30天	⚠️（仅限重签）
`revoked`	安全事件手动触发	永久	❌

graph TD
  A[CI Job Starts] --> B{Fetch latest key_version}
  B -->|v2024.3| C[Sign firmware.bin]
  C --> D[Attach signature + metadata]
  D --> E[Push to secure artifact repo]

第五章：开源前夜：安全边界确认与工业场景落地路线图

在将工业智能诊断框架 IndusDiag 推向 GitHub 开源前，团队联合国家工业信息安全发展研究中心、某特大型电网调度中心及长三角三家汽车 Tier-1 供应商，完成了为期 14 周的跨域安全验证与场景压测。核心目标不是“能否运行”，而是“在何种条件下必须拒绝服务”。

多维度安全边界测绘方法论

采用“红蓝对抗+形式化约束”双轨机制：红队模拟 PLC 指令注入、时序扰动（±12ms 脉冲偏移）、传感器虚假数据流（如温度值突跳至 999℃）；蓝队基于 TLA+ 编写状态机模型，对 7 类关键状态转换（如“故障识别→告警推送→执行锁止”）施加原子性、隔离性与可回滚性断言。验证发现：当 CAN 总线丢帧率 >8.3% 且连续 5 帧无 CRC 校验通过时，原有自愈模块会误触发冗余通道切换，导致双通道同步失效——该边界值被固化为 MAX_CAN_LOSS_RATE = 0.083 写入 security_guard.py。

电力调度场景落地三阶段演进

阶段	部署位置	数据源	关键约束	实际成效
PoC（2周）	省调仿真平台	历史 SCADA 日志 + 注入式故障事件	禁用实时控制指令输出，仅生成诊断报告	故障根因定位准确率 92.7%，较传统规则引擎提升 31%
试点（6周）	地调 AGC 子站边缘网关	实时 PMU 流 + 继保动作信号	控制指令需经双签名（调度主站 PKI + 边缘节点 HSM）	成功拦截 3 次因 CT 饱和引发的误差动保护连锁跳闸
扩展（6周）	220kV 变电站站控层	IEC 61850 GOOSE/SV 报文镜像	所有诊断结果附带置信度区间（基于贝叶斯网络实时更新）	平均故障响应延迟从 4.2s 降至 1.7s，满足《GB/T 36572-2018》要求

工业协议深度适配清单

针对 Modbus TCP、OPC UA、IEC 61850 三大协议栈，团队构建了协议语义感知解析器：

Modbus：强制校验功能码与寄存器地址映射表一致性（如 0x03 功能码不得访问线圈区）
OPC UA：启用 SecurityPolicy Basic256Sha256 且禁用匿名登录，所有 ReadRequest 必须携带 RequestHeader.Timestamp
IEC 61850：对 GOOSE 报文 stNum 和 sqNum 进行滑动窗口连续性校验，中断超 3 帧即触发链路降级

# security_guard.py 片段：GOOSE 序号校验核心逻辑
def validate_goose_seq(goose_pkt: GoosePdu) -> bool:
    key = f"{goose_pkt.gocbRef}.{goose_pkt.datSet}"
    window = SEQ_WINDOW_CACHE.get(key, deque(maxlen=5))
    expected = (window[-1] + 1) if window else 1
    if goose_pkt.stNum != expected:
        logger.critical(f"GOOSE seq break at {key}: expect {expected}, got {goose_pkt.stNum}")
        trigger_link_degrade(key)
        return False
    window.append(goose_pkt.stNum)
    SEQ_WINDOW_CACHE[key] = window
    return True

开源合规性熔断机制

在 CI/CD 流水线中嵌入三重熔断：

许可证冲突扫描：使用 pip-licenses + 自定义规则库，禁止 GPL-3.0 依赖进入生产镜像
敏感信息泄漏检测：对所有 PR 的 diff 进行正则匹配（含私钥模式、IP 地址段、SCADA 系统账号）
工业资产指纹脱敏：自动替换 S7-1500[CPU 1516F-3 PN/DP V2.8] 为 S7-1500[GENERIC_F_SERIES]

flowchart LR
    A[PR 提交] --> B{CI 触发}
    B --> C[许可证扫描]
    B --> D[密钥检测]
    B --> E[资产指纹脱敏]
    C -->|违规| F[阻断合并]
    D -->|命中| F
    E -->|失败| F
    C & D & E -->|全部通过| G[构建 ARM64/AMD64 双架构镜像]
    G --> H[推送到 ghcr.io/indusdiag/stable]