proof-qa-harness