# Coverage Completion

> Mark coverage complete only when every required surface carries a surface, a technique, and an invariant, and its verdict is non-unknown; any required surface still unknown leaves coverage incomplete.

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

## stage

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

## axis

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

## composed-by

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

## grounds

- [ter-stop](https://banes-lab.com/records/reason/node-ter-stop.md)

## derived-by

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