{
  "schema_version": "REFERENCE-1.0",
  "as_of": "2026-10-23",
  "item": {
    "id": "TOOL-0304",
    "kind": "TOOL",
    "title": "Hypothesis",
    "last_verified": "2026-10-23",
    "currentness": "VERIFIED_AS_OF",
    "revision": 1,
    "summary": "入力生成・property検査・反例縮小に使うproperty-based testingライブラリです。",
    "tool_type": "property-based testingライブラリ",
    "access_modes": [
      "Python library"
    ],
    "getting_started": "公式の利用開始案内でHypothesisの対応環境・導入方法・利用条件を確認し、検証用の環境へ用意します。",
    "capabilities": [
      "入力生成",
      "property検査",
      "反例縮小"
    ],
    "requirements": [
      "対応runtime・検査対象と検証環境",
      "検査範囲と期待結果・副作用の許可を確認する"
    ],
    "suitable_for": "Hypothesisで関数の成立条件を多様な入力で検査するなど、入力生成の利用経路を選びたい場面。",
    "unsuitable_for": "有限回の生成検査を全入力の証明と同一視する用途。",
    "coverage": [
      "testing/verification"
    ],
    "canonical_url": "https://enterprise-ai-dictionary.com/reference/tools/tool-0304",
    "retrieval": "FULL",
    "publication": "PUBLIC_NO_ADS",
    "index": "INDEX",
    "ads": "OFF",
    "link_policy": "DIRECT"
  },
  "relations": [
    {
      "id": "REFREL-4ab16ec14625a26d",
      "subject_id": "SRC-EVID-REF-0379",
      "predicate": "documents",
      "object_id": "TOOL-0304",
      "scope_note": "公開一次資料に基づく利用経路。",
      "last_verified": "2026-10-23",
      "source_ids": [
        "SRC-EVID-REF-0379"
      ]
    },
    {
      "id": "REFREL-4ba36673618b1f7d",
      "subject_id": "TOOL-0304",
      "predicate": "supports",
      "object_id": "METHOD-0405",
      "scope_note": "公開一次資料に基づく利用経路。",
      "last_verified": "2026-10-23",
      "source_ids": [
        "SRC-EVID-REF-0379"
      ]
    },
    {
      "id": "REFREL-c8d7ef9ea6101865",
      "subject_id": "METHOD-0405",
      "predicate": "uses",
      "object_id": "TOOL-0304",
      "scope_note": "公開一次資料に基づく利用経路。",
      "last_verified": "2026-10-23",
      "source_ids": [
        "SRC-EVID-REF-0379"
      ]
    },
    {
      "id": "REFREL-120ca59b4ea750d5",
      "subject_id": "IDX-C03-004",
      "predicate": "explains",
      "object_id": "TOOL-0304",
      "scope_note": "既存TERMの運用上の説明を読む経路。製品の定義を主張しない。",
      "last_verified": "2026-10-23",
      "source_ids": [
        "SRC-EVID-REF-0379"
      ]
    }
  ]
}