From the framework PR https://github.com/10gen/mongo/pull/46970#discussion_r2742207107 the use of models in our design is intended to track state so we can construct query and delete commands effectively at runtime. https://fast-check.dev/docs/advanced/model-based-testing may provide a cleaner way to do this, evaluate this and if appropriate update the command grammar to make use of it.