# E07 实验

```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 E07 --run-id my-e07
```

Scala 3.3.7。通过记录为 `examples/scala-lab/electives/E07/evidence/20261002-a/`，分别保存解释器运行和非法状态转换编译诊断。持久化回调使用内存List，未声称数据库幂等验收。