概念地图：交易所资金与对账¶
5 分钟目标：能分清 撮合/行情 与 账本/充提/返佣 的事实源，并讲清对账在证明什么。
返回：概念地图总览
0. 这是 CEX，还是 DEX？¶
本图讲资金正确性：账本、冻结、充提闭环、返佣、对账。
CEX 与 DEX 共用「不可变账本 + 对账」骨架；分叉在 成交事实从哪来、钱如何进出链。
| CEX | DEX / Launchpad 类 | |
|---|---|---|
| 成交事实 | 撮合引擎成交流水（链下） | 链上合约事件（经 Indexer 投影） |
| 用户余额像什么 | 托管账本债权；提现才上链 | 纯链上持仓 或「产品层账本 + 链上结算/出金」 |
| 充提 | 平台地址充值入账、热冷钱包出金 | 用户自签进池；若有站内余额/返佣账户，仍走账本 |
| 对账证明什么 | 用户债权 ≈ 热冷钱包 + 在途 + 清算挂账 | 佣金/激励/站内余额 ≈ canonical 手续费事实 + 规则版本；池子 TVL 不以账本冒充 |
| 本仓库落点 | 钱包地图 + 撮合/账本专题 | Indexer 地图 + AMM/返佣专题 |
纯无托管前端（只读链、不记用户债权）几乎用不到本图的账本对账；一旦出现「可提佣金 / 站内点卡 / 托管出金」，就回到本图。
1. 总分叉架构图¶
flowchart TB
subgraph facts [成交 / 费用事实 · 分叉入口]
CEXTrade[CEX 撮合 fill / fee]
DEXTrade[DEX canonical logs<br/>Swap · Mint · Burn]
end
subgraph shared [资金内核 · 本图重点]
Ledger[不可变账本 Ledger]
Freeze[冻结 / 预留]
Rebate[返佣 / 极差计佣]
Recon[对账任务]
end
subgraph cexOut [CEX 出入口]
Dep[充值确认入账]
Wd[提现冻结 → 钱包出签]
HotCold[热冷钱包余额]
end
subgraph dexOut [DEX 侧出口]
Pos[持仓 / 池投影只读]
Claim[佣金/激励领取]
Vault[Vault / 链上 Withdrawal]
end
CEXTrade --> Ledger
DEXTrade --> Ledger
CEXTrade --> Rebate
DEXTrade --> Rebate
Rebate --> Ledger
Dep --> Ledger
Ledger --> Freeze
Freeze --> Wd
Wd --> HotCold
Ledger --> Recon
HotCold --> Recon
DEXTrade --> Pos
Ledger --> Claim
Claim --> Vault
Pos -.->|不对账成用户债权| Recon读图顺序
先分清图上三列，再按「进事实 → 过内核 → 出资金 → 对账」读：
| 列 | 图中框 | 只回答什么 |
|---|---|---|
| 左：事实入口 | CEX 撮合 fill / DEX canonical logs | 成交/费用真相从哪来 |
| 中：资金内核 | 账本 · 冻结 · 返佣 · 对账 | 债权怎么记、怎么占用、怎么证明平 |
| 右：资金出口 | CEX 充提热冷 / DEX 投影·佣金·Vault | 钱或权益如何离开内核 |
1. 左分叉：事实怎么进内核¶
- CEX：
CEXTrade来自撮合引擎的 fill / fee 流水（链下权威）。WS 行情、K 线只是展示，不能当过账依据。 - DEX：
DEXTrade来自 Indexer 投影的 Swap / Mint / Burn 等 canonical logs；pending 报价或模拟结果不能当已成交。 - 两条线都可以再进 返佣
Rebate（计费要绑规则版本）；计佣结果最终仍落成账本分录，而不是改索引行。
对应图中：CEXTrade → Ledger、DEXTrade → Ledger，以及两者到 Rebate → Ledger。
2. 中间汇合：资金内核怎么记¶
- 账本
Ledger：只追加分录；余额是派生视图。成交过账、充值 credit、佣金计提都走这里。 - 冻结
Freeze：提现、开仓、待结算佣金等先占用额度（可用 ↓、冻结 ↑），防止超提。 - 明确「只投影、不入账」的路径（例如纯 DEX 持仓展示）不要强行写成用户债权分录。
对应图中：汇入 Ledger，再 Ledger → Freeze。
3. 右分叉：CEX 出入口¶
- 充值
Dep：Indexer 确认后 credit 账本（观察在 Indexer/钱包图，入账在本图）。 - 提现
Wd：账本已冻结 → 托管钱包出签广播 → 热冷钱包余额变化。 - 热冷
HotCold：链上真实托管资产；对账时必须进等式。 - 出金失败或 reorg：账本用冲正/解冻，不抹改历史分录。
对应图中：Dep → Ledger，Freeze → Wd → HotCold。
细节见下文「CEX 场景」时序。
4. 右分叉：DEX 侧出口¶
- 持仓/池投影
Pos：给 API/行情用的只读视图；虚线连到对账表示 不能 把 TVL/持仓投影对成「用户可提债权」。 - 佣金领取
Claim：若产品有站内可提佣金/积分，从账本走领取状态机。 - Vault / 链上 Withdrawal：真正把权益打到用户地址或合约出金通道；有托管出金时，闭环接近 CEX。
- 纯无托管 Swap UI：往往只有
Pos，几乎不进Ledger/Claim。
对应图中：DEXTrade → Pos，Ledger → Claim → Vault，Pos -.-> Recon。
细节见下文「DEX 场景」时序。
5. 对账 Recon（读图终点）¶
对账要证明的是闭合关系，例如：
- CEX：用户账本债权合计 ≈ 热冷钱包余额 + 在途（冻结/未确认充提）± 清算挂账
- DEX 有佣金账户时：可提佣金/激励余额 ≈ canonical 手续费事实 × 规则版本 − 已领 − 冲正
- 不要：用行情投影、WS 推送或「索引表余额」去抹平账本差额
对应图中：Ledger → Recon，HotCold → Recon；Pos 仅虚线提醒边界。
6. 读图自检¶
- 能否指出：同一笔「成交」，CEX 与 DEX 各从左边哪一个框进入？
- 能否说明：为何冻结在出金之前、冲正为何不改历史数字？
- 能否区分：池子 TVL 投影 vs 用户可提账本余额？
读完后接下文 CEX/DEX 场景表，核对「资金域做什么 / 是否介入」。
2. CEX 场景（托管账本全链路）¶
sequenceDiagram
participant ME as 撮合
participant Led as 账本
participant Idx as Indexer
participant Wal as 托管钱包
participant Rec as 对账
ME->>Led: trade.matched 幂等过账
Idx->>Led: deposit.confirmed
Note over Led: 可用 ↑ / 冻结占用
Led->>Wal: 提现冻结后出签广播
Wal->>Idx: 链上 receipt
Idx->>Led: 出金确认或冲正
Rec->>Led: 抽样债权
Rec->>Wal: 热冷余额 + 在途| 场景 | 资金域做什么 | 事实源 |
|---|---|---|
| 现货成交 | 冻结释放、余额划转、手续费分录 | 撮合 fill（非 WS 行情） |
| 充值 | credit 用户可用 | Indexer finality 事件 |
| 提现 | 冻结 → 广播 → 扣减/失败冲正 | 钱包状态机 + receipt |
| 日终/持续对账 | 债权合计 vs 钱包 vs 在途 | 账本 + 钱包 + 链 |
深读：S-EXCH-03 · S-EXCH-02 · S-EXCH-13 · 钱包地图
3. DEX 场景（链上事实 → 可选账本）¶
sequenceDiagram
participant Pool as AMM / Router
participant Idx as Indexer
participant API as 行情/持仓 API
participant Led as 账本可选
participant Rec as 返佣对账
Pool->>Idx: Swap / LP logs
Idx->>API: 池储备 · 成交投影
Idx->>Led: 若有站内佣金/积分则入账
Led->>Rec: 规则版本 + 幂等计佣
Note over API: 投影可重建，不是用户债权真理| 场景 | 资金域是否介入 | 说明 |
|---|---|---|
| 纯 Swap UI | 通常不入用户账本 | Indexer 投影即可；余额在用户钱包 |
| 返佣 / 积分 / 站内可提 | 要账本 | 计费事实来自 canonical 成交与手续费 |
| Launchpad 认购托管 | 要账本 + 出金状态机 | 接近 CEX 托管闭环 |
| LP 持仓展示 | 投影只读 | 最终以合约状态为准，索引可重建 |
深读：Indexer 地图 · S-EXCH-14 · S-EXCH-28 返佣冲正 · S-EXCH-12
4. 核心对象¶
| 对象 | 含义 |
|---|---|
| 账户账本 | 不可变分录；余额是派生视图 |
| 冻结 / 预留 | 提现、开仓、返佣待结算等占用 |
| 充提闭环 | 链上观察 ↔ 账本入账/出金（见钱包地图） |
| 返佣 / 极差 | 基于 canonical 成交与手续费事实计佣 |
| Vault / Withdrawal | 链上或托管出金通道与权限 |
| 对账任务 | 证明「用户债权 + 热冷钱包 + 在途」闭合 |
5. 权威事实源¶
| 问题 | 事实源 |
|---|---|
| 成交是否发生（CEX） | 撮合/成交流水（协作边界；实现深度因系统而异） |
| 成交是否发生（DEX） | 链上合约事件 / canonical logs |
| 用户能提多少 | 账本可用余额（扣冻结） |
| 链上钱是否动了 | Canonical receipt + 钱包状态机 |
| 佣金是否该发 | canonical 手续费事实 + 规则版本 + 幂等分录 |
6. 主状态机（资金视角 · 共用）¶
flowchart TB
Trade[成交/手续费事实] --> Ledger[账本分录]
ChainIn[链上充值确认] --> Ledger
Ledger --> Freeze[提现/出金冻结]
Freeze --> Wallet[钱包 Build/Sign/Broadcast]
Wallet --> Confirm[链上确认]
Confirm --> Settle[解冻/扣减/冲正]
Trade --> Rebate[返佣异步计佣]
Rebate --> Ledger
Ledger --> Recon[对账：账本↔钱包↔在途]7. 典型失败模式¶
| 失败 | 正确处理 | 反模式 |
|---|---|---|
| 对账不平 | 分层定位：在途、冻结、未入账、reorg 冲正 | 直接改余额「抹平」 |
| 退费/reorg | 佣金与账本反向冲正；见 冲正工作流 | 改历史数字 |
| 热钱包超提 | 额度、熔断、冷热分层、审批 | 只靠「多签感觉安全」 |
| 把行情当账本 | 读模型最终一致；资金强一致 | 用 WS 推送改余额 |
| DEX 投影当债权 | 持仓以合约/账本分录为准 | 索引表可提现 |
8. 推荐阅读¶
| 顺序 | 文章 | 证据边界 |
|---|---|---|
| 1 | 账户体系与资金账务 | explanation |
| 2 | 充值、提现与链上钱包体系 | explanation |
| 3 | 清结算、对账与高可用 | explanation |
| 4 | 风控、对账与合规审计 | explanation |
| 5 | 极差返佣 · Launchpad/返佣 | explanation |
| 6 | CEX 端到端架构 · Web3 全栈 | explanation |
| 7 | 支付账本/清结算 | explanation |
| 8 | 可运行撮合证据：确定性撮合 · WAL 回放 | deterministic_test（≠生产性能） |
专题目录：14 交易所工程
9. 与相邻域¶
- CEX 出金签名与 UNKNOWN → 钱包与托管
- DEX 事件投影 → Indexer / 节点数据
- 易混：账本不可变 vs 索引可重建 → 易混概念专卡