im a bit on the fence in some ways about this yea but honestly think its less controversial than the former 😅. records without $type fields are objectively invalid types but also that field is required to match the collection anyways ...
main two arguments i see against this are
- dont accept invalid objects. theyre invalid.
- enforcing $type causes just a bit of extra friction against accidentally writing invalid records
the first argument has some value and is what makes me hesitant but the second argument gets shot down by one: lexicon validation is there and more comprehensive and two: just like for the first reason to not do this. buggy clients arent our issue.
not sure quite yet honestly. i think we see if anyone has any strong very strong arguments for before we merge. otherwise like the former: try and get a hold of dame? this is arguably an anisota and reference impl bug not an tranquil one
