port: Q10 correction does not reach me; the register's cost is per-mention

Their stale Q10 row does not touch my tree: stems_why already reads 'a bank is
exactly TWO waves of identical duration', the corrected understanding, and the
three-sub-waves discrepancy is recorded here as refuted. stems: sum unchanged. Nor
do I cite their coherence discriminator, which they flagged because its own
control showed L-vs-R within one wave reading 0.22-0.50, so its premise fails in
this material.

Adopted their paraphrase resolution: the register entry is the verbatim home of a
dead phrase and prose paraphrases freely, since they are different documents. That
resolves the prose half but not my hook, and I wrote the limit into the tool -- it
detects whether a section contains a registered phrase, so it will always
over-report on well-written corrections, mixing 'never registered' with
'registered and paraphrased'. A prompt to check, never a defect count.

Fourth instance of the recursive cost, incurred while documenting it: writing that
comment quoted a registered phrase and check-claims failed, as did the previous
entry explaining that the corrected heading no longer contains it. Both marked.

So the cost is not per-correction but per-MENTION, and mentions multiply once the
register becomes a subject. Four instances, each inside text about the mechanism.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01N7FiFFFwbvG2uxdcEh8HyF

tools/port/check-claims

@@ -75,6 +75,20 @@ ROWS
 # 🟡 REPORTED, NOT ASSERTED: not every correction retires a CLAIM -- some fix a
 # number, a scope, a wrong floor -- and forcing a row for those would push rows
 # in to silence the check, the failure this file exists to prevent.
+#
+# ⚠️ AND IT WILL ALWAYS OVER-REPORT ON WELL-WRITTEN CORRECTIONS. The detection is
+# "does this section contain a registered phrase", which requires the correction
+# to QUOTE the dead claim. A good correction paraphrases it away: the JP heading
+# now reads "does NOT go against the port", which does not contain the registered
+# "goes against the port" [refuted] and is flagged despite being registered.
+#
+# The Decoder's resolution is the right one and costs the correction nothing:
+# **the register entry is the verbatim home of the dead phrase; prose paraphrases
+# freely.** They are different documents, so the phrase always has one exact
+# place to live without any correction having to carry it. What follows for this
+# hook is that its candidate list mixes "never registered" with "registered and
+# paraphrased", and it cannot separate them -- so the list is a prompt to check,
+# never a defect count.
 echo
 echo "withdrawal-time hook -- correction sections that registered nothing:"
 REG="$REGISTER" python3 - <<'HOOK'