# Technique and Invariant Selection

> For each prioritised 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: `algo:technique-invariant-selection`
Kind: test-coverage
Canonical: https://banes-lab.com/ontology/algorithms#algo-technique-invariant-selection
Closure: https://banes-lab.com/json/records/algo/technique-invariant-selection/closure

## stage

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

## axis

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

## composed-by

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

## derived-by

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