diff --git a/doc/reviewer/java-ignore-crossvalidation.md b/doc/reviewer/java-ignore-crossvalidation.md
index 8044e53..08ed86c 100644
--- a/doc/reviewer/java-ignore-crossvalidation.md
+++ b/doc/reviewer/java-ignore-crossvalidation.md
@@ -224,14 +224,15 @@ the Euclidean path. Verified against block-FD and gradient-FD.
 
 ## 4 — Recommended order of work
 
-1. **Port `make_lawson_square_tiled()`** (low-level half-edge; see §5) →
-   unblocks the single HIGH oracle and the MED branch-point variant in one go.
-2. Add `HyperIdealLawsonGoldenJava` test using the **per-class symmetric**
-   assertion above (robust, no DOF-order matching).
-3. Add `wente.obj` asset → genus-1 uniformization self-consistency (MED).
-4. Defer LATER items to their phases; revisit golden vectors then
-   (branch-point and hyperelliptic golden u\* are already recorded in the
-   Java tests and can be reused verbatim once the generator exists).
+1. ✅ **DONE (PR #29)** — Tier 1: cyclic φ oracle + full analytic edge-DOF Hessian.
+2. ✅ **DONE (PR #30)** — Tier 3: `make_lawson_square_tiled()` (low-level
+   half-edge; §5) + plain & branch-points golden oracles (per-class symmetric,
+   no DOF-order matching needed).
+3. ⏸️ **Deferred** — Lawson **hyperelliptic** variant (XML-format reader +
+   `HyperIdealHyperellipticUtility` / jReality θ; non-symmetric golden).
+4. ⏸️ **Phase 9f** — Wente genus-1 uniformization (quad/cyclic pipeline).
+5. **Phase 10a/10c/11/13** — LATER items (genus-2, holomorphic forms, Schottky);
+   golden u\* / data recorded in the Java tests for reuse then.
 
 ---