{
  "task_id": "F4-conf-01",
  "family": "F4",
  "split": "conf",
  "data_type": "observed",
  "real_data": "yes",
  "source_documents": "yes",
  "oracle_provenance": "designer_extraction",
  "bundle_sha256": "4f8e4fcee6110ddaaf15267a53dbbcdec8b1b0de7e9ec7c0db85d32ef7819b57",
  "oracle_sha256": "6b1f40035072ca62d8892c68a75946607da2e2816432ecba6604ca0f0bef38e0",
  "infeasible_or_null_truth": "no",
  "created_utc": "2026-10-30T03:45:06.348580+00:00"
}