Coverage Completion

Kind: algorithm

Record: algorithms:coverage-completion

Canonical: Algorithms

Closure: Dependencies in load order

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.

Listed in Algorithm contracts, after Coverage Ledger and before Test Coverage Kernel.

Domain

• Test coverage

Stage

• terminate

Axis

• termination

Tier

• process

Composed by

• Test Coverage Kernel

Grounds

• ter-stop

Named in the derivation of

• Test Coverage Kernel

Math type

• Logic

Force

• Correctness verification

Linked from

• What can drift, seen through how it drifts
• Test coverage
• The derivation loop
• The axes
• The nodes
• The mathematics
• Domain tiers
• The forces