# E01 实验说明

入口：`examples/jpa/src/main/java/blog/jpa/ProcurementRequest.java` 与 `examples/jpa/src/test/java/blog/jpa/ProcurementJpaTest.java`。`writing-plans/jpa/verification/20261004T053805Z-pg16-resource-local/RUN.md` 连同 `test.stdout.txt`、`exit-code.txt`、`code-sha256.txt` 记录 PostgreSQL 16 `RESOURCE_LOCAL` 六项 PASS、退出码 0 和当时未提交代码逐文件 SHA-256；其中 `hibernateSpecificQueryCountContrastsLazyFetch()` 的三申请计数断言（4 与 1）通过，但不能证明实体图或分页实验。正文 `ApprovalPage` 是待接入示例，没有工程内对应的测试类。

正常 NOT_RUN：独立库建含不同明细数量的租户甲三申请及租户乙一申请，测试图详情与按 ID 分页后以 `IN` + 图加载、重组顺序、明细完整及租户条件；记录每段 SQL、输入 ID 和提交后表行。失败 NOT_RUN：开启 Hibernate `hibernate.query.fail_on_pagination_over_collection_fetch`，测试集合 fetch join + `setMaxResults` 被拒；再测两段式查询间删除与租户变化。不猜异常类型、SQL 条数或性能数字。将代码 SHA、Java/Hibernate/JPA/pgJDBC/PostgreSQL 版本、迁移版本、命令、退出码、原始输出、预期和实际断言一起归档；只对专用 `jpa_lab` 库运行，环境准备见 `examples/jpa/README.md`。