Apparently the formal specification of OpenNHP was submitted as an IETF Internet-Draft in January:
https://datatracker.ietf.org/doc/draft-opennhp-saag-nhp/