| 集合探针 | 用反射读取 ArrayList / LinkedList / HashMap 内部状态，验证扩容、树化和遍历顺序 |
| 并发探针 | 用可复现交错验证 JMM 可见性、CAS 竞争与 ConcurrentHashMap 分段行为 |
| GC 探针 | 可达性、三色标记与 G1 SATB 的三个独立实验 |
| MySQL 索引实验 | MySQL 8.0.39 上比较复合索引、覆盖索引、ICP、深分页与 keyset 分页的执行计划 |
| Java 高级机制实验 | 锁与条件、接纳与拒绝、异步取消、LRU、令牌桶、泛型字节码 |
| JVM 诊断实验 | 对象布局、初始化/类加载、受控故障与 JFR/NMT 证据采集 |
| Spring 与 MyBatis 实验 | 生命周期、代理、循环依赖、事务传播、缓存和 Web 异步派发 |
| Boot 自动配置实验 | 默认装配、用户 Bean 回退、属性关闭和排除自动配置 |
| MySQL 事务实验步骤 | 两会话隔离、锁、条件更新、死锁及执行计划的待复现步骤 |
| Redis 实验步骤 | 编码、复制确认和持久化的待复现步骤，不作为高可用实测 |
| ES 模型与服务实验 | 固定 8.15.1/9.11.1；有限模型已运行，真实 HTTP 断言待服务可用 |
| MongoDB 模型与服务实验 | 固定 7.0.14；有限模型已运行，条件更新/索引/单节点复制集断言待服务可用 |
| 系统设计教学模型 | 幂等账务、审核版本、fence 与删除投影的不变量和反例 |
| 中间件源码核对 | 固定 tag 核查 Kafka、ZooKeeper、Nacos、Dubbo 与 JDK 网络文件/符号，不冒充集群实测 |
