Mathematical specifications sounds sensible if actually viable, unsure whether it needs at least logic operators too, beyond my understanding. Taking year long adjusted and altered current Core codebase as dogma or fixed reference seems questionable to me in light that Segwit and Taproot seem to have introduced either unforeseen or initially obscured behaviors namely with arbitrary data storage in transaction or script fields. As for individual saviors, I had the impression that somewhat happened with the Segwit activation, and with no UASF pressure the 2x version, if I remember the name correctly, or something else might have activated, especially with that miner and exchange operator meeting or meetings which too constituted an attempt for few actors to run the show.