============================= test session starts ==============================
platform linux -- Python 3.12.3, pytest-9.1.1, pluggy-1.6.0
rootdir: /home/ubuntu/code/symcc
configfile: pytest.ini
collected 960 items

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

========================= 960 tests collected in 0.56s =========================
python-test-inventory: PASS (collected=960, sha256=f1f3225ef0dc6a21c2a87f9be60cbae70eee04d34768fbc672939856733f09d7)