Topos Structural Coverage
topos_calculate_coverageMeasure test suite thoroughness with structural UAST and experimental semantic ECT coverage analysis. Returns declaration matching and k-gram path recall.
Instructions
Measure how well a test suite exercises its program-under-test, via structural (UAST) and semantic (ECT) 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.
⚠️ AGENTS: the optional ECT semantic coverage is experimental and 100x–1000x slower than structural — enable it selectively on small files to avoid timeouts.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| params | Yes | Arguments for ``topos_calculate_coverage``. |