Thanks — I went back through the actual proof logic after reading this, and you were right. Both failure modes were real. The check has now been corrected and the ending only states what the submitted evidence actually establishes.
Your last point also stuck with me. I agree that this case should stop where the evidence stops — disproving Sorel isn't the same thing as proving who executed the purge.
That said, you may have accidentally given me an idea for what a later case could investigate :)
Really appreciate you digging into it this deeply.