lean-bench

2.8. Migration🔗

There are no historical schema versions yet — schema_version == 1 is the first formal cut. When the version bumps, this document will gain a per-version section describing the migration. Readers implementing migration should be permissive on input ("read what you get") and strict on output ("emit the current version").