{
  "task_id": "F4-dev-01",
  "family": "F4",
  "split": "dev",
  "data_type": "observed",
  "real_data": "yes",
  "source_documents": "yes",
  "oracle_provenance": "designer_extraction",
  "bundle_sha256": "43775c1f939ac4103530b6f141b36987054f3d0490e0dbc4c5d606ff57164888",
  "oracle_sha256": "28a846fcd7b57206bfabb942b883d31be57a89d2318779455fb6d4e4d86acc79",
  "infeasible_or_null_truth": "no",
  "created_utc": "2026-10-30T03:45:06.297182+00:00"
}