{"harness":"catalyst-q-proof-harness","harness_version":"0.1.0","generated_at":"deterministic-local","claim_scope":"benchmark-limited","docs":"https://catalyst-q-sdk.strategic-innovations.ai/docs/proof","artifact":"https://catalyst-q-sdk.strategic-innovations.ai/benchmarks/proof/latest.json","disclaimer":"Proof artifacts are reproducible benchmark evidence for fixed cases, not a theorem about all workloads.","reproduction_command":"catalyst-q-prove --output-dir catalyst-q-proof-results","sources":{"tsplib":"https://comopt.ifi.uni-heidelberg.de/software/TSPLIB95/","pennylaneVqe":"https://pennylane.ai/qml/demos/tutorial_vqe/","mqtBench":"https://github.com/munich-quantum-toolkit/bench","nistBenchqc":"https://www.nist.gov/publications/benchqc-benchmarking-toolkit-quantum-computation"},"summary":{"total_cases":2,"tsp_cases":1,"vqe_cases":1,"cases_with_quality_win":2,"cases_with_time_win":2,"all_cases_reproducible":true},"proofs":[{"id":"tsplib_att48_mini","domain":"tsp","suite":"TSPLIB-style TSP","claim":"Catalyst-Q matches the exact certificate and matches or beats nearest-neighbor and 2-opt baselines on this fixed case.","candidate":"Catalyst-Q hosted solver","baseline":"Nearest neighbor plus 2-opt","quality":"0.000000% optimality gap","result_sha256":"38381052e5de7ba1ca7a626d534cca98e50956490eabcdddfc1243e675da7197"},{"id":"vqe_h2_sto3g","domain":"vqe","suite":"VQE H2 reference","claim":"Catalyst-Q reaches chemical accuracy on this fixed H2 STO-3G energy case.","candidate":"Catalyst-Q VQE evaluator","baseline":"Hartree-Fock starting point","quality":"chemical accuracy within 0.0016 Hartree","result_sha256":"0f0fc1b47839e4511d866a64d707ad9ebc2b5cbc9c8eca2175426fc971ec30f9"}]}