用途：该技能用于性质测试（property-based testing）的设计整理，把不变量、输入生成域、约束、失败样例、收缩策略和已有性质转化为可复核的性质测试候选，编号为 PBT-##。它只产生证据边界内的设计候选，不执行测试，也不宣称覆盖率或通过情况。
主要能力：从合同列出输入域、来源化不变量、前置限制与可观察 oracle；交付生成域、性质与前提、重放数据及最小反例判据；输出保留来源、证据状态、影响、优先级、责任角色、关闭条件和验证方法；把事实、推断、建议与 Human 决策分开；输入不完整时可交付受限初版并标记 unassessed 或 blocked。
使用方式：阅读 prompts/property-based-testing.md，先列出 known、missing、conflicting、stale、out_of_scope、assumptions 六类输入审计，再按方法合同形成 PBT-##。默认输出 Markdown，表格、JSON 或 CSV 仅在用户明确要求或既有交付格式要求时使用。回归时读取 evals/eval.yaml 与匹配用例；触发验证使用 evals/trigger-prompts.csv 和 evals/local-rules.json，缺少 skill.selection 证据时报告 BLOCKED。
适用场景：需要分析领域不变量与生成域、需要保留选择理由和证据缺口、需要在输入不完整时给出受限初版并有明确待决策项的性质测试设计工作。
限制：不发明不变量、生成域或收缩结果；不把生成器存在当作已发现失败；文件存在、名称、模板和 Eval 配置不等于真实执行证据；不修改需求、代码、测试资产或目标系统，不替 Human 接受风险；范围或证据不完整时，不得把方法名称、文件存在或候选数量写成已执行、覆盖、通过或发布证据。收费、价格与具体平台信息暂未提供。