# arcaeon-compact

> This page is now part of `arcaeon`, one package with one command. HTML: /get

This page used to describe the `arcaeon-compact` package. That code now lives in the Prove family of the one package, `arcaeon`:

`arcaeon compact` checks a receipt that says what a context compaction dropped. Alone it checks the receipt is self-consistent; with `--pre` and `--post` it recomputes the digests from the content. The receipt proves what was dropped, never that dropping it was wise.

```
pip install arcaeon
```

- The package, its three families and its doors: https://arcaeon.io/get
- Installed `arcaeon-compact`? Your old import and command, mapped to the new ones: https://arcaeon.io/migrate
- What each part proves, and what it does not: https://arcaeon.io/proves