lean4-yaml-verified Test Coverage

YAML 1.2.2 verified parser · Lean 4

yaml-test-suite Compliance

Total unique tests:      406
Applicable (YAML 1.2.2): 358  (48 skipped — YAML 1.3 specific)
Passed:                  263
Failed:                  0
Expected fail:           95
Unexpected pass:         0
Timeout:                 0

Correct: 358/358 (100.0%)

Reports

Coverage by Stage

Suite Runner (Progressive Stages)

✓ Suite Runner: 869/869 (100.0%)

Each stage tests its own tests plus all lower stages (cumulative). Error tests excluded.

Stage	Total	Passed	Failed	Skipped
scalar	82	58	0	24
flow	128	104	0	24
block	227	203	0	24
document	251	220	0	31
advanced	332	284	0	48
Total	1020	869	0	151

Verified Tests

✓ Internal Verified Test Suites (4243/4243)

Unit Tests	✓ 10/10
Explicit Key Tests	✓ 149/149
Flow Completeness Tests	✓ 88/88
Structural Validation Tests	✓ 84/84
Dump Round-Trip Tests	✓ 117/117
Raw Parse / Compose Tests	✓ 29/29
YAML 1.2.2 Spec Examples	✓ 132/132
Schema ↔ Dump Integration	✓ 68/68
Scanner & TokenParser Tests (Phase 9)	✓ 32/32
YAML 1.2.2 Spec Examples (Scanner/Parser Pipeline)	✓ 132/132
Adversarial Grammar-Directed Tests (v0.2.13.1)	✓ 154/154
Adversarial Instantiation Tests (sorry audit)	✓ 2441/2441
Mutation Testing on yaml-test-suite (v0.2.13.2)	✓ 45/45
Property-Based Round-Trip Tests (v0.2.13.3)	✓ 124/124
Production Coverage Analysis	✓ 588/588
Parser Security Limit Tests	✓ 43/43
Demo	✓ 7/7
Total	4243/4243