namespaceRequirements\Report
Classes 8§
| Analysis | The result of analyzing a project's sources: units, scopes, errors and resolved evidence. |
| Analyzer | Selects every declared scope, resolves every evidence entry and records which units the
specifications claim. |
| Claims | Records which specifications account for each source unit. |
| Coverage | Builds the coverage report and applies the overall, per-source and differential gates. |
| EvidenceMatcher | Resolves an evidence entry to the one unit of its item's scope that it quotes completely. |
| Snapshot | A coverage snapshot lists every source unit in scope with the semantic fingerprint of the
records claiming it, and nothing else: no source text. Comparing the current analysis with
the snapshot of a trusted base revision yields the new or changed units, which form the
differential denominator, and the units the snapshot lists but the scope no longer contains. |
| SourceUnit | A unit in scope together with the specifications that claim it. |
| UnitCollector | Gathers the units selected by each declared scope and rejects inconsistent selections. |