用途：审查 .NET 工作负载输入，评估生成的输入与操作序列能在多大程度上到达不同系统状态。该审查不负责断言质量与系统正确性。
主要能力：定位生成器、收缩器（shrinkers）、测试配置与工作负载操作，并沿包装器追溯到实际生成器。识别生成器库及其安装版本（来自项目文件、中央包文件或 Paket 文件）。追踪动作选择、数据生成、初始状态、并发、节奏与状态跟踪。检查哪些分布会在用例之间、运行之间发生变化，或从不变化。
工作方式：阅读探索清单，逐一检查。对 FsCheck，检查 size 参数、自定义 Arbitrary 实例、过滤、标签、分类与收缩器，并区分“生成耗尽”与“属性通过”。对 Hedgehog，检查范围与组合生成器；集成收缩不会自动保证应用层有效性。对自定义生成器，识别种子归属者与随机抽取顺序；固定种子不能复现线程调度或外部服务。
发现分级：分为高信号、值得考虑、观察三类。先解释工作负载，便于用户纠正模型。报告影响评估的优点，如显式边界族或实测操作分布。除非被要求，不建议改代码。固定输入适用于确定性回归，不要把回归套件归类为缺陷随机工作负载。
完成标准：每条发现都指出可观察的生成器结构与具体排除区域，并区分推断限制与实测分布。
限制：资料未提供具体命令、安装步骤、价格或平台支持信息。