# Uncovered Gap Derivation

> Reduce the candidate-gap set to the cells this unit can fail in, yielding the required-but-uncovered surfaces that still owe a test, so effort is spent on gaps that can fail rather than the full cartesian complement.

Record: `algo:uncovered-gap-derivation`
Kind: test-coverage
Canonical: https://banes-lab.com/ontology/algorithms#algo-uncovered-gap-derivation
Closure: https://banes-lab.com/json/records/algo/uncovered-gap-derivation/closure

## stage

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

## axis

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

## composed-by

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

## derived-by

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