1{2 "task_id": "F2-conf-02",3 "family": "F2",4 "split": "conf",5 "data_type": "synthetic",6 "real_data": "no",7 "source_documents": "yes",8 "oracle_provenance": "independent_code",9 "bundle_sha256": "78aa39791388526a1be69f2f020c6bacf51ca0487d2d314341d29745c1dcd42c",10 "oracle_sha256": "8f18c929fa207eb352199d273647a7f28cf6680f01620e2bfae41131da465b00",11 "infeasible_or_null_truth": "yes",12 "created_utc": "2026-10-30T03:32:18.706545+00:00"13}