About 77% of the OAIs slopdrop manuscripts have no lean certificate. Of them, a vast majority (though not all) are extremely difficult to parse even for domain experts.

What then makes OAI so confident in their correctness?

Persumably it reflects their confidence in the