Validate a first built-in Phase 9 runtime run record

Validate a first built-in Phase 9 runtime run record

Usage

validate_phase9_builtin_run(x)

Arguments

x

Candidate run record.

Value

`x`, invisibly, when valid.