L4YAML

8.2. Lean Test Suites🔗

The following Lean-native test suites are executed and their output captured:

Suite

Output File

Description

Unit Tests

unit-tests.txt

Core unit tests for parser internals

Demo

demo.txt

End-to-end parsing demonstrations

Explicit Key Tests

explicitkeytests.txt

YAML explicit key (?) handling

Flow Tests

flowtests.txt

Flow collection syntax completeness

Validation Tests

validationtests.txt

Input validation and error reporting

Dump Round-Trip

dumproundtrip.txt

Parse → dump → parse cycle verification

Raw Parse Tests

rawparsetests.txt

Token-to-AST parsing validation

Spec Examples

specexamples.txt

All 132 YAML 1.2.2 specification examples

Schema Dump

schemadump.txt

Schema resolution and dump formatting

Scanner Tests

scannertests.txt

Scanner behavior on targeted inputs

Scanner Spec Examples

scannerspecexamples.txt

Scanner-level tokens for spec examples

Adversarial Tests

adversarialtests.txt

Handcrafted adversarial inputs

Mutation Tests

mutationtests.txt

Systematic input perturbation

Property Tests

propertytests.txt

Randomized property-based testing

Production Coverage

productioncoverage.txt

Coverage across production-style inputs

Limit Tests

limittests.txt

Parser security limit enforcement