pub fn run_prolog_generated_coverage(
cx: &mut Cx,
) -> Result<PrologGeneratedCoverage>Expand description
Runs the Prolog row through the shared generated expression conformance path.
The generated claim is supplementary evidence under a generated-coverage profile. It does not alter the curated Prolog conformance badge.