Berserker/trample into my double strike creature problem

I know there’s a known (and still unfixed) bug if I have a berserk, double strike, and trample creature into opponent. It seems to be an issue in reverse also.

I have a 6/6 Solemn Recruit. Opponent has a werewolf, now berserk and trample, 12/7, from AI’s Arlinn Kord ability. It attacked into my Solemn Recruit. My Recruit died. It didn’t.

Anyone else encounter this?

Edit: attached imgur link
Imgur

Any damage is subtracted from temporary buffs before applied to permanent creature hp. Why that -1 is showing, I’m not sure. Should be -3 then an additional -3.

TL;DR Outcome is correct, displayed damage is not.

Edit: crap, glossed over the SR stats, thought it was unreinforced. You are correct, both should be dead.

I understand it as he has a 6/6 solemn recruit which
should deal 12 damage to non first strike opponent
creatures in combat. the problem is that -1 from the
initial 12/8 werewolf. it’s also possible that the
werewolf could be buggy.

HH