<?xml version="1.0" encoding="utf-8"?><testsuites name="pytest tests"><testsuite name="pytest" errors="0" failures="0" skipped="0" tests="72" time="13.271" timestamp="2026-08-17T20:14:04.953406+08:00" hostname="cuda-ke"><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_active_job_marks_transitive_graph_then_release_collects_dependents_first" time="0.075" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_artifact_content_identity_includes_size_and_edges" time="0.037" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_background_heartbeat_keeps_job_root_live_and_releases_it" time="0.354" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_collection_lock_deadline_fails_without_deletion" time="0.057" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_collector_waits_for_inflight_shared_operation" time="0.142" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_executable_oracle_reproduces_graph_and_live_store_semantics" time="0.928" /><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.041" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_fencing_rejects_prior_job_generation" time="0.045" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_gc_recovers_object_published_before_index_commit" time="0.074" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_gc_retries_file_after_index_first_crash" time="0.097" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_grace_period_is_a_root_and_expires_at_the_boundary" time="0.039" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_incomplete_dependency_graph_fails_before_any_deletion" time="0.036" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_job_identity_capacity_is_bounded_without_reusing_generations" time="0.048" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_legacy_index_requires_complete_bounded_synchronization" time="0.190" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_managed_store_initialization_is_serialized_across_workers" time="0.228" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_managed_stores_reject_uncoordinated_or_different_registry" time="0.153" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_nonfinite_lifecycle_times_fail_closed" time="0.034" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_object_and_byte_budgets_are_hard_bounds" time="0.043" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_proof_inventory_requires_bidirectional_result_mapping" time="0.065" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_query_service_gc_only_collects_real_context_chain" time="0.218" /><testcase classname="test.test_qfbv_artifact_lifecycle.ArtifactLifecycleRegistryTest" name="test_unreachable_dependency_cycle_fails_closed" time="0.040" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_cpc_entailment_receipt_replays_only_on_descendants" time="0.390" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_learned_literal_extractor_timeout_reaps_process" time="0.217" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_lifecycle_marks_and_collects_real_context_proof_and_lemma_graph" time="0.377" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_once_summary_reports_explicit_lemma_store" time="0.180" /><testcase classname="test.test_qfbv_lemma_exchange.QfbvLemmaExchangeTest" name="test_persistent_backend_publishes_and_new_worker_injects" time="1.149" /><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.738" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_backend_commit_and_cross_worker_receipt_reuse" time="0.551" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_concurrent_publication_has_one_result_index" time="0.349" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_cross_process_publication_enforces_quota_before_cas_write" time="0.422" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_incomplete_trust_nonfalse_and_stderr_are_rejected" time="1.554" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_portfolio_cancels_proof_generation_after_sat_winner" time="0.204" /><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.815" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_proof_literal_lowering_requires_structural_equivalence" time="0.149" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_query_service_executes_configured_proof_pipeline" time="0.323" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_real_cvc5_cpc_ethos_reference_binding" time="0.464" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_real_persistent_backend_commits_checked_unsat" time="0.441" /><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.271" /><testcase classname="test.test_qfbv_proof_receipt.QfbvProofReceiptTest" name="test_tampered_cas_and_policy_drift_fail_closed" time="0.467" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_bounds_and_unknown_context_are_rejected" time="0.028" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_capability_and_parent_tampering_fail_closed" time="0.038" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_chain_is_content_addressed_and_exact_republish_is_a_hit" time="0.043" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_concurrent_publishers_converge_on_one_chain" time="0.110" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_expired_lease_and_global_quota_recover_after_crash" time="0.050" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_materialization_lease_is_fenced_cancelled_and_reclaimable" time="0.060" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_store_configuration_drift_is_rejected" time="0.030" /><testcase classname="test.test_cross_worker_context.CrossWorkerContextStoreTest" name="test_symbolic_link_context_object_is_rejected" time="0.036" /></testsuite></testsuites>