1{2 "task_id": "T3-synthesis",3 "family": "T3",4 "split": "transfer",5 "data_type": "observed",6 "real_data": "yes",7 "source_documents": "yes",8 "oracle_provenance": "designer_extraction",9 "bundle_sha256": "cf9a65bca45dd1edf110787b1587a744af3e99486f56e02dfea58e88d45ba253",10 "oracle_sha256": "1900db9319ac39a3fb4c4da47dbe8d7be16a596361bf233e529209d362371da0",11 "infeasible_or_null_truth": "no",12 "created_utc": "2026-10-30T04:32:27.173216+00:00"13}