# Coverage Ledger

> Record each surface's verdict in a durable coverage ledger together with the residual uncovered and unknown set, so coverage state is reusable evidence rather than a fact re-derived on every run.

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

## stage

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

## axis

- [representation](https://banes-lab.com/records/reason/axis-representation.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)