<?xml version="1.0" encoding="utf-8"?><testsuites name="pytest tests"><testsuite name="pytest" errors="0" failures="0" skipped="0" tests="68" time="17.591" timestamp="2026-08-17T21:24:53.124823+08:00" hostname="cuda-ke"><testcase classname="test.test_qfbv_native_state_fork.NativeStateForkProtocolTest" name="test_backend_accepts_full_operator_matrix_and_store_revalidation" time="0.350" /><testcase classname="test.test_qfbv_native_state_fork.NativeStateForkProtocolTest" name="test_backend_rejects_a_solver_that_omits_native_metadata" time="0.760" /><testcase classname="test.test_qfbv_native_state_fork.NativeStateForkProtocolTest" name="test_backend_rejects_regressing_native_query_sequence" time="0.782" /><testcase classname="test.test_qfbv_native_state_fork.NativeStateForkProtocolTest" name="test_backend_solves_a_constant_target_without_get_value" time="0.313" /><testcase classname="test.test_qfbv_native_state_fork.NativeStateForkProtocolTest" name="test_backend_timeout_kills_only_child_and_reuses_parent_snapshot" time="0.476" /><testcase classname="test.test_qfbv_native_state_fork.NativeStateForkProtocolTest" name="test_helper_reuses_and_advances_warmed_snapshot" time="0.020" /><testcase classname="test.test_qfbv_native_state_fork.NativeStateForkProtocolTest" name="test_metadata_parser_is_fail_closed" time="0.001" /><testcase classname="test.test_qfbv_native_state_fork.NativeStateForkProtocolTest" name="test_portfolio_contract_is_explicit_and_separate_from_capabilities" time="0.000" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_cancelled_incremental_qfbv_context_recovers_cold" time="0.679" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_capability_and_response_protocol_are_canonical" time="0.000" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_cross_worker_context_reconstructs_exact_and_extends_parent" time="0.672" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_lowering_certificate_and_capability_rejection" time="0.175" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_persistent_cvc5_reuses_and_evicts_prefix_contexts" time="0.267" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_persistent_timeout_drops_context_and_recovers" time="2.182" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_portfolio_cancels_one_shot_qfbv_process" time="0.174" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_portfolio_parser_preserves_qfbv_capabilities" time="0.000" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_query_service_exposes_shared_context_stats_and_bounds" time="0.227" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_real_cvc5_accepts_the_full_query_ir_operator_matrix" time="0.174" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_real_cvc5_sat_model_is_verified_twice" time="0.169" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_store_rejects_model_tampering_after_backend_validation" time="0.156" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_unsat_requires_explicit_backend_authorization" time="0.312" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_cpc_entailment_receipt_replays_only_on_descendants" time="0.388" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_learned_literal_extractor_timeout_reaps_process" time="0.223" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_lifecycle_marks_and_collects_real_context_proof_and_lemma_graph" time="0.378" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_once_summary_reports_explicit_lemma_store" time="0.182" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_persistent_backend_publishes_and_new_worker_injects" time="1.139" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_portfolio_requires_proof_and_persistent_context" time="0.001" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_solver_response_parser_is_bounded_and_command_closed" time="0.001" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_store_serializes_publication_and_rejects_quota_lock_and_tamper" time="0.541" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_backend_commit_and_cross_worker_receipt_reuse" time="0.563" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_concurrent_publication_has_one_result_index" time="0.400" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_cross_process_publication_enforces_quota_before_cas_write" time="0.426" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_incomplete_trust_nonfalse_and_stderr_are_rejected" time="1.558" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_portfolio_cancels_proof_generation_after_sat_winner" time="0.224" /><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.806" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_proof_literal_lowering_requires_structural_equivalence" time="0.153" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_query_service_executes_configured_proof_pipeline" time="0.321" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_real_cvc5_cpc_ethos_reference_binding" time="0.451" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_real_persistent_backend_commits_checked_unsat" time="0.434" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_reference_commands_signature_symlinks_and_shared_deadline_fail_closed" time="0.641" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_store_requires_registered_checker_and_rejects_receipt_tamper" time="0.252" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_tampered_cas_and_policy_drift_fail_closed" time="0.449" /></testsuite></testsuites>