<?xml version="1.0" encoding="utf-8"?><testsuites name="pytest tests"><testsuite name="pytest" errors="0" failures="0" skipped="0" tests="21" time="7.476" timestamp="2026-08-17T16:01:59.731907+08:00" hostname="cuda-ke"><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_bounds_and_unknown_context_are_rejected" time="0.050" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_capability_and_parent_tampering_fail_closed" time="0.072" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_chain_is_content_addressed_and_exact_republish_is_a_hit" time="0.086" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_concurrent_publishers_converge_on_one_chain" time="0.128" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_expired_lease_and_global_quota_recover_after_crash" time="0.097" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_materialization_lease_is_fenced_cancelled_and_reclaimable" time="0.117" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_store_configuration_drift_is_rejected" time="0.055" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_symbolic_link_context_object_is_rejected" time="0.066" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_cancelled_incremental_qfbv_context_recovers_cold" time="0.821" /><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.797" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_lowering_certificate_and_capability_rejection" time="0.234" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_persistent_cvc5_reuses_and_evicts_prefix_contexts" time="0.460" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_persistent_timeout_drops_context_and_recovers" time="2.309" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_portfolio_cancels_one_shot_qfbv_process" time="0.270" /><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.376" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_real_cvc5_accepts_the_full_query_ir_operator_matrix" time="0.284" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_real_cvc5_sat_model_is_verified_twice" time="0.289" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_store_rejects_model_tampering_after_backend_validation" time="0.292" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_unsat_requires_explicit_backend_authorization" time="0.565" /></testsuite></testsuites>