flowchart TD
    subgraph WritePath["写入主路径"]
        Block["新区块 / 执行结果"] --> Hot["Hot 层写入
最新 1000 块 / 无压缩"]
        Hot --> State["保存最新状态 / LastHash / LatestHeight"]
        State --> Nonce["账户余额 / Nonce 持久化"]
        State --> Wasm["WASM 实例映射 contractAddr -> codeID"]
        State --> Registry["核心合约地址缓存"]
        State --> DAR["DAR Snapshot 持久化"]
    end

    subgraph QueryPath["读取与范围查询"]
        Query["RPC / 同步 / 审计查询"] --> Range["GetBlock / GetBlockRange / Iterator"]
        Range --> TierSelect{"按高度选择分片层"}
        TierSelect --> HotRead["Hot"]
        TierSelect --> WarmRead["Warm"]
        TierSelect --> ColdRead["Cold"]
        TierSelect --> ArchiveRead["Archive"]
    end

    subgraph TierArch["4层分片架构"]
        HotTier["Hot: <1000
None / 128MB"] --> WarmTier["Warm: 1000-10000
ZSTD-1 / 64MB"]
        WarmTier --> ColdTier["Cold: 10000-100000
ZSTD-3 / 32MB"]
        ColdTier --> ArchiveTier["Archive: 100000+
ZSTD-9 / 16MB"]
    end

    subgraph Background["后台维护"]
        Tick["MigrationTicker / GCTicker"] --> Migrate["Hot->Warm->Cold->Archive 迁移"]
        Tick --> GC["RunValueLogGC"]
        Backup["Badger 原生 Backup/Load"] --> ArchiveTier
        Metrics["Prometheus Pruning Metrics"] --> GC
    end