[codex] add auto increment sequence generator (#200)

* add auto increment sequence generator

* reset generator state on spec import

* avoid autoincrement key reuse after restore

* correct autoincrement zero padding semantics

* tighten autoincrement validation

Author: eviltester

docs-src/blog/2026-06-12-release-prep-combinatorial-grid-workflows.md

@@ -103,7 +103,32 @@ Docs:
 
 ![Grid to enum schema in the app](/img/release-198/grid-to-enum-schema.png)
 
-## 4. PICT-style inline enum definitions such as `Name: values`
+## 4. Constraint-aware auto-increment sequences for generated identifiers
+
+Schemas can now generate sequential IDs through the domain model with `autoIncrement.sequence`.
+
+Example:
+
+```text
+Filename
+autoIncrement.sequence(start=1, step=5, prefix="filename", suffix=".txt", zeropadding=3)
+```
+
+Generated values:
+
+```text
+filename001.txt
+filename0006.txt
+filename011.txt
+```
+
+This is especially useful for ticket IDs, filenames, and human-readable references because the sequence only advances when a row is accepted. If a generated row is rejected by constraints and retried, the skipped attempt does not consume the next number.
+
+Docs:
+
+- [Auto Increment Sequences](/docs/test-data/auto-increment-sequences)
+
+## 5. PICT-style inline enum definitions such as `Name: values`
 
 Schema text now fits more naturally with compact PICT-style authoring.
 
@@ -128,7 +153,7 @@ Docs:
 
 - [Schema Definition](/docs/test-data/Schema-Definition)
 
-## 5. Import trimming controls for cleaner amend and import workflows
+## 6. Import trimming controls for cleaner amend and import workflows
 
 Imported files and clipboard data can now be normalized during import.
 
@@ -151,7 +176,7 @@ Docs:
 
 ![Import trim settings](/img/release-198/import-trim-settings.png)
 
-## 6. File export settings for line endings and BOM
+## 7. File export settings for line endings and BOM
 
 Downloads now support file transport settings without changing the preview text shown in the browser.
 
@@ -168,7 +193,7 @@ Docs:
 
 ![Download encoding settings](/img/release-198/export-encoding-settings.png)
 
-## 7. Right-click context menu in the main data grid
+## 8. Right-click context menu in the main data grid
 
 The editable grid now has a right-click context menu for common grid actions.
 
@@ -178,7 +203,7 @@ Docs:
 
 - [Data Grid Editable](/docs/test-data/data-grid-editable)
 
-## 8. Always-visible total row counts in the data grid
+## 9. Always-visible total row counts in the data grid
 
 The main grid now shows total row counts, and filtered views also show how many rows remain visible.
 

docs-src/docs/040-test-data/035-auto-increment-sequences.md

@@ -0,0 +1,93 @@
+---
+sidebar_position: 35
+title: "Auto Increment Sequences"
+description: "Generate sequential values that only advance when a row is accepted."
+---
+
+# Auto Increment Sequences
+
+`autoIncrement.sequence` generates a sequential value for each accepted row.
+
+Unlike a plain counter that advances on every attempt, this sequence only advances when the row is kept. If a row is rejected by schema constraints and retried, the skipped attempt does not consume the next number.
+
+## Basic Usage
+
+```txt
+Id
+autoIncrement.sequence()
+```
+
+Example output:
+
+```txt
+1
+2
+3
+```
+
+## Start and Step
+
+```txt
+Build
+autoIncrement.sequence(start=10, step=5)
+```
+
+Example output:
+
+```txt
+10
+15
+20
+```
+
+## Prefix, Suffix, and Zero Padding
+
+```txt
+Filename
+autoIncrement.sequence(start=1, step=5, prefix="filename", suffix=".txt", zeropadding=3)
+```
+
+Example output:
+
+```txt
+filename001.txt
+filename006.txt
+filename011.txt
+```
+
+`zeropadding=3` means the numeric portion is padded to a total width of three digits, so `1` becomes `001`, `100` stays `100`, and `1000` stays `1000`.
+
+## Constraint-Aware Sequences
+
+This command is especially useful when you generate rows under constraints.
+
+```txt
+Ticket
+autoIncrement.sequence(prefix="T-", zeropadding=4)
+Priority
+enum(High,Low)
+Status
+enum(Open,Closed)
+
+IF [Priority] = "High" THEN [Status] = "Open";
+```
+
+If a generated row fails the constraint and is retried, the ticket sequence does not skip a value.
+
+## Parameters
+
+- `start`
+  Starting integer. Defaults to `1`.
+- `step`
+  Non-zero increment between accepted rows. Defaults to `1`.
+- `prefix`
+  Optional text before the number.
+- `suffix`
+  Optional text after the number.
+- `zeropadding`
+  Optional integer padding amount. Defaults to `0`.
+
+## See Also
+
+- [Domain Test Data](/docs/test-data/domain/domain-test-data)
+- [Schema Definition](/docs/test-data/Schema-Definition)

docs-src/docs/040-test-data/domain/000-domain-test-data.md

@@ -64,6 +64,7 @@ For faker helper templates and utility functions, use faker helpers:
 
 - [airline](/docs/test-data/domain/airline)
 - [animal](/docs/test-data/domain/animal)
+- [autoIncrement](/docs/test-data/domain/autoIncrement)
 - [book](/docs/test-data/domain/book)
 - [color](/docs/test-data/domain/color)
 - [commerce](/docs/test-data/domain/commerce)

docs-src/docs/040-test-data/domain/040-autoIncrement.md

@@ -0,0 +1,45 @@
+---
+sidebar_position: 40
+title: "autoIncrement Domain"
+description: "Domain keyword reference for autoIncrement."
+---
+
+# autoIncrement Domain
+
+The `autoIncrement` domain provides stateful sequence helpers for accepted generated rows.
+
+## Methods
+
+### `autoIncrement.sequence`
+
+Generates an incrementing sequence. Values only advance when a generated row is accepted, so constraint-filtered rows do not consume sequence numbers.
+
+- Canonical: `awd.domain.autoIncrement.sequence`
+- Docs: [https://anywaydata.com/docs/test-data/auto-increment-sequences](https://anywaydata.com/docs/test-data/auto-increment-sequences)
+
+| Arg | Type | Required | Description |
+| --- | --- | --- | --- |
+| `start` | `integer` | no | Starting integer in the sequence. Defaults to 1. |
+| `step` | `integer` | no | Amount added after each accepted row. Defaults to 1. |
+| `prefix` | `string` | no | Optional text added before the numeric portion. |
+| `suffix` | `string` | no | Optional text added after the numeric portion. |
+| `zeropadding` | `integer` | no | Total digit width for the numeric portion. A value of 3 renders 1 as 001, while 100 stays 100. Defaults to 0. |
+
+Examples:
+
+```txt
+autoIncrement.sequence()
+```
+
+```txt
+autoIncrement.sequence(start=10, step=5)
+```
+
+```txt
+autoIncrement.sequence(start=1, step=5, prefix="filename", suffix=".txt", zeropadding=3)
+```
+
+Example return values:
+- `1`
+- `15`
+- `filename001.txt`

…rc/docs/040-test-data/domain/040-book.md …rc/docs/040-test-data/domain/050-book.mddocs-src/docs/040-test-data/domain/040-book.md renamed to docs-src/docs/040-test-data/domain/050-book.md docs-src/docs/040-test-data/domain/040-book.md renamed to docs-src/docs/040-test-data/domain/050-book.md

@@ -1,5 +1,5 @@
 ---
-sidebar_position: 40
+sidebar_position: 50
 title: "book Domain"
 description: "Domain keyword reference for book."
 ---

…c/docs/040-test-data/domain/050-color.md …c/docs/040-test-data/domain/060-color.mddocs-src/docs/040-test-data/domain/050-color.md renamed to docs-src/docs/040-test-data/domain/060-color.md docs-src/docs/040-test-data/domain/050-color.md renamed to docs-src/docs/040-test-data/domain/060-color.md

@@ -1,5 +1,5 @@
 ---
-sidebar_position: 50
+sidebar_position: 60
 title: "color Domain"
 description: "Domain keyword reference for color."
 ---

…ocs/040-test-data/domain/060-commerce.md …ocs/040-test-data/domain/070-commerce.mddocs-src/docs/040-test-data/domain/060-commerce.md renamed to docs-src/docs/040-test-data/domain/070-commerce.md docs-src/docs/040-test-data/domain/060-commerce.md renamed to docs-src/docs/040-test-data/domain/070-commerce.md

@@ -1,5 +1,5 @@
 ---
-sidebar_position: 60
+sidebar_position: 70
 title: "commerce Domain"
 description: "Domain keyword reference for commerce."
 ---

…docs/040-test-data/domain/070-company.md …docs/040-test-data/domain/080-company.mddocs-src/docs/040-test-data/domain/070-company.md renamed to docs-src/docs/040-test-data/domain/080-company.md docs-src/docs/040-test-data/domain/070-company.md renamed to docs-src/docs/040-test-data/domain/080-company.md

@@ -1,5 +1,5 @@
 ---
-sidebar_position: 70
+sidebar_position: 80
 title: "company Domain"
 description: "Domain keyword reference for company."
 ---

…ocs/040-test-data/domain/080-database.md …ocs/040-test-data/domain/090-database.mddocs-src/docs/040-test-data/domain/080-database.md renamed to docs-src/docs/040-test-data/domain/090-database.md docs-src/docs/040-test-data/domain/080-database.md renamed to docs-src/docs/040-test-data/domain/090-database.md

@@ -1,5 +1,5 @@
 ---
-sidebar_position: 80
+sidebar_position: 90
 title: "database Domain"
 description: "Domain keyword reference for database."
 ---

…ocs/040-test-data/domain/090-datatype.md …ocs/040-test-data/domain/100-datatype.mddocs-src/docs/040-test-data/domain/090-datatype.md renamed to docs-src/docs/040-test-data/domain/100-datatype.md docs-src/docs/040-test-data/domain/090-datatype.md renamed to docs-src/docs/040-test-data/domain/100-datatype.md

@@ -1,5 +1,5 @@
 ---
-sidebar_position: 90
+sidebar_position: 100
 title: "datatype Domain"
 description: "Domain keyword reference for datatype."
 ---