8.2. Lean Test Suites
The following Lean-native test suites are executed and their output captured:
Suite | Output File | Description |
|---|---|---|
Unit Tests |
| Core unit tests for parser internals |
Demo |
| End-to-end parsing demonstrations |
Explicit Key Tests |
|
YAML explicit key ( |
Flow Tests |
| Flow collection syntax completeness |
Validation Tests |
| Input validation and error reporting |
Dump Round-Trip |
| Parse → dump → parse cycle verification |
Raw Parse Tests |
| Token-to-AST parsing validation |
Spec Examples |
| All 132 YAML 1.2.2 specification examples |
Schema Dump |
| Schema resolution and dump formatting |
Scanner Tests |
| Scanner behavior on targeted inputs |
Scanner Spec Examples |
| Scanner-level tokens for spec examples |
Adversarial Tests |
| Handcrafted adversarial inputs |
Mutation Tests |
| Systematic input perturbation |
Property Tests |
| Randomized property-based testing |
Production Coverage |
| Coverage across production-style inputs |
Limit Tests |
| Parser security limit enforcement |