Render the Tier-0 coverage card for a coverage object
Source:R/17_report.R, R/corpus_coverage.R, R/mode1_orchestrator.R
render_tier0_coverage_card.RdS3 generic; the renderer the HTML report calls. Method dispatched on the
object's class. NULL is bypassed and routed to a fixed "unavailable"
card so the call site in generate_report / generate_mode1_report
does not need to branch.
Usage
# S3 method for class 'CorpusCoverage'
render_tier0_coverage_card(x, ...)
render_tier0_coverage_card(x, ...)
# Default S3 method
render_tier0_coverage_card(x, ...)
# S3 method for class 'ProvocationCoverage'
render_tier0_coverage_card(x, ...)