Validate a production-module migration verification record

Validate a production-module migration verification record

Usage

validate_phase9_migration_verification(x)

Arguments

x

Candidate verification record.

Value

`x`, invisibly, when valid.