ConcreteItemManager pre/post, invariant updates