<?xml version="1.0" encoding="utf-8"?><testsuites name="pytest tests"><testsuite name="pytest" errors="0" failures="0" skipped="0" tests="144" time="13.413" timestamp="2026-08-17T12:30:07.041686+08:00" hostname="cuda-ke"><testcase classname="test.test_agolic_bse_runner.AgolicBSERunnerTests" name="test_cli_enforces_memory_limit_and_replays_serially" time="1.043" /><testcase classname="test.test_agolic_bse_runner.AgolicBSERunnerTests" name="test_guidance_configuration_fails_closed" time="0.052" /><testcase classname="test.test_agolic_bse_runner.AgolicBSERunnerTests" name="test_guided_checkpoint_recovery_is_bound_to_release_contract" time="0.228" /><testcase classname="test.test_agolic_bse_runner.AgolicBSERunnerTests" name="test_harness_entry_explores_from_the_program_entry" time="1.238" /><testcase classname="test.test_agolic_bse_runner.AgolicBSERunnerTests" name="test_materialized_input_has_zero_fork_concrete_replay" time="0.305" /><testcase classname="test.test_agolic_bse_runner.AgolicBSERunnerTests" name="test_plan_to_replay_to_planner_outcome_is_executable" time="0.938" /><testcase classname="test.test_agolic_bse_runner.AgolicBSERunnerTests" name="test_replay_binds_the_controller_prior_coverage" time="0.960" /><testcase classname="test.test_agolic_bse_runner.AgolicBSERunnerTests" name="test_replay_rejects_candidate_metadata_mutation" time="0.271" /><testcase classname="test.test_agolic_bse_runner.AgolicBSERunnerTests" name="test_replay_rejects_terminal_and_status_mutations" time="0.275" /><testcase classname="test.test_agolic_bse_runner.AgolicBSERunnerTests" name="test_runner_emits_no_candidate_before_release" time="0.147" /><testcase classname="test.test_agolic_bse_runner.AgolicBSERunnerTests" name="test_state_limit_with_outstanding_frontier_is_bounded" time="0.185" /><testcase classname="test.test_agolic_bse_runner.AgolicBSERunnerTests" name="test_target_branch_must_belong_to_the_target_function" time="0.001" /><testcase classname="test.test_agolic_bse_runner.AgolicBSERunnerTests" name="test_unreached_release_stays_single_state_and_is_reported" time="0.139" /><testcase classname="test.test_agolic_bse_runner.AgolicBSERunnerTests" name="test_witness_is_revalidated_at_execution_time" time="0.001" /><testcase classname="test.test_agolic_bse_runner.AgolicBSERunnerTests" name="test_witness_prefix_releases_to_solver_backed_fork" time="0.246" /><testcase classname="test.test_agolic_planning.AgolicPlanningTests" name="test_admission_rejects_unknown_fields_and_unreviewed_witness" time="0.001" /><testcase classname="test.test_agolic_planning.AgolicPlanningTests" name="test_controller_retries_planning_and_replays_parallel_runs_sequentially" time="0.022" /><testcase classname="test.test_agolic_planning.AgolicPlanningTests" name="test_failed_atomic_commit_keeps_memory_and_disk_state_unchanged" time="0.012" /><testcase classname="test.test_agolic_planning.AgolicPlanningTests" name="test_history_capacity_fails_closed_without_losing_deduplication" time="0.000" /><testcase classname="test.test_agolic_planning.AgolicPlanningTests" name="test_pending_plan_survives_restart_and_exact_spec_is_not_reissued" time="0.016" /><testcase classname="test.test_agolic_planning.AgolicPlanningTests" name="test_replay_evidence_produces_all_four_target_classes" time="0.001" /><testcase classname="test.test_agolic_planning.AgolicPlanningTests" name="test_replay_identity_commits_to_coverage_and_integer_bounds_are_strict" time="0.000" /><testcase classname="test.test_agolic_planning.AgolicPlanningTests" name="test_state_reader_rejects_symlink_duplicate_json_and_identity_mismatch" time="0.007" /><testcase classname="test.test_agolic_planning.AgolicPlanningTests" name="test_verified_replay_must_be_cumulative_and_match_target_reach" time="0.000" /><testcase classname="test.test_agolic_planning.AgolicPlanningTests" name="test_witness_only_target_and_harness_failure_select_witness_mode" time="0.001" /><testcase classname="test.test_persistent_live_continuation.PersistentLiveContinuationTests" name="test_execution_failure_is_recorded_before_requeue" time="0.068" /><testcase classname="test.test_persistent_live_continuation.PersistentLiveContinuationTests" name="test_frontier_binding_rejects_a_different_root" time="0.110" /><testcase classname="test.test_persistent_live_continuation.PersistentLiveContinuationTests" name="test_heartbeat_loss_rejects_execution_and_requeues_state" time="0.224" /><testcase classname="test.test_persistent_live_continuation.PersistentLiveContinuationTests" name="test_new_process_restores_search_and_completes_work" time="0.302" /><testcase classname="test.test_persistent_live_continuation.PersistentLiveContinuationTests" name="test_path_cover_configuration_and_scores_survive_worker_restart" time="0.215" /><testcase classname="test.test_persistent_live_continuation.PersistentLiveContinuationTests" name="test_restart_finishes_exactly_the_durable_frontier" time="0.215" /><testcase classname="test.test_persistent_live_continuation.PersistentLiveContinuationTests" name="test_solver_artifacts_are_cleaned_without_resource_warning" time="0.018" /><testcase classname="test.test_persistent_live_continuation.PersistentLiveContinuationTests" name="test_two_executors_complete_distinct_ready_states" time="0.206" /><testcase classname="test.test_persistent_live_state_frontier.StableSearchSnapshotTests" name="test_live_path_cover_builds_deep_cfg_without_python_recursion" time="0.107" /><testcase classname="test.test_persistent_live_state_frontier.StableSearchSnapshotTests" name="test_live_path_cover_collapses_loop_scc" time="0.000" /><testcase classname="test.test_persistent_live_state_frontier.StableSearchSnapshotTests" name="test_live_path_cover_prefers_uncovered_diamond_arm" time="0.000" /><testcase classname="test.test_persistent_live_state_frontier.StableSearchSnapshotTests" name="test_multi_objective_is_deterministic_and_feedback_aware" time="0.000" /><testcase classname="test.test_persistent_live_state_frontier.StableSearchSnapshotTests" name="test_outcome_context_overflow_remains_bounded_and_restorable" time="0.000" /><testcase classname="test.test_persistent_live_state_frontier.StableSearchSnapshotTests" name="test_path_cover_selection_is_deterministic_and_restart_exact" time="0.000" /><testcase classname="test.test_persistent_live_state_frontier.StableSearchSnapshotTests" name="test_path_cover_unknown_token_and_oversized_graph_fail_open" time="0.000" /><testcase classname="test.test_persistent_live_state_frontier.StableSearchSnapshotTests" name="test_random_stream_and_counters_restore_exactly" time="0.001" /><testcase classname="test.test_persistent_live_state_frontier.StableSearchSnapshotTests" name="test_selection_and_observation_transitions_are_separated" time="0.001" /><testcase classname="test.test_persistent_live_state_frontier.StableSearchSnapshotTests" name="test_snapshot_rejects_inconsistent_or_unbounded_fields" time="0.000" /><testcase classname="test.test_persistent_live_state_frontier.StableSearchSnapshotTests" name="test_transition_rejects_double_attempt_and_double_completion" time="0.000" /><testcase classname="test.test_persistent_live_state_frontier.StableSearchSnapshotTests" name="test_v1_snapshot_upgrades_with_empty_outcome_history" time="0.000" /><testcase classname="test.test_persistent_live_state_frontier.StableSearchSnapshotTests" name="test_v2_snapshot_upgrades_with_bound_path_cover_defaults" time="0.000" /><testcase classname="test.test_persistent_live_state_frontier.StableSearchSnapshotTests" name="test_v3_snapshot_upgrades_with_bound_cbc_defaults" time="0.000" /><testcase classname="test.test_persistent_live_state_frontier.StableSearchSnapshotTests" name="test_v4_snapshot_upgrades_with_bound_cgs_defaults" time="0.000" /><testcase classname="test.test_persistent_live_state_frontier.PersistentLiveStateFrontierTests" name="test_claim_complete_and_restart_preserve_partition" time="0.032" /><testcase classname="test.test_persistent_live_state_frontier.PersistentLiveStateFrontierTests" name="test_digest_corruption_and_root_rebinding_fail_closed" time="0.012" /><testcase classname="test.test_persistent_live_state_frontier.PersistentLiveStateFrontierTests" name="test_expiry_reclaim_fences_late_completion" time="0.023" /><testcase classname="test.test_persistent_live_state_frontier.PersistentLiveStateFrontierTests" name="test_failed_atomic_replace_keeps_previous_snapshot" time="0.009" /><testcase classname="test.test_persistent_live_state_frontier.PersistentLiveStateFrontierTests" name="test_failed_outcome_and_abandon_commit_atomically" time="0.018" /><testcase classname="test.test_persistent_live_state_frontier.PersistentLiveStateFrontierTests" name="test_generation_conflict_is_non_mutating" time="0.012" /><testcase classname="test.test_persistent_live_state_frontier.PersistentLiveStateFrontierTests" name="test_heartbeat_renews_only_the_current_token" time="0.017" /><testcase classname="test.test_persistent_live_state_frontier.PersistentLiveStateFrontierTests" name="test_randomized_restart_sequence_preserves_partition_and_generation" time="0.106" /><testcase classname="test.test_persistent_live_state_frontier.PersistentLiveStateFrontierTests" name="test_recomputed_digest_cannot_hide_noncanonical_or_illegal_fencing" time="0.012" /><testcase classname="test.test_persistent_live_state_frontier.PersistentLiveStateFrontierTests" name="test_search_configuration_cannot_change_mid_frontier" time="0.006" /><testcase classname="test.test_persistent_live_state_frontier.PersistentLiveStateFrontierTests" name="test_two_concurrent_claims_have_one_winner" time="0.013" /><testcase classname="test.test_live_state_scheduler.LiveStateSchedulerTests" name="test_bounds_and_worker_filter" time="0.000" /><testcase classname="test.test_live_state_scheduler.LiveStateSchedulerTests" name="test_multi_objective_selection_and_feedback" time="0.000" /><testcase classname="test.test_live_cbc.CBCStaticAnalysisTests" name="test_analysis_budgets_fail_open" time="0.001" /><testcase classname="test.test_live_cbc.CBCStaticAnalysisTests" name="test_deep_definition_chain_is_iterative" time="0.007" /><testcase classname="test.test_live_cbc.CBCStaticAnalysisTests" name="test_independent_branches_form_one_compatible_group" time="0.000" /><testcase classname="test.test_live_cbc.CBCStaticAnalysisTests" name="test_independent_pattern_oracle_keeps_both_outcomes" time="0.001" /><testcase classname="test.test_live_cbc.CBCStaticAnalysisTests" name="test_shared_data_control_dependency_and_assume_prevent_grouping" time="0.001" /><testcase classname="test.test_live_cbc.CBCStaticAnalysisTests" name="test_unknown_memory_and_ambiguous_sites_fail_open" time="0.001" /><testcase classname="test.test_live_cbc.CBCExecutionTests" name="test_cbc_reduces_independent_cartesian_paths_and_preserves_branches" time="1.287" /><testcase classname="test.test_live_cbc.CBCExecutionTests" name="test_persistent_pressure_and_restart_apply_cbc" time="0.460" /><testcase classname="test.test_live_cbc.CBCExecutionTests" name="test_snapshot_restart_preserves_cbc_configuration_and_zero_draws" time="0.000" /><testcase classname="test.test_live_cgs.CGSStaticAnalysisTests" name="test_deep_identity_chain_is_iterative" time="0.002" /><testcase classname="test.test_live_cgs.CGSStaticAnalysisTests" name="test_exact_store_load_predicate_and_pending_guidance" time="0.000" /><testcase classname="test.test_live_cgs.CGSStaticAnalysisTests" name="test_independent_bitvector_oracle" time="0.020" /><testcase classname="test.test_live_cgs.CGSStaticAnalysisTests" name="test_store_token_collision_and_analysis_budgets_fail_open" time="0.001" /><testcase classname="test.test_live_cgs.CGSStaticAnalysisTests" name="test_swapped_signed_and_masked_predicates" time="0.000" /><testcase classname="test.test_live_cgs.CGSStaticAnalysisTests" name="test_unsupported_alias_width_and_ambiguity_fail_open" time="0.001" /><testcase classname="test.test_live_cgs.CGSPolicyTests" name="test_priority_snapshot_and_zero_random_draws" time="0.000" /><testcase classname="test.test_live_cgs.CGSPolicyTests" name="test_snapshot_and_transition_validation_reject_corruption" time="0.000" /><testcase classname="test.test_live_cgs.CGSPolicyTests" name="test_targets_complete_and_rotate_deterministically" time="0.000" /><testcase classname="test.test_live_cgs.CGSExecutionTests" name="test_cgs_prioritizes_target_store_without_pruning" time="0.732" /><testcase classname="test.test_live_cgs.CGSExecutionTests" name="test_persistent_restart_replays_cgs_observations" time="0.470" /><testcase classname="test.test_live_exception_semantics.LiveExceptionTests" name="test_active_exception_survives_checkpoint_and_clears_on_handler_return" time="0.151" /><testcase classname="test.test_live_exception_semantics.LiveExceptionTests" name="test_exception_contract_is_bound_to_lowering_capability" time="0.004" /><testcase classname="test.test_live_exception_semantics.LiveExceptionTests" name="test_exception_site_is_a_bounded_stable_identifier" time="0.004" /><testcase classname="test.test_live_exception_semantics.LiveExceptionTests" name="test_resume_without_active_exception_is_rejected" time="0.035" /><testcase classname="test.test_live_exception_semantics.LiveExceptionTests" name="test_root_resume_reports_unhandled_exception" time="0.098" /><testcase classname="test.test_live_exception_semantics.LiveExceptionTests" name="test_symbolic_throw_forks_and_unwinds_to_caller_handler" time="0.209" /><testcase classname="test.test_live_exception_lifecycle.LiveExceptionLifecycleTests" name="test_begin_end_catch_destroys_scalar_exception" time="0.127" /><testcase classname="test.test_live_exception_lifecycle.LiveExceptionLifecycleTests" name="test_caught_phase_survives_checkpoint_and_resume" time="0.137" /><testcase classname="test.test_live_exception_lifecycle.LiveExceptionLifecycleTests" name="test_checkpoint_lifecycle_metadata_is_validated" time="0.163" /><testcase classname="test.test_live_exception_lifecycle.LiveExceptionLifecycleTests" name="test_cleanup_cannot_materialize_a_catch_token" time="0.101" /><testcase classname="test.test_live_exception_lifecycle.LiveExceptionLifecycleTests" name="test_lifecycle_capability_is_closed" time="0.004" /><testcase classname="test.test_live_exception_lifecycle.LiveExceptionLifecycleTests" name="test_mispaired_lifecycle_operations_fail_closed" time="0.420" /><testcase classname="test.test_live_exception_lifecycle.LiveExceptionLifecycleTests" name="test_narrow_pointer_token_is_normalized_away_from_null" time="0.132" /><testcase classname="test.test_live_exception_lifecycle.LiveExceptionLifecycleTests" name="test_rethrow_preserves_payload_type_and_token_for_outer_catch" time="0.140" /><testcase classname="test.test_live_exception_lifecycle.LiveExceptionLifecycleTests" name="test_search_graph_contains_lifecycle_control_transfers" time="0.000" /><testcase classname="test.test_live_exception_lifecycle.LiveExceptionLifecycleTests" name="test_token_operand_schema_is_exact" time="0.005" /><testcase classname="test.test_live_typed_exception_semantics.LiveTypedExceptionTests" name="test_catch_all_accepts_any_typed_exception" time="0.097" /><testcase classname="test.test_live_typed_exception_semantics.LiveTypedExceptionTests" name="test_checkpoint_exception_metadata_is_semantically_validated" time="0.129" /><testcase classname="test.test_live_typed_exception_semantics.LiveTypedExceptionTests" name="test_inner_type_mismatch_continues_to_matching_outer_handler" time="0.099" /><testcase classname="test.test_live_typed_exception_semantics.LiveTypedExceptionTests" name="test_invalid_match_contracts_fail_closed" time="0.005" /><testcase classname="test.test_live_typed_exception_semantics.LiveTypedExceptionTests" name="test_matching_type_exposes_normalized_selector" time="0.095" /><testcase classname="test.test_live_typed_exception_semantics.LiveTypedExceptionTests" name="test_nonmatching_type_propagates_to_root" time="0.101" /><testcase classname="test.test_live_typed_exception_semantics.LiveTypedExceptionTests" name="test_type_survives_checkpoint_at_matched_landingpad" time="0.115" /><testcase classname="test.test_live_typed_exception_semantics.LiveTypedExceptionTests" name="test_typed_contract_is_capability_closed" time="0.003" /><testcase classname="test.test_nested_loop_memoryphi_executable_transfer" name="test_program_graph_tracks_summary_and_fallback_without_fake_branch" time="0.000" /><testcase classname="test.test_nested_loop_memoryphi_executable_transfer" name="test_summary_control_graph_is_deterministic" time="0.000" /><testcase classname="test.test_nested_loop_memoryphi_executable_transfer" name="test_independent_source_loop_oracle_covers_written_and_zero_trip_loads" time="0.000" /></testsuite></testsuites>