File size: 860 Bytes
167c58e
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
{
  "task_id": "data_transform_010",
  "family": "data_transformation",
  "difficulty": "easy",
  "instruction": "Pivot the data so 'metric' values become keys with 'val' as values, grouped by 'date'. Save to output.json.",
  "files": [
    {
      "path": "input.json",
      "content": "[{\"date\": \"2020\", \"metric\": \"sales\", \"val\": 100}, {\"date\": \"2020\", \"metric\": \"costs\", \"val\": 50}]"
    }
  ],
  "verifier": {
    "type": "exact_json",
    "command": "",
    "timeout_sec": 8,
    "expected_output": null,
    "target_path": "output.json",
    "expected_content": null,
    "expected_json": [
      {
        "date": "2020",
        "sales": 100,
        "costs": 50
      }
    ],
    "required_fields": []
  },
  "forbidden_commands": [
    "rm",
    "curl",
    "wget",
    "pip",
    "sudo",
    "chmod",
    "ssh",
    "git"
  ]
}