It took 3 months, but the first major parts for OIDC in polyproto have landed: codeberg.org/polyphony/polyproto-dot-org/pulls/104