Thanks @boris! I actually hadn’t realized that he was on the repo, but this is Allessandro, who works on ACL2 Ethereum Project.
Seeing @expede’s “Jello as the canonical EVM spec” post, perhaps this call to action should be something more along the lines of “Maintainership of Specification of Ethereum”, and they could see to it that the YP is part of its discussions and that there are appropriate maintainers on the YP repo.
This is the ethos expressed to be by Eric McCarthy from the ACL2 Ethereum Project. He emphasized that the YP doesn’t have the be “THE spec”, rather maintained by those wishing to use its mathematics in formal verification efforts w/ K framework, ACL2, etc.
It will be interesting to see what would be the best way to represent THE specification when you have two very different but interdependent kinds of users: engineers and researchers.