---
title: 'Correctness and Safety'
description: 'Correctness and Safety — Zena documentation.'
status: Draft
statusType: warning
---

::: warning Placeholder
This page hasn't been written yet. The headings below are the planned outline —
see `src/_data/sidebar.js` for the full content plan.
:::

## What "sound" means

<!-- TODO: what "sound" means -->

## Where TypeScript gives up soundness

<!-- TODO: where typescript gives up soundness -->

## What Zena does instead

<!-- TODO: what zena does instead -->

## Memory safety without a borrow checker

<!-- TODO: memory safety without a borrow checker -->

## The cost of soundness

<!-- TODO: the cost of soundness -->
