Solid semantics and extension aggregation using quota rules under integrity constraints

Date: