topos_calculate_coverage
Calculate structural UAST coverage of a test suite over program-under-test files. Returns a CoverageResult with declaration matching and k-gram path recall.
Instructions
Measure how well a test suite exercises its program-under-test, via
structural (UAST) coverage (read-only).
A standalone signal, separate from the SIMPLE/COMPOSABLE/SECURE
lattice; for a quality verdict use topos_evaluate_* instead.
Computes UAST bipartite declaration matching and k-gram path
recall. Returns a CoverageResult.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| k | No | Length of kind n-grams for path recall. | |
| language | No | Programming language (for parsing). | python |
| put_files | Yes | Paths to the program-under-test files (relative to project root). | |
| test_files | Yes | Paths to the test suite files (relative to project root). | |
| include_unknown | No | Whether to include Unknown UAST nodes in the analysis. | |
| coverage_threshold | No | Minimum threshold for the declaration coverage policy. |