Review .NET workload inputs

Review how generated inputs and operation sequences reach different system states. Keep assertion quality and system correctness outside this review.

Workflow

1. Locate the generators, shrinkers, test configuration, and workload operations. Follow wrappers to the actual generator.
2. Read the exploration checklist.
3. Identify the generator library and installed version from project files, central package files, or Paket files.
4. Trace action selection, data generation, initial state, concurrency, pacing, and state tracking.
5. Check which distributions change between cases, between runs, or never.
6. Report each limitation with a source location, excluded behavior, and domain assumptions.

For FsCheck, inspect size parameters, custom Arbitrary instances, filtering, labels, classification, and shrinkers. Distinguish exhausted generation from a passing property.

For Hedgehog, inspect ranges and composed generators. Integrated shrinking does not establish application-specific validity automatically.

For custom generators, identify the seed owner and the order of random draws. A fixed seed does not reproduce thread scheduling or external services.