Each cookbook maps a format onto kaiv, recipe by recipe: what maps
to what, what you gain, what changes, and an honest section on when
to stay where you are. Every example is a verified transcript of the
reference kaiv tool, replayed mechanically before
publication.
| Coming from… | Signature material | Read |
|---|---|---|
| JSON | null vs empty string; schema inference; JSON Schema conversion; the lossless round trip | HTML · PDF |
| YAML | the end of implicit typing (NO stays Norway); anchors resolved; the constraint is the type | HTML · PDF |
| TOML | all four datetime flavors preserved; near-1:1 authored syntax; unbounded integers | HTML · PDF |
| XML / XSD | attributes and elements unified; thirty lines of facets become six of kaiv; no escaping | HTML · PDF |
| Protocol Buffers | the wire round trip; absence materialized; constraints .proto cannot express | HTML · PDF |
| Avro | logical types as named types; the ["null",T] idiom; container files round-trip | HTML · PDF |
| CBOR | byte strings and tag-0 datetimes on typed channels; byte-identical round trip | HTML · PDF |
| ASN.1 | DER kept byte-faithful; a certificate made greppable; the honest ~5% | HTML · PDF |
| GraphQL | SDL converted; types for data at rest — the contract beyond the endpoint | HTML · PDF |
The cookbooks are rolling documents, updated with the toolchain. For the formal grammar and semantics, read the kaiv specification.