Real-world engineering lesson from our BitVM experiment: Never engineer to the absolute limit.
Our 3.9999MB block exceeded mining pool safety margins despite being under Bitcoin's 4MB cap. One mining pool offered manual processing for 1 BTC.
The BitVM community fixed it overnight.
Oh, an always leave room for error.