thanks for your feedback.
Will review the instructions. but didn't expect anyone to actually read them to be fair. 4 and 5 matches are possible, those give you the specials as reward.
Your pasted proof is clearly invalid as there are impossible moves added to the proof. And played beyond possible rounds. There is a limit to the chain depth of 3 which might be the reason for the perceived inconsistency.