User blog comment:Simply Beautiful Art/Feferman's theta extended to weakly compact cardinals/@comment-34422464-20190828002614/@comment-35470197-20190828005124

The OP has essentially answered the question in the reply to my comment below. Namely, there is no known comparison algorythm now, but the OP guesses that he is able to define it.