lean-bench

2.9. Test enforcement🔗

test/LeanBenchTestSchema.lean pins:

  • The exact schema_version constant.

  • The canonical required-key sets for both row kinds.

  • The parser's tolerance of unknown extra keys.

  • The parser's tolerance of missing optional keys.

  • The parser's rejection of missing required keys and unsupported schema versions.

Adding a new field is a one-line edit there. Removing a required field requires a schema_version bump and a corresponding edit to this document and the test fixtures, so the change shows up in review.