Synthetic ProgramGym cleanroom reconstruction task for namada-net/namada-trusted-setup-claimer

Synthetic ProgramGym cleanroom reconstruction task for namada-net/namada-trusted-setup-claimer: a task in programgym-1648 (Harbor dataset). What the agent is asked, how it is graded, what it runs in, and its files.