failAt

@get:Input
@get:Optional
abstract val failAt: Property<ProblemSeverity>

Severity threshold for the diagram-completeness postcondition. Absent means report without threshold-based failure.