{ "count": 995, "nodeids": [ "test/test_ablation_analysis.py::AblationAnalysisTests::test_cli_default_matches_benchmark_csv_schema", "test/test_ablation_analysis.py::AblationAnalysisTests::test_failures_censoring_and_lower_is_better_are_retained", "test/test_ablation_analysis.py::AblationAnalysisTests::test_paired_randomization_holm_and_timeseries_auc", "test/test_ablation_analysis.py::AblationAnalysisTests::test_summary_compares_modes_per_target_and_np", "test/test_ablation_analysis.py::AblationAnalysisTests::test_vargha_delaney_orders_better_samples_above_half", "test/test_ablation_analysis.py::AblationAnalysisTests::test_verified_parser_artifact_metrics_join_by_protocol_run", "test/test_ablation_analysis.py::AblationAnalysisTests::test_verified_pcfg_artifact_metrics_join_by_protocol_run", "test/test_adaptive_components.py::ComponentPortfolioTests::test_factorized_choices_hot_switch_and_learn", "test/test_adaptive_components.py::ComponentPortfolioTests::test_persistence_ignores_unknown_arms", "test/test_adaptive_components.py::ParallelismTests::test_reverses_on_marginal_utility_regression", "test/test_adaptive_components.py::ParallelismTests::test_scales_down_when_starved", "test/test_adaptive_components.py::ParallelismTests::test_scales_up_under_queue_pressure", "test/test_afl_data_coverage.py::AflDataCoverageRuntimeTests::test_afl_showmap_streaming_observes_reserved_data_namespace", "test/test_afl_data_coverage.py::AflDataCoverageRuntimeTests::test_pie_site_identity_is_stable_across_aslr_processes", "test/test_afl_data_coverage.py::AflDataCoverageRuntimeTests::test_preload_can_attach_afl_shm_without_exported_symbol", "test/test_afl_data_coverage.py::AflDataCoverageRuntimeTests::test_preload_writes_prefix_progress_to_exported_afl_map", "test/test_afl_hint_mutator.py::SymccHintMutatorTests::test_full_matrix_sampling_preserves_correlated_constraints", "test/test_afl_hint_mutator.py::SymccHintMutatorTests::test_mutator_applies_string_constraint_patches", "test/test_afl_hint_mutator.py::SymccHintMutatorTests::test_mutator_consumes_hint_tokens_and_poly_cache", "test/test_afl_hint_mutator.py::SymccHintMutatorTests::test_polytope_mode_does_not_havoc_feasible_fixed_point", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_afl_only_uses_equal_core_instances_and_execution_metrics", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_auto_profile_mode", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_batch_showmap_rejects_failed_or_invalid_batches", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_batch_showmap_uses_stdin_and_refuses_file_placeholder", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_batch_triage_does_not_claim_coverage_before_publish", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_batch_triage_keeps_gap_free_slot_after_lost_claim", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_batch_triage_publishes_to_independent_afl_foreign_queue", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_bounded_finite_float_rejects_nonfinite_lock_timeouts", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_bounded_mpi_barrier_never_waits_past_deadline", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_campaign_budget_exhaustion_is_not_a_failed_run", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_cooperative_shutdown_is_bounded_and_reports_silent_rank", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_corpus_metrics_ignore_staging_and_deduplicate_instances", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_dispatch_recovery_retries_then_persists_without_loss", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_dispatch_registry_rollback_handles_invariant_violation", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_dispatch_result_validation_is_fail_closed", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_dispatch_tokens_fence_reused_worker_generations", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_dispatch_transaction_uses_phase_specific_reverse_rollback", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_dispatch_watchdog_expires_only_active_exact_generations", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_executable_profile_context_hashes_exact_command", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_hybrid_sync_configuration_and_foreign_queue_deduplication", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_link_or_copy_tolerates_live_queue_race", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_live_corpus_union_is_deduplicated_and_routed", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_lost_global_claim_converges_local_bitmap_immediately", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_master_admits_worker_result_before_consuming_dispatch_state", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_master_state_task_identity_overrides_worker_report", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_native_peer_cursor_and_import_attribution", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_nested_timeouts_respect_campaign_budget", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_one_shot_showmap_isolated_fallback", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_one_shot_showmap_rejects_abnormal_or_invalid_results", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_one_shot_showmap_stages_file_placeholder_input", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_owned_dispatch_rollback_is_generation_atomic", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_parse_args_rejects_an_afl_instance_own_queue_as_sync_dir", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_protocol_cell_rejects_an_inner_benchmark_matrix", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_protocol_deferred_journal_survives_restart", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_public_afl_variant_discovery", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_quarantined_result_stats_are_reasoned_and_logged", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_queue_ids_remain_contiguous_across_hangs_and_crashes", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_ready_generation_gate_joins_both_message_orders", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_ready_generation_validation_rejects_stale_and_malformed", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_ready_quarantine_and_protocol_recovery_stats_are_logged", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_recovery_payload_round_trips_without_transport_token", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_research_metadata_and_auc_are_attached", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_shared_heartbeat_isolates_storage_failures_per_lease", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_shared_heartbeat_uses_one_work_lease_batch", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_shared_lease_heartbeat_tracks_the_shortest_ttl", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_shutdown_gate_requires_ready_and_exact_ack", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_solver_component_override_is_strict", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_streaming_showmap_bounds_corrupt_auxiliary_lengths", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_streaming_showmap_exposes_crash_status_and_auxiliary_bytes", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_streaming_showmap_rejects_invalid_sparse_edges", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_streaming_showmap_rejects_oversized_input_without_restart", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_streaming_showmap_restarts_and_retries_current_input", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_target_contract_cannot_be_rewritten_by_later_hint", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_target_group_excludes_skips_and_preserves_primary_order", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_timed_out_rank_requires_exact_generation_ready_to_recover", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_timeout_site_artifact_is_bounded_and_canonical", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_timeseries_stop_records_final_corpus", "test/test_afl_profile_orchestration.py::AflProfileOrchestrationTests::test_worker_result_sender_overwrites_reported_dispatch_identity", "test/test_agentic_concolic_hooks.py::AgenticConcolicHookTests::test_backend_manager_validates_caches_and_runs_async", "test/test_agentic_concolic_hooks.py::AgenticConcolicHookTests::test_builtin_planner_learns_cottontail_route_from_taints", "test/test_agentic_concolic_hooks.py::AgenticConcolicHookTests::test_builtin_planner_learns_gordian_route_for_solver_hostile_task", "test/test_agentic_concolic_hooks.py::AgenticConcolicHookTests::test_builtin_planner_persists_strategy_and_branch_feedback", "test/test_agentic_concolic_hooks.py::AgenticConcolicHookTests::test_chat_completion_response_is_decoded", "test/test_agentic_concolic_hooks.py::AgenticConcolicHookTests::test_hint_load_apply_and_task_append", "test/test_agentic_concolic_hooks.py::AgenticConcolicHookTests::test_query_agent_command", "test/test_agentic_concolic_hooks.py::AgenticConcolicHookTests::test_query_agent_failure_is_empty_hint", "test/test_agolic_planning.py::AgolicPlanningTests::test_admission_rejects_unknown_fields_and_unreviewed_witness", "test/test_agolic_planning.py::AgolicPlanningTests::test_controller_retries_planning_and_replays_parallel_runs_sequentially", "test/test_agolic_planning.py::AgolicPlanningTests::test_failed_atomic_commit_keeps_memory_and_disk_state_unchanged", "test/test_agolic_planning.py::AgolicPlanningTests::test_history_capacity_fails_closed_without_losing_deduplication", "test/test_agolic_planning.py::AgolicPlanningTests::test_pending_plan_survives_restart_and_exact_spec_is_not_reissued", "test/test_agolic_planning.py::AgolicPlanningTests::test_replay_evidence_produces_all_four_target_classes", "test/test_agolic_planning.py::AgolicPlanningTests::test_replay_identity_commits_to_coverage_and_integer_bounds_are_strict", "test/test_agolic_planning.py::AgolicPlanningTests::test_state_reader_rejects_symlink_duplicate_json_and_identity_mismatch", "test/test_agolic_planning.py::AgolicPlanningTests::test_verified_replay_must_be_cumulative_and_match_target_reach", "test/test_agolic_planning.py::AgolicPlanningTests::test_witness_only_target_and_harness_failure_select_witness_mode", "test/test_benchmark_statistics.py::BenchmarkStatisticsTests::test_invalid_inputs_are_rejected", "test/test_benchmark_statistics.py::BenchmarkStatisticsTests::test_reproducible_paired_report", "test/test_condpor_interpreter.py::CondporInterpreterTests::test_assertion_failure_has_replayable_minimal_witness", "test/test_condpor_interpreter.py::CondporInterpreterTests::test_backward_revisit_regenerates_control_dependent_path", "test/test_condpor_interpreter.py::CondporInterpreterTests::test_certificate_tampering_and_repeatability", "test/test_condpor_interpreter.py::CondporInterpreterTests::test_cli_explore_verify_and_truncated_exit_contract", "test/test_condpor_interpreter.py::CondporInterpreterTests::test_explicit_bounds_prevent_false_completeness_claim", "test/test_condpor_interpreter.py::CondporInterpreterTests::test_path_regeneration_matches_explicit_sc_interleaving_oracle", "test/test_condpor_interpreter.py::CondporInterpreterTests::test_read_from_enumerates_initial_and_current_writes", "test/test_condpor_interpreter.py::CondporInterpreterTests::test_sc_cycle_is_rejected_during_read_from_exploration", "test/test_condpor_interpreter.py::CondporInterpreterTests::test_straight_line_search_matches_independent_sc_oracle", "test/test_condpor_interpreter.py::CondporInterpreterTests::test_strict_program_validation_rejects_malformed_ir", "test/test_condpor_interpreter.py::CondporInterpreterTests::test_write_addition_enumerates_total_coherence_orders", "test/test_condpor_interpreter.py::CondporInterpreterTests::test_z3_prunes_unsat_outcome_and_canonicalizes_model", "test/test_constraint_shape.py::ConstraintShapeTests::test_absolute_read_offsets_are_alpha_normalized", "test/test_constraint_shape.py::ConstraintShapeTests::test_constant_operator_and_aliasing_remain_semantic", "test/test_constraint_shape.py::ConstraintShapeTests::test_invalid_dag_fails_closed", "test/test_constraint_shape.py::ConstraintShapeTests::test_joint_context_preserves_prefix_target_read_aliasing", "test/test_constraint_shape.py::ConstraintShapeTests::test_query_service_defaults_to_structural_traversal", "test/test_constraint_shape.py::ConstraintShapeTests::test_randomized_alpha_renaming_and_semantic_separation", "test/test_constraint_shape.py::ConstraintShapeTests::test_scheduler_prefers_novel_shape_then_ages_duplicates", "test/test_constraint_shape.py::ConstraintShapeTests::test_shape_selection_can_be_disabled", "test/test_constraint_shape.py::ConstraintShapeTests::test_store_records_contextual_duplicate_classes", "test/test_cross_llvm_transform_replay.py::CrossLlvmTransformReplayTests::test_candidate_document_is_canonical", "test/test_cross_llvm_transform_replay.py::CrossLlvmTransformReplayTests::test_certificate_contract_and_inner_tamper", "test/test_cross_llvm_transform_replay.py::CrossLlvmTransformReplayTests::test_major_claim_cannot_be_relabelled", "test/test_cross_parser_oracle.py::CrossParserOracleTests::test_ambiguous_span_does_not_guess_a_symbol_mapping", "test/test_cross_parser_oracle.py::CrossParserOracleTests::test_deep_correspondence_uses_an_explicit_stack", "test/test_cross_parser_oracle.py::CrossParserOracleTests::test_identical_child_commands_fail_closed", "test/test_cross_parser_oracle.py::CrossParserOracleTests::test_pair_envelope_and_manager_confusion_matrix", "test/test_cross_parser_oracle.py::CrossParserOracleTests::test_secondary_trace_tamper_is_rejected", "test/test_cross_theory_selective.py::CrossTheorySelectiveTests::test_dependency_closed_slice_fixes_unselected_values", "test/test_cross_theory_selective.py::CrossTheorySelectiveTests::test_duplicate_atom_id_falls_back", "test/test_cross_theory_selective.py::CrossTheorySelectiveTests::test_missing_dependency_or_concrete_value_falls_back", "test/test_current_evaluation_analysis.py::CurrentEvaluationAnalysisTests::test_benchmark_report_persists_contribution_breakdown", "test/test_current_evaluation_analysis.py::CurrentEvaluationAnalysisTests::test_campaign_uses_independent_samples_and_svg_is_valid", "test/test_current_evaluation_analysis.py::CurrentEvaluationAnalysisTests::test_percent_values_are_parsed", "test/test_current_evaluation_analysis.py::CurrentEvaluationAnalysisTests::test_report_does_not_compare_incompatible_throughput_units", "test/test_distributed_state.py::BitmapDeltaJournalTests::test_delta_catches_worker_up_to_current_version", "test/test_distributed_state.py::BitmapDeltaJournalTests::test_full_snapshot_is_used_after_history_eviction", "test/test_distributed_state.py::ContentAddressedInputStoreTests::test_cached_object_is_verified_and_repaired", "test/test_distributed_state.py::ContentAddressedInputStoreTests::test_existing_root_rejects_symlink_ancestor", "test/test_distributed_state.py::ContentAddressedInputStoreTests::test_import_enforces_transport_limit", "test/test_distributed_state.py::ContentAddressedInputStoreTests::test_import_rejects_symlink_and_path_replacement", "test/test_distributed_state.py::ContentAddressedInputStoreTests::test_nested_root_is_created_and_reopened_component_by_component", "test/test_distributed_state.py::ContentAddressedInputStoreTests::test_object_is_verified_and_reused", "test/test_distributed_state.py::ContentAddressedInputStoreTests::test_object_namespace_rejects_root_and_shard_symlinks", "test/test_distributed_state.py::ContentAddressedInputStoreTests::test_object_suffix_is_bounded_to_the_digest_leaf", "test/test_distributed_state.py::ContentAddressedInputStoreTests::test_publication_rejects_replaced_root_ancestor", "test/test_distributed_state.py::ContentAddressedInputStoreTests::test_publication_rejects_replaced_root_without_redirecting_io", "test/test_distributed_state.py::ContentAddressedInputStoreTests::test_publication_rejects_replaced_shard_without_redirecting_io", "test/test_distributed_state.py::ContentAddressedInputStoreTests::test_put_closes_publication_race_and_accepts_exact_competitor", "test/test_distributed_state.py::ContentAddressedInputStoreTests::test_relative_root_returns_stable_absolute_object_paths", "test/test_distributed_state.py::ContentAddressedInputStoreTests::test_root_creation_rejects_symlink_ancestor_without_side_effects", "test/test_distributed_state.py::DurableFilesystemTests::test_advisory_lock_identity_requires_no_follow", "test/test_distributed_state.py::DurableFilesystemTests::test_cluster_lock_upgrade_requires_complete_multi_host_evidence", "test/test_distributed_state.py::DurableFilesystemTests::test_coverage_gossip_uses_its_minimal_filesystem_contract", "test/test_distributed_state.py::DurableFilesystemTests::test_cross_directory_replace_syncs_public_then_staging", "test/test_distributed_state.py::DurableFilesystemTests::test_directory_sync_batch_rejects_cross_directory_replace", "test/test_distributed_state.py::DurableFilesystemTests::test_directory_sync_failure_is_reported_after_visible_replace", "test/test_distributed_state.py::DurableFilesystemTests::test_fenced_table_can_require_filesystem_capabilities", "test/test_distributed_state.py::DurableFilesystemTests::test_lease_profile_fails_closed_on_required_replace", "test/test_distributed_state.py::DurableFilesystemTests::test_lease_profile_skips_unneeded_operations_and_records_unknown", "test/test_distributed_state.py::DurableFilesystemTests::test_link_and_unlink_require_directory_durability", "test/test_distributed_state.py::DurableFilesystemTests::test_mountinfo_parser_selects_and_unescapes_deepest_mount", "test/test_distributed_state.py::DurableFilesystemTests::test_nested_directory_creation_persists_each_new_component", "test/test_distributed_state.py::DurableFilesystemTests::test_noreplace_rename_has_one_multiprocess_winner", "test/test_distributed_state.py::DurableFilesystemTests::test_noreplace_rename_is_atomic_and_durable", "test/test_distributed_state.py::DurableFilesystemTests::test_noreplace_rename_requires_kernel_primitive", "test/test_distributed_state.py::DurableFilesystemTests::test_requirement_profile_rejects_incoherent_contracts", "test/test_distributed_state.py::DurableFilesystemTests::test_requirement_profiles_merge_exact_operation_union", "test/test_distributed_state.py::DurableFilesystemTests::test_rmtree_requires_parent_directory_durability", "test/test_distributed_state.py::DurableFilesystemTests::test_rmtree_step_fails_closed_and_preserves_resumable_progress", "test/test_distributed_state.py::DurableFilesystemTests::test_rmtree_step_is_bounded_resumable_and_durable", "test/test_distributed_state.py::DurableFilesystemTests::test_rmtree_step_reopens_after_an_early_directory_eof", "test/test_distributed_state.py::DurableFilesystemTests::test_rmtree_step_time_budget_progress_and_symlink_boundary", "test/test_distributed_state.py::DurableFilesystemTests::test_shared_filesystem_probe_bounds_child_process_wait", "test/test_distributed_state.py::DurableFilesystemTests::test_shared_filesystem_probe_caps_direct_library_timeout", "test/test_distributed_state.py::DurableFilesystemTests::test_shared_filesystem_probe_checks_configured_publication_root", "test/test_distributed_state.py::DurableFilesystemTests::test_shared_filesystem_probe_cleans_failed_replace", "test/test_distributed_state.py::DurableFilesystemTests::test_shared_filesystem_probe_rejects_actual_publication_boundary", "test/test_distributed_state.py::DurableFilesystemTests::test_shared_filesystem_probe_rejects_nonexclusive_flock", "test/test_distributed_state.py::DurableFilesystemTests::test_shared_filesystem_probe_rejects_nonfinite_timeout", "test/test_distributed_state.py::DurableFilesystemTests::test_shared_filesystem_probe_rejects_unreleased_flock", "test/test_distributed_state.py::DurableFilesystemTests::test_shared_filesystem_probe_verifies_host_process_contract", "test/test_distributed_state.py::FencedTargetLeaseTableTests::test_failed_group_heartbeat_restores_one_expiry_point", "test/test_distributed_state.py::FencedTargetLeaseTableTests::test_failed_group_publication_rolls_back_written_members", "test/test_distributed_state.py::FencedTargetLeaseTableTests::test_group_claim_directory_failure_rolls_back_every_member", "test/test_distributed_state.py::FencedTargetLeaseTableTests::test_group_claim_rejects_unserializable_payload_before_publication", "test/test_distributed_state.py::FencedTargetLeaseTableTests::test_group_claim_syncs_each_affected_shard_once", "test/test_distributed_state.py::FencedTargetLeaseTableTests::test_group_release_directory_failure_restores_every_member", "test/test_distributed_state.py::FencedTargetLeaseTableTests::test_group_release_syncs_each_affected_shard_once", "test/test_distributed_state.py::FencedTargetLeaseTableTests::test_group_release_unlink_failure_restores_removed_members", "test/test_distributed_state.py::FencedTargetLeaseTableTests::test_heartbeat_expiry_and_stale_release_are_fenced", "test/test_distributed_state.py::FencedTargetLeaseTableTests::test_overlapping_groups_conflict_without_partial_publication", "test/test_distributed_state.py::FencedTargetLeaseTableTests::test_stale_group_release_is_a_zero_mutation_rejection", "test/test_distributed_state.py::FencedTargetLeaseTableTests::test_target_group_heartbeat_syncs_each_affected_shard_once", "test/test_distributed_state.py::FencedTargetLeaseTableTests::test_target_group_rejects_nonfinite_time_and_corrupt_state", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_abandon_requires_current_precommit_token", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_commit_manifest_is_durable_and_completion_is_classified_once", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_committing_fence_is_irreversible_and_cannot_be_stolen", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_committing_recovery_fails_closed_without_durable_manifest", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_directory_sync_failure_leaves_recoverable_fenced_record", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_failed_atomic_replace_removes_temporary_record", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_fenced_lock_is_reclaimed_after_sigkill_without_finally", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_fenced_lock_is_released_after_exception", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_fenced_lock_never_falls_back_when_flock_is_unsupported", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_fenced_lock_rejects_nonregular_lock_path", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_fenced_table_rejects_unbounded_duration_configuration", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_fencing_prevents_duplicate_active_claims_and_stale_completion", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_heartbeat_extends_active_fence", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_heartbeat_many_classifies_stale_tokens_without_extra_sync", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_heartbeat_many_directory_failure_is_not_acknowledged", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_heartbeat_many_flushes_published_prefix_after_later_failure", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_heartbeat_many_syncs_each_affected_shard_once", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_lock_acquisition_is_bounded_and_never_steals_by_wall_clock", "test/test_distributed_state.py::FencedWorkLeaseTableTests::test_record_identity_and_timestamps_are_fail_closed", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_bitvector_constants_are_normalized_to_their_width", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_bounded_realloc_preserves_failure_and_invalidates_growth", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_call_normal_target_controls_return_and_is_rechecked", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_calloc_checks_overflow_and_zero_initializes", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_checkpoint_resume_forks_executes_calls_and_cow_memory", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_cross_function_pointer_contract_is_rechecked", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_cross_function_pointer_domain_is_transport_and_rechecked", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_cross_function_stack_owner_survives_checkpoint", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_defined_argument_contract_rejects_missing_endpoint", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_defined_argument_is_transported_into_call_frame", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_defined_return_contract_rejects_missing_endpoint", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_defined_return_is_transported_across_call_frame", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_defined_value_instruction_contract_rejects_tampering", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_guarded_load_requires_only_active_access_domain", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_guarded_store_requires_only_active_access_domain", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_heap_callsite_can_be_reallocated_after_free", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_heap_contract_and_recursive_reentry_are_rejected", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_heap_lifetime_survives_pause_and_clears_on_free", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_heap_pool_keeps_multiple_live_instances_across_checkpoint", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_heap_pool_rejects_exhaustion_and_malformed_slots", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_heap_rejects_uninitialized_uaf_and_double_free", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_incremental_solver_can_be_disabled_without_semantic_change", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_incremental_solver_failure_opens_oneshot_circuit_breaker", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_incremental_solver_reuses_exact_parent_and_resume_contexts", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_indirect_call_dispatch_forks_and_rechecks_contract", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_indirect_pointer_return_domain_is_target_checked", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_input_buffer_contract_is_independently_validated", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_input_buffer_maps_seed_to_symbolic_memory_and_length", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_input_buffer_rejects_capacity_and_logical_oob", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_memory_object_read_only_contract_is_rechecked", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_multi_byte_big_endian_memory_load", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_nondeterministic_choice_is_dynamic_and_checkpoint_stable", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_nullable_heap_enforces_logical_object_size", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_nullable_heap_exhaustion_returns_null", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_nullable_heap_models_zero_and_bounded_oom", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_overlapping_multibyte_alias_store_composes_byte_ites", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_pointer_return_domain_is_transported_and_rechecked", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_pointer_union_contract_rejects_unguarded_or_mixed_case", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_pointer_union_load_uses_case_guards_across_objects", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_pointer_union_store_is_guarded_per_object", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_program_validation_rejects_missing_branch_target", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_signed_division_uses_exact_integer_truncation", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_solver_prunes_derived_infeasible_branch", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_stack_contract_rejects_recursive_call_graph", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_stack_initialization_survives_pause_and_clears_on_return", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_stack_uninitialized_and_inactive_accesses_are_rejected", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_symbolic_alias_contract_rejects_duplicate_addresses", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_symbolic_alias_domain_rejects_wrapped_index", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_symbolic_alias_load_builds_finite_ite_and_forks", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_symbolic_alias_store_is_a_guarded_memory_update", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_symbolic_free_does_not_occupy_unrelated_fixed_pool", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_symbolic_heap_initialization_survives_checkpoint", "test/test_distributed_state.py::LiveContinuationExecutorTests::test_symbolic_memory_address_is_rejected", "test/test_distributed_state.py::LiveStateStoreTests::test_graph_budget_configuration_requires_positive_integers", "test/test_distributed_state.py::LiveStateStoreTests::test_live_objects_repair_corruption_and_never_follow_symlinks", "test/test_distributed_state.py::LiveStateStoreTests::test_live_read_rejects_replaced_root_ancestor", "test/test_distributed_state.py::LiveStateStoreTests::test_live_read_rejects_replaced_shard_without_following_alias", "test/test_distributed_state.py::LiveStateStoreTests::test_live_state_store_rejects_missing_and_tampered_objects", "test/test_distributed_state.py::LiveStateStoreTests::test_restore_is_transitively_validated_and_graph_budgeted", "test/test_distributed_state.py::LiveStateStoreTests::test_restore_rejects_deep_schema_and_semantic_cache_failures", "test/test_distributed_state.py::LiveStateStoreTests::test_solver_stack_cow_memory_and_continuation_restore", "test/test_distributed_state.py::ShardedDistributedStateTests::test_coverage_gossip_rejects_nonfinite_lock_configuration", "test/test_distributed_state.py::ShardedDistributedStateTests::test_coverage_owner_shards_deduplicate_and_gossip_bucket_bits", "test/test_distributed_state.py::ShardedDistributedStateTests::test_coverage_shard_corruption_fails_closed_without_overwrite", "test/test_distributed_state.py::ShardedDistributedStateTests::test_coverage_shard_lock_is_bounded_and_never_age_stolen", "test/test_distributed_state.py::ShardedDistributedStateTests::test_coverage_shard_write_failure_cleans_temporary_record", "test/test_distributed_state.py::ShardedDistributedStateTests::test_coverage_timestamps_reject_nonfinite_values", "test/test_distributed_state.py::ShardedDistributedStateTests::test_nonfinite_peer_heartbeat_cannot_become_immortal_owner", "test/test_distributed_state.py::ShardedDistributedStateTests::test_persistent_shard_ledger_recovers_digests", "test/test_distributed_state.py::ShardedDistributedStateTests::test_sharded_bitmap_payload_is_equivalent_to_global_delta", "test/test_distributed_state.py::StateShardCoordinatorTests::test_abandon_and_discard_distinguish_unsent_from_stale_result", "test/test_distributed_state.py::StateShardCoordinatorTests::test_leases_completion_snapshot_and_expiry", "test/test_distributed_state.py::StateShardCoordinatorTests::test_live_continuation_descriptor_is_canonical_state_identity", "test/test_distributed_state.py::StateShardCoordinatorTests::test_restored_state_leases_are_stale_across_coordinator_epoch", "test/test_distributed_state.py::StateShardCoordinatorTests::test_state_lease_rejects_duplicate_and_fences_completion_owner", "test/test_distributed_state.py::StateShardCoordinatorTests::test_state_task_id_distinguishes_schedule_prefixes", "test/test_distributed_state.py::StateShardCoordinatorTests::test_state_task_id_uses_digest_focus_target_and_actions", "test/test_distributed_state.py::StateShardCoordinatorTests::test_worker_index_prefers_owned_shard_then_steals", "test/test_distributed_state.py::WorkLeaseJournalTests::test_abandon_is_persistent_and_append_failure_does_not_advance", "test/test_distributed_state.py::WorkLeaseJournalTests::test_active_work_lease_rejects_duplicate_and_fences_owner", "test/test_distributed_state.py::WorkLeaseJournalTests::test_ignores_corrupt_jsonl_tail_and_compacts_active_leases", "test/test_distributed_state.py::WorkLeaseJournalTests::test_recovers_only_expired_unfinished_work", "test/test_distributed_state.py::WorkLeaseJournalTests::test_recovery_migrates_legacy_clock_and_zero_ttl_is_unconditional", "test/test_distributed_state.py::WorkLeaseJournalTests::test_rejects_nonfinite_spliced_and_unowned_journal_state", "test/test_distributed_state.py::WorkLeaseJournalTests::test_work_lease_default_timestamp_uses_unix_clock", "test/test_empirical_value_profile.py::EmpiricalValueProfileTests::test_aggregates_limited_domain_with_sound_fallback_policy", "test/test_empirical_value_profile.py::EmpiricalValueProfileTests::test_cli_generates_and_verifies_artifact", "test/test_empirical_value_profile.py::EmpiricalValueProfileTests::test_cross_document_profile_count_is_globally_bounded", "test/test_empirical_value_profile.py::EmpiricalValueProfileTests::test_different_executable_contexts_are_never_merged", "test/test_empirical_value_profile.py::EmpiricalValueProfileTests::test_digest_tampering_and_malformed_counts_are_rejected", "test/test_empirical_value_profile.py::EmpiricalValueProfileTests::test_online_admission_is_exact_domain_scoped_and_verified", "test/test_empirical_value_profile.py::EmpiricalValueProfileTests::test_runtime_materialization_rejects_tampering_and_caps_domains", "test/test_empirical_value_profile.py::EmpiricalValueProfileTests::test_saturation_and_excess_values_fail_closed", "test/test_executor_portfolio.py::ExecutorPortfolioTests::test_environment_configuration_accepts_json_file", "test/test_executor_portfolio.py::ExecutorPortfolioTests::test_invalid_route_falls_back_to_current_target", "test/test_executor_portfolio.py::ExecutorPortfolioTests::test_routes_executor_to_independent_engine_and_target", "test/test_expressive_coverage.py::ExpressiveCoverageTreeTests::test_builds_contextual_tree_and_compresses_repeated_shapes", "test/test_expressive_coverage.py::ExpressiveCoverageTreeTests::test_round_trip_and_atomic_export", "test/test_heap_path_optimality.py::HeapPathTests::test_alias_and_target_objectives", "test/test_heap_path_optimality.py::HeapPathTests::test_capacity_is_bounded", "test/test_heap_path_optimality.py::HeapPathTests::test_nonfinite_and_boolean_fields_are_rejected", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_candidate_context_cache_obeys_global_state_budget", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_compact_focus_set_uses_comparison_taint_offsets", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_edge_dependence_replay_is_available_without_new_afl_edges", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_external_rejection_preserves_fallback_replay_cursor", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_external_target_admission_rejects_without_scheduler_commit", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_policy_state_reader_and_writer_share_byte_budget", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_policy_state_round_trip", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_prefix_dag_schedules_open_branch_and_retires_sat_target", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_rejected_action_group_does_not_shadow_viable_fallback", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_rejected_concurrency_job_does_not_enter_cooldown", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_rewarded_hard_seed_can_be_replayed_after_cooldown", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_s2f_action_file_filters_and_writes_rows", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_scheduler_persists_pareto_corpus_metadata", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_strategy_executor_labels", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_target_lane_backfills_after_cross_lane_lease_conflict", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_target_lane_deduplicates_branch_across_prefix_and_cstg", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_targeted_replay_carries_s2f_actions", "test/test_hybrid_feedback.py::AdaptiveSchedulerTests::test_targeted_replay_is_not_split_into_focus_regions", "test/test_hybrid_feedback.py::LinUCBTests::test_linucb_exploration_coefficient_is_finite_and_bounded", "test/test_hybrid_feedback.py::LinUCBTests::test_linucb_rejects_nonfinite_updates_and_restores_atomically", "test/test_hybrid_feedback.py::LinUCBTests::test_observed_productive_context_is_preferred", "test/test_hybrid_feedback.py::LinUCBTests::test_strategy_portfolio_learns_reward_per_cost", "test/test_hybrid_feedback.py::LinUCBTests::test_strategy_portfolio_releases_invalid_feedback_without_learning", "test/test_hybrid_feedback.py::LinUCBTests::test_strategy_portfolio_reserves_parallel_assignments", "test/test_hybrid_feedback.py::SeedWorkerBanditTests::test_cross_learning_is_aggregated_by_time_slice", "test/test_hybrid_feedback.py::SeedWorkerBanditTests::test_pair_policy_restore_obeys_worker_and_profile_budgets", "test/test_hybrid_feedback.py::SeedWorkerBanditTests::test_pair_policy_state_round_trip", "test/test_hybrid_feedback.py::SeedWorkerBanditTests::test_release_rewinds_unsent_assignment_and_discard_keeps_pull", "test/test_hybrid_feedback.py::SeedWorkerBanditTests::test_worker_local_novelty_changes_pair_ranking", "test/test_hybrid_feedback.py::SolverTelemetryTests::test_engine_contract_discovers_reported_capabilities", "test/test_hybrid_feedback.py::SolverTelemetryTests::test_engine_contract_preserves_partial_observations", "test/test_hybrid_feedback.py::SolverTelemetryTests::test_load_and_derived_metrics", "test/test_hybrid_feedback.py::SolverTelemetryTests::test_materialized_telemetry_round_trip_preserves_capabilities", "test/test_hybrid_feedback.py::SolverTelemetryTests::test_query_ir_structure_capability_and_counters", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_constraint_cache_is_bounded_and_persists_relative_retry", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_constraint_cache_retires_terminal_target", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_constraint_cache_retries_diverged_target", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_coverage_bitmap_exports_sparse_bit_delta", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_cstg_tracks_divergence_and_emits_extended_actionseed", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_cstg_uses_target_outcome_when_trace_is_truncated", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_data_coverage_replaces_dominated_seed", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_data_coverage_winners_and_path_aggregate_are_bounded", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_directed_distance_map_accepts_text_and_json", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_edge_dependence_branch_pruning_rebuilds_cell_counts", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_edge_dependence_coverage_schedules_distinct_context_seeds", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_edge_dependence_directed_distance_prioritizes_near_target", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_edge_dependence_duplicate_observation_preserves_round_robin", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_edge_dependence_group_lease_releases_action_targets", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_edge_dependence_restore_is_idempotent_and_drops_orphan_cells", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_edge_dependence_target_lease_suppresses_parallel_duplicates", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_edge_dependence_terminal_without_trace_retires_target", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_edge_dependence_utility_feedback_round_trips_targets", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_hierarchical_concurrency_guidance_replays_nearest_frontier", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_invalid_file_is_missing_telemetry", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_pareto_corpus_preserves_extremes_and_replaces_dominated", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_prefix_dag_builds_s2f_actionseed_for_one_seed", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_prefix_dag_colorgo_mdp_prioritizes_feasible_low_cost_prefix", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_prefix_dag_cost_pressure_uses_cheap_retry_profile", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_prefix_dag_dynamic_coloration_updates_target_cost", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_prefix_dag_exposes_sampling_profile_for_hard_branch", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_prefix_dag_frequency_sketch_is_bounded_and_keeps_heavy_site", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_prefix_dag_interleaves_high_and_low_seed_queues", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_prefix_dag_prioritizes_concurrency_guidance_sites", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_prefix_dag_records_multigo_path_metrics", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_prefix_dag_round_trips_symcts_pressure_metrics", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_prefix_dag_stays_within_node_budget", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_prefix_dag_symcts_prioritizes_directed_data_frontier", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_prefix_dag_tracks_per_seed_executor_actions", "test/test_hybrid_feedback.py::StructuredFeedbackTests::test_static_dependency_map_rejects_malformed_intervals", "test/test_hydra_transform.py::HydraProfileTests::test_profile_attributes_cost_and_is_sealed", "test/test_hydra_transform.py::HydraProfileTests::test_profile_v2_binds_producing_command", "test/test_hydra_transform.py::HydraReplayTests::test_failure_preservation_violation_is_explicit", "test/test_hydra_transform.py::HydraReplayTests::test_native_smoke_evidence_is_sealed", "test/test_hydra_transform.py::HydraReplayTests::test_original_replay_filters_spurious_failures", "test/test_hydra_transform.py::HydraReplayTests::test_profile_v2_is_bound_to_original_campaign_binary", "test/test_lark_sppf_parser.py::LarkSPPFEngineTests::test_byte_mode_preserves_non_ascii_offsets", "test/test_lark_sppf_parser.py::LarkSPPFEngineTests::test_complete_ambiguous_forest_preserves_sharing", "test/test_lark_sppf_parser.py::LarkSPPFEngineTests::test_cyclic_infinite_ambiguity_fails_closed", "test/test_lark_sppf_parser.py::LarkSPPFEngineTests::test_epsilon_subforest_becomes_v4_nullable_certificate", "test/test_lark_sppf_parser.py::LarkSPPFEngineTests::test_inconsistent_forest_telemetry_is_rejected", "test/test_lark_sppf_parser.py::LarkSPPFEngineTests::test_invalid_grammar_is_reported_as_parser_failure", "test/test_lark_sppf_parser.py::LarkSPPFEngineTests::test_node_bound_fails_closed_without_partial_forest", "test/test_lark_sppf_parser.py::LarkSPPFEngineTests::test_syntax_rejection_emits_valid_negative_trace", "test/test_lark_sppf_parser.py::LarkSPPFServiceTests::test_persistent_rpc_and_verified_manager", "test/test_lava_dse_ablation_analysis.py::LavaDseAblationAnalysisTests::test_listed_and_extra_hits_are_separated", "test/test_live_byte_lane_phi_writer_graph.py::LiveByteLanePhiWriterGraphTests::test_each_phi_endpoint_has_an_address_closed_writer_path", "test/test_live_byte_lane_phi_writer_graph.py::LiveByteLanePhiWriterGraphTests::test_lane_address_and_store_offset_are_closed", "test/test_live_byte_lane_phi_writer_graph.py::LiveByteLanePhiWriterGraphTests::test_phi_poison_sidecar_is_bound_to_its_declared_source", "test/test_live_byte_lane_phi_writer_graph.py::LiveByteLanePhiWriterGraphTests::test_phi_writer_capability_and_contract_are_closed", "test/test_live_byte_lane_phi_writer_graph.py::LiveByteLanePhiWriterGraphTests::test_shadowed_phi_writer_cannot_replace_the_last_writer", "test/test_live_byte_lane_writer_graph.py::LiveByteLaneWriterGraphTests::test_capability_and_contract_are_closed", "test/test_live_byte_lane_writer_graph.py::LiveByteLaneWriterGraphTests::test_lane_address_correspondence_is_closed", "test/test_live_byte_lane_writer_graph.py::LiveByteLaneWriterGraphTests::test_overlapping_last_writer_graph_is_admitted", "test/test_live_byte_lane_writer_graph.py::LiveByteLaneWriterGraphTests::test_poison_sidecar_is_bound_to_declared_source", "test/test_live_byte_lane_writer_graph.py::LiveByteLaneWriterGraphTests::test_shadowed_writer_cannot_replace_last_writer", "test/test_live_conditional_cyclic_byte_lane_writer_graph.py::LiveConditionalCyclicByteLaneWriterGraphTests::test_carry_leaf_rejects_a_covering_writer", "test/test_live_conditional_cyclic_byte_lane_writer_graph.py::LiveConditionalCyclicByteLaneWriterGraphTests::test_conditional_poison_sidecar_is_identity_bound", "test/test_live_conditional_cyclic_byte_lane_writer_graph.py::LiveConditionalCyclicByteLaneWriterGraphTests::test_conditional_writer_capability_and_marker_are_closed", "test/test_live_conditional_cyclic_byte_lane_writer_graph.py::LiveConditionalCyclicByteLaneWriterGraphTests::test_direct_and_forwarded_leaf_partitions_are_address_closed", "test/test_live_conditional_cyclic_byte_lane_writer_graph.py::LiveConditionalCyclicByteLaneWriterGraphTests::test_store_leaf_rejects_a_later_covering_writer", "test/test_live_cyclic_byte_lane_writer_graph.py::LiveCyclicByteLaneWriterGraphTests::test_carry_is_admitted_only_at_the_merge_load_boundary", "test/test_live_cyclic_byte_lane_writer_graph.py::LiveCyclicByteLaneWriterGraphTests::test_cyclic_poison_sidecar_is_bound_to_its_declared_source", "test/test_live_cyclic_byte_lane_writer_graph.py::LiveCyclicByteLaneWriterGraphTests::test_cyclic_writer_capability_and_contract_are_closed", "test/test_live_cyclic_byte_lane_writer_graph.py::LiveCyclicByteLaneWriterGraphTests::test_lane_address_and_store_offset_are_closed", "test/test_live_cyclic_byte_lane_writer_graph.py::LiveCyclicByteLaneWriterGraphTests::test_seed_and_backedge_writer_paths_are_address_closed", "test/test_live_exception_lifecycle.py::LiveExceptionLifecycleTests::test_begin_end_catch_destroys_scalar_exception", "test/test_live_exception_lifecycle.py::LiveExceptionLifecycleTests::test_caught_phase_survives_checkpoint_and_resume", "test/test_live_exception_lifecycle.py::LiveExceptionLifecycleTests::test_checkpoint_lifecycle_metadata_is_validated", "test/test_live_exception_lifecycle.py::LiveExceptionLifecycleTests::test_cleanup_cannot_materialize_a_catch_token", "test/test_live_exception_lifecycle.py::LiveExceptionLifecycleTests::test_lifecycle_capability_is_closed", "test/test_live_exception_lifecycle.py::LiveExceptionLifecycleTests::test_mispaired_lifecycle_operations_fail_closed", "test/test_live_exception_lifecycle.py::LiveExceptionLifecycleTests::test_narrow_pointer_token_is_normalized_away_from_null", "test/test_live_exception_lifecycle.py::LiveExceptionLifecycleTests::test_rethrow_preserves_payload_type_and_token_for_outer_catch", "test/test_live_exception_lifecycle.py::LiveExceptionLifecycleTests::test_search_graph_contains_lifecycle_control_transfers", "test/test_live_exception_lifecycle.py::LiveExceptionLifecycleTests::test_token_operand_schema_is_exact", "test/test_live_exception_object_arena.py::LiveExceptionObjectArenaTests::test_aggregate_fields_and_multiple_loads_roundtrip", "test/test_live_exception_object_arena.py::LiveExceptionObjectArenaTests::test_caught_object_survives_fresh_executor_checkpoint", "test/test_live_exception_object_arena.py::LiveExceptionObjectArenaTests::test_object_roundtrip_releases_lifetime_but_retains_generation", "test/test_live_exception_object_arena.py::LiveExceptionObjectArenaTests::test_ordinary_heap_operations_cannot_alias_exception_arena", "test/test_live_exception_object_arena.py::LiveExceptionObjectArenaTests::test_owner_and_generation_checkpoint_tampering_fail_closed", "test/test_live_exception_object_arena.py::LiveExceptionObjectArenaTests::test_same_slot_reallocation_advances_generation", "test/test_live_exception_object_arena.py::LiveExceptionObjectArenaTests::test_schema_and_capability_dependencies_are_closed", "test/test_live_exception_object_arena.py::LiveExceptionObjectArenaTests::test_uninitialized_and_out_of_bounds_reads_fail_closed", "test/test_live_exception_object_arena.py::LiveExceptionObjectArenaTests::test_unthrown_owner_is_released_on_function_return", "test/test_live_exception_semantics.py::LiveExceptionTests::test_active_exception_survives_checkpoint_and_clears_on_handler_return", "test/test_live_exception_semantics.py::LiveExceptionTests::test_exception_contract_is_bound_to_lowering_capability", "test/test_live_exception_semantics.py::LiveExceptionTests::test_exception_site_is_a_bounded_stable_identifier", "test/test_live_exception_semantics.py::LiveExceptionTests::test_resume_without_active_exception_is_rejected", "test/test_live_exception_semantics.py::LiveExceptionTests::test_root_resume_reports_unhandled_exception", "test/test_live_exception_semantics.py::LiveExceptionTests::test_symbolic_throw_forks_and_unwinds_to_caller_handler", "test/test_live_external_models.py::DeclarativePureExternalTests::test_abi_and_runtime_operand_widths_are_checked", "test/test_live_external_models.py::DeclarativePureExternalTests::test_all_model_families_execute_as_bounded_bitvectors", "test/test_live_external_models.py::DeclarativePureExternalTests::test_capability_closure_is_bidirectional", "test/test_live_external_models.py::DeclarativePureExternalTests::test_duplicate_stable_site_is_rejected", "test/test_live_external_models.py::DeclarativePureExternalTests::test_invalid_models_sites_and_shapes_fail_closed", "test/test_live_external_models.py::DeclarativePureExternalTests::test_modeled_expression_survives_checkpoint_resume", "test/test_live_external_models.py::DeclarativePureExternalTests::test_nounwind_invoke_model_routes_only_to_normal_target", "test/test_live_external_models.py::DeclarativePureExternalTests::test_symbolic_model_participates_in_feasibility_forking", "test/test_live_multiarm_cyclic_byte_lane_writer_graph.py::LiveMultiArmCyclicByteLaneWriterGraphTests::test_direct_and_forwarded_three_leaf_partitions_are_closed", "test/test_live_multiarm_cyclic_byte_lane_writer_graph.py::LiveMultiArmCyclicByteLaneWriterGraphTests::test_inner_store_leaf_rejects_a_later_covering_writer", "test/test_live_multiarm_cyclic_byte_lane_writer_graph.py::LiveMultiArmCyclicByteLaneWriterGraphTests::test_multiarm_poison_sidecar_is_identity_bound", "test/test_live_multiarm_cyclic_byte_lane_writer_graph.py::LiveMultiArmCyclicByteLaneWriterGraphTests::test_multiarm_writer_capability_and_marker_are_closed", "test/test_live_multiarm_cyclic_byte_lane_writer_graph.py::LiveMultiArmCyclicByteLaneWriterGraphTests::test_pure_carry_arm_rejects_a_covering_writer", "test/test_live_multicell_alias_graph.py::LiveMulticellAliasGraphTests::test_constant_disjoint_cells_are_admitted", "test/test_live_multicell_alias_graph.py::LiveMulticellAliasGraphTests::test_feasible_constant_overlap_is_rejected", "test/test_live_multicell_alias_graph.py::LiveMulticellAliasGraphTests::test_graph_capability_and_symmetry_are_closed", "test/test_live_multicell_alias_graph.py::LiveMulticellAliasGraphTests::test_guard_correlated_overlap_is_admitted", "test/test_live_multicell_alias_graph.py::LiveMulticellAliasGraphTests::test_symbolic_index_correspondence_closes_address_overlap", "test/test_live_recursive_cyclic_byte_lane_writer_graph.py::LiveRecursiveCyclicByteLaneWriterGraphTests::test_deep_store_leaf_rejects_a_later_covering_writer", "test/test_live_recursive_cyclic_byte_lane_writer_graph.py::LiveRecursiveCyclicByteLaneWriterGraphTests::test_direct_and_forwarded_four_leaf_trees_are_closed", "test/test_live_recursive_cyclic_byte_lane_writer_graph.py::LiveRecursiveCyclicByteLaneWriterGraphTests::test_pure_carry_leaf_rejects_a_covering_writer", "test/test_live_recursive_cyclic_byte_lane_writer_graph.py::LiveRecursiveCyclicByteLaneWriterGraphTests::test_recursive_poison_sidecar_is_identity_bound", "test/test_live_recursive_cyclic_byte_lane_writer_graph.py::LiveRecursiveCyclicByteLaneWriterGraphTests::test_recursive_writer_capability_and_marker_are_closed", "test/test_live_recursive_cyclic_byte_lane_writer_graph.py::LiveRecursiveCyclicByteLaneWriterGraphTests::test_specialized_recursive_contract_cannot_borrow_base_proof", "test/test_live_scalar_catch_object.py::LiveScalarCatchObjectTests::test_capability_dependencies_are_closed", "test/test_live_scalar_catch_object.py::LiveScalarCatchObjectTests::test_exact_width_scalar_payload_is_read_after_begin", "test/test_live_scalar_catch_object.py::LiveScalarCatchObjectTests::test_instruction_schema_rejects_boolean_and_extra_fields", "test/test_live_scalar_catch_object.py::LiveScalarCatchObjectTests::test_scalar_payload_survives_caught_checkpoint", "test/test_live_scalar_catch_object.py::LiveScalarCatchObjectTests::test_value_before_begin_and_after_end_fail_closed", "test/test_live_scalar_catch_object.py::LiveScalarCatchObjectTests::test_width_mismatch_fails_closed", "test/test_live_shared_phi_edge_discriminator.py::LiveSharedPhiEdgeDiscriminatorTests::test_assignment_drift_is_rejected", "test/test_live_shared_phi_edge_discriminator.py::LiveSharedPhiEdgeDiscriminatorTests::test_capability_and_contract_are_closed", "test/test_live_shared_phi_edge_discriminator.py::LiveSharedPhiEdgeDiscriminatorTests::test_correlated_load_must_use_registered_tag", "test/test_live_shared_phi_edge_discriminator.py::LiveSharedPhiEdgeDiscriminatorTests::test_correlated_overlap_is_admitted", "test/test_live_shared_phi_edge_discriminator.py::LiveSharedPhiEdgeDiscriminatorTests::test_definition_outside_declared_edges_is_rejected", "test/test_live_state_scheduler.py::LiveStateSchedulerTests::test_bounds_and_worker_filter", "test/test_live_state_scheduler.py::LiveStateSchedulerTests::test_multi_objective_selection_and_feedback", "test/test_live_typed_exception_semantics.py::LiveTypedExceptionTests::test_catch_all_accepts_any_typed_exception", "test/test_live_typed_exception_semantics.py::LiveTypedExceptionTests::test_checkpoint_exception_metadata_is_semantically_validated", "test/test_live_typed_exception_semantics.py::LiveTypedExceptionTests::test_inner_type_mismatch_continues_to_matching_outer_handler", "test/test_live_typed_exception_semantics.py::LiveTypedExceptionTests::test_invalid_match_contracts_fail_closed", "test/test_live_typed_exception_semantics.py::LiveTypedExceptionTests::test_matching_type_exposes_normalized_selector", "test/test_live_typed_exception_semantics.py::LiveTypedExceptionTests::test_nonmatching_type_propagates_to_root", "test/test_live_typed_exception_semantics.py::LiveTypedExceptionTests::test_type_survives_checkpoint_at_matched_landingpad", "test/test_live_typed_exception_semantics.py::LiveTypedExceptionTests::test_typed_contract_is_capability_closed", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_broken_exclusion_fails_closed_on_every_master", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_every_host_holds_and_every_master_observes_exclusion", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_generation_disagreement_fails_closed", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_invalid_generation_reaches_fail_closed_consensus", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_mismatched_stable_lock_record_fails_closed", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_missing_master_is_bounded_and_fails_closed", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_one_local_probe_failure_reaches_consensus_without_lock_rounds", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_proof_transcript_binds_generation_topology_and_all_counts", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_qualification_boundary_contains_rank_exceptions", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_qualification_input_observation_totalizes_ordinary_failures", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_renewal_completion_observes_clock_inside_total_boundary", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_begin_transport_is_total_and_preserves_typestate", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_completion_boundary_contains_rank_exceptions", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_completion_is_failure_atomic", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_configuration_reaches_bounded_consensus", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_configuration_rejects_malformed_record", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_configuration_rejects_parameter_drift", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_configuration_times_out_without_peer", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_controller_fences_requests_and_records_metrics", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_delivery_observation_is_one_shot_and_total", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_jitter_dispersion_avoids_one_fixed_bucket", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_jitter_hash_is_cached_between_generations", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_jitter_is_bounded_reproducible_and_delay_only", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_jitter_rejects_unbounded_values", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_poll_transport_is_total_and_classified", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_rejects_in_flight_configuration_mutation", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_rejects_legacy_unclosed_lock_evidence", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_rejects_previous_generation_result_replay", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_rejects_spliced_proof_fields", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_request_binds_consensus_configuration", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_requires_configuration_consensus_by_default", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_totalizes_malformed_completion_fields", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_transport_is_root_authorized_and_nonblocking", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_renewal_transport_surfaces_partial_send_failure", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_runtime_semantic_drift_is_detected_on_the_next_generation", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_same_content_lock_replacement_fails_namespace_identity_closure", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_same_epoch_can_be_requalified_with_a_new_generation", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_same_processor_names_never_claim_cross_host_evidence", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_stale_capability_filesystem_identity_fails_before_lock_rounds", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_transcript_disagreement_fails_closed_on_every_master", "test/test_mpi_filesystem_qualification.py::ClusterFilesystemQualificationTests::test_work_lease_heartbeat_observation_is_total_and_bounded", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_atomic_corpus_publish_is_verified_and_reports_failure", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_busy_quiescence_vote_emits_exact_abort", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_child_outputs_are_invisible_until_parent_fence_promotes_them", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_completed_work_state_cleanup_is_durable_and_scoped", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_corpus_digest_is_bound_to_a_real_opened_regular_inode", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_failed_assignment_is_requeued_under_the_exact_fence", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_frontends_share_one_lifecycle_implementation", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_hybrid_input_admission_refreshes_identity_and_fences_cache", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_hybrid_shared_filesystem_failure_precedes_service_startup", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_hybrid_shared_filesystem_preflight_enumerates_exact_roots", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_hybrid_worker_result_admission_rejects_whole_parent", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_hybrid_worker_result_scan_is_preflight_bounded", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_hybrid_worker_result_snapshot_rejects_path_replacement", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_hybrid_worker_uninteresting_outputs_use_one_object_heap", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_idle_timeout_uses_elapsed_time_not_rounded_poll_count", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_input_publish_rejects_replacement_and_cleans_temporary_state", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_input_snapshot_publish_and_worker_copy_are_streamed_and_bounded", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_live_state_graph_limits_are_shared_and_bounded", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_master_quiescence_requires_stable_status_vote_and_commit_ack", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_partial_child_promotion_is_replayable_and_idempotent", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_public_corpus_accounting_intersects_external_provenance", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_quiescence_refresh_observes_last_moment_work", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_ready_is_parked_until_active_result_retires", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_rendezvous_work_owner_is_deterministic_and_minimally_remaps", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_result_discovery_is_streamed_flat_and_hard_bounded", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_retired_gc_budget_environment_is_strict", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_retired_work_state_gc_is_bounded_and_prevalidated", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_retired_work_state_gc_resumes_with_a_hard_entry_budget", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_retired_work_state_gc_streams_a_bounded_lexical_top_k", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_retirement_noreplace_probe_is_strict_and_self_cleaning", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_root_stats_exchange_aggregates_and_exactly_acknowledges", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_runtime_lock_configuration_manifest_fails_closed_and_retries", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_runtime_lock_configuration_manifest_has_one_race_winner", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_runtime_lock_configuration_manifest_is_consensus_gated", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_shared_work_coordinator_batches_heartbeats_and_tracks_failures", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_shared_work_coordinator_fences_global_content_ownership", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_shared_work_coordinator_force_recovers_future_lease_once", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_shared_work_coordinator_probes_before_epoch_publication", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_shared_work_coordinator_reuses_exact_prequalified_capability", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_shared_work_recovery_fails_closed_on_invalid_persisted_state", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_shutdown_communication_error_is_not_clean", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_shutdown_consumes_late_result_before_exact_ack", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_simulation_mutations_clean_partial_outputs_on_failure", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_simulation_mutations_have_input_size_independent_python_heap", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_simulation_mutations_preflight_budgets_and_preserve_destinations", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_simulation_mutations_stream_match_legacy_random_semantics", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_staged_and_public_symlinks_cannot_satisfy_a_manifest", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_staged_output_stream_closes_on_first_unexpected_name", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_staged_output_verification_rejects_before_unexpected_io", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_standalone_commit_manifest_and_epoch_are_canonical", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_stats_exchange_is_fail_closed_and_bounded", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_submaster_waits_for_exact_root_ack", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_visible_retirement_with_failed_fsync_is_reclaimable", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_worker_budget_failure_retains_stage_identity_for_master_cleanup", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_worker_input_copy_rejects_path_replacement_during_stream", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_worker_result_payload_is_strict", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_worker_staging_rejects_oversize_and_symlink_without_residue", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_worker_staging_streams_and_counts_duplicate_logical_bytes", "test/test_mpi_lifecycle.py::MpiLifecycleTests::test_worker_staging_write_failure_closes_fds_and_removes_stage", "test/test_offline_policy.py::OfflinePolicyTests::test_conservative_gate_requires_support_and_improvement", "test/test_offline_policy.py::OfflinePolicyTests::test_controller_records_reloadable_jsonl", "test/test_offline_policy.py::OfflinePolicyTests::test_interference_penalizes_redundant_parallel_generation", "test/test_offline_policy.py::OfflinePolicyTests::test_trajectory_cli_outputs_conservative_report", "test/test_offline_policy.py::OfflinePolicyTests::test_trajectory_records_censoring_instance_and_stage_budget", "test/test_offline_policy.py::OfflinePolicyTests::test_trajectory_records_query_ir_structure", "test/test_online_value_profile.py::OnlineValueProfileTests::test_checkpoint_failure_keeps_publication_dirty_for_retry", "test/test_online_value_profile.py::OnlineValueProfileTests::test_contexts_stay_separate_and_resume_is_verified", "test/test_online_value_profile.py::OnlineValueProfileTests::test_cost_floor_preserves_cheap_failures_until_budget_is_material", "test/test_online_value_profile.py::OnlineValueProfileTests::test_cross_worker_admission_and_semantic_generations", "test/test_online_value_profile.py::OnlineValueProfileTests::test_install_requires_matching_content_digest", "test/test_online_value_profile.py::OnlineValueProfileTests::test_low_yield_domain_is_suppressed_then_reexplored", "test/test_online_value_profile.py::OnlineValueProfileTests::test_policy_only_change_publishes_new_evidence_generation", "test/test_online_value_profile.py::OnlineValueProfileTests::test_publication_io_failure_is_fail_open", "test/test_online_value_profile.py::OnlineValueProfileTests::test_publish_interval_retries_without_another_observation", "test/test_online_value_profile.py::OnlineValueProfileTests::test_records_without_a_sidecar_are_reconsidered_after_restart", "test/test_online_value_profile.py::OnlineValueProfileTests::test_recovery_replays_records_not_only_generation_labels", "test/test_online_value_profile.py::OnlineValueProfileTests::test_runtime_and_checkpoint_generation_must_match_on_resume", "test/test_online_value_profile.py::OnlineValueProfileTests::test_state_window_and_malformed_profiles_are_bounded", "test/test_online_value_profile.py::OnlineValueProfileTests::test_truncated_checkpoint_is_rematerialized_after_restart", "test/test_parasuit_parameter_policy.py::ParaSuitParameterPolicyTests::test_branch_trace_normalization_is_stable_strict_and_bounded", "test/test_parasuit_parameter_policy.py::ParaSuitParameterPolicyTests::test_cli_and_mpi_master_use_branch_outcome_parameter_policy", "test/test_parasuit_parameter_policy.py::ParaSuitParameterPolicyTests::test_extraction_isolates_one_value_with_only_transitive_activation_guards", "test/test_parasuit_parameter_policy.py::ParaSuitParameterPolicyTests::test_invalid_controls_totalize_and_missing_coverage_is_not_fabricated", "test/test_parasuit_parameter_policy.py::ParaSuitParameterPolicyTests::test_inverse_frequency_oracle_detects_upstream_branch_count_substitution", "test/test_parasuit_parameter_policy.py::ParaSuitParameterPolicyTests::test_paper_rarity_baseline_and_synergy_penalty_have_exact_oracle", "test/test_parasuit_parameter_policy.py::ParaSuitParameterPolicyTests::test_parasuit_selection_uses_branch_rarity_when_evidence_is_ready", "test/test_parasuit_parameter_policy.py::ParaSuitParameterPolicyTests::test_pending_extraction_phase_survives_bound_state_replay", "test/test_parasuit_parameter_policy.py::ParaSuitParameterPolicyTests::test_provider_is_campaign_scoped_and_registry_controls_are_not_task_arms", "test/test_parasuit_parameter_policy.py::ParaSuitParameterPolicyTests::test_selection_import_does_not_reopen_the_authenticated_state_pair", "test/test_parasuit_parameter_policy.py::ParaSuitParameterPolicyTests::test_three_file_state_replay_and_fail_closed_rejection", "test/test_parasuit_value_policy.py::ParaSuitValuePolicyTests::test_cli_contract_and_mpi_master_use_the_adaptive_policy", "test/test_parasuit_value_policy.py::ParaSuitValuePolicyTests::test_degenerate_and_incomplete_samples_fail_closed_to_exploration", "test/test_parasuit_value_policy.py::ParaSuitValuePolicyTests::test_invalid_control_values_are_totalized_to_bounded_defaults", "test/test_parasuit_value_policy.py::ParaSuitValuePolicyTests::test_native_provider_is_campaign_scoped_and_not_sampled_per_task", "test/test_parasuit_value_policy.py::ParaSuitValuePolicyTests::test_observation_attribution_is_bounded_and_ignores_replay", "test/test_parasuit_value_policy.py::ParaSuitValuePolicyTests::test_persistence_binds_program_registry_and_base_state_digest", "test/test_parasuit_value_policy.py::ParaSuitValuePolicyTests::test_stable_cluster_exploit_constructs_a_bounded_integer_value", "test/test_parasuit_value_policy.py::ParaSuitValuePolicyTests::test_two_separated_value_utility_regions_pass_silhouette_gate", "test/test_parasuit_value_policy.py::ParaSuitValuePolicyTests::test_verified_base_snapshot_is_not_reopened_during_import", "test/test_parglare_sppf_parser.py::ParglareSPPFEngineTests::test_cycle_and_node_bound_fail_closed", "test/test_parglare_sppf_parser.py::ParglareSPPFEngineTests::test_glr_forest_preserves_ambiguity_and_sharing", "test/test_parglare_sppf_parser.py::ParglareSPPFEngineTests::test_invalid_grammar_and_telemetry_tamper_are_rejected", "test/test_parglare_sppf_parser.py::ParglareSPPFEngineTests::test_nullable_forest_uses_v4_certificate", "test/test_parglare_sppf_parser.py::ParglareSPPFEngineTests::test_syntax_rejection_is_a_proof_carrying_negative_trace", "test/test_parglare_sppf_parser.py::ParglareSPPFServiceTests::test_earley_and_glr_are_candidate_paired_differential_oracles", "test/test_parglare_sppf_parser.py::ParglareSPPFServiceTests::test_persistent_service_and_verified_manager", "test/test_parser_equivalence_audit.py::ParserEquivalenceAuditTests::test_exhaustive_equal_domain_and_artifact_verification", "test/test_parser_equivalence_audit.py::ParserEquivalenceAuditTests::test_shortlex_minimal_counterexample_and_cli_contract", "test/test_parser_equivalence_audit.py::ParserEquivalenceAuditTests::test_tamper_and_domain_bounds_fail_closed", "test/test_path_cover.py::MinimumPathCoverPlannerTests::test_diamond_has_multiple_minimum_path_covers", "test/test_path_cover.py::MinimumPathCoverPlannerTests::test_loop_scc_is_collapsed_before_path_cover", "test/test_path_cover.py::MinimumPathCoverPlannerTests::test_prefix_choices_follow_active_cover_and_penalize_infeasible_edge", "test/test_path_cover.py::MinimumPathCoverPlannerTests::test_state_round_trip_preserves_branch_mapping_and_failures", "test/test_persistent_live_continuation.py::PersistentLiveContinuationTests::test_execution_failure_is_recorded_before_requeue", "test/test_persistent_live_continuation.py::PersistentLiveContinuationTests::test_frontier_binding_rejects_a_different_root", "test/test_persistent_live_continuation.py::PersistentLiveContinuationTests::test_heartbeat_loss_rejects_execution_and_requeues_state", "test/test_persistent_live_continuation.py::PersistentLiveContinuationTests::test_new_process_restores_search_and_completes_work", "test/test_persistent_live_continuation.py::PersistentLiveContinuationTests::test_restart_finishes_exactly_the_durable_frontier", "test/test_persistent_live_continuation.py::PersistentLiveContinuationTests::test_solver_artifacts_are_cleaned_without_resource_warning", "test/test_persistent_live_continuation.py::PersistentLiveContinuationTests::test_two_executors_complete_distinct_ready_states", "test/test_persistent_live_state_frontier.py::PersistentLiveStateFrontierTests::test_claim_complete_and_restart_preserve_partition", "test/test_persistent_live_state_frontier.py::PersistentLiveStateFrontierTests::test_digest_corruption_and_root_rebinding_fail_closed", "test/test_persistent_live_state_frontier.py::PersistentLiveStateFrontierTests::test_expiry_reclaim_fences_late_completion", "test/test_persistent_live_state_frontier.py::PersistentLiveStateFrontierTests::test_failed_atomic_replace_keeps_previous_snapshot", "test/test_persistent_live_state_frontier.py::PersistentLiveStateFrontierTests::test_failed_outcome_and_abandon_commit_atomically", "test/test_persistent_live_state_frontier.py::PersistentLiveStateFrontierTests::test_generation_conflict_is_non_mutating", "test/test_persistent_live_state_frontier.py::PersistentLiveStateFrontierTests::test_heartbeat_renews_only_the_current_token", "test/test_persistent_live_state_frontier.py::PersistentLiveStateFrontierTests::test_randomized_restart_sequence_preserves_partition_and_generation", "test/test_persistent_live_state_frontier.py::PersistentLiveStateFrontierTests::test_recomputed_digest_cannot_hide_noncanonical_or_illegal_fencing", "test/test_persistent_live_state_frontier.py::PersistentLiveStateFrontierTests::test_search_configuration_cannot_change_mid_frontier", "test/test_persistent_live_state_frontier.py::PersistentLiveStateFrontierTests::test_two_concurrent_claims_have_one_winner", "test/test_persistent_live_state_frontier.py::StableSearchSnapshotTests::test_multi_objective_is_deterministic_and_feedback_aware", "test/test_persistent_live_state_frontier.py::StableSearchSnapshotTests::test_outcome_context_overflow_remains_bounded_and_restorable", "test/test_persistent_live_state_frontier.py::StableSearchSnapshotTests::test_random_stream_and_counters_restore_exactly", "test/test_persistent_live_state_frontier.py::StableSearchSnapshotTests::test_selection_and_observation_transitions_are_separated", "test/test_persistent_live_state_frontier.py::StableSearchSnapshotTests::test_snapshot_rejects_inconsistent_or_unbounded_fields", "test/test_persistent_live_state_frontier.py::StableSearchSnapshotTests::test_transition_rejects_double_attempt_and_double_completion", "test/test_persistent_live_state_frontier.py::StableSearchSnapshotTests::test_v1_snapshot_upgrades_with_empty_outcome_history", "test/test_pytest_discovery_contract.py::test_default_pytest_discovery_is_project_scoped", "test/test_pytest_discovery_contract.py::test_qsym_suite_is_not_globally_ignored", "test/test_python_test_gate.py::PythonTestGateTests::test_ci_uses_strict_gate_and_archives_machine_readable_result", "test/test_python_test_gate.py::PythonTestGateTests::test_counts_duplicate_subtest_contexts_as_distinct_reports", "test/test_python_test_gate.py::PythonTestGateTests::test_generated_inventory_matches_exact_collection", "test/test_python_test_gate.py::PythonTestGateTests::test_inventory_rejects_equal_count_test_replacement", "test/test_python_test_gate.py::PythonTestGateTests::test_inventory_rejects_tampered_digest_before_pytest", "test/test_python_test_gate.py::PythonTestGateTests::test_passes_complete_capability_closed_fixture", "test/test_python_test_gate.py::PythonTestGateTests::test_rejects_collection_floor_and_missing_capability", "test/test_python_test_gate.py::PythonTestGateTests::test_rejects_skip_and_preserves_reason", "test/test_python_test_gate.py::PythonTestGateTests::test_rejects_subtest_skip_and_preserves_reason", "test/test_qa3_repro.py::QA3CommandTests::test_all_commands_have_side_effect_free_help", "test/test_qa3_repro.py::QA3CommandTests::test_campaign_driver_derives_both_metrics_from_one_campaign", "test/test_qa3_repro.py::QA3CommandTests::test_fifo_policy_does_not_require_showmap_measurement", "test/test_qa3_repro.py::QA3CommandTests::test_iterate_executes_a_minimal_generation", "test/test_qa3_repro.py::QA3CommonTests::test_corpus_replicas_are_interleaved_and_reconciled", "test/test_qa3_repro.py::QA3CommonTests::test_input_reads_are_bounded_before_oracle_submission", "test/test_qa3_repro.py::QA3CommonTests::test_measure_edges_preserves_all_afl_terminal_statuses", "test/test_qa3_repro.py::QA3CommonTests::test_measure_edges_rejects_tool_failures_and_cleans_map", "test/test_qa3_repro.py::QA3CommonTests::test_one_shot_and_streaming_resolve_the_same_input_abi", "test/test_qa3_repro.py::QA3CommonTests::test_output_iteration_is_deterministic_and_ignores_non_inputs", "test/test_qa3_repro.py::QA3CommonTests::test_parse_edge_map_accepts_afl_rows", "test/test_qa3_repro.py::QA3CommonTests::test_parse_edge_map_rejects_untrustworthy_rows", "test/test_qa3_repro.py::QA3CommonTests::test_replicated_measurement_has_explicit_stability_policies", "test/test_qa3_repro.py::QA3CommonTests::test_replicated_measurement_requires_stable_status", "test/test_qa3_repro.py::QA3CommonTests::test_solver_telemetry_is_strict_and_bounded", "test/test_qa3_repro.py::QA3CommonTests::test_streaming_oracle_detects_temporal_edge_drift", "test/test_qa3_repro.py::QA3CommonTests::test_streaming_oracle_falls_back_on_incompatible_probe", "test/test_qa3_repro.py::QA3CommonTests::test_streaming_oracle_reuses_one_persistent_session", "test/test_qa3_repro.py::QA3CommonTests::test_terminal_status_policy_rejects_or_stratifies", "test/test_qf_bv_backend.py::QfBvBackendTest::test_cancelled_incremental_qfbv_context_recovers_cold", "test/test_qf_bv_backend.py::QfBvBackendTest::test_capability_and_response_protocol_are_canonical", "test/test_qf_bv_backend.py::QfBvBackendTest::test_lowering_certificate_and_capability_rejection", "test/test_qf_bv_backend.py::QfBvBackendTest::test_persistent_cvc5_reuses_and_evicts_prefix_contexts", "test/test_qf_bv_backend.py::QfBvBackendTest::test_persistent_timeout_drops_context_and_recovers", "test/test_qf_bv_backend.py::QfBvBackendTest::test_portfolio_cancels_one_shot_qfbv_process", "test/test_qf_bv_backend.py::QfBvBackendTest::test_portfolio_parser_preserves_qfbv_capabilities", "test/test_qf_bv_backend.py::QfBvBackendTest::test_real_cvc5_accepts_the_full_query_ir_operator_matrix", "test/test_qf_bv_backend.py::QfBvBackendTest::test_real_cvc5_sat_model_is_verified_twice", "test/test_qf_bv_backend.py::QfBvBackendTest::test_store_rejects_model_tampering_after_backend_validation", "test/test_qf_bv_backend.py::QfBvBackendTest::test_unsat_requires_explicit_backend_authorization", "test/test_qf_bv_campaign.py::QfBvCampaignTest::test_confirmatory_mode_requires_real_disjoint_repetitions", "test/test_qf_bv_campaign.py::QfBvCampaignTest::test_corpus_split_is_deterministic_and_tamper_evident", "test/test_qf_bv_campaign.py::QfBvCampaignTest::test_inner_model_tamper_is_rejected_after_rehash", "test/test_qf_bv_campaign.py::QfBvCampaignTest::test_real_campaign_semantically_replays", "test/test_qf_bv_campaign.py::QfBvCampaignTest::test_real_three_solver_campaign_is_verified", "test/test_qf_bv_conformance.py::QfBvConformanceTest::test_backend_configuration_is_exact_and_bounded", "test/test_qf_bv_conformance.py::QfBvConformanceTest::test_cli_generates_and_offline_verifies_artifact", "test/test_qf_bv_conformance.py::QfBvConformanceTest::test_fixed_bitwuzla_artifact_replays_semantically", "test/test_qf_bv_conformance.py::QfBvConformanceTest::test_fixed_bitwuzla_artifact_verifies_and_detects_tampering", "test/test_qf_bv_conformance.py::QfBvConformanceTest::test_operator_matrix_has_exact_supported_surface", "test/test_qf_bv_coverage_join.py::QfBvCoverageJoinTest::test_real_coverage_join_semantically_replays", "test/test_qf_bv_coverage_join.py::QfBvCoverageJoinTest::test_real_paired_edge_data_join_is_verified", "test/test_qf_bv_coverage_join.py::QfBvCoverageJoinTest::test_rehashed_coverage_and_namespace_tampering_are_rejected", "test/test_qf_bv_coverage_join.py::QfBvCoverageJoinTest::test_target_identity_drift_and_synthetic_confirmatory_are_rejected", "test/test_qf_bv_strategy_campaign.py::QfBvStrategyCampaignTest::test_policy_bundle_rebuilds_and_rejects_holdout_leakage", "test/test_qf_bv_strategy_campaign.py::QfBvStrategyCampaignTest::test_real_six_arm_campaign_is_verified", "test/test_qf_bv_strategy_campaign.py::QfBvStrategyCampaignTest::test_real_strategy_campaign_semantically_replays", "test/test_qf_bv_strategy_campaign.py::QfBvStrategyCampaignTest::test_rehashed_invalid_outer_model_is_rejected", "test/test_qf_bv_strategy_campaign.py::QfBvStrategyCampaignTest::test_rehashed_schedule_and_winner_tampering_are_rejected", "test/test_query_store.py::QueryStoreTest::test_cancelled_persistent_helper_restarts_cold", "test/test_query_store.py::QueryStoreTest::test_conflict_solution_is_verified_indexed_and_reused", "test/test_query_store.py::QueryStoreTest::test_conflict_solution_protocol_rejects_invalid_core", "test/test_query_store.py::QueryStoreTest::test_content_addressing_and_prefix_trie", "test/test_query_store.py::QueryStoreTest::test_fake_sat_model_fails_query_ir_materialization_gate", "test/test_query_store.py::QueryStoreTest::test_fenced_lease_rejects_stale_completion", "test/test_query_store.py::QueryStoreTest::test_helper_interrupt_reaps_descendants_after_leader_exit", "test/test_query_store.py::QueryStoreTest::test_iterative_query_ir_evaluator_bounds_deep_and_cyclic_dags", "test/test_query_store.py::QueryStoreTest::test_one_shot_solver_bounds_streams_and_parses_strict_json", "test/test_query_store.py::QueryStoreTest::test_partial_solution_cache_materializes_verified_candidate", "test/test_query_store.py::QueryStoreTest::test_partial_solution_cache_rejects_unverified_candidate", "test/test_query_store.py::QueryStoreTest::test_persistent_solver_strict_json_and_diagnostic_backpressure", "test/test_query_store.py::QueryStoreTest::test_persists_generator_and_materializes_fixed_completion", "test/test_query_store.py::QueryStoreTest::test_portfolio_cancels_persistent_helper_before_io_admission", "test/test_query_store.py::QueryStoreTest::test_portfolio_grace_observes_fast_sat_unsat_disagreement", "test/test_query_store.py::QueryStoreTest::test_portfolio_interrupts_running_one_shot_helper_after_sat", "test/test_query_store.py::QueryStoreTest::test_portfolio_solver_persists_attempt_telemetry", "test/test_query_store.py::QueryStoreTest::test_portfolio_solver_rejects_sat_unsat_disagreement", "test/test_query_store.py::QueryStoreTest::test_portfolio_solver_runs_backends_in_parallel", "test/test_query_store.py::QueryStoreTest::test_public_query_ir_loader_requires_stable_bound_query_body", "test/test_query_store.py::QueryStoreTest::test_query_store_solves_path_schedule_and_read_from_jointly", "test/test_query_store.py::QueryStoreTest::test_replays_generator_with_query_ir_validation", "test/test_query_store.py::QueryStoreTest::test_sat_completion_requires_store_verified_query_ir_candidate", "test/test_query_store.py::QueryStoreTest::test_schedule_artifact_joint_query_validation", "test/test_query_store.py::QueryStoreTest::test_solver_result_materializes_candidate", "test/test_query_store.py::QueryStoreTest::test_spool_ingestion_is_atomic_and_quarantines_bad_json", "test/test_query_store.py::QueryStoreTest::test_unsat_clause_set_prunes_later_superset", "test/test_research_evidence.py::ResearchEvidenceTests::test_backend_validator_records_expected_oracle_and_capability", "test/test_research_evidence.py::ResearchEvidenceTests::test_evidence_cli_writes_and_verifies_manifest", "test/test_research_evidence.py::ResearchEvidenceTests::test_evidence_manifest_enforces_claim_scope_and_digest", "test/test_research_protocol.py::ResearchProtocolTests::test_auc_and_right_censored_time_to_target", "test/test_research_protocol.py::ResearchProtocolTests::test_candidate_paired_cross_parser_calibration_is_sealed", "test/test_research_protocol.py::ResearchProtocolTests::test_cli_plan_run_and_verify_results", "test/test_research_protocol.py::ResearchProtocolTests::test_cli_plans_complete_forest_ablation", "test/test_research_protocol.py::ResearchProtocolTests::test_cli_plans_cross_parser_calibration", "test/test_research_protocol.py::ResearchProtocolTests::test_complete_forest_ablation_matrix_and_artifact_binding", "test/test_research_protocol.py::ResearchProtocolTests::test_confirmatory_plan_is_complete_paired_and_equal_cpu", "test/test_research_protocol.py::ResearchProtocolTests::test_confirmatory_plan_rejects_underpowered_repeats", "test/test_research_protocol.py::ResearchProtocolTests::test_executor_retains_success_failure_and_timeout", "test/test_research_protocol.py::ResearchProtocolTests::test_manifest_tamper_is_rejected", "test/test_research_protocol.py::ResearchProtocolTests::test_parser_ablation_matrix_and_artifact_binding", "test/test_research_protocol.py::ResearchProtocolTests::test_pcfg_ablation_matrix_and_artifact_binding", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_bounded_dpor_generates_conflicting_mutex_prefix", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_condition_wait_updates_lockset_without_assuming_wake_hb", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_condpor_backward_revisit_and_maximal_extension", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_condpor_rejects_causal_or_protected_revisit", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_condpor_revisit_identity_persists_across_observations", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_condpor_withholds_path_dependent_suffix_for_replay", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_happens_before_tracks_lock_release_acquire", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_independent_objects_do_not_generate_replay", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_joint_path_schedule_read_from_solver", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_lockset_suppresses_protected_memory_conflict", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_memory_conflict_generates_source_backtrack_prefix", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_operational_enabledness_and_terminal_certificate", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_prefix_file_and_preload_helpers", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_ra_fence_sc_order_race_and_mixed_size_rules", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_ra_release_acquire_message_passing", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_ra_rmw_release_sequence_and_atomicity", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_rwunlock_releases_lockset_before_later_memory_access", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_sc_tso_and_ra_store_buffering_litmus", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_constraint_artifact_matches_replay_queue", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_explorer_writes_bounded_smt_artifact", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_linear_extension_certificate_and_replay_projection", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_linear_extension_certificate_checks_choices", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_smt_allows_overlapping_rwlock_readers", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_smt_artifact_encodes_partial_order_and_prefix", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_smt_bounds_query_count", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_smt_condition_wait_split_and_wake_witness", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_smt_hb_assumptions_use_complete_trace", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_smt_incomplete_thread_evidence_stays_conservative", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_smt_mutex_state_rejects_forced_overlap", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_smt_partial_order_elides_total_permutation", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_smt_partial_order_links_are_strict", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_smt_reports_candidates_outside_event_bound", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_smt_scaled_anchors_replace_quadratic_links", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_smt_signal_is_unique_but_broadcast_is_reusable", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_smt_sync_state_can_be_disabled_and_legacy_materialized", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_smt_thread_create_and_join_operational_order", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_smt_timed_wait_reacquires_mutex_without_wake_witness", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_smt_trylock_failure_is_optional_busy_witness", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_schedule_solver_lazy_refinement_and_direct_model", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_source_dpor_certificate_checks_equivalence_classes", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_source_dpor_persists_bounded_sleep_sets", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_source_dpor_tracks_equivalent_observed_traces", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_source_dpor_uses_causal_wakeup_sequence", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_thread_lifecycle_vector_clocks_suppress_joined_conflict", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_trace_parser_keeps_controlled_events_in_order", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_trace_parser_preserves_memory_provenance_tags", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_trace_parser_resolves_cmpxchg_result", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_tso_store_forwarding_rejects_stale_same_thread_read", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_wakeup_tree_certificate_checks_runtime_ready_root", "test/test_schedule_exploration.py::ScheduleExplorationTests::test_wakeup_tree_elides_weak_initial_equivalent_leaf", "test/test_schedule_exploration.py::ScheduleRuntimeTests::test_memory_owner_filter_emits_compressed_shared_transition", "test/test_schedule_exploration.py::ScheduleRuntimeTests::test_memory_provenance_tags_are_emitted_for_memory_rows", "test/test_schedule_exploration.py::ScheduleRuntimeTests::test_memory_stack_filter_skips_current_thread_stack", "test/test_schedule_exploration.py::ScheduleRuntimeTests::test_preload_runtime_preserves_target_after_cancelled_join", "test/test_schedule_exploration.py::ScheduleRuntimeTests::test_preload_runtime_records_and_replays_mutex_prefix", "test/test_schedule_exploration.py::ScheduleRuntimeTests::test_preload_runtime_records_condition_mutex_lifecycle", "test/test_schedule_exploration.py::ScheduleRuntimeTests::test_preload_runtime_records_stable_create_join_lifecycle", "test/test_schedule_exploration.py::ScheduleRuntimeTests::test_preload_runtime_records_timed_wait_mutex_reacquire", "test/test_schedule_exploration.py::ScheduleRuntimeTests::test_preload_runtime_retires_detached_thread_identity", "test/test_schedule_exploration.py::ScheduleRuntimeTests::test_preload_runtime_reuses_detached_registry_slots", "test/test_self_config.py::SelfConfiguringPolicyTests::test_abandon_removes_undispatched_parameter_assignment", "test/test_self_config.py::SelfConfiguringPolicyTests::test_assignment_token_attributes_reward_and_persists", "test/test_self_config.py::SelfConfiguringPolicyTests::test_builtin_provider_matches_the_legacy_schema_snapshot", "test/test_self_config.py::SelfConfiguringPolicyTests::test_condition_graph_rejects_cycles_and_prunes_inactive_values", "test/test_self_config.py::SelfConfiguringPolicyTests::test_context_and_interaction_posteriors_are_isolated_and_persist", "test/test_self_config.py::SelfConfiguringPolicyTests::test_discovers_profile_and_custom_parameters", "test/test_self_config.py::SelfConfiguringPolicyTests::test_executor_guards_sampling_and_exact_profiles", "test/test_self_config.py::SelfConfiguringPolicyTests::test_native_provider_merge_is_atomic_and_records_provenance", "test/test_self_config.py::SelfConfiguringPolicyTests::test_numeric_space_expands_after_productive_observations", "test/test_self_config.py::SelfConfiguringPolicyTests::test_parameter_payload_rejects_non_symcc_environment_keys", "test/test_self_config.py::SelfConfiguringPolicyTests::test_process_lifecycle_parameters_are_not_sampled_per_task", "test/test_self_config.py::SelfConfiguringPolicyTests::test_provider_command_has_output_and_time_bounds", "test/test_self_config.py::SelfConfiguringPolicyTests::test_provider_protocol_rejects_malformed_contracts", "test/test_self_config.py::SelfConfiguringPolicyTests::test_registry_provenance_is_persisted_without_importing_old_discovery", "test/test_self_config.py::SelfConfiguringPolicyTests::test_transfer_prior_is_read_only_and_target_statistics_start_clean", "test/test_semantic_fallback.py::SemanticFallbackTests::test_byte_local_taint_prefers_exact_solve_and_focus", "test/test_semantic_fallback.py::SemanticFallbackTests::test_repeated_unproductive_timeouts_become_skip", "test/test_semantic_fallback.py::SemanticFallbackTests::test_state_persists_branch_summaries", "test/test_semantic_fallback.py::SemanticFallbackTests::test_timeout_wide_constraint_prefers_sampling", "test/test_semantic_proposals.py::SemanticProposalTests::test_adaptive_calibration_certifies_drift_and_recovery", "test/test_semantic_proposals.py::SemanticProposalTests::test_circuit_adaptive_certificate_uses_two_baselines", "test/test_semantic_proposals.py::SemanticProposalTests::test_core_inverse_candidates_are_bounded_and_ingested", "test/test_semantic_proposals.py::SemanticProposalTests::test_grandparent_circuit_is_calibrated_and_persistent", "test/test_semantic_proposals.py::SemanticProposalTests::test_heap_partition_generates_split_and_merge_variants", "test/test_semantic_proposals.py::SemanticProposalTests::test_hierarchical_parent_conditioned_pcfg_and_fallback", "test/test_semantic_proposals.py::SemanticProposalTests::test_history_adaptive_certificate_uses_four_baselines", "test/test_semantic_proposals.py::SemanticProposalTests::test_incremental_ect_subtree_correspondence_and_tamper_gate", "test/test_semantic_proposals.py::SemanticProposalTests::test_mutual_cfg_cycle_drives_bounded_derivation_and_tamper_gate", "test/test_semantic_proposals.py::SemanticProposalTests::test_nullable_scc_fixed_point_enables_context_safe_deletion", "test/test_semantic_proposals.py::SemanticProposalTests::test_online_grammar_spans_variable_length_and_feedback_persist", "test/test_semantic_proposals.py::SemanticProposalTests::test_ordered_sibling_factor_is_exact_and_persistent", "test/test_semantic_proposals.py::SemanticProposalTests::test_packed_epsilon_trace_learns_context_safe_deletion", "test/test_semantic_proposals.py::SemanticProposalTests::test_pareto_data_and_string_feedback_persists", "test/test_semantic_proposals.py::SemanticProposalTests::test_pareto_rule_frontier_preserves_objective_extremes", "test/test_semantic_proposals.py::SemanticProposalTests::test_parser_rejection_splits_rule_by_local_context", "test/test_semantic_proposals.py::SemanticProposalTests::test_pcfg_context_order_is_cost_faithful_and_artifact_is_sealed", "test/test_semantic_proposals.py::SemanticProposalTests::test_pcfg_posterior_inside_outside_and_persistence", "test/test_semantic_proposals.py::SemanticProposalTests::test_prequential_context_calibration_falls_back_on_drift", "test/test_semantic_proposals.py::SemanticProposalTests::test_query_ir_verified_grammar_hole_completion_and_tamper_gate", "test/test_semantic_proposals.py::SemanticProposalTests::test_recency_calibration_detects_stale_and_recovers", "test/test_semantic_proposals.py::SemanticProposalTests::test_recursive_production_and_independent_grammar_bitmap_persist", "test/test_semantic_proposals.py::SemanticProposalTests::test_relation_aware_slot_transactions_preserve_exploration", "test/test_semantic_proposals.py::SemanticProposalTests::test_retained_history_acquisition_is_plateau_gated_and_persists", "test/test_semantic_proposals.py::SemanticProposalTests::test_second_order_sibling_history_is_exact_and_persistent", "test/test_semantic_proposals.py::SemanticProposalTests::test_shared_packed_dag_learns_deep_context_safe_subtree", "test/test_semantic_proposals.py::SemanticProposalTests::test_sibling_adaptive_certificate_uses_three_baselines", "test/test_semantic_proposals.py::SemanticProposalTests::test_solve_complete_uses_token_grammar_and_core_shape", "test/test_semantic_proposals.py::SemanticProposalTests::test_structural_parser_context_replaces_lexical_context_and_persists", "test/test_semantic_proposals.py::SemanticProposalTests::test_surrogate_transfers_higher_progress_exemplar", "test/test_semantic_proposals.py::SemanticProposalTests::test_synchronized_multislot_transaction_is_atomic_and_persistent", "test/test_semantic_proposals.py::SemanticProposalTests::test_targeted_transform_uses_ifss_relevance_slices", "test/test_semantic_proposals.py::SemanticProposalTests::test_token_grammar_rule_synthesis", "test/test_smt_algorithm_scheduler.py::SMTAlgorithmSchedulerTests::test_abandon_rewinds_undispatched_stage_but_discard_does_not", "test/test_smt_algorithm_scheduler.py::SMTAlgorithmSchedulerTests::test_legacy_nine_dimensional_state_is_zero_extended", "test/test_smt_algorithm_scheduler.py::SMTAlgorithmSchedulerTests::test_lifo_abandon_restores_sequence_number_and_token", "test/test_smt_algorithm_scheduler.py::SMTAlgorithmSchedulerTests::test_preferred_sequence_propensity_accounts_for_exploration_hit", "test/test_smt_algorithm_scheduler.py::SMTAlgorithmSchedulerTests::test_query_ir_structure_enters_context", "test/test_smt_algorithm_scheduler.py::SMTAlgorithmSchedulerTests::test_sequence_advances_across_seed_replays", "test/test_smt_algorithm_scheduler.py::SMTAlgorithmSchedulerTests::test_state_round_trip", "test/test_smt_algorithm_scheduler.py::SMTAlgorithmSchedulerTests::test_timeout_is_charged_as_par2_cost", "test/test_smt_schedule_smbo.py::SmtScheduleSmboTests::test_bounded_acquisition_trace_is_deterministic", "test/test_smt_schedule_smbo.py::SmtScheduleSmboTests::test_cli_trains_and_verifies_artifact", "test/test_smt_schedule_smbo.py::SmtScheduleSmboTests::test_digest_and_rehashed_acquisition_tampering_are_rejected", "test/test_smt_schedule_smbo.py::SmtScheduleSmboTests::test_expected_improvement_handles_certainty_and_uncertainty", "test/test_smt_schedule_smbo.py::SmtScheduleSmboTests::test_loader_drives_budgeted_scheduler_with_explicit_kind", "test/test_smt_sequence_optimizer.py::SmtSequenceOptimizerTests::test_cli_trains_and_verifies_artifact", "test/test_smt_sequence_optimizer.py::SmtSequenceOptimizerTests::test_complementary_actions_produce_deterministic_global_schedule", "test/test_smt_sequence_optimizer.py::SmtSequenceOptimizerTests::test_digest_and_rehashed_optimizer_tampering_are_rejected", "test/test_smt_sequence_optimizer.py::SmtSequenceOptimizerTests::test_legacy_ensemble_loads_under_v2_scheduler", "test/test_smt_sequence_optimizer.py::SmtSequenceOptimizerTests::test_scheduler_executes_budgeted_prior_across_replays", "test/test_smt_sequence_optimizer.py::SmtSequenceOptimizerTests::test_under_observed_action_is_excluded_from_model", "test/test_smt_sequence_training.py::SmtSequenceTrainingTests::test_bic_rejects_a_degenerate_split", "test/test_smt_sequence_training.py::SmtSequenceTrainingTests::test_cli_trains_and_verifies_the_same_artifact", "test/test_smt_sequence_training.py::SmtSequenceTrainingTests::test_digest_and_rehashed_structural_tampering_are_rejected", "test/test_smt_sequence_training.py::SmtSequenceTrainingTests::test_timeout_is_censored_and_charged_as_par2", "test/test_smt_sequence_training.py::SmtSequenceTrainingTests::test_unsupported_cluster_emits_no_recommendation", "test/test_smt_sequence_training.py::SmtSequenceTrainingTests::test_v1_artifact_remains_verified_and_accepts_v2_context", "test/test_smt_sequence_training.py::SmtSequenceTrainingTests::test_v2_query_ir_features_are_bounded_and_scale_aware", "test/test_smt_sequence_training.py::SmtSequenceTrainingTests::test_verified_policy_is_only_a_scheduler_preference", "test/test_smt_sequence_training.py::SmtSequenceTrainingTests::test_xmeans_finds_context_specific_sequences_deterministically", "test/test_solution_generator.py::SolutionGeneratorTests::test_converter_recipe_validation_is_fail_closed", "test/test_solution_generator.py::SolutionGeneratorTests::test_field_sampling_emits_boundary_models", "test/test_solution_generator.py::SolutionGeneratorTests::test_fixed_completion_is_replayed_when_converter_is_identical", "test/test_solution_generator.py::SolutionGeneratorTests::test_inverts_composed_word_converter", "test/test_solution_generator.py::SolutionGeneratorTests::test_rejects_duplicate_ranges", "test/test_solution_generator.py::SolutionGeneratorTests::test_replays_persistent_converter_recipes_cumulatively", "test/test_solution_generator.py::SolutionGeneratorTests::test_sampling_is_deterministic_and_verifier_gated", "test/test_solution_generator.py::SolutionGeneratorTests::test_sampling_rejects_out_of_witness_offsets", "test/test_solution_generator.py::SolutionGeneratorTests::test_validates_optimistic_partition_and_verifier_metrics", "test/test_solution_generator.py::SolutionGeneratorTests::test_validates_tactic_model_converter_provenance", "test/test_string_constraints.py::StringConstraintTests::test_backend_configuration_builds_bounded_portfolio", "test/test_string_constraints.py::StringConstraintTests::test_contextual_feedback_uses_concrete_string_verification", "test/test_string_constraints.py::StringConstraintTests::test_contextual_portfolio_learns_persists_and_conformance_bypasses", "test/test_string_constraints.py::StringConstraintTests::test_decimal_conversion_stays_in_exact_atoi_subdomain", "test/test_string_constraints.py::StringConstraintTests::test_dual_view_combines_byte_and_string_constraints", "test/test_string_constraints.py::StringConstraintTests::test_legacy_materializer_skips_noop_equal_record", "test/test_string_constraints.py::StringConstraintTests::test_legacy_query_upgrades_and_length_views_are_exact", "test/test_string_constraints.py::StringConstraintTests::test_materializes_offset_patches_with_verifier", "test/test_string_constraints.py::StringConstraintTests::test_normalizes_and_verifies_string_theory_query", "test/test_string_constraints.py::StringConstraintTests::test_operation_artifact_requires_exact_first_nul_span", "test/test_string_constraints.py::StringConstraintTests::test_parallel_portfolio_validates_sat_and_reports_disagreement", "test/test_string_constraints.py::StringConstraintTests::test_rejects_duplicate_patch_offsets", "test/test_string_constraints.py::StringConstraintTests::test_rejects_overlapping_string_variable_spans", "test/test_string_constraints.py::StringConstraintTests::test_runtime_operations_become_dual_view_alternatives", "test/test_string_constraints.py::StringConstraintTests::test_signed_decimal_strtol10_contract", "test/test_string_constraints.py::StringConstraintTests::test_smtlib_cli_uses_explicit_byte_model_protocol", "test/test_string_constraints.py::StringConstraintTests::test_solver_candidate_is_semantically_verified", "test/test_string_constraints.py::StringConstraintTests::test_unsigned_decimal_strtoul10_respects_target_width", "test/test_structural_tasks.py::DynamicStructuralTaskAllocatorTests::test_feedback_maps_targets_and_assigns_exclusive_owners", "test/test_structural_tasks.py::DynamicStructuralTaskAllocatorTests::test_feedback_state_round_trip", "test/test_structural_tasks.py::ProgramTaskGraphTests::test_cross_module_calls_form_structural_regions", "test/test_structural_tasks.py::ProgramTaskGraphTests::test_merger_preserves_task_graph_without_directed_targets", "test/test_structural_tasks.py::ProgramTaskGraphTests::test_recursive_functions_collapse_to_one_region", "test/test_tace_profile.py::TaceProfileTests::test_density_parser_is_bounded_deduplicated_and_sorted", "test/test_tace_profile.py::TaceProfileTests::test_missing_density_falls_back_to_full_symbolization", "test/test_transform_artifact_bundle.py::TransformArtifactBundleTests::test_cli_publish_verify_extract_and_audit", "test/test_transform_artifact_bundle.py::TransformArtifactBundleTests::test_concurrent_publishers_serialize_log_indices", "test/test_transform_artifact_bundle.py::TransformArtifactBundleTests::test_seal_role_and_key_pair_mismatch_fail_closed", "test/test_transform_artifact_bundle.py::TransformArtifactBundleTests::test_signature_proof_and_blob_tampering_are_rejected", "test/test_transform_artifact_bundle.py::TransformArtifactBundleTests::test_signed_inclusion_and_cross_host_extraction", "test/test_transform_artifact_bundle.py::TransformArtifactBundleTests::test_wrong_trust_root_and_log_rewrite_are_rejected", "test/test_tree_sitter_incremental_parser.py::IncrementalTreeSitterEngineTests::test_cache_eviction_is_bounded", "test/test_tree_sitter_incremental_parser.py::IncrementalTreeSitterEngineTests::test_invalid_edit_falls_back_to_cold_parse", "test/test_tree_sitter_incremental_parser.py::IncrementalTreeSitterEngineTests::test_native_edit_and_node_identity_receipt", "test/test_tree_sitter_incremental_parser.py::IncrementalTreeSitterEngineTests::test_node_bound_fails_closed", "test/test_tree_sitter_incremental_parser.py::IncrementalTreeSitterEngineTests::test_rejected_tree_is_not_cached", "test/test_tree_sitter_incremental_parser.py::IncrementalTreeSitterProtocolTests::test_bounded_rpc_frame_round_trip", "test/test_tree_sitter_incremental_parser.py::IncrementalTreeSitterProtocolTests::test_manifest_digest_is_derived_from_file", "test/test_tree_sitter_incremental_parser.py::RealTreeSitterIntegrationTests::test_json_incremental_parse_reuses_native_node_identity", "test/test_tree_sitter_incremental_parser.py::RealTreeSitterIntegrationTests::test_unix_service_cli_emits_verified_incremental_receipt", "test/test_tree_sitter_incremental_parser.py::RealTreeSitterIntegrationTests::test_verified_proposal_manager_accepts_native_reuse_receipt", "test/test_ucsan_seed.py::UCSanSeedTests::test_alias_encodes_shared_and_cyclic_object_graph", "test/test_ucsan_seed.py::UCSanSeedTests::test_alias_rejects_zero_object_id", "test/test_ucsan_seed.py::UCSanSeedTests::test_canonical_payload_path_and_verification_report", "test/test_ucsan_seed.py::UCSanSeedTests::test_canonicalize_preserves_aliases_with_deterministic_ids", "test/test_ucsan_seed.py::UCSanSeedTests::test_learns_majority_alias_cycle_and_drops_rare_paths", "test/test_ucsan_seed.py::UCSanSeedTests::test_object_path_uses_pointee_marker", "test/test_ucsan_seed.py::UCSanSeedTests::test_read_rejects_symlink", "test/test_ucsan_seed.py::UCSanSeedTests::test_rejects_duplicate_path_and_object_payload", "test/test_ucsan_seed.py::UCSanSeedTests::test_rejects_invalid_shape_bounds_and_combined_kind", "test/test_ucsan_seed.py::UCSanSeedTests::test_round_trip_preserves_root_object_and_negative_bound", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_dispatch_abandon_distinguishes_unsent_and_lost_result", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_inconsistent_native_parser_telemetry_is_rejected", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_incremental_parser_cache_reuse_receipt_is_verified", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_independent_parser_oracle_is_required_after_target_validation", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_jsonl_scan_deduplicates_and_state_recovers_inflight_work", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_large_ect_evidence_prunes_instances_without_losing_fragment", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_multislot_cfg_fragment_preserves_both_recursive_slots", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_packed_production_families_are_deterministically_bounded", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_parser_cache_can_be_cost_faithfully_disabled", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_parser_trace_is_fail_closed_on_exit_mismatch", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_patch_candidate_requires_target_validation_before_retention", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_query_hole_certificate_is_strict_and_persists", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_recursive_parser_production_induces_bounded_wrapper", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_repeated_recursive_instances_deduplicate_cfg_productions", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_trace_v2_preserves_packed_alternatives_and_epsilon", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_trace_v2_rejects_incomplete_packed_child_partition", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_trace_v3_extracts_shared_dag_and_deep_alternative_nodes", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_trace_v3_rejects_shared_node_in_selected_primary_tree", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_trace_v4_certifies_nullable_scc_fixed_point", "test/test_verified_proposals.py::VerifiedProposalManagerTests::test_versioned_parser_trace_extracts_and_persists_structure", "test/test_verifier_loop.py::VerifierLoopTests::test_concrete_replay_and_quorum_accept", "test/test_verifier_loop.py::VerifierLoopTests::test_failed_concrete_gate_rejects_even_with_other_evidence", "test/test_verifier_loop.py::VerifierLoopTests::test_malformed_validator_is_a_negative_evidence", "test/test_verifier_loop.py::VerifierLoopTests::test_slow_validator_is_rejected_after_return" ], "nodeids_sha256": "c4f0234fe336400cae7956bfffcbf405e19f96c2d1380fe5784f9f745e904ff0", "root": "test", "schema": "symcc-pytest-nodeid-manifest-v1" }