L4YAML

Index🔗

A

  1. append-only tokens
  2. architecture

B

  1. building

C

  1. C API
  2. canary theorem
  3. compile-time guards
  4. cross-language comparison

D

  1. dependency graphs
  2. diagnostic results

F

  1. FFI
  2. FFI test results
  3. fibration gap
  4. functorial chain

H

  1. headline theorems

K

  1. key theorems

L

  1. L4YAML
  2. Lean test results

M

  1. machine-checked proofs
  2. module organization

P

  1. ParserLimits
  2. Python API
  3. Python install modes
  4. parser correctness
  5. prerequisites
  6. presets
  7. proof engineering

R

  1. Rust API
  2. round-trip
  3. runtime tests

S

  1. scanner
  2. scanner correctness
  3. security
  4. soundness
  5. specification coverage

T

  1. test results
  2. test suites
  3. testing
  4. token parser

V

  1. verification

Y

  1. YAML 1.2.2
  2. YamlToken
  3. YamlValue
  4. yaml-test-suite coverage

Z

  1. zero axioms