Technique and Invariant Selection
Kind: algorithm
Record: algorithms:technique-invariant-selection
Canonical: Algorithms
Closure: Dependencies in load order
For each prioritized surface, state the invariant that must hold and select the technique whose reasoning mode matches how that surface is observed, so the test asserts the right property by the right method.
Listed in Algorithm contracts, after Coverage Risk Prioritization and before Test Authoring.