As part of #55 (review), @jorgecarleitao refers to the following document that tries to summarize a proposed set of DataFusion invariants:
https://docs.google.com/document/d/1Asnz29uUS1t60QNbNBU9SiME274rja-hcDvX_RDraFU/edit
We would send this document around to the mailing lists (dev@arrow.apache.org) (again) if we haven't already and then when sufficient consensus is reached, convert it to markdown and add it to this repo