## Aristo verified annotations

This crate carries **[..] Aristo annotations** ([..] intent · [..] assume).

| Verify level | Count |
|---|---|
| `false` (documentation only) | [..] |
| `"neural"` | [..] |
| `"test"` | [..] |
| `"full"` | [..] |

**[..] annotations are server-bound** (`aristos:` namespace) and verified by the
Aristo proof system. See the [annotation graph](./_graph.svg) for the full
property structure.

---
