# E03 实验

```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 E03 --run-id my-e03
```

Scala 3.3.7、ZIO 2.1.16；通过记录位于 `examples/scala-lab/electives/E03/evidence/20261002-b/`。真实断言区分 typed error、defect、interrupt 与 finalizer。