# Technique and Invariant Selection

> 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.

Record: `algorithms:technique-invariant-selection`
Kind: algorithm
Canonical: https://banes-lab.com/ontology/algorithms#algorithms-technique-invariant-selection
Closure: https://banes-lab.com/json/records/algorithms/technique-invariant-selection/closure

Listed in [Algorithm contracts](https://banes-lab.com/api/records/algorithms.md), after [Coverage Risk Prioritization](https://banes-lab.com/records/algorithms/coverage-risk-prioritization.md) and before [Test Authoring](https://banes-lab.com/records/algorithms/test-authoring.md).

## Domain

- [Test coverage](https://banes-lab.com/records/algorithms-domain/test-coverage.md)

## Stage

- [project](https://banes-lab.com/records/stage/project.md)

## Axis

- [reasoning](https://banes-lab.com/records/reasoning/axis-reasoning.md)

## Tier

- [process](https://banes-lab.com/records/vocabulary/domain-tier-process.md)

## Composed by

- [Test Coverage Kernel](https://banes-lab.com/records/algorithms/test-coverage-kernel.md)

## Named in the derivation of

- [Test Coverage Kernel](https://banes-lab.com/records/algorithms/test-coverage-kernel.md)

## Math type

- [Algebra](https://banes-lab.com/records/reasoning/math-type-algebra.md)

## Force

- [Contract compatibility](https://banes-lab.com/records/force/contract-compatibility.md)
- [Correctness verification](https://banes-lab.com/records/force/correctness-verification.md)

## Linked from

- [Test coverage](https://banes-lab.com/ontology/algorithms/algorithms-domain-test-coverage.md)
- [The derivation loop](https://banes-lab.com/ontology/reasoning/reasoning-loop-derivation-loop.md)
- [The axes](https://banes-lab.com/ontology/reasoning/the-axes.md)
- [The mathematics](https://banes-lab.com/ontology/reasoning/the-mathematics.md)
- [Domain tiers](https://banes-lab.com/ontology/schema/the-vocabulary-domain-tier.md)
- [The forces](https://banes-lab.com/ontology/schema/the-forces.md)