L4YAML
L4YAML
Table of Contents
1.
Overview
2.
Architecture
3.
Verification
4.
Security
5.
FFI Bindings
6.
Building
7.
Testing
8.
Test Results
Index
Index
←
8.4. FFI Test Results
Index
🔗
A
B
C
D
F
H
K
L
M
P
R
S
T
V
Y
Z
A
append-only tokens
architecture
B
building
C
C API
canary theorem
compile-time guards
cross-language comparison
D
dependency graphs
diagnostic results
F
FFI
FFI test results
fibration gap
functorial chain
H
headline theorems
K
key theorems
L
L4YAML
Lean test results
M
machine-checked proofs
module organization
P
ParserLimits
Python API
Python install modes
parser correctness
prerequisites
presets
proof engineering
R
Rust API
round-trip
runtime tests
S
scanner
scanner correctness
security
soundness
specification coverage
T
test results
test suites
testing
token parser
V
verification
Y
YAML 1.2.2
YamlToken
YamlValue
yaml-test-suite coverage
Z
zero axioms
←
8.4. FFI Test Results