<?xml version="1.0" encoding="utf-8"?><testsuites name="pytest tests"><testsuite name="pytest" errors="0" failures="0" skipped="0" tests="146" time="26.117" timestamp="2026-08-17T22:48:02.675445+08:00" hostname="cuda-ke"><testcase classname="test.test_qfbv_substitution_core" name="test_alpha_fingerprint_and_exact_renaming" time="0.000" /><testcase classname="test.test_qfbv_substitution_core" name="test_constants_and_child_order_remain_structural" time="0.000" /><testcase classname="test.test_qfbv_substitution_core" name="test_repeated_source_read_requires_one_consistent_target" time="0.000" /><testcase classname="test.test_qfbv_substitution_core" name="test_non_injective_mapping_and_clause_collapse_are_sound" time="0.000" /><testcase classname="test.test_qfbv_substitution_core" name="test_join_rejects_cross_clause_mapping_conflict" time="0.000" /><testcase classname="test.test_qfbv_substitution_core" name="test_bloom_filter_is_only_a_subset_prefilter" time="0.000" /><testcase classname="test.test_qfbv_substitution_core" name="test_substituted_digest_requires_a_total_mapping" time="0.000" /><testcase classname="test.test_qfbv_substitution_core" name="test_tampered_content_addressed_node_fails_closed" time="0.000" /><testcase classname="test.test_qfbv_substitution_core" name="test_join_budget_is_enforced" time="0.000" /><testcase classname="test.test_qfbv_substitution_core" name="test_match_deadline_covers_graph_normalization_and_fingerprinting" time="0.037" /><testcase classname="test.test_qfbv_substitution_core" name="test_portfolio_configuration_requires_bounded_proof_carrying_core_policy" time="0.000" /><testcase classname="test.test_qfbv_substitution_core" name="test_real_extractor_producer_and_fresh_proof_checking_consumer" time="0.712" /><testcase classname="test.test_qfbv_substitution_core" name="test_store_root_symlink_is_rejected" time="0.000" /><testcase classname="test.test_qfbv_substitution_core" name="test_extractor_timeout_output_bound_parser_and_cancellation" time="0.154" /><testcase classname="test.test_qfbv_substitution_core" name="test_backend_and_query_store_repeat_core_authorization" time="1.139" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_active_job_marks_transitive_graph_then_release_collects_dependents_first" time="0.060" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_artifact_content_identity_includes_size_and_edges" time="0.035" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_artifact_kind_schema_migrates_only_the_exact_legacy_set" time="0.044" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_background_heartbeat_keeps_job_root_live_and_releases_it" time="0.349" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_collection_lock_deadline_fails_without_deletion" time="0.056" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_collector_waits_for_inflight_shared_operation" time="0.141" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_executable_oracle_reproduces_graph_and_live_store_semantics" time="0.875" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_expired_job_reference_is_reclaimed" time="0.043" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_failed_release_cannot_remove_active_job_roots" time="0.039" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_fencing_rejects_prior_job_generation" time="0.042" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_gc_recovers_object_published_before_index_commit" time="0.069" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_gc_retries_file_after_index_first_crash" time="0.083" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_grace_period_is_a_root_and_expires_at_the_boundary" time="0.037" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_incomplete_dependency_graph_fails_before_any_deletion" time="0.035" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_job_identity_capacity_is_bounded_without_reusing_generations" time="0.051" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_legacy_index_requires_complete_bounded_synchronization" time="0.173" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_managed_store_initialization_is_serialized_across_workers" time="0.208" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_managed_stores_reject_uncoordinated_or_different_registry" time="0.138" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_nonfinite_lifecycle_times_fail_closed" time="0.031" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_object_and_byte_budgets_are_hard_bounds" time="0.040" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_proof_inventory_requires_bidirectional_result_mapping" time="0.061" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_query_service_gc_only_collects_real_context_chain" time="0.203" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_unreachable_dependency_cycle_fails_closed" time="0.037" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_cancelled_incremental_qfbv_context_recovers_cold" time="0.667" /><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.508" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_lowering_certificate_and_capability_rejection" time="0.134" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_persistent_cvc5_reuses_and_evicts_prefix_contexts" time="0.251" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_persistent_timeout_drops_context_and_recovers" time="2.169" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_portfolio_cancels_one_shot_qfbv_process" time="0.165" /><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.207" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_real_cvc5_accepts_the_full_query_ir_operator_matrix" time="0.165" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_real_cvc5_sat_model_is_verified_twice" time="0.153" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_store_rejects_model_tampering_after_backend_validation" time="0.147" /><testcase classname="test.test_qf_bv_backend.QfBvBackendTest" name="test_unsat_requires_explicit_backend_authorization" time="0.296" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_backend_commit_and_cross_worker_receipt_reuse" time="0.537" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_concurrent_publication_has_one_result_index" time="0.319" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_cross_process_publication_enforces_quota_before_cas_write" time="0.396" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_incomplete_trust_nonfalse_and_stderr_are_rejected" time="1.468" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_portfolio_cancels_proof_generation_after_sat_winner" time="0.206" /><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.787" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_proof_literal_lowering_requires_structural_equivalence" time="0.148" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_query_service_executes_configured_proof_pipeline" time="0.301" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_real_cvc5_cpc_ethos_reference_binding" time="0.440" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_real_persistent_backend_commits_checked_unsat" time="0.435" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_reference_commands_signature_symlinks_and_shared_deadline_fail_closed" time="0.622" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_store_requires_registered_checker_and_rejects_receipt_tamper" time="0.257" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_tampered_cas_and_policy_drift_fail_closed" time="0.450" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_cpc_entailment_receipt_replays_only_on_descendants" time="0.368" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_learned_literal_extractor_timeout_reaps_process" time="0.204" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_lifecycle_marks_and_collects_real_context_proof_and_lemma_graph" time="0.355" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_once_summary_reports_explicit_lemma_store" time="0.169" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_persistent_backend_publishes_and_new_worker_injects" time="1.048" /><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.508" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_cancelled_persistent_helper_restarts_cold" time="1.719" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_conflict_solution_is_verified_indexed_and_reused" time="0.215" /><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="1.351" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_fake_sat_model_fails_query_ir_materialization_gate" time="0.134" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_fenced_lease_rejects_stale_completion" time="0.161" /><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.027" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_one_shot_solver_bounds_streams_and_parses_strict_json" time="0.032" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_partial_solution_cache_materializes_verified_candidate" time="0.190" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_partial_solution_cache_rejects_unverified_candidate" time="0.174" /><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.156" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_portfolio_cancels_persistent_helper_before_io_admission" time="0.015" /><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.174" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_portfolio_solver_persists_attempt_telemetry" time="0.147" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_portfolio_solver_rejects_sat_unsat_disagreement" time="0.140" /><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.149" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_query_store_solves_path_schedule_and_read_from_jointly" time="0.181" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_replays_generator_with_query_ir_validation" time="0.162" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_sat_completion_requires_store_verified_query_ir_candidate" time="0.161" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_schedule_artifact_joint_query_validation" time="0.168" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_selective_partition_telemetry_is_bounded_and_typed" time="0.696" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_solver_result_materializes_candidate" time="0.171" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_spool_ingestion_is_atomic_and_quarantines_bad_json" time="0.564" /><testcase classname="test.test_query_store.QueryStoreTest" name="test_unsat_clause_set_prunes_later_superset" time="0.178" /></testsuite></testsuites>