It’s still a quivering mass of code. I need to spec it out more formally. It’s more of a scheme than a protocol. I need to add in the extra step for the PQC KEM, but you can get the gist here https://github.com/trbouma/safebox/blob/dev-quantum/docs/NAUTH-PROTOCOL.md