Test Coverage Kernel

Kind: algorithm

Record: algorithms:test-coverage-kernel

Canonical: Algorithms

Closure: Dependencies in load order

Load the surface catalog for a unit, walk the dimension-by-lens grid, derive the required-uncovered surfaces, prioritize them by risk, select a mode-matched technique and invariant per surface, author the test, issue an evidence verdict, ledger the state, and terminate only when no required surface remains unknown.

Listed in Algorithm contracts, after Coverage Completion and before <Test Coverage Concern>.

Domain

• Test coverage

Tier

• process

Principle

• Specification-Based Testing

Composes

• Coverage Workspace
• Surface Grid Walk
• Uncovered Gap Derivation
• Coverage Risk Prioritization
• Technique and Invariant Selection
• Test Authoring
• Evidence Verdict
• Coverage Ledger
• Coverage Completion

Grounds

• derivation-loop

Math type

• Computation

Force

• Architecture evolution
• Correctness verification
• Semantic consistency

Linked from

• Correctness / Determinism / Verification
• Test coverage
• The mathematics
• Domain tiers
• The forces