Duplicate Diamond minted

[dwymi02]

On Sep-05-2021 a duplicate diamond was minted for diamond # 37638. This error resulted in a series of continued failures, which were only resolved when the diamond miner was recycled.

There are two issues that need to be addressed:

#1 -- Why was a diamond that was previously successfully bid # 26052, Born Block Height # 212535, allowed to be minted?
#2 -- The recovery from this error was not properly handled and needs to be addressed.

This problem is documented in Section # 3 of gist [https://gist.github.com/dwymi02/3d7cabb56a91fb1650ed8377712e9a41]

It should be noted that at the time of the error, the running executable was an instrumented diamond build, [go build -race] ...

THANX(MKD).