# Coverage Workspace

> Establish the unit under test, load the test-surface catalog as the space of what can be wrong, and enumerate every surface the unit can carry, so coverage is measured against the full derivable space rather than an ad-hoc list.

Record: `algorithms:coverage-workspace`
Kind: algorithm
Canonical: https://banes-lab.com/ontology/algorithms#algorithms-coverage-workspace
Closure: https://banes-lab.com/json/records/algorithms/coverage-workspace/closure

Listed in [Algorithm contracts](https://banes-lab.com/api/records/algorithms.md), after [Lifetime Resolution](https://banes-lab.com/records/algorithms/lifetime-resolution.md) and before [Surface Grid Walk](https://banes-lab.com/records/algorithms/surface-grid-walk.md).

## Domain

- [Test coverage](https://banes-lab.com/records/algorithms-domain/test-coverage.md)

## Stage

- [orient](https://banes-lab.com/records/stage/orient.md)

## Axis

- [ontology](https://banes-lab.com/records/reasoning/axis-ontology.md)

## Tier

- [process](https://banes-lab.com/records/vocabulary/domain-tier-process.md)

## Composed by

- [Test Coverage Kernel](https://banes-lab.com/records/algorithms/test-coverage-kernel.md)

## Named in the derivation of

- [Test Coverage Kernel](https://banes-lab.com/records/algorithms/test-coverage-kernel.md)

## Math type

- [Set Theory](https://banes-lab.com/records/reasoning/math-type-set-theory.md)

## Force

- [Correctness verification](https://banes-lab.com/records/force/correctness-verification.md)

## Linked from

- [Test coverage](https://banes-lab.com/ontology/algorithms/algorithms-domain-test-coverage.md)
- [The derivation loop](https://banes-lab.com/ontology/reasoning/reasoning-loop-derivation-loop.md)
- [The axes](https://banes-lab.com/ontology/reasoning/the-axes.md)
- [The mathematics](https://banes-lab.com/ontology/reasoning/the-mathematics.md)
- [Domain tiers](https://banes-lab.com/ontology/schema/the-vocabulary-domain-tier.md)
- [The forces](https://banes-lab.com/ontology/schema/the-forces.md)