1{2 "task_id": "F5-conf-03",3 "required_files": [4 "out/results.json",5 "out/report.md",6 "out/analysis.py",7 "out/claims.json",8 "out/argument.md",9 "out/counterexample.csv"10 ],11 "results_keys": {12 "task_id": {13 "type": "string",14 "nullable": false15 },16 "statement_true": {17 "type": "boolean",18 "nullable": false19 },20 "counterexample_provided": {21 "type": "boolean",22 "nullable": false23 },24 "counterexample_values": {25 "type": "object",26 "nullable": false27 },28 "statement_b_true": {29 "type": "boolean",30 "nullable": false31 },32 "feasibility": {33 "type": "string",34 "nullable": false35 },36 "feasibility_reason": {37 "type": "string",38 "nullable": true39 },40 "data_issues": {41 "type": "array",42 "nullable": false43 },44 "n_input_rows": {45 "type": "object",46 "nullable": false47 },48 "n_analysed": {49 "type": "integer",50 "nullable": true51 },52 "random_seed": {53 "type": "integer",54 "nullable": true55 }56 },57 "report_sections": [58 "Question",59 "Data and exclusions",60 "Method",61 "Results",62 "Uncertainty",63 "Limitations and open issues"64 ],65 "family_checks": [66 "claims_reference_existing_keys",67 "phase_ledger_consistent"68 ],69 "ci_pairs": [],70 "positive_keys": [],71 "chronology_pairs": [],72 "analysis_timeout_s": 300,73 "reproducibility_tolerance_rel": 1e-0674}