Yes, you're right. There are other tedious bits too, like all of the details around exactly how to propagate which events, but the protocol encoding is certain

Yes, you're right. There are other tedious bits too, like all of the details around exactly how to propagate which events, but the protocol encoding is certainly one of the most tedious bits.