3. Verification🔗

L4YAML employs a three-layer verification strategy that combines formal proofs, compile-time checks, and runtime tests to achieve comprehensive coverage of the YAML 1.2.2 specification.

1. 3.1. Three-Layer Strategy
2. 3.2. Key Theorems
3. 3.3. Key Proof Modules
4. 3.4. What L4YAML Proves
5. 3.5. Mind the Fibration Gap
6. 3.6. Fibration Gap — Worked Example
7. 3.7. Proof Engineering Patterns
8. 3.8. Zero-Axiom Policy