If you're going to edit the checksum, why not just inject the resulting Jirachi? Not like it will be anything unique since this checksum trick has been around for ages.
The checksum is computed with the following logic, just an adder with any 16-bit overflow added on top.
https://github.com/kwsch/PKHeX/blob/d8b8646de65379e272046df096ede06423ede34b/PKHeX.Core/Saves/Util/Checksums.cs#L120-L130
Just mutate the block that gives the Jirachi checksum in a hex editor, and have PKHeX calculate the fixed checksum for you.