The Verify Standard
V3 to V100
Levels one through three grade a VENDOR. Anything worth calling a mature standard grades a CLAIM. That is a different architecture, not a further level.
The break in the curve
V4 and V5 are calendar and counterparty. The interesting discontinuity is when the unit of verification stops being the shipped tree and becomes the individual number. Everything above that point is a consequence of one change repeated: make a claim carry its proof.
What that looks like today
A Proof Object carries a value, its inputs, the method that produced it, and a command that recomputes it. One number on this estate can already be checked on its own terms.