# E02 实验说明

代码入口：`examples/jpa/src/main/java/blog/jpa/ProcurementRequest.java`、`ProcurementService.java`、`examples/jpa/db/migrations/01-init.sql`、`examples/jpa/src/test/java/blog/jpa/ProcurementJpaTest.java`。既有 `optimisticConflictWithControlledInterleaving()` 与 `uniqueOrderAndTenantAndRetry()` 有 `writing-plans/jpa/verification/20261004T053805Z-pg16-resource-local/RUN.md`、`test.stdout.txt`、`exit-code.txt`、`code-sha256.txt` 的 PostgreSQL 16 RESOURCE_LOCAL 六项 PASS 记录；无 E02 悲观锁、订单并发与跨行预算实验。正文的 `LockedOrderService` 仅为待接入设计示例，预算表与预算核验代码不存在。

正常 NOT_RUN：专用 `jpa_lab` 库两事务先后对同一租户、同一申请加 `PESSIMISTIC_WRITE`，记录锁等待/释放、申请状态和订单终态。失败 NOT_RUN：两事务并发同单插入，检测唯一键及失败后关闭上下文、重读；预算扩展需**先**定义时区、预算行、迁移与全部写入口，才分别测 PG16 各隔离级别和整事务重试。不要用不存在的预算测试声称通过。每组记录迁移版本、代码 SHA、JPA/Hibernate/Java/pgJDBC/PG 版本、两连接交错、SQLSTATE、原始输出、命令、退出码、预期与实际断言；不运行时保留 NOT_RUN。