Recently RFC 9669 was published which is now hopefully the gold standard for the BPF ISA. The documentation for this project should be updated to reflect that.

Also see this email sent to the relevant Linux kernel mailing lists that provides lots of information on the intention and scope of the RFC.