topos.evaluation.policies.coverage

Structural test-coverage policy (outside Ω).

The UAST profunctor emits a raw DeclarationCoverageReport; this module threshold-classifies it into a CoverageDecision (mean recall, F2, uncovered declarations). Independent of the three quality generators in Ω. Defaults live in topos.evaluation.policies.calibration.

class topos.evaluation.policies.coverage.CoverageDecision(score, achieved, threshold, coverage_rate, f2_score, uncovered_declarations=<factory>, interpretation=<factory>)

Bases: object

Thresholded judgment over a raw declaration coverage report.

Mirrors ScoredDecision (score, achieved, interpretation) but carries coverage-specific fields (F2, uncovered declaration list).

score

achieved

threshold

coverage_rate

f2_score

uncovered_declarations

interpretation

topos.evaluation.policies.coverage.score_declaration_coverage(report, *, threshold=0.5)

Threshold-classify a raw coverage report (mean recall vs threshold).

class topos.evaluation.policies.coverage.TopologicalCoverageDecision(score, achieved, threshold, distance, tested_functions=<factory>, untested_functions=<factory>, interpretation=<factory>)

Bases: object

Thresholded judgment over a raw topological CPG coverage report.

Carries topological-specific fields like L2 distance, tested functions, and untested functions.

score

achieved

threshold

distance

tested_functions

untested_functions

interpretation

topos.evaluation.policies.coverage.score_topological_coverage(report, *, threshold=0.5)

Threshold-classify a raw topological coverage report.