<Test Coverage Concern>
Kind: algorithm
Record: algorithms:test-coverage-concern
Canonical: Algorithms
Closure: Dependencies in load order
<Load the surface catalog for a unit> → <Walk the dimension x lens grid> → <Derive the required-uncovered surfaces> → <Prioritize by risk> → <Select a mode-matched technique and its invariant> → <Author the test> → <Issue an evidence verdict> → <Ledger the coverage state> → <Terminate when no required surface is unknown>
Listed in Algorithm contracts, after Test Coverage Kernel and before PAG Document Declaration.