Add proc-based validation with A record fallback specs