I checked the coil plugs this morning, and confirmed they are plugged into the correct coils.
I also checked the MegaManual again, and realized I’d misread it. — it says the pins are ordered ABC, but fire in the order of ACB. This makes more sense with Josh’s order of BCA — it’s just rolled to the right. The crank sensor is positioned at the bottom left of the toothed gear, so I think he just shifted everything 120 degrees, including which plugs the coils are connected to.
So as best I can tell, the coils are correctly connected.
— Joe