# Security Boundaries

> Security boundaries hold

Record: `reason:invariant-security-boundaries`
Kind: invariant
Canonical: https://banes-lab.com/ontology/reasoning#reason-invariant-security-boundaries

## surfaces

- [security-correctness](https://banes-lab.com/records/reason/test-surface-security-correctness.md)

## referenced-by

- [Security Correctness](https://banes-lab.com/records/reason/test-surface-security-correctness.md)