Deterministic validation rules that verify outputs satisfy hard requirements (like all edges connecting correctly) before accepting them.