1{2 "task_id": "F4-dev-01",3 "family": "F4",4 "split": "dev",5 "data_type": "observed",6 "real_data": "yes",7 "source_documents": "yes",8 "oracle_provenance": "designer_extraction",9 "bundle_sha256": "7101d2abf843d02806f9e2f421e8e8fa8d155b6652c7d5f062b2099ef0a6943a",10 "oracle_sha256": "28a846fcd7b57206bfabb942b883d31be57a89d2318779455fb6d4e4d86acc79",11 "infeasible_or_null_truth": "no",12 "created_utc": "2026-10-30T03:35:55.365774+00:00"13}14