From edc9ae92e1e8b03c0f17ca29166369ebb1bb8b6c Mon Sep 17 00:00:00 2001
From: Drew T <50529377+Druthulu@users.noreply.github.com>
Date: Fri, 24 Jul 2026 21:41:29 -0600
Subject: [PATCH] =?UTF-8?q?docs(phase-29):=20=C2=A766d-4=20=E2=80=94=20mea?=
 =?UTF-8?q?sured,=20a=20REPEATED=20profile=20yields=20nothing=20(lever=20i?=
 =?UTF-8?q?s=20profile=20diversity)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 docs/matching-cookbook.md | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/docs/matching-cookbook.md b/docs/matching-cookbook.md
index 0be8495954..218a3f4360 100644
--- a/docs/matching-cookbook.md
+++ b/docs/matching-cookbook.md
@@ -5449,6 +5449,12 @@ its own edits made a *local* position worse while the total improved. The cse pa
 reverting just that operand order, keeping every other gain, took 10 → **9 for one compile**. Same for
 `x >= k` ↔ `k <= x`. These are free points and they are invisible to the scorer's total.
 
-**Status of the round-robin question:** whether a *repeated* profile yields again on a seed it already
-converged on is UNMEASURED as of SESSION-18 close (a REGALLOC round-2 from close=9 was in flight —
-`.run/giants/s18_d820_ils_rr2.log`). Do not assume it does; read the log.
+**MEASURED: a repeated profile does NOT yield again.** REGALLOC round-2, warm-started from the
+close=9 seed (a seed it had never seen — SCHEDULE, cse and a reader fix had rewritten it since), came
+back **flat for all 10 cycles, 0 gain**. So the lever is *profile diversity*, not *seed novelty*: each
+of the three profiles is worth about one drop, and re-spending one buys nothing. Budget accordingly —
+three passes per giant, then stop.
+
+That also makes rule 2 above operational: **a floor is measured when all three profiles come back flat
+from the SAME seed.** For `func_8014D820` at close=9, REGALLOC is flat; SCHEDULE and cse from that seed
+are the remaining evidence needed before calling 9 a floor.