# Static Safety

> The guarantee that whole classes of errors are caught at compile time, before code runs.

Record: `lex:static-safety`
Kind: quality-attribute
Layer: [Correctness Core](https://banes-lab.com/records/layer/correctness-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lex-static-safety

## category

- [Quality Attributes](https://banes-lab.com/records/lex-category/quality-attributes.md)

## referenced-by

- [Runtime Code Generation](https://banes-lab.com/records/arch/runtime-code-generation.md)
- [Dynamic Binding](https://banes-lab.com/records/arch/dynamic-binding.md)