docs(adr): ADR-0144 D7 names the projection-formula mismatch in its implementing card

Parameter 3 makes the home amount the record amount divided by rate;
the implementing card's body writes the product while its own check
is the division. D7 now says so.

Claude-Session: https://claude.ai/code/session_01Utp6CbTZrFqRYNgjSaSbN5
Co-authored-by: Claude <noreply@anthropic.com>

Author: claude

docs/adr/0144-multi-currency-record-currency-dated-rates-write-time-home-projection.md

@@ -195,7 +195,8 @@ pairing.
 
 - **Parameter 3 as arithmetic.** An amount `A` in currency `X`, whose rate row says `r`, is `A ÷ r` home units. The
   home amount is the record amount **divided by** `rate`. Workload row M2-2 writes the projection as
-  "amount × rate", which is the inverse convention. #27192 follows parameter 3.
+  "amount × rate", which is the inverse convention, and #27192's card body repeats the product. That card's own
+  two-minute check is the division: USD 10,000 at 0.1389 gives ¥71,994.24. #27192 follows parameter 3.
 - **Parameter 1 governs the recompute and backfill** (M2-3, #27193). It does not govern the write path, where D5's
   refusal holds.
 - The wording of parameter 4 leaves its unit open ([Open item](#open-items) 5).