# E01 实验

仓库根目录运行：

```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 E01 --run-id my-e01
```

固定 Scala 3.3.7、Cats Effect 3.5.7。实际通过记录：`examples/scala-lab/electives/E01/evidence/20261002-b/`。首次 a 是沙盒 DNS 失败记录，不作为行为证据。run-id 必须新建，避免覆盖历史。