jsonschema=4.26.0
columns=closed_base,outer_only,redeclared,unevaluated,closed_plus_unevaluated,open_everywhere
valid: F,F,T,T,F,T
old_id_only: F,F,F,F,F,F
only_language: F,F,F,F,F,F
bad_id_type: F,F,F,F,F,F
unknown_language: F,F,F,F,F,F
extra_field: F,F,F,F,F,T
null: F,F,F,F,F,F
empty_id: F,F,F,F,F,F
finite_objects=40; repaired_contracts_match_oracle=True
outer_unevaluated_does_not_override_closed_base=True
PASS checks=181
