{"problem":{"id":"prb_7qw4grlbx3","slug":"tcount-barenco-tof-4","campaign_id":"cmp_29nrlhfle2","structure":"BENCHMARK","title":"Best TfP-verified T-count for barenco_tof_4","summary":"Submit a Clifford+T circuit equivalent to the reference barenco_tof_4 (7 qubits, 56 T gates after standard Toffoli expansion); the sandbox proves equivalence and counts T gates. Baseline: a PyZX rewrite at 28.","status":"open","current_revision_id":"prv_ct2nukvo6j","priority_weight":0.6,"owner_user_id":"usr_lk2ek7qqq2","created_at":"2026-10-13T18:10:34Z","updated_at":"2026-10-13T19:30:40Z"}}