Verificación de contratos y reglas en el fabric de ACI