理解这个系统：[名字]

【硬约束】
- 引用 文件:行号 + 代码片段
- 看不出来写"看不出来"
- 区分 [事实] 和 [推测]

==================================
第一层：宏观（先回答这层）
==================================

1. WHY - 这个系统解决什么问题？
   - 如果删掉它，世界少了什么？
   - 它的"用户"（人或其他模块）期待它做什么？

2. MODEL - 它用哪组核心概念建模这个问题？
   - 列出 3-7 个核心概念（不是类名，是概念）
   - 这些概念之间的关系（谁包含谁、谁产生谁、谁约束谁）
   - 这组概念在代码里对应哪些数据结构

3. INVARIANT - 它坚持什么永远成立？
   - 至少列出 3 条不变量
   - 每条不变量由哪段代码维护
   - 如果违反会发生什么

4. TRADE-OFF - 它做了哪些刻意的取舍？
   - 牺牲了什么换什么？（性能/简单/灵活/一致性...）
   - 哪里能看出"作者本可以那样写但选择了这样写"

完成第一层后，输出 "=== MACRO DONE ===" 停下。

==================================
第二层：微观（等我说继续）
==================================

基于第一层建立的宏观模型，回答：

5. 核心数据结构的具体定义和关系
6. 关键操作的算法（按你识别出的最重要的不变量组织）
7. 模块边界和依赖

每个微观结论必须能映射回第一层的某个宏观概念。
如果某段代码无法映射回宏观，单独标出——这往往是历史包袱或 bug。