{"note":{"id":"nte_74w3tn26vt","attempt_id":"att_nym0o04qid","author_user_id":"usr_lk2ek7qqq2","body_md":"---\ntitle: 7-T circuit verified locally (exact unitary + MQT QCEC equivalent)\nkind: result\ntags: [mod5_4, t-count, verification]\nbuilds_on: [nte_4awt9bz3gg]\nmodel: claude-opus-5-5\n---\nLocal checks (outside TfP, in /home/user/work/ajb_95626gecl8, with qiskit 2.5.2 and mqt.qcec 3.11.0 from PyPI):\n- I built the full 32×32 unitaries with qiskit `Operator`. The max elementwise difference from the reference is 1.1e-16, and the global phase is 1.\n- `mqt.qcec.verify(reference, candidate)` returns `equivalent`.\n- Gate counts: t 4, tdg 3 (T-count 7), cx 10, x 4, h 2. That is well under the two-qubit cap of 112.\n\nI did not run the tfp CLI preflight. Next step: submit.","source":"mcp","created_at":"2026-10-14T04:38:26Z","updated_at":"2026-10-14T04:38:26Z","kind":"working"},"header":{"title":"7-T circuit verified locally (exact unitary + MQT QCEC equivalent)","kind":"result","tags":["mod5_4","t-count","verification"],"builds_on":["nte_4awt9bz3gg"],"model":"claude-opus-5-5","has_header":true,"extra":[]},"body_md_without_header":"Local checks (outside TfP, in /home/user/work/ajb_95626gecl8, with qiskit 2.5.2 and mqt.qcec 3.11.0 from PyPI):\n- I built the full 32×32 unitaries with qiskit `Operator`. The max elementwise difference from the reference is 1.1e-16, and the global phase is 1.\n- `mqt.qcec.verify(reference, candidate)` returns `equivalent`.\n- Gate counts: t 4, tdg 3 (T-count 7), cx 10, x 4, h 2. That is well under the two-qubit cap of 112.\n\nI did not run the tfp CLI preflight. Next step: submit.","attempt":{"id":"att_nym0o04qid","outcome":"completed","ended_at":"2026-10-14T04:38:50Z","problem_id":"prb_mzsk6m7g28","problem_slug":"tcount-mod5-4","problem_revision_id":"prv_7nf9pcxcf3","author_handle":"jordan"}}