Tensorloc

RQ2 compares the same eligible adjacent boundaries with TensorLoc, MQT QCEC's default flow, a deterministic QCEC configuration, and QCEC on the extracted windows, using an external process-level wall-clock limit. RQ3 evaluates admitted gate-level mutations and pass-wise baselines. RQ2 discards one warm-up and retains three measured trials per method and boundary; varying repeated verdicts become <code>UNKNOWN</code>.

RQ4 audits and reproduces 3 provenance-verified Qiskit historical compiler defects, reporting 3/3 buggy detection, 3/3 exact-pass localization, and 3/3 fixed-release certification.</p><p dir="ltr">The Qiskit 2.5.1 robustness slice uses the same 18 circuits with one fixed grid/O2 configuration family and is recorded in the new <code>rq2_qiskit251_robustness_*</code> artifacts. All recorded experiments ran sequentially on an Intel Core i9-14900K with 128 GiB RAM under Windows 11 and CPython 3.12.10.

The robustness slice has a separate exact dependency lock because the primary study remains on Qiskit 1.3.1.</p><p dir="ltr">PowerShell reproduction of the Qiskit 2.5.1 slice:</p><pre><pre>py -3.12 -m venv .venv-qiskit251<br>.\.venv-qiskit251\Scripts\python.exe -m pip install -r requirements-qiskit251.txt<br>$env:TENSORLOC_RQ2_ROBUSTNESS = 'qiskit251'<br>.\.venv-qiskit251\Scripts\python.exe scripts\run_rq2.py<br></pre></pre><p dir="ltr">Bash reproduction of the same slice:</p><pre><pre>python3.12 -m venv .venv-qiskit251<br>.venv-qiskit251/bin/python -m pip install -r requirements-qiskit251.txt<br>TENSORLOC_RQ2_ROBUSTNESS=qiskit251 .venv-qiskit251/bin/python scripts/run_rq2.py<br></pre></pre><p dir="ltr">Raw observations are stored under <code>data/raw</code>, processed tables under <code>data/processed</code>, and provenance manifests under <code>data/metadata</code>.</p>