[Avodah] Baruch Dayan Emes?

[Micha Berger]

Two data points:

1- The aveil's bentchin according to the SA (OC 189:2) includes "Dayan
Emes" but it works well in context:
    ... haKeil Avinu Malkein Bore'einu Go'aleinu Qedosheinu
    Qedosh Yaaqov
    haMelekh haChai haTov vehaMeitiv
    haTov vehaMeitiv
    Keil Emes, Dayan Emes...
    

2- R Hutner (Pachad Yitzchaq, RH) talks about Melukhah (logical enough
for RH) and how its ultimate expression is "bayom hahu yihyeh H' Echad
ushmo echad".

R Hutner holds that Zekhariah is describing a time when "kesheim
shemevorkhim al hatov, kakh mevorkhim al hara" is no challenge.
Because when we can see Hashem as Melekh al kol ha'aretz, we can accept
that what we experience as ra is only evil and unpleasant in the moment,
not in the long term.

Which brings him to Barukh Dayah haEmes...

RYH says that the berakhah is *not* calling Hashem, "the True Judge",
but "the Judge of the Truth". The One Who decides which truths are to
be revealed and understood.

We accept Hashem's justice with a declaration that we accept that He
will reveal why we have to live though some tragedy when the time is
right. And it's simply that the time isn't right yet.

Tir'u baTov!
-Micha

-- 
Micha Berger                 It is harder to eat the day before Yom Kippur
http://www.aishdas.org/asp   with the proper intent than to fast on Yom
Author: Widen Your Tent      Kippur with that intent.
- https://amzn.to/2JRxnDF                     - Rav Yisrael Salanter