| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 4 hours | Migrate to `Felix` namespaceHEADhotg | adelon | |
| 7 hours | Move to Felix namespace | adelon | |
| 2 days | Unify checked candidate planning | adelon | |
| 2 days | Plan and admit module declarations prospectively | adelon | |
| 2 days | Route declarations through checked envelopes | adelon | |
| 4 days | Strengthen exact datatype trust boundary | adelon | |
| 4 days | Locate invalid datatype premises | adelon | |
| 4 days | Authorize exact datatype families | adelon | |
| 4 days | Prepare exact datatype declarations | adelon | |
