# Tracing

> Describes the runtime flow across components

Record: `reasoning:technique-tracing`
Kind: technique
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-technique-tracing

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Heap Analysis](https://banes-lab.com/records/reasoning/technique-heap-analysis.md) and before [Fault Injection](https://banes-lab.com/records/reasoning/technique-fault-injection.md).

## Mode

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

## Surfaces

- [temporal-correctness](https://banes-lab.com/records/reasoning/test-surface-temporal-correctness.md)
- [observability-correctness](https://banes-lab.com/records/reasoning/test-surface-observability-correctness.md)

## Linked from

- [The modes](https://banes-lab.com/ontology/reasoning/the-modes.md)
- [The test surfaces](https://banes-lab.com/ontology/reasoning/the-test-surfaces.md)