Coverage Ledger

Kind: algorithm

Record: algorithms:coverage-ledger

Canonical: Algorithms

Closure: Dependencies in load order

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.

Listed in Algorithm contracts, after Evidence Verdict and before Coverage Completion.

Domain

• Test coverage

Stage

• commit

Axis

• representation

Tier

• process

Composed by

• Test Coverage Kernel

Named in the derivation of

• Test Coverage Kernel

Math type

• Information Theory

Force

• Architecture evolution
• Correctness verification

Linked from

• Test coverage
• The derivation loop
• The axes
• The mathematics
• Domain tiers
• The forces