<?xml version="1.0" encoding="utf-8"?><testsuites name="pytest tests"><testsuite name="pytest" errors="0" failures="0" skipped="0" tests="21" time="8.125" timestamp="2026-08-17T17:33:53.182631+08:00" hostname="cuda-ke"><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_backend_commit_and_cross_worker_receipt_reuse" time="0.793" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_concurrent_publication_has_one_result_index" time="0.525" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_cross_process_publication_enforces_quota_before_cas_write" time="0.617" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_incomplete_trust_nonfalse_and_stderr_are_rejected" time="2.104" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_portfolio_cancels_proof_generation_after_sat_winner" time="0.223" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_portfolio_parser_preserves_proof_checker_contract" time="0.000" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_proof_disabled_backends_do_not_enter_proof_lowering" time="0.851" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_proof_literal_lowering_requires_structural_equivalence" time="0.150" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_query_service_executes_configured_proof_pipeline" time="0.351" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_real_cvc5_cpc_ethos_reference_binding" time="0.485" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_real_persistent_backend_commits_checked_unsat" time="0.470" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_reference_commands_signature_symlinks_and_shared_deadline_fail_closed" time="0.671" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_store_requires_registered_checker_and_rejects_receipt_tamper" time="0.280" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_tampered_cas_and_policy_drift_fail_closed" time="0.499" /></testsuite></testsuites>