# E08 实验

```bash
SCALA_LAB_JAVA_HOME=/path/to/jdk21 SCALA_LAB_CLI_JAR=/path/to/scala-cli-1.9.1.jar python3 examples/scala-lab/electives/run.py E08 --run-id my-e08
```

固定Scala 3.7.4、`-experimental`、`language.experimental.captureChecking`。通过记录为 `examples/scala-lab/electives/E08/evidence/20261002-b/`。Good执行输出42；Bad只编译并要求能力捕获诊断。File是逻辑能力模型，没有声称真实文件关闭验收或生产推荐。