# Root Rlib Archive

Status: uploaded to external resource library.
Date: 2026-07-02
Owner: TrustFortress/Cubie engineering

## Resource

| Field | Value |
|---|---|
| Library URL | `https://lib.trustfortress.ai` |
| R2 bucket | `trustfortress-resource-library` |
| Object key | `cubie-tf/root-rlib/2026-07-02/cubie-tf-root-rlib-20260702-160115.zip` |
| Public object URL | `https://lib.trustfortress.ai/objects/cubie-tf%2Froot-rlib%2F2026-07-02%2Fcubie-tf-root-rlib-20260702-160115.zip` |
| Byte size | `1640875` |
| SHA-256 | `1e4a25e1de700e4bc6dfecc06bf642d464457e53813fc8b8bd18fb675a364882` |
| Source files | 142 root-level `*.rlib` files |
| Source byte size | `3208206` |

## Disposition

The root-level `*.rlib` files are standalone Verus/Rust build artifacts. They are
not source, are ignored by `.gitignore`, and the workspace compiles without them.

Validation before cleanup:

```powershell
cargo check --workspace --all-targets
```

Result: passed with zero root-level `*.rlib` files present.

## Regeneration

These files are compiler outputs from standalone Verus/Rust proof checks. They
should be regenerated from source as needed, not committed to Git. Keep any future
binary snapshot in the external resource library and commit only a manifest with
locator, digest, owner, reason, and reproduction notes.