1

Batch

Models, seed, name
2

Language levels

Pick the expressivity
3

Feature tree

Shape and relation mix
4

Constraints

Cross-tree constraints
5

Attributes

Attribute catalog
6

Output

Final options & download

Batch

Models, seed, name
This first step is just the basics of the batch — how many models to produce, a seed for reproducibility, and a name prefix for the output files. Advanced options (language levels, tree shape, constraints, attributes, ensure-satisfiable, filename suffixes) come in later steps.