verify-change

Mechanical Go verification of a scoped mivia change. Run test, vet, build, race, invariant and contract gates, then report mivia-report/v1. Use after implementation or before merge.