Development tools
How the repository measures, tests, proves and publishes itself.
| Specification | Scope |
|---|---|
| Fuzzing | AFL targets, input layout, corpora, regressions and campaigns, and the libFuzzer adapters ClusterFuzzLite builds. |
| Formal verification | Charon/Aeneas translation to Lean 4, the RFC 8878 transcription, function specifications, round trips, trusted base and the RFC coverage checklist. |
| CI | Workflows and the checks they run: fuzzing, Miri, AddressSanitizer and hotpath Cloud benchmarks. |
| Benchmarking | The cold C-versus-mzstd comparison harness: corpus, preflight validation, Criterion sampling and the report and chart generators. |
| Documentation publishing | Source staging, navigation, section pages, recipe execution, link validation and Pages deployment. |