Cross-Language yaml-test-suite Comparison

All four backends (Lean, C, Python, Rust) run the same yaml-test-suite test cases through the verified parser via their respective FFI layers.

Results by Limit Preset

PresetPassedFailedSkippedTotalBackends Match?
unlimited783861511020✓ All identical
default774951511020✓ All identical
strict774951511020✓ All identical
permissive774951511020✓ All identical
safe_tags774951511020✓ All identical

Full Matrix (Backend × Preset)

Backend unlimited default strict permissive safe_tags
lean 783/86/151 774/95/151 774/95/151 774/95/151 774/95/151
c 783/86/151 774/95/151 774/95/151 774/95/151 774/95/151
python 783/86/151 774/95/151 774/95/151 774/95/151 774/95/151
rust 783/86/151 774/95/151 774/95/151 774/95/151 774/95/151

✓ All backends produce identical results for every preset