docs
Slice assumption tests
More docs and tests
Fix up compliance tests