<?xml version="1.0" encoding="utf-8"?><testsuites name="pytest tests"><testsuite name="pytest" errors="0" failures="0" skipped="0" tests="95" time="25.454" timestamp="2026-08-17T17:35:18.560239+08:00" hostname="cuda-ke"><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_cancelled_incremental_qfbv_context_recovers_cold" time="0.700" /><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.645" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_lowering_certificate_and_capability_rejection" time="0.266" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_persistent_cvc5_reuses_and_evicts_prefix_contexts" time="0.417" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_persistent_timeout_drops_context_and_recovers" time="2.298" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_portfolio_cancels_one_shot_qfbv_process" time="0.281" /><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.408" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_real_cvc5_accepts_the_full_query_ir_operator_matrix" time="0.317" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_real_cvc5_sat_model_is_verified_twice" time="0.276" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_store_rejects_model_tampering_after_backend_validation" time="0.288" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_unsat_requires_explicit_backend_authorization" time="0.598" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_cancelled_persistent_helper_restarts_cold" time="2.077" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_conflict_solution_is_verified_indexed_and_reused" time="0.360" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_conflict_solution_protocol_rejects_invalid_core" time="0.000" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_content_addressing_and_prefix_trie" time="2.062" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_fake_sat_model_fails_query_ir_materialization_gate" time="0.160" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_fenced_lease_rejects_stale_completion" time="0.177" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_helper_interrupt_reaps_descendants_after_leader_exit" time="0.026" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_iterative_query_ir_evaluator_bounds_deep_and_cyclic_dags" time="0.030" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_one_shot_solver_bounds_streams_and_parses_strict_json" time="0.033" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_partial_solution_cache_materializes_verified_candidate" time="0.225" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_partial_solution_cache_rejects_unverified_candidate" time="0.208" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_persistent_solver_strict_json_and_diagnostic_backpressure" time="0.038" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_persists_generator_and_materializes_fixed_completion" time="0.183" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_portfolio_cancels_persistent_helper_before_io_admission" time="0.017" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_portfolio_grace_observes_fast_sat_unsat_disagreement" time="0.021" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_portfolio_interrupts_running_one_shot_helper_after_sat" time="0.185" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_portfolio_solver_persists_attempt_telemetry" time="0.166" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_portfolio_solver_rejects_sat_unsat_disagreement" time="0.145" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_portfolio_solver_runs_backends_in_parallel" time="0.001" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_public_query_ir_loader_requires_stable_bound_query_body" time="0.160" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_query_store_solves_path_schedule_and_read_from_jointly" time="0.209" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_replays_generator_with_query_ir_validation" time="0.181" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_sat_completion_requires_store_verified_query_ir_candidate" time="0.195" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_schedule_artifact_joint_query_validation" time="0.206" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_selective_partition_telemetry_is_bounded_and_typed" time="0.955" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_solver_result_materializes_candidate" time="0.181" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_spool_ingestion_is_atomic_and_quarantines_bad_json" time="0.641" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_unsat_clause_set_prunes_later_superset" time="0.215" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_bounds_and_unknown_context_are_rejected" time="0.051" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_capability_and_parent_tampering_fail_closed" time="0.067" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_chain_is_content_addressed_and_exact_republish_is_a_hit" time="0.075" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_concurrent_publishers_converge_on_one_chain" time="0.144" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_expired_lease_and_global_quota_recover_after_crash" time="0.052" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_materialization_lease_is_fenced_cancelled_and_reclaimable" time="0.099" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_store_configuration_drift_is_rejected" time="0.051" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_symbolic_link_context_object_is_rejected" time="0.068" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_backend_commit_and_cross_worker_receipt_reuse" time="0.871" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_concurrent_publication_has_one_result_index" time="0.529" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_cross_process_publication_enforces_quota_before_cas_write" time="0.665" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_incomplete_trust_nonfalse_and_stderr_are_rejected" time="1.673" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_portfolio_cancels_proof_generation_after_sat_winner" time="0.216" /><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.829" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_proof_literal_lowering_requires_structural_equivalence" time="0.273" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_query_service_executes_configured_proof_pipeline" time="0.530" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_real_cvc5_cpc_ethos_reference_binding" time="0.628" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_real_persistent_backend_commits_checked_unsat" time="0.646" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_reference_commands_signature_symlinks_and_shared_deadline_fail_closed" time="0.988" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_store_requires_registered_checker_and_rejects_receipt_tamper" time="0.432" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_tampered_cas_and_policy_drift_fail_closed" time="0.853" /></testsuite></testsuites>