List of all items
Structs
- DockerWatcherOptions
- args_parser::ParsedArgs
- args_parser::WrapperOptions
- attached_diagnostics::AttachedDiagnostics
- attached_diagnostics::DiagnosticFacts
- cgroup_memory::CgroupMemory
- cpu_penalty::Action
- cpu_penalty::Config
- cpu_penalty::Sample
- cpu_penalty::State
- detached_finalize::DetachedFinalizeFacts
- detached_finalize::FinalizeOutcome
- detached_output::OutputObserver
- docker_post_mortem::ContainerPostMortem
- docker_snapshot_resume::SnapshotReporter
- docker_snapshot_safety::PreflightOptions
- docker_snapshot_safety::SnapshotFailure
- docker_snapshot_safety::SnapshotLockRequest
- execution_attach::AttachPlan
- execution_attach::AttachResultFields
- execution_attach::ExecutionAttachResult
- execution_attach::InteractiveRunOutput
- execution_attach::SystemInteractiveRunner
- execution_attempt::ExecutionAttempt
- execution_chain::ChainLog
- execution_cleanup::CleanupOutcome
- execution_control::CommandRunOutput
- execution_control::ControlCommand
- execution_control::ExecutionControlResult
- execution_control::SystemCommandRunner
- execution_recovery::RecoveryDelayHooks
- execution_recovery::RecoveryFacts
- execution_recovery::RecoveryOutcome
- execution_recovery::RecoverySeparator
- execution_resume::ExecutionResumeResult
- execution_resume::ResumePlan
- execution_resume::ResumeResultFields
- execution_resume::ResumeStep
- execution_resume::SystemResumeHooks
- execution_resume_all::ExecutionResumeAllResult
- execution_resume_all::ResumeAllEntry
- execution_store::CleanupOptions
- execution_store::CleanupResult
- execution_store::ConsistencyResult
- execution_store::ExecutionRecord
- execution_store::ExecutionRecordOptions
- execution_store::ExecutionStats
- execution_store::ExecutionStore
- execution_store::ExecutionStoreOptions
- exit_reason::ExitCodeDescription
- exit_reason::ExitReasonMarker
- exit_reason::MemoryExhaustion
- failure_handler::Config
- failure_handler::RepoInfo
- formal_ai::Outcome
- formal_ai::TaskOptions
- formal_ai_cli::CliOptions
- formal_ai_client::ClientError
- formal_ai_client::Completion
- formal_ai_client::HttpClient
- formal_ai_client::ToolCall
- formal_ai_policy::BoundSpec
- formal_ai_policy::Bounds
- formal_ai_policy::Decision
- formal_ai_policy::EffectDiff
- formal_ai_policy::Fingerprint
- formal_ai_policy::PolicyContext
- formal_ai_policy::Tokenized
- formal_ai_policy::Verification
- formal_ai_runtime::Runtime
- formal_ai_runtime::RuntimeIdentity
- formal_ai_tool::ToolOptions
- formal_ai_tool::ToolReceipt
- isolation::IsolationOptions
- isolation::IsolationResult
- isolation::isolation_log::LogHeaderParams
- launch_identity::LaunchPlan
- launch_identity::PreflightParams
- log_sanitizer::PreparedLog
- output_blocks::FinishBlockOptions
- output_blocks::IsolationMetadata
- output_blocks::StartBlockOptions
- query_commands::QueryOutcome
- recovery_delay::RecoveryDelayRange
- sequence_parser::IsolationChainOptions
- session_probe::SessionProbe
- snapshot_resume_options::SnapshotResumeOptions
- snapshot_resume_options::SnapshotSettings
- status_footer::LogFooter
- status_formatter::StatusQueryResult
- status_probe::DockerState
- store_lock::LockManager
- substitution::ProcessOptions
- substitution::Rule
- substitution::SubstitutionResult
- user_manager::CreateIsolatedUserOptions
- user_manager::CreateUserOptions
- user_manager::DeleteUserOptions
- user_manager::UserInfo
- user_manager::UserOperationResult
Enums
- DockerContainerCleanupPolicy
- cgroup_memory::OomScope
- execution_cleanup::CleanupState
- execution_control::ControlAction
- execution_resume::ResumeMode
- execution_resume_all::ResumeAllAction
- execution_store::ExecutionStatus
- formal_ai_client::HttpError
- isolation::ShellQuotingStyle
- launch_identity::ClaimError
- session_probe::SessionState
- store_decode_cache::DecodeSource
Traits
- execution_attach::InteractiveRunner
- execution_control::CommandRunner
- execution_resume::ResumeHooks
- formal_ai_client::CompletionClient
Macros
Functions
- args_parser::generate_session_name
- args_parser::generate_uuid
- args_parser::get_effective_mode
- args_parser::has_isolation
- args_parser::is_valid_uuid
- args_parser::parse_args
- args_parser::validate_options
- args_parser_queries::active_query_modes
- args_parser_queries::has_query_mode
- args_parser_queries::parse_query_option
- args_parser_queries::validate_query_options
- build_detached_docker_completion_script
- build_detached_docker_completion_script_with
- cgroup_memory::build_cgroup_functions_snippet
- cgroup_memory::build_cgroup_memory_log_snippet
- cgroup_memory::build_cgroup_sampler_start_snippet
- cgroup_memory::build_cgroup_sampler_stop_snippet
- cgroup_memory::build_cgroup_stream_script
- cgroup_memory::describe_cgroup_oom_scope
- cgroup_memory::deserialize_cgroup_memory
- cgroup_memory::format_cgroup_memory
- cgroup_memory::format_cgroup_memory_log_line
- cgroup_memory::normalize_cgroup_memory
- cgroup_memory::parse_cgroup_memory_sample
- container_removal::attach_container_removal
- container_removal::is_docker_not_found
- container_removal::mark_container_removed
- container_removal::persist_container_removal
- cpu_penalty::accrue
- cpu_penalty::average
- cpu_penalty::duration
- cpu_penalty::evaluate
- cpu_penalty::initial
- cpu_penalty::observe_base
- cpu_penalty::parse
- cpu_penalty::transition_log
- cpu_penalty::validate
- cpu_penalty_monitor::main
- cpu_penalty_monitor::read_state
- cpu_penalty_monitor::spawn_standalone
- cpu_penalty_monitor::start_snippet
- cpu_penalty_monitor::start_snippet_with_options
- cpu_penalty_monitor::state_path
- cpu_penalty_monitor::stop_snippet
- detached_finalize::build_detached_finalize_snippet
- detached_finalize::build_detached_finalize_snippet_with_attempt
- detached_finalize::finalize_detached_execution
- detached_finalize::finalize_detached_execution_with_attempt
- detached_finalize::finalize_detached_execution_with_removal
- detached_finalize::reconcile_finalized_record
- detached_finalize::run_internal_finalize
- detached_output::run_internal_output
- docker_command
- docker_command_handoff::build_command_handoff_args
- docker_command_handoff::build_command_handoff_script
- docker_command_handoff::command_handoff_path
- docker_command_handoff::write_command_handoff
- docker_command_handoff::write_execution_env_handoff
- docker_init_option::docker_init_from_env_value
- docker_init_option::parse
- docker_init_option::validate
- docker_init_option::validate_with_env
- docker_inspect_batch::batch_format
- docker_inspect_batch::docker_probe_targets
- docker_inspect_batch::parse_batch_inspect
- docker_inspect_batch::prefetched_inspect
- docker_inspect_batch::with_docker_inspect_batch
- docker_post_mortem::build_docker_post_mortem_snippet
- docker_post_mortem::build_docker_removal_note_snippet
- docker_post_mortem::build_docker_running_condition
- docker_post_mortem::build_docker_state_snippet
- docker_post_mortem::build_docker_still_running_note_snippet
- docker_post_mortem::build_docker_wait_for_exit_snippet
- docker_post_mortem::build_lifetime_snippet
- docker_post_mortem::build_signal_decode_snippet
- docker_post_mortem::format_container_post_mortem
- docker_post_mortem::format_container_removal_note
- docker_post_mortem::format_lifetime
- docker_post_mortem::normalize_docker_timestamp
- docker_recovery_options::parse_docker_recovery_option
- docker_recovery_options::validate_docker_recovery_options
- docker_resource_limits::build_resource_limits_status_line
- docker_resource_limits::cpu_count
- docker_resource_limits::cpu_update_args
- docker_resource_limits::format_docker_bytes
- docker_resource_limits::format_docker_cpus
- docker_resource_limits::normalize_resource_limits
- docker_resource_limits::parse_docker_resource_limits
- docker_resource_limits::read_docker_resource_limits
- docker_resource_limits::with_cpu_limit
- docker_resource_options::log_line
- docker_resource_options::parse
- docker_resource_options::parse_spec
- docker_resource_options::prepare
- docker_resource_options::random_fraction
- docker_resource_options::resolve
- docker_resource_options::specs
- docker_resource_options::validate
- docker_snapshot_resume::commit_with_progress
- docker_snapshot_resume::format_elapsed
- docker_snapshot_resume::progress_interval_seconds
- docker_snapshot_resume::remove_original_after
- docker_snapshot_resume::run_snapshot_prepare
- docker_snapshot_safety::acquire_snapshot_lock
- docker_snapshot_safety::acquire_snapshot_lock_with
- docker_snapshot_safety::containerd_root
- docker_snapshot_safety::df_free_bytes
- docker_snapshot_safety::format_seconds
- docker_snapshot_safety::preflight_snapshot
- docker_snapshot_safety::preflight_snapshot_guarded
- docker_snapshot_safety::preflight_snapshot_with
- docker_snapshot_safety::snapshot_image_cleanup_snippets
- execution_attach::attach_execution
- execution_attach::attach_execution_with_runners
- execution_attach::build_attach_plan
- execution_attach::format_attach_result_as_links_notation
- execution_attempt::activity_path
- execution_attempt::append_lifecycle
- execution_attempt::archive_attempt
- execution_attempt::create_attempt
- execution_attempt::current_attempt_number
- execution_attempt::next_attempt_number
- execution_attempt::read_attempt_activity
- execution_attempt::read_attempt_log_tail
- execution_chain::build_chain
- execution_chain::identity_text_lines
- execution_chain::prepare_chain_upload
- execution_chain::resolve_continues
- execution_chain::status_identity
- execution_chain::write_chain_log
- execution_cleanup::chain_images
- execution_cleanup::cleanup_execution
- execution_cleanup::is_snapshot_image
- execution_cleanup::plan_execution_cleanup
- execution_control::collect_descendant_pids
- execution_control::collect_descendant_pids_with_runner
- execution_control::collect_process_ids
- execution_control::collect_process_ids_with_runner
- execution_control::control_execution
- execution_control::control_execution_with_runner
- execution_control::format_control_result_as_links_notation
- execution_control::get_control_command
- execution_control::parse_screen_pid
- execution_env::build_execution_env
- execution_env::build_execution_env_export
- execution_env::execution_env_assignments
- execution_env::execution_env_from_options
- execution_env::inherited_attempt
- execution_env::is_nested_launch_of
- execution_env::prefix_with_execution_env
- execution_identity::execution_aliases
- execution_identity::find_record
- execution_identity::has_user_names
- execution_identity::name_execution
- execution_recovery::build_recovery_selector_args
- execution_recovery::build_recovery_snippet
- execution_recovery::format_recovery_separator
- execution_recovery::is_killed_exit
- execution_recovery::recover_killed_execution
- execution_recovery::recover_killed_execution_with_delay
- execution_recovery::recovery_selector
- execution_recovery::run_internal_recover
- execution_recovery::start_system_watcher
- execution_resume::apply_resume_to_record
- execution_resume::build_launch_options
- execution_resume::build_resume_plan
- execution_resume::build_resume_plan_with_limits
- execution_resume::build_resumed_session_name
- execution_resume::build_snapshot_image_name
- execution_resume::format_resume_result
- execution_resume::format_resume_result_as_links_notation
- execution_resume::keeps_kill_recovery
- execution_resume::resume_execution
- execution_resume::resume_execution_with
- execution_resume::resume_execution_with_options
- execution_resume::resume_execution_with_resources
- execution_resume_all::format_resume_all
- execution_resume_all::resume_all_executions
- execution_resume_all::resume_all_executions_with
- execution_store::clink_reference
- execution_store::get_default_app_folder
- execution_store::is_clink_installed
- exit_evidence::collect
- exit_evidence::collect_lost_watcher_evidence
- exit_evidence::daemon_restart_api_evidence
- exit_evidence::daemon_restart_evidence
- exit_evidence::daemon_restart_source
- exit_evidence::evidence_json
- exit_evidence::from_log
- exit_evidence::main
- exit_evidence::recent_docker_oom
- exit_evidence::recent_oom_delta
- exit_evidence::record_tail
- exit_evidence::snippet
- exit_reason::describe_exit_code
- exit_reason::describe_exit_code_str
- exit_reason::detect_exit_reason
- exit_reason::detect_memory_marker
- exit_reason::find_exit_reason_marker
- exit_reason::is_oom_kill_of_command
- exit_reason::resolve_exit_reason
- exit_reason::resolve_memory_exhaustion
- exit_reason::signal_name_for_exit_code
- failure_handler::can_create_issue
- failure_handler::create_issue
- failure_handler::detect_repository
- failure_handler::ensure_gh_upload_log_available
- failure_handler::handle_failure
- failure_handler::is_gh_authenticated
- failure_handler::is_gh_upload_log_available
- failure_handler::parse_git_url
- failure_handler::upload_log
- failure_handler::upload_log_interactive
- failure_handler::upload_log_interactive_with_options
- failure_handler::upload_log_with_options
- formal_ai::describe_effects
- formal_ai::run_formal_ai_task
- formal_ai::signal_exit
- formal_ai_cli::prefix_lines
- formal_ai_cli::request_text
- formal_ai_cli::run_formal_ai_cli
- formal_ai_cli::validate_options
- formal_ai_client::bash_tool
- formal_ai_client::http_request
- formal_ai_client::parse_completion
- formal_ai_client::parse_http_url
- formal_ai_policy::diff_fingerprints
- formal_ai_policy::evaluate_command
- formal_ai_policy::fingerprint
- formal_ai_policy::operands
- formal_ai_policy::record_observation
- formal_ai_policy::resolve_bounds
- formal_ai_policy::resolve_bounds_with
- formal_ai_policy::tokenize_command
- formal_ai_policy::verify_change
- formal_ai_policy::workspace_path
- formal_ai_runtime::checkout_identity
- formal_ai_runtime::compare_versions
- formal_ai_runtime::describe_identity
- formal_ai_runtime::qualify_identity
- formal_ai_runtime::read_cargo_version
- formal_ai_runtime::start_runtime
- formal_ai_tool::format_refusal
- formal_ai_tool::format_tool_result
- formal_ai_tool::run_tool
- isolation::build_command_string
- isolation::build_command_string_with
- isolation::build_display_command
- isolation::build_docker_runtime_args
- isolation::build_shell_with_args_cmd_args
- isolation::command_name
- isolation::detect_shell_in_environment
- isolation::docker_image_exists
- isolation::docker_pull_image
- isolation::get_shell
- isolation::has_tty
- isolation::is_command_available
- isolation::is_interactive_shell_command
- isolation::is_shell_invocation_with_args
- isolation::isolation_log::append_log_file
- isolation::isolation_log::create_log_footer
- isolation::isolation_log::create_log_header
- isolation::isolation_log::create_log_path
- isolation::isolation_log::create_log_path_for_execution
- isolation::isolation_log::create_shell_log_footer_snippet
- isolation::isolation_log::generate_log_filename
- isolation::isolation_log::get_default_docker_image
- isolation::isolation_log::get_log_dir
- isolation::isolation_log::get_temp_dir
- isolation::isolation_log::get_temp_root
- isolation::isolation_log::get_timestamp
- isolation::isolation_log::read_log_tail
- isolation::isolation_log::read_log_tail_from
- isolation::isolation_log::read_log_tail_range
- isolation::isolation_log::shell_quote
- isolation::isolation_log::wrap_command_with_log_footer
- isolation::isolation_log::write_log_file
- isolation::isolation_screen::get_screen_version
- isolation::isolation_screen::is_screen_run_finished
- isolation::isolation_screen::run_screen_with_log_capture
- isolation::isolation_screen::start_detached_screen_with_log_capture
- isolation::isolation_screen::supports_logfile_option
- isolation::quote_shell_arg
- isolation::quote_shell_arg_with
- isolation::run_as_isolated_user
- isolation::run_in_docker
- isolation::run_in_screen
- isolation::run_in_ssh
- isolation::run_in_tmux
- isolation::run_isolated
- isolation::split_shell_words
- isolation::split_shell_words_with
- isolation::to_shell_words
- isolation::wrap_command_with_user
- isolation_metadata::build_isolation_options_map
- isolation_metadata::docker_attribution_labels
- isolation_metadata::docker_runtime_metadata
- isolation_metadata::docker_runtime_status_lines
- isolation_metadata::docker_runtime_status_lines_for_options
- isolation_metadata::recovery_metadata
- isolation_metadata::recovery_metadata_with_delay
- isolation_metadata::recovery_status_lines
- isolation_metadata::recovery_status_lines_with_delay
- launch_identity::already_exists_message
- launch_identity::apply_launch
- launch_identity::claim_launch
- launch_identity::count_logged_attempts
- launch_identity::direct_execution_env
- launch_identity::is_execution_live
- launch_identity::isolated_user_command
- launch_identity::launch_log_content
- launch_identity::merge_appended_attempt
- launch_identity::preflight_launch
- launch_identity::prepare_launch
- launch_identity::write_launch_log
- launch_identity_options::parse
- launch_identity_options::validate
- launch_owner::has_active_launch
- launch_owner::hostname
- launch_owner::mark_launch
- launch_owner::process_alive
- log_sanitizer::ensure_sanitizer_available
- log_sanitizer::find_sanitizer
- log_sanitizer::parse_version
- log_sanitizer::sanitize_log_to_temp
- log_sanitizer::sanitize_log_to_temp_with_env
- log_sanitizer::sanitize_text
- log_sanitizer::sanitize_text_with_env
- log_uploader::upload_execution_log
- log_uploader::upload_execution_log_with_options
- output_blocks::create_command_line
- output_blocks::create_empty_spine_line
- output_blocks::create_empty_timeline_line
- output_blocks::create_finish_block
- output_blocks::create_spine_line
- output_blocks::create_start_block
- output_blocks::create_timeline_line
- output_blocks::create_timeline_separator
- output_blocks::create_virtual_command_block
- output_blocks::create_virtual_command_result
- output_blocks::escape_for_links_notation
- output_blocks::format_duration
- output_blocks::format_value_for_links_notation
- output_blocks::generate_isolation_lines
- output_blocks::get_result_marker
- output_blocks::parse_isolation_metadata
- query_commands::dispatch_query_command
- query_commands::handle_cleanup
- query_commands::handle_cleanup_target
- query_commands::handle_upload_log_query
- query_commands::report_result
- recovery_delay::effective_on_kill_resume_delay
- recovery_delay::format_recovery_delay
- recovery_delay::format_recovery_delay_range
- recovery_delay::parse_on_kill_resume_delay_value
- recovery_delay::parse_recovery_delay_range
- recovery_delay::pick_recovery_delay_ms
- recovery_delay::record_on_kill_resume_delay
- recovery_delay::system_random
- recovery_delay::system_sleep
- recovery_delay::wait_for_recovery_delay
- resume_resources::clamp_cpu_to_daemon
- resume_resources::prepare
- resume_resources::restore_base_cpu
- sequence_parser::distribute_option
- sequence_parser::format_isolation_chain
- sequence_parser::format_sequence
- sequence_parser::get_value_at_level
- sequence_parser::is_sequence
- sequence_parser::parse_sequence
- sequence_parser::shift_sequence
- session_probe::map_docker_status_to_state
- session_probe::parse_screen_session_state
- session_probe::probe_session
- signal_handler::clear_current_execution
- signal_handler::get_signal_exit_code
- signal_handler::set_current_execution
- signal_handler::set_deferred_signals
- signal_handler::setup_signal_handlers
- signal_handler::was_signal_received
- snapshot_resume_options::insert_overrides
- snapshot_resume_options::parse
- snapshot_resume_options::parse_seconds
- snapshot_resume_options::parse_size_hint
- snapshot_resume_options::validate
- snapshot_resume_options::validate_with_env
- status_footer::parse_footer_from_tail
- status_footer::parse_footer_timestamp
- status_footer::read_footer_from_log
- status_formatter::attach_current_time
- status_formatter::enrich_detached_status
- status_formatter::format_record
- status_formatter::format_record_as_links_notation
- status_formatter::format_record_as_links_notation_with_current_time
- status_formatter::format_record_as_text
- status_formatter::format_record_as_text_with_current_time
- status_formatter::format_record_list
- status_formatter::format_record_list_as_links_notation
- status_formatter::format_record_list_as_text
- status_formatter::format_record_with_current_time
- status_formatter::list_executions
- status_formatter::list_executions_filtered
- status_formatter::query_status
- status_formatter::read_exit_code_from_log
- status_probe::is_detached_session_alive
- store_decode_cache::decode_count
- store_decode_cache::decode_store_content
- store_decode_cache::forget_decoded_store
- substitution::create_rule
- substitution::load_default_substitutions
- substitution::load_user_substitutions
- substitution::match_and_substitute
- substitution::parse_lino_content
- substitution::parse_lino_file
- substitution::process_command
- substitution::sort_rules_by_specificity
- usage::print_usage
- user_manager::create_isolated_user
- user_manager::create_user
- user_manager::delete_user
- user_manager::generate_isolated_username
- user_manager::get_current_user
- user_manager::get_current_user_groups
- user_manager::get_user_info
- user_manager::group_exists
- user_manager::has_sudo_access
- user_manager::user_exists
- version_info::print_version
Type Aliases
- docker_inspect_batch::BatchAnswers
- docker_inspect_batch::BatchRow
- execution_env::ExecutionEnv
- execution_recovery::WatcherStarter
Constants
- args_parser::VALID_BACKENDS
- args_parser::VALID_OUTPUT_FORMATS
- args_parser::VALID_SHELLS
- cgroup_memory::CGROUP_SAMPLE_BACKOFF_MAX_SECONDS
- cgroup_memory::CGROUP_SAMPLE_INTERVAL_SECONDS
- cgroup_memory::CGROUP_SAMPLING_OFF_REASON
- cgroup_memory::CGROUP_STREAM_NAME
- cgroup_memory::CGROUP_UNREADABLE_EXIT
- cgroup_memory::cgroup_shell_vars::FILE
- cgroup_memory::cgroup_shell_vars::SAMPLE
- cgroup_memory::cgroup_shell_vars::SAMPLER
- container_removal::CONTAINER_REMOVED_ENV
- container_removal::CONTAINER_STATE_REMOVED
- detached_finalize::END_TIME_SOURCE_DOCKER_FINISHED_AT
- detached_finalize::END_TIME_SOURCE_LOG_FOOTER
- detached_finalize::END_TIME_SOURCE_OBSERVED_AT
- detached_finalize::INTERNAL_FINALIZE_FLAG
- detached_finalize::WATCHER_LOST_CONTAINER
- detached_output::INTERNAL_OUTPUT_FLAG
- docker_init_option::DOCKER_INIT_ENV
- docker_inspect_batch::BATCH_FIELDS
- docker_post_mortem::DOCKER_RUNNING_INSPECT_FORMAT
- docker_post_mortem::DOCKER_STATE_INSPECT_FORMAT
- docker_post_mortem::DOCKER_ZERO_TIME
- docker_post_mortem::LOG_CAPTURE_STOPPED_NOTE
- docker_post_mortem::NO_ERROR
- docker_post_mortem::POST_MORTEM_HEADER
- docker_post_mortem::STILL_RUNNING_NOTE
- docker_post_mortem::UNKNOWN
- docker_post_mortem::shell_vars::ERROR
- docker_post_mortem::shell_vars::ERROR_TEXT
- docker_post_mortem::shell_vars::EXIT
- docker_post_mortem::shell_vars::EXIT_TEXT
- docker_post_mortem::shell_vars::FINISHED
- docker_post_mortem::shell_vars::LIFETIME
- docker_post_mortem::shell_vars::OOM
- docker_post_mortem::shell_vars::REMOVED
- docker_post_mortem::shell_vars::RUNNING
- docker_post_mortem::shell_vars::SIGNAL
- docker_post_mortem::shell_vars::STARTED
- docker_resource_limits::DEFAULT_SHM_SIZE
- docker_snapshot_safety::EX_TEMPFAIL
- docker_snapshot_safety::SNAPSHOT_IMAGE_LABEL
- execution_env::ATTEMPT_ENV
- execution_env::EXECUTION_ID_ENV
- execution_env::SESSION_NAME_ENV
- execution_recovery::INTERNAL_RECOVER_FLAG
- execution_recovery::KILLED_EXIT_CODE
- execution_recovery::RECOVERY_ATTEMPT_ENV
- execution_recovery::RECOVERY_MARKER_PATH
- execution_store::DECODED_COPY_FILE
- exit_evidence::DAEMON_RESTART
- exit_evidence::DAEMON_RESTART_API
- exit_evidence::DOCKER_OOM
- exit_evidence::MAIN_OOM
- exit_reason::CGROUP_OOM_EXIT_REASON
- exit_reason::SIGNAL_NAMES
- exit_reason::UNKNOWN_EXIT_CODE
- formal_ai_cli::EVIDENCE_SCHEMA
- formal_ai_client::API_PREFIX
- formal_ai_client::TOOL_NAMES
- formal_ai_policy::BOUND_DEFAULTS
- formal_ai_policy::EFFECT_MODES
- formal_ai_policy::EXIT_BUDGET
- formal_ai_policy::EXIT_CONFIG
- formal_ai_policy::EXIT_PROTOCOL
- formal_ai_policy::EXIT_REFUSED
- formal_ai_policy::EXIT_UNAVAILABLE
- formal_ai_policy::EXIT_UNSUPPORTED
- formal_ai_policy::EXIT_USAGE
- formal_ai_policy::READ_PROGRAMS
- formal_ai_policy::WRITE_PROGRAMS
- formal_ai_runtime::INSTALL_HINT
- formal_ai_runtime::MIN_FORMAL_AI_VERSION
- formal_ai_runtime::SERVER_ENTRY
- isolation::isolation_log::FATAL_MARKER_TAIL_BYTES
- isolation::isolation_log::LOG_TAIL_BYTES
- isolation::isolation_screen::SCREEN_UNLISTED_GRACE_POLLS
- log_sanitizer::BLOCK_SIZE
- log_sanitizer::MINIMUM_VERSION
- log_sanitizer::OVERRIDE
- log_sanitizer::PACKAGE
- output_blocks::FAILURE_MARKER
- output_blocks::SPINE
- output_blocks::SUCCESS_MARKER
- output_blocks::TIMELINE_MARKER
- recovery_delay::CANCEL_CHECK_INTERVAL_MS
- store_decode_cache::DECODED_COPY_FORMAT