mix verify.adopter (rulestead v0.1.5)

Copy Markdown View Source

Integrator-facing verification entrypoint for the v1.12 adoption-lab band.

Delegates to mix verify.phase82 (flat post-GA proof union; no duplicate implementation).