diff --git a/tools/port/check-authored-vs-declared b/tools/port/check-authored-vs-declared
index 0240bc27..59986868 100755
--- a/tools/port/check-authored-vs-declared
+++ b/tools/port/check-authored-vs-declared
@@ -22,6 +22,15 @@ because it fails silently in both directions:
 Both look like nothing. Neither is caught by `audit-kinds`, which checks that a
 `why` cites something, not that the number still agrees with the disc.
 
+⚠️ NAME THE RECORD, NOT JUST THE ELEMENT. An audit of these values was read by
+the other agent as covering `ptbtn00f`'s peak alpha, and they reported it
+undeclared -- because they looked at `ptbtn00.rat`'s LEAF, which declares
+`ptbtn00.t32` at a flat `0:255`. The pulse is in a DIFFERENT record,
+`ptbtn00f.rat`, reached through `focus_link`, and it declares
+`0:0 6:6 29:74 35:80 50:80 58:74 97:6 105:0`. Both records carry a 120-unit
+loop. Saying "declared" without saying *in which record* cost a round trip, so
+this prints the record it compared against.
+
 ⚠️ SCOPE, deliberately narrow. Only values with a declared counterpart are
 checkable here. A measured constant with no disc equivalent -- the leaf rate
 itself, for instance -- cannot be verified this way and is not pretended to be.
@@ -55,9 +64,10 @@ def checks():
             continue
         focus = el.get("focus", {})
         got = [f["id"] for f in focus.get("elements", [])]
-        out.append((f"{key} record_element", cfg.get("record_element"),
+        rec = focus.get("record", "?")
+        out.append((f"{key} record_element [{rec}]", cfg.get("record_element"),
                     got[0] if got else None))
-        out.append((f"{key} period_units", float(cfg.get("period_units", -1)),
+        out.append((f"{key} period_units [{rec}]", float(cfg.get("period_units", -1)),
                     float(focus.get("loop_length_units", -1))))
     return out