1{2 "task_id": "F4-conf-02",3 "family": "F4",4 "split": "conf",5 "data_type": "observed",6 "real_data": "yes",7 "source_documents": "yes",8 "oracle_provenance": "designer_extraction",9 "bundle_sha256": "78a0db5fd3108905cf14cda85fdf7ce155c29c3435c3cb69a8a427a52fc6d6ec",10 "oracle_sha256": "89c2cd2985479ab67db1b9926dbaf37cc5f5a999132d26128e8bcec9aebbac76",11 "infeasible_or_null_truth": "no",12 "created_utc": "2026-10-30T03:45:06.399097+00:00"13}14