Set value for which AutoIncrement tag can continue onwards from

Within alloy I have created a custom design with an integer ID field. We have records in a csv file with the IDs 1-45 from which the data has been imported.

However following discussion with support and in line with the methods I have tried below, I understand there is not yet the ability to set the parameter from which the AutoIncrement tag continue from, in order to work alongside the data I imported from CSV.

I have tried the following whilst setting up the data:

1. At the start, the ID field was set to auto increment - on importing the data this assigned different numbers from the ID that was in the CSV import file. This did not work therefore I deleted this data out.

2. I turned off auto increment and imported the data, this imported the ID numbers correctly 1-45. Within the ID attribute's parameters I then turned on auto increment again and in trying to create a new record, this started a new ID at 1.

3. I subsequently edited the attribute to be unique in the hope that this would start at 46 but on creation of a feature this gave an error that the ID was not unique.

4. I subsequently edited the attribute to have a minimum value of 46, in creating a feature this gives an error that the ID value is lower than the specified minimum.

There was the final option I tried which worked, this was to create 45 dummy records within alloy, each time giving me an error that the ID was not unique. On the creation of the 46th record, the AutoIncrement tag worked and the ID numbers have continued to increase for each new feature since then. Though it should be recognised that this approach would not work with many many records.

It should be possible for AutoIncrement to look at imported data and determine the next available number