# 第 11 篇实验

状态 LAB_VERIFIED；Scala 3.3.7 / stdlib 2.13.16 / JDK 21.0.11-amzn / CLI 1.9.1。

源码 examples/scala-lab/snippets/11/Chapter11.scala，入口 scalaexamples.Chapter11。

```bash
export SCALA_LAB_JAVA_HOME=/Users/magicliang/.sdkman/candidates/java/21.0.11-amzn
export SCALA_LAB_CLI_JAR=/private/tmp/scala-lab-cli-1.9.1.jar
python3 examples/scala-lab/run.py chapter 11 --run-id 20261002-ch11
python3 examples/scala-lab/run.py negative 11 --run-id 20261002-ch11
```

实际正例退出 0；隔离反例退出 1 且 case.json 的每条诊断表达式匹配。完整输出、命令及环境在 examples/scala-lab/evidence/20261002-ch11/。正常日志 11.log；反例日志以 negative-11- 开头。11 只验证计算次数、对象身份和保留头引用的可重访性，没有测量堆占用或 GC 回收。10 没有微基准，12 循环等价断言不代替性能测试。整批构建和页面验证由 root 集成。