# 09 实验说明

代码入口：`examples/jpa/src/main/java/blog/jpa/ProcurementService.java`、`ProcurementRequest.java`、`ProcurementOrder.java`、`db/migrations/01-init.sql`、`src/test/java/blog/jpa/ProcurementJpaTest.java`。只在专用 `jpa_lab` 库执行迁移；从根目录运行 `examples/hibernate-lab/mvnw -B -ntp -f "$PWD/examples/jpa/pom.xml" clean test`，运行前设置工程 README 所列三个环境变量。

既有 PASS：`writing-plans/jpa/verification/20261004T053805Z-pg16-resource-local/RUN.md` 连同 `test.stdout.txt`、`exit-code.txt`、`code-sha256.txt` 记录 PostgreSQL 16.15 `RESOURCE_LOCAL` 六项通过、退出码 0 与当时未提交文件的逐文件 SHA-256。其中 `uniqueOrderAndTenantAndRetry()` 已通过异租户拒绝、同事务与提交后顺序重试、订单数为 1；不是同单并发或完整幂等验收。不得把基线提交号当工程文件 SHA。

待增加可筛选的正常与失败测试：两明细 46.60 元申请从草稿走到订单，双租户读取；拒批申请不能下单、两事务同时争同一申请的订单、失败回滚后弃用上下文并在新事务重读、并发与提交结果未知时的重试。每一步记录两个连接的事务交错、请求与订单 ID、版本、三表行和值、唯一约束效果；保存测试代码 SHA、Java/JPA/Hibernate/pgJDBC/PostgreSQL 版本、迁移版本、命令、退出码和原始输出。扩展正常场景 NOT_RUN；扩展失败场景 NOT_RUN；既有六项 PASS 不得升格为第 09 篇全场景 PASS。