Перейти к содержимому
DispatchAtlas
Поиск

Справочник по API

Публичный API сгруппирован по дистрибутивам. Импортируйте из наиболее узкого пространства имён, которому принадлежит поведение. Списки ниже отражают текущие экспорты публичных пространств имён, так что читатели могут проверить поддерживаемую поверхность импорта, не читая файлы __init__.py пакетов.

📦 Корневой дистрибутив

Используйте dispatchatlas.version для облегчённой поверхности версии корневого пакета:

  • __version__

🧱 Ядро

dispatchatlas.core — это внутренняя граница пакета. Он экспортирует доменные объекты, валидацию, происхождение, сериализацию, начальные значения, файловую систему, журналирование и контракты протоколов.

Контракты конфигурации:

  • FoundationConfig
  • SeedPolicy
  • SerializationFormat
  • ValidationMode

Контракты ошибок:

  • DataQualityError
  • DispatchAtlasError
  • DomainValidationError
  • InfeasibleScheduleError
  • MissingOptionalDependencyError
  • ProvenanceError
  • ScheduleValidationError
  • SeedDerivationError
  • SerializationContractError
  • UnsupportedCapabilityError
  • require_finite — возвращает значение, приведённое к конечному float, или возбуждает указанный контракт ошибки, когда оно равно NaN или бесконечности.
  • require_non_negative_int — возвращает целое число или возбуждает указанный контракт ошибки, когда оно отрицательное.
  • require_positive_int — возвращает целое число или возбуждает указанный контракт ошибки, когда оно не положительное.
  • require_text — возвращает текст с обрезанными пробелами или возбуждает указанный контракт ошибки, когда он пустой.

Помощники файловой системы:

  • read_text_resilient
  • safe_child_directory
  • safe_directory_name
  • safe_namespaced_id
  • write_json_artifact
  • write_json_artifact_atomic
  • write_text_artifact
  • write_text_artifact_atomic

Наблюдаемость (централизованное журналирование):

  • get_logger
  • make_formatter
  • console_handler
  • file_handler
  • scoped_logging
  • configure_root_logging
  • MESSAGE_FORMAT
  • CONSOLE_FORMAT
  • STRUCTURED_FORMAT
  • DEFAULT_DATEFMT
  • ROOT_LOGGER_NAME

Контракты манифеста кампании:

  • CampaignCheckpointManifest
  • CampaignFailureRecord
  • CampaignRunRecord
  • campaign_checkpoint_from_jsonable
  • campaign_checkpoint_to_jsonable
  • campaign_failure_record_from_jsonable
  • campaign_failure_record_to_jsonable
  • campaign_run_record_from_jsonable
  • campaign_run_record_to_jsonable

Контракты модели планирования:

  • Assignment
  • Constraint
  • ConstraintKind
  • Dependency
  • DependencyKind
  • Duration
  • Metadata
  • Objective
  • ObjectiveSense
  • ObjectiveValue
  • ParityBasis
  • ProblemId
  • ProblemSpec
  • ResourceAmount
  • ResourceId
  • ResourceRequirement
  • ResourceSpec
  • Schedule
  • ScheduleResult
  • ScheduleStatus
  • TaskId
  • TaskMode
  • TaskSpec
  • TimePoint
  • metadata_items

Протоколы интеграции:

  • AnalysisExporter
  • BenchmarkDescriptor
  • BenchmarkProvider
  • DisclosureLabel
  • DisclosurePolicy
  • ExperimentPlan
  • ExperimentResult
  • ExperimentRunner
  • ResultRepository
  • Solver
  • SolverDescriptor
  • SolverRun

Контракты происхождения:

  • ArtifactHash
  • CitationStatus
  • EnvironmentStamp
  • EvidenceClass
  • PackageRecord
  • Provenance
  • QualityGateStatus
  • SeedLineage
  • SourceReference
  • hash_bytes
  • utc_now

Контракты начальных значений:

  • MAX_SEED
  • SEED_DOMAIN_SEPARATOR
  • Seed
  • SeedStream
  • derive_seed

Контракты сериализации:

  • ArtifactEnvelope
  • canonical_json_bytes
  • dumps_envelope
  • envelope_artifact
  • envelope_from_jsonable
  • envelope_to_jsonable
  • environment_from_jsonable
  • environment_to_jsonable
  • loads_envelope
  • problem_from_jsonable
  • problem_to_jsonable
  • provenance_from_jsonable
  • provenance_to_jsonable
  • schedule_from_jsonable
  • schedule_to_jsonable

Контракты валидации:

  • ValidatedProblem
  • ValidationIssue
  • ValidationReport
  • ValidationSeverity
  • ValidationStamp
  • collect_problem_issues
  • collect_schedule_issues
  • validate_problem
  • validate_schedule

Константы размеров ядра:

  • DEFAULT_CPU_RESERVE — процессоры, по умолчанию удерживаемые в резерве вне пула рабочих процессов.
  • DEFAULT_MEMORY_RESERVE_FRACTION — доля системной памяти, по умолчанию удерживаемая в резерве.
  • OBJECTIVE_FAMILY — реестр, сопоставляющий каждому виду цели его каноническое определение.

Параллелизм хоста:

  • available_cpu_count / available_system_memory_bytes — процессоры, доступные этому процессу, и наилучшая оценка доступной системной памяти.
  • maximal_safe_worker_count — максимально безопасное количество параллельных рабочих процессов для хоста.

Континуум-модель (edge–fog–cloud):

  • ComputeTier — вычислительный слой континуума (edge, fog, cloud) с его совокупной ёмкостью.
  • NetworkTopology / NetworkLink — коммуникационная фабрика и её направленные межслойные связи.
  • Bandwidth / DataVolume — положительная пропускная способность связи в байтах в секунду и неотрицательный объём передаваемых данных в байтах.
  • PlacementAffinity — предпочтение задачи относительно цели размещения на континууме.

Модель стоимости (R||Cmax, коммуникация, нагрузочно-зависимое выполнение, последовательно-зависимая подготовка):

  • CostModel / cost_model_from_jsonable / cost_model_to_jsonable — связка модели стоимости, привязанная к задаче по идентификатору, и её сериализация.
  • ExecutionTimeMatrix / ExecutionTimeEntry / execution_matrix_from_iterable — матрица времён выполнения для несвязанных машин (p_ij).
  • CompatibilityMask — явный набор допустимости пар задача-машина.
  • CommunicationModel / CommunicationLink — межресурсные коммуникационные штрафы на разреженном графе.
  • LoadModel / LoadModelKind / LoadBreakpoint — нагрузочно-зависимая кривая выполнения и её интерполяция между точками излома.
  • SetupMatrix / SetupEntry / SetupReferenceKind — последовательно-зависимые времена подготовки, ключуемые по переходу и машине.

Семейство целей:

  • ObjectiveKind / ObjectiveDefinition / objective_definition — именованные цели планирования и их канонические метаданные.
  • ObjectiveReduction / VectorObjectiveValue — правило скаляризации и измеренный многокритериальный вектор с метаданными раскрытия.
  • vector_objective_from_jsonable / vector_objective_to_jsonable — сериализация векторной цели.

Оценка целей:

  • evaluate_objective / evaluate_objectives / ObjectiveEvaluation — вычислить одну или каждую именованную цель по расписанию.
  • MultiObjectiveOutcome / computed_vector / multi_objective_outcome_from_jsonable — скалярные и векторные цели плюс допустимость для одного расписания.
  • EvaluationStatus / objective_sense — было ли значение вычислено или отложено, и смысл оптимизации цели.

Допустимость и ограничения:

  • FeasibilityReport / build_feasibility_report — строки жёстких нарушений плюс учёт штрафов мягких ограничений.
  • InfeasibleRow / SoftConstraintPenalty — одно видимое рецензенту жёсткое нарушение и один взвешенный штраф мягкого ограничения.
  • ServiceLevelConstraint / ServiceLevelOutcome / evaluate_service_level / evaluate_service_level_over_schedule / resolve_metric — именованные ограничения уровня обслуживания на метрику расписания и их оценка.
  • ConstraintViolationSummary / summarize_constraints — агрегированный учёт жёстких, мягких и сервисно-уровневых ограничений.

Парето-фронт и индикаторы качества:

  • dominates / to_minimization — доминирование по Парето при минимизации и преобразование смешанного смысла.
  • fast_non_dominated_sort / non_dominated_front / non_dominated_indices — недоминируемая сортировка NSGA-II и недоминируемое множество.
  • FrontierPoint / LabelledPoint / frontier_data — помеченные векторы целей и записи, готовые для фронтира.
  • hypervolume / igd_plus / additive_epsilon_indicator / spread — четыре индикатора качества: гиперобъём, IGD+, аддитивный эпсилон и разброс по ближайшим соседям.
  • QualityIndicatorReport / quality_indicator_report — все четыре индикатора для одного фронта относительно эталонного множества.

Устойчивость:

  • PerturbationScenario / PerturbationSet — именованные сценарии возмущений для одной цели.
  • RobustnessAggregation / RobustnessValue / evaluate_robustness — как набор возмущений агрегируется в число устойчивости с заявленным базисом.

Манифесты запусков:

  • RunTiming / ResourceUsage / SolverCounters — хронометраж по настенным часам и в любой момент, пиковое использование ресурсов и счётчики усилий решателя для одного запуска.
  • ConvergenceSample / TimedObjectiveSample — значения цели, наблюдаемые на счётчике итераций и на смещении по настенным часам.

Завершение:

  • TerminationPolicy — компонуемая многокритериальная политика остановки решателя.

Безопасность файловой системы:

  • safe_path_under_root — путь, возвращаемый только когда он разрешается ниже авторизованного корня.

Сериализация континуума:

  • bandwidth_from_jsonable / bandwidth_to_jsonable
  • compute_tier_from_jsonable / compute_tier_to_jsonable
  • data_volume_from_jsonable / data_volume_to_jsonable
  • network_link_from_jsonable / network_link_to_jsonable
  • network_topology_from_jsonable / network_topology_to_jsonable
  • placement_affinity_from_jsonable / placement_affinity_to_jsonable

🧪 Бенчмарки

dispatchatlas.bench экспортирует каталоги бенчмарков, генераторы обобщённых и континуумных семейств, метаданные генераторов, материализацию, валидацию цитирований, характеризацию, метрики сложности и расстояния между распределениями, отбор, загрузку и контракты таксономии.

Контракты каталога:

  • StaticBenchmarkProvider
  • benchmark_provider_for_selectors
  • build_feasibility_diagnostic_catalog
  • build_full_catalog
  • build_smoke_catalog
  • full_benchmark_provider
  • full_catalog_configs
  • smoke_benchmark_provider
  • smoke_catalog_configs

Контракты характеризации:

  • CharacterizationMetrics
  • CharacterizationReport
  • characterize_problem

Контракты цитирований:

  • CitationClaim
  • CitationMatrix
  • SourceKind
  • default_citation_matrix
  • validate_citation_matrix

Контракты генераторов:

  • BenchmarkGenerator
  • DagWorkflowGenerator
  • GeneratorRegistry
  • IndependentTaskGenerator
  • cloud_edge_profile
  • default_registry
  • workflow_profile

Контракты материализации:

  • BenchmarkInstance
  • BenchmarkInstanceSet
  • CatalogManifest
  • CatalogManifestEntry
  • config_to_jsonable
  • manifest_to_jsonable
  • materialize_benchmark
  • materialize_with_generator
  • write_instance_set

Контракты метаданных:

  • BenchmarkConfig
  • DomainProfile
  • GeneratorMetadata
  • ScaleSpec

Контракты обобщённого семейства:

  • CostModelGenerator
  • GenericFamilyGenerator
  • flexible_job_shop_generator
  • flow_shop_generator
  • generic_family_full_configs
  • generic_family_generators
  • generic_family_smoke_configs
  • job_shop_generator
  • machine_scheduling_generator
  • rcpsp_generator
  • setup_flow_shop_generator

Контракты континуумного семейства:

  • ContinuumFamilyGenerator
  • ContinuumFamilySpec
  • ContinuumScenario
  • ContinuumStratum
  • DistinctivenessRecord
  • build_continuum_catalog
  • build_continuum_full_catalog
  • continuum_family_distinctiveness
  • continuum_family_full_configs
  • continuum_family_generators
  • continuum_family_smoke_configs
  • continuum_family_specs

Контракты сложности:

  • HardnessAxis
  • HardnessSpec
  • hardness_axis
  • hardness_axis_registry
  • measured_communication_compute_ratio
  • measured_deadline_slack_ratio
  • measured_dependency_density
  • measured_duration_cv
  • measured_fabric_churn
  • measured_offload_deception
  • measured_release_stagger

Контракты расстояния между распределениями:

  • MAX_DISTRIBUTION_DISTANCE
  • DistributionDistanceBridge
  • DistributionDistanceScore
  • DistributionDistanceStatus
  • default_distribution_distance_bridges
  • metrics_from_instance_set
  • per_feature_wasserstein
  • distribution_distance_score
  • validate_distribution_distance_bridge

Контракты отбора:

  • DifficultyStratum
  • SubsetCriteria
  • difficulty_score
  • difficulty_stratum
  • instance_family
  • instance_profile_class
  • select_benchmark_subset
  • stratify_instances

Контракты метаданных каталога и загрузки:

  • CATALOG_SCALAR_COLUMNS
  • CatalogInstanceMetadata
  • DownloadFormat
  • catalog_instance_metadata
  • catalog_instance_to_jsonable
  • catalog_instance_to_row
  • catalog_metadata_for_instances
  • catalog_metadata_for_sets
  • catalog_subset_from_bundle
  • catalog_subset_from_csv
  • catalog_subset_from_json
  • catalog_subset_to_bundle
  • catalog_subset_to_csv
  • catalog_subset_to_json
  • select_catalog_metadata
  • serialize_catalog_subset

Контракты таксономии:

  • DEFAULT_TAXONOMY
  • BenchmarkTaxonomy
  • BenchmarkTier
  • ConstraintFeature
  • DynamismFeature
  • EnvironmentDomain
  • InfrastructureRealism
  • ObjectiveFeature
  • ProfileClass
  • SchedulingFamily
  • SchedulingStructure
  • UncertaintyFeature

Контракты реестра эталонных наборов:

  • InstanceCountStatus
  • ReferenceSuite
  • SuiteFormat
  • default_reference_suites
  • reference_suite
  • validate_reference_suites

Контракты наилучших известных решений:

  • BestKnownIngest
  • BestKnownKind
  • BestKnownRegistry
  • BestKnownValue
  • load_best_known
  • load_best_known_registry

Контракты поглощения канонических экземпляров:

  • SUPPORTED_FORMATS
  • ParseContext
  • ParsedInstance
  • ReferenceSuiteGenerator
  • load_reference_suite
  • parse_fjs
  • parse_standard_jsp
  • parse_taillard_pfsp
  • parse_wfformat_json
  • reference_suite_config
  • reference_suite_distribution_distance_bridge

🧮 Решатели

dispatchatlas.solve экспортирует метаданные решателей, реестры, конструктивные базовые методы, метаэвристики, варианты NDSO, операторы, опциональные адаптеры и помощники профилирования.

Контракты базовых методов и выполнения:

  • DispatchRule
  • DispatchingSolver
  • OrderRunRequest
  • TerminationTracker — оценщик с состоянием по принципу «первый сработавший», который сворачивает прогресс цикла поиска в TerminationPolicy и сообщает, какой критерий остановил запуск.
  • baseline_solvers
  • neh_order — порядок вставочного построения NEH (Nawaz–Enscore–Ham).

Контракты метаданных решателей:

  • DependencyRequirement
  • SolverCapability
  • SolverDescriptorSpec
  • SolverFamily
  • SolverMetadata
  • Stochasticity

Контракты метаэвристик:

  • MetaheuristicKind
  • PermutationMetaheuristicSolver
  • PermutationSearchConfig
  • metaheuristic_solvers

Контракты рангового списочного планирования:

  • ListSchedulingRank
  • ListSchedulingSolver
  • list_scheduling_solvers
  • heft_profile — списочное планирование по восходящему рангу (HEFT).
  • cpop_profile — списочное планирование по совмещённому восходящему+нисходящему рангу (CPOP).
  • peft_profile — списочное планирование по таблице оптимистичной стоимости (PEFT).

Контракты правил отображения над готовым набором:

  • MappingRule
  • MappingRuleSolver
  • mapping_rule_profile
  • mapping_rule_solvers — пакетные правила min-min, max-min и sufferage.

Контракты Парето-многоцелевых конкурентов:

  • NSGA2Config
  • NSGA2Solver
  • MOEADConfig
  • MOEADSolver
  • nsga2_profile
  • moead_profile
  • multi_objective_solvers
  • crowding_distances — оценщик плотности по дистанции скученности NSGA-II.
  • nsga2_environmental_selection — элитарное выживание «ранг, затем скученность».
  • tchebycheff — скаляризующая функция Чебышёва MOEA/D.

Контракты итеративного жадного поиска:

  • ITERATED_GREEDY_RS_CITATION
  • IteratedGreedyRSConfig
  • IteratedGreedyRSSolver — каноническая конфигурация разрушения–построения для перестановочных поточных цехов.
  • iterated_greedy_rs_profile
  • iterated_greedy_rs_solvers

Контракты табу-поиска по критическому пути:

  • CriticalPathTabuConfig
  • CriticalPathTabuSolver
  • critical_path_tabu_profile
  • critical_path_tabu_solvers
  • critical_pairs — генератор окрестности смежных пар критического пути.

Контракты проектного планирования (последовательная SGS):

  • SerialSGSJustificationSolver — последовательная генерация расписания с двойной юстировкой для планирования проектов с ограниченными ресурсами.
  • serial_sgs_justification_profile
  • serial_sgs_justification_solvers
  • double_justified_order — проход обратной–прямой юстировки.
  • latest_finish_order — приоритетный порядок по позднейшему времени завершения.

Контракты NDSO:

  • NDSOAblation
  • NDSOMechanisms
  • NDSOSolver
  • NDSOVariant
  • ndso_ablation_catalog
  • ndso_solvers

Контракты операторов планирования:

  • BatchScoreResult
  • ScheduleMetrics
  • adjacent_swap_neighbor
  • batch_score_orders
  • construct_schedule
  • earliest_finish_task_order
  • local_search_order
  • normalize_task_order
  • objective_values_for
  • random_topological_task_order
  • repair_schedule
  • schedule_metrics
  • score_order
  • score_schedule
  • topological_task_order

Контракты опциональных адаптеров:

  • OptionalExactSolver
  • optional_solvers
  • ortools_dependency

Контракты производительности:

  • BatchScoringProfile
  • ProfiledResult
  • profile_call

Контракты реестра:

  • ProfiledSolver
  • SolverRegistry
  • default_solver_registry

Константы настройки решателей:

  • NATIVE_EXACT_TASK_CAP — потолок количества задач, выше которого нативный точный решатель отказывает закрыто.
  • RUN_COUNT_FLOOR — минимальное количество повторных запусков, требуемое для честного сравнения.
  • VELOCITY_WINDOW — окно скорости улучшения, которое отслеживает контроллер любого момента.
  • IMPROVEMENT_FLOOR — минимальное относительное улучшение, засчитываемое как прогресс.
  • FEATURE_ORIGIN — метрика платформы бенчмарков, из которой выводится каждый признак отбора.

Базовые семейства диспетчеризации:

  • DispatchingFamilySpec — именованное семейство диспетчеризации, привязанное к детерминированному правилу приоритета.
  • RetiredFamily / RetirementReason / retired_dispatching_families — именованные семейства, преднамеренно отложенные, каждое со своим обоснованием.

Диверсифицированные конкуренты (именованное поле метаэвристик):

  • CompetitorKind / CompetitorSolver / CompetitorConfig — именованные конкуренты с общими ограниченными параметрами поиска.
  • competitor_solvers / diversified_competitors — диверсифицированный набор конкурентов с учётом раскрытия.
  • post_2020_currency_anchor — якорные ссылки актуальности после 2020 года для поля.
  • recent_peer_strength_bar — недавние аналоги, удержанные под планкой силы площадки.

Непрерывные оптимизаторы (декодированные на дискретный порядок):

  • clpso_optimize / CLPSOConfig — оптимизация роем частиц с всесторонним обучением.
  • lshade_optimize / LSHADEConfig — дифференциальная эволюция с адаптацией по истории успехов и линейным сокращением популяции.
  • EncodedSolverKind / EncodedAdapterSolver / encoded_adapter_solvers — непрерывное семейство, привязанное к адаптеру дискретного кодирования.
  • ContinuousResult / SearchBudget — результат непрерывного запуска и его бюджет итераций, случайности и настенных часов.

Непрерывно-дискретное кодирование:

  • EncodingAdapter / encoding_adapter / encoding_adapter_catalog — именованные непрерывно-дискретные кодирования с явным восстановлением.
  • DecodeRule / DecodeOutcome — правило, превращающее преобразованный вектор ключей в порядок задач, и его восстановленный результат.
  • RepairPolicy — политика, восстанавливающая допустимость предшествования после декодирования.
  • TransferFunction — сжимающая функция, отображающая непрерывную компоненту в сигнал отбора.

Точные решатели:

  • ExactMethod / ExactSolver — именованные точные методы и адаптер, отказывающий закрыто при отсутствующем бэкенде или избыточном входе.
  • ExactAdapterSpec / exact_adapter_specs / exact_solvers — связанные контракты адаптера точного решателя.

Многокритериальный конкурент (NSGA-III):

  • NSGA3Solver / NSGA3Config / nsga3_solvers / nsga3_profile — конкурент NSGA-III над порядками, безопасными по предшествованию.
  • nsga3_reference_points — структурированные эталонные точки Das & Dennis на единичном симплексе.
  • nsga3_environmental_selection — отбор с нишеванием по эталонным точкам NSGA-III.

Научные варианты планирования:

  • SchedulingVariantKind / PermutationSchedulingVariantSolver / SchedulingVariantConfig — именованные научные гибридные варианты над дискретным кодированием порядка.
  • scheduling_variant_solvers — первоклассные базовые методы вариантов планирования.

Отбор алгоритмов:

  • RuleBasedSelector — базовый метод только для бенчмарков, ранжирующий кандидатов лишь по метаданным.
  • SupervisedSelector — детерминированный обученный селектор по взвешенному расстоянию ближайших соседей.
  • SelectionFeature / SelectionFeatures / feature_origin — именованные признаки характеризации, которые потребляет селектор, и их происхождение.
  • SelectionLabel / SolverRecommendation / RecommendationSource — помеченные обучающие примеры и ранжированные рекомендации с уверенностью и ограничениями.

Перекрёстная проверка селектора (обобщение без утечек):

  • cross_validate / GeneralizationReport — отложенное обобщение по схеме «оставить-одно-семейство» над корпусом.
  • leave_one_family_out / partition_by_families / TrainTestSplit — разбиения train/test, непересекающиеся по семействам.
  • held_out_generalization — обучить на обучающей половине разбиения и сообщить точность top-1 на её тестовой половине.
  • leakage_report / LeakageReport — пересечения экземпляров, семейств и записей характеризации, которые разбиение без утечек обязано держать пустыми.
  • validated_supervised_selector — селектор, чья уверенность отражает его отложенное обобщение.

Интерфейсы обучения и гибридов (опциональные, отказывающие закрыто):

  • LearningInterfaceKind / LearningInterface / learning_interface / learning_interface_catalog — именованные интерфейсы обучения и гибридов со статусом, политикой и запасным вариантом.
  • InterfaceStatus / LearningEvidencePolicy — статус жизненного цикла и контракт доказательств, который объявляет каждая такая поверхность.
  • ConfidenceLabel / confidence_rank — уверенность, которую может нести рекомендация, и её порядковая сила.
  • learning_backend_available / learning_dependency / require_learning_backend — опциональный бэкенд обучения (дополнение, никогда не значение по умолчанию) и его типизированная ошибка отсутствующей зависимости.

Метаданные решателей и цитирования:

  • Citation / CitationStatus — каноническая основополагающая ссылка (или явное обоснование неприменимости) и несёт ли семейство таковую.
  • SolverEncoding — кодирование решения, по которому решатель ищет или которое конструирует.
  • SUMMIT_EVIDENCE_LABEL — метка контекста раскрытия для метаданных, доказательств и экспортов.

Поверхность семейства NDSO:

  • NDSOFamilySolver — общая поверхность каждого решателя семейства NDSO, одиночный рой или совет.
  • fast_mechanisms — фиксированный набор механизмов быстрой композиции.

Механизмы NDSO (построение с допустимостью по конструкции):

  • PrecedenceIndex / precedence_index — множества предшественников и стабильное упорядочение задач, которое использует каждый конструктор.
  • GuidanceSource / GuidanceContext / select_guidance — три источника Triple-Guidance и общие входы построения кандидата.
  • guided_construction — построить допустимого кандидата из порядка наведения.
  • confidence_weighted_elite — выковать Elite голосованием со взвешиванием по уверенности.
  • ConfidenceMatrix / consolidate_confidence / latent_archive — обученное доверие по ячейкам, его межроевая консолидация и уверенные ячейки, которые Elite оставила.
  • quality_guidance / quantity_update / BetaSchedule — правила качества и количества и единый адаптивный коэффициент.
  • rank_reward — награда, выведенная из ранга, в [0, 1].

Межроевой совет NDSO:

  • NDSOSummitSolver / summit_solver / summit_profile / SummitConfig — межроевой совет, качественная композиция семейства.
  • CouncilTopology — топология межроевого обмена, соединяющая рои совета.
  • SummitDiagnostics — неизменяемая сводка координации совета, прикреплённая к запуску.

Абляция механизмов NDSO:

  • AblationEntry / ablation_map — одна изолирующая абляция на канонический механизм.
  • build_ablation_solver / run_ablation_suite / AblationRunResult — построение и запуск каждой ограниченной по допустимости изолирующей абляции.
  • ABLATION_STATISTICAL_PLAN / StatisticalTestPlan — именованные статистические тесты аналитического слоя, которые использует сравнение абляций.

Контроль любого момента NDSO:

  • AnytimeController / AnytimeReport — контроллер ранней остановки по скорости улучшения и его запись активности.

Диагностика NDSO:

  • DiagnosticsCollector / DiagnosticsSnapshot — опциональный регистратор сходимости с нулевыми накладными расходами при отключении и его сводка.
  • IterationTrace — запись сходимости одной итерации.
  • population_diversity — среднее попарное расхождение позиций в [0, 1].

Раскрытие NDSO (гейтирование механизмов с отказом закрыто):

  • MechanismDescriptor / mechanism_descriptor / mechanism_catalog — именованные механизмы и пол раскрытия, к которому принадлежит каждый.
  • DisclosureFilter / DisclosureViolationError — гейт с отказом закрыто на то, какие механизмы может раскрыть область отчёта.
  • ReportScope / EvidenceProgram — поэтапные области отчётности и четыре поэтапные программы доказательств, сопоставленные полу раскрытия.
  • base_disclosure_filter / program_disclosure_filter — фильтры базовой области и для каждой программы, отказывающие закрыто.
  • blocks_summit_evidence — блокирует ли фильтр программы качественный пол только для совета.

🚀 Кампании

dispatchatlas.lab экспортирует воспроизводимые контракты конфигурации кампании, бюджета, окружения, репозитория, отказов и выполнения.

Контракты бюджета:

  • CampaignBudgetReport
  • dry_run_campaign

Контракты конфигурации:

  • FULL_CAMPAIGN_BLOCKER
  • BudgetScaling
  • CampaignConfig
  • CampaignPlan
  • CampaignRunSpec
  • CampaignStage
  • ExecutionMode
  • FailureCategory
  • OutputPolicy
  • ResourceBudget
  • RetryPolicy
  • campaign_config_hash
  • config_to_jsonable
  • plan_to_jsonable

Контракты окружения:

  • capture_campaign_environment

Контракты ошибок:

  • BudgetEstimationError
  • CampaignConfigError
  • CampaignExecutionError
  • CheckpointRecoveryError
  • EnvironmentCaptureError

Контракты репозитория:

  • CampaignResultIndex
  • CheckpointManifest
  • FailureRecord
  • FileResultRepository
  • RunRecord

Контракты исполнителя:

  • CampaignRunner
  • classify_failure
  • default_campaign_runner
  • resume_campaign
  • run_campaign
  • validate_campaign

Конфигурация кампании:

  • CampaignKind — класс плана эксперимента, который реализует кампания.
  • StoppingProtocol / StoppingProtocolKind — именованный, независимо отчётный протокол остановки для отчёта по стохастическому решателю.
  • RunCountPolicy / STATISTICAL_POWER_FLOOR — политика количества запусков и минимальное количество повторностей, ниже которого запуски решателя помечаются как недостаточные по мощности.
  • TuningBudget — равный для каждого алгоритма бюджет настройки, удерживающий сравнение честным.
  • campaign_config_from_jsonable — восстановить валидированную конфигурацию кампании из JSON-совместимых данных.

Разрешение количества запусков:

  • ReplicateResolution / resolve_replicates — разрешённое количество повторностей для решателя с любым флагом недостаточной мощности под политикой количества запусков.

Инвариант честного сравнения:

  • assert_fair_comparison — проверить структурные предусловия инварианта честного сравнения.
  • fair_comparison_manifest — строки манифеста, фиксирующие гарантию честного сравнения.

Настройки движка (четырёхслойное разрешение со штампом происхождения):

  • EngineSettings / resolve_engine_settings — разрешённые регуляторы движка по четырём слоям конфигурации, каждое поле проштамповано происхождением.
  • ResolvedSetting / SettingSource — значение одной настройки в паре со слоем, который его предоставил.
  • apply_environment_overrides — наложить слой окружения на файловую или вызывающую конфигурацию кампании.

Топология рабочих процессов и агрегация:

  • WorkerTopology / topology_for_plan / probe_capacity — топология рабочих процессов с учётом бюджета, выбранная для кампании после зондирования ёмкости хоста.
  • AggregateManifest / merge_only_aggregation — детерминированная агрегация только слиянием завершённых записей запусков в один битово-стабильный хеш кампании.

Атлас экспериментов:

  • ExperimentAtlas / default_experiment_atlas — атлас собственных доказательных треков с учётом раскрытия.
  • EvidenceTrack — один собственный срез доказательств в атласе экспериментов.

Матрица применимости «семейство бенчмарков × решатель»:

  • ApplicabilityMatrix / default_applicability_matrix — полная матрица применимости «семейство бенчмарков × решатель», выведенная из живых реестров и затем аннотированная таблицей переопределений.
  • ApplicabilityCell — одно утверждение применимости (семейство бенчмарков, решатель), несущее свой статус, обоснование и опциональный указатель на доказательство.
  • ApplicabilityStatus — перечисление статуса ячейки: проверено / приближённо / неприменимо.
  • ApplicabilityEvidence / ApplicabilityEvidenceKind — безопасный для портала указатель на доказательство (кампания, цитата или тест) и его класс происхождения.
  • ApplicabilityOverride / default_applicability_overrides — одно проверяемое ручное повышение выведенной ячейки и внутрикодовая таблица переопределений, где живут проверенные ячейки.
  • SchedulingFamilyCell — одна сводка «семейство планирования × решатель», агрегирующая составляющие ячейки семейств бенчмарков.
  • derive_applicability_cell — вывести одну ячейку «приближённо-или-неприменимо» из объявленных метаданных.
  • constraint_capability_bridge — типизированный мост от признака ограничения к тегу возможности (единственный источник истины).
  • ApplicabilityScreen / screen_campaign_applicability — отсеять запланированное перекрёстное произведение кампании по матрице, сообщая заблокированные, приближённые и проверенные пары.

📊 Анализ

dispatchatlas.analytica экспортирует фильтрацию раскрытия, поглощение, статистические сводки, детерминированные средства записи таблиц Markdown, шестнадцать семейств диаграмм, каждое отрисованное в двойном формате (темизируемый SVG и редактируемый PGFPlots .tex), пакеты доказательств и наборы данных портала.

Контракты раскрытия:

  • DisclosureExclusion
  • DisclosureFilterResult
  • DisclosurePolicy
  • EvidenceTier
  • default_disclosure_policy
  • ensure_dataset_allowed
  • filter_dataset

Контракты экспорта:

  • ExportBundle
  • evidence_bundle_directory
  • write_evidence_bundle
  • write_portal_dataset

Контракты поглощения:

  • PlanRunFacts
  • load_campaign_dataset
  • load_result_dataset

Контракты модели:

  • AnalysisConfig
  • AnalysisDataset
  • AnalysisSummary
  • CampaignManifest
  • CorrectionMethod
  • ExportSurface
  • FailureObservation
  • ObjectiveObservation
  • PairwiseComparison
  • RankEntry
  • RunObservation
  • SolverSummary

Статистические контракты:

  • bootstrap_mean_interval
  • cliffs_delta
  • cohens_d
  • paired_cohens_dz
  • paired_observation_counts
  • summarize_dataset
  • two_sided_sign_test

Контракты таблиц:

  • ablation_table_markdown
  • arpd_markdown
  • benchmark_table_markdown
  • constraints_table_markdown
  • ensure_effect_sizes_beside_p_values
  • infeasible_rows_markdown
  • multiobjective_indicators_markdown
  • optimality_gap_table_markdown
  • pairwise_comparison_markdown
  • portal_csv
  • ranking_markdown
  • sensitivity_table_markdown
  • solver_summary_markdown

Контракты визуализации (каждое семейство диаграмм отрисовывается как темизируемый SVG и редактируемый PGFPlots .tex):

  • ablation_svg · ablation_tex
  • characterization_svg · characterization_tex
  • convergence_svg · convergence_tex
  • critical_difference_svg · critical_difference_tex
  • data_profile_svg · data_profile_tex
  • ecdf_svg · ecdf_tex
  • exploration_exploitation_svg · exploration_exploitation_tex
  • frontier_svg · frontier_tex
  • performance_profile_svg · performance_profile_tex
  • ranking_svg · ranking_tex
  • robustness_svg · robustness_tex
  • run_order_trend_svg · run_order_trend_tex
  • runtime_quality_svg · runtime_quality_tex
  • scalability_svg · scalability_tex
  • sensitivity_svg · sensitivity_tex
  • stability_svg · stability_tex

Контракты сравнения:

  • ComplexityRow
  • EvidenceCaveat
  • EvidenceCaveatScope
  • HeadToHeadComparison
  • HeadToHeadRow
  • complexity_table_markdown
  • evidence_caveats_markdown
  • head_to_head_comparison

Вывод и размеры эффекта (детерминированная проверка значимости без зависимостей):

  • friedman_test / FriedmanResult — омнибусный ранговый тест Фридмана над несколькими алгоритмами.
  • FriedmanOutcome — омнибусный ранговый тест Фридмана над всем полем решателей.
  • nemenyi_critical_difference / CriticalDifference — критическая разность Немени для всех пар по средним рангам.
  • wilcoxon_signed_rank / WilcoxonResult — двусторонний знаково-ранговый тест Уилкоксона для парных разностей.
  • bayesian_sign_test / BayesianSignTestResult — байесовский знаковый тест с областью практической эквивалентности над парными разностями.
  • bayesian_signed_rank_test / BayesianSignedRankResult — байесовский знаково-ранговый тест на основе процесса Дирихле с заданным зерном и областью практической эквивалентности над парными разностями.
  • vargha_delaney_a12 / interpret_a12 — размер эффекта A12 Варги-Дилейни и его метка величины.
  • bca_bootstrap_interval / BootstrapInterval — bootstrap-доверительный интервал со смещением и ускорением (BCa).
  • standard_normal_cdf / standard_normal_ppf — стандартно-нормальная функция распределения и квантиль.
  • chi_square_sf — вероятность верхнего хвоста хи-квадрат (функция выживания).
  • detectable_effect_size / required_paired_count / PowerAssessment — наименьший обнаружимый стандартизованный парный эффект при заданном количестве прогонов и обратная к нему величина.
  • ArpdRow / arpd_rows — среднее относительное процентное отклонение на каждый решатель относительно заданных вызывающей стороной наилучших известных эталонных значений с явным происхождением.
  • ensure_equal_budgets — проверка с отказом закрыто масштабируемого по размеру протокола равного бюджета.

Реестр методов анализа (выбор метода с отказом закрыто):

  • AnalysisMethod / method_registry / method_by_id — именованные методы с их допущениями и полами раскрытия.
  • AnalysisFamily / methods_in_family — семейства методов и их членство.
  • MethodSupport / evaluate_support — вердикт поддержки с отказом закрыто для метода на заданном размере выборки.
  • MethodLimitation — неподдерживаемый именованный метод, направленный на поверхность ограничений.
  • STATISTICAL_POWER_FLOOR — минимальный размер выборки, ниже которого недостаточно мощные методы отказывают закрыто.

Кадры анализа (вспомогательные кадры строк и рядов, отрисовываемые потребителем рисунка или таблицы):

  • AnalysisFrames — связка вспомогательных кадров для одного набора данных.
  • BenchmarkRow / benchmark_rows — покрытие на каждый экземпляр бенчмарка по всему полю решателей.
  • CharacterizationRow / characterization_rows — дескрипторы сложности на каждую задачу из наблюдаемого разброса.
  • ConstraintRow — одна строка учёта ограничений над набором данных.
  • ConvergenceSeries / convergence_series — трассы наилучшей цели по итерациям для каждого решателя.
  • DataProfileSeries / data_profile_series — доля ячеек, решённых с целевой точностью в пределах бюджета групп оценивания, на каждый решатель для фигуры профиля данных.
  • DiversitySeries / diversity_series — трассы разнообразия популяции по итерациям для каждого решателя для рисунка баланса исследования-эксплуатации.
  • InfeasibleRunRow / infeasible_rows — недопустимые завершённые запуски и зафиксированные отказы, направленные в дополнения.
  • OptimalityGapRow / optimality_gap_rows — разрывы оптимальности на каждую пару (задача, решатель) относительно эталонных границ.
  • RobustnessPoint / robustness_points — CVaR на каждый решатель + риск наихудшего хвоста над набором целей для рисунка устойчивости.
  • RuntimeQualityPoint / runtime_quality_points — наблюдения времени-выполнения-качества для рисунка времени-выполнения-качества.
  • ScalabilitySeries / scalability_series — трассы среднего времени выполнения по масштабу экземпляра для каждого решателя для рисунка масштабируемости.
  • SensitivityPoint — одно среднее на уровне параметра для развёртки чувствительности.
  • StabilityPoint / stability_points — стабильность по начальным значениям для каждого решателя (средний коэффициент вариации) для рисунка стабильности.
  • AblationRow — один исход изоляции механизма против полной конфигурации.

Многокритериальные индикаторы:

  • MultiObjectiveIndicatorRow / multiobjective_indicators — четыре именованных индикатора качества на каждый аппроксимационный фронт решателя.
  • MultiObjectiveIndicatorReport / multiobjective_indicator_report — строки индикаторов рядом с архивированной общей опорной точкой, которая их произвела.
  • ReferencePointRule / ReferencePointRecord — правила вывода опорной точки и архивированная запись с её словарём происхождения с отказом закрыто.
  • ensure_shared_reference_points — проверка с отказом закрыто того, что сравниваемые артефакты разделяют одну архивированную опорную точку.
  • quality_indicator_method_ids — идентификаторы методов реестра, которые эта поверхность вычисляет от начала до конца.

Сравнение платформ (доказательства возможностей и расстояния между распределениями):

  • PlatformComparison / platform_comparison_markdown — четыре набора строк сравнения платформ и их Markdown.
  • RivalFrameworkRow / rival_framework_markdown — сравнение возможностей с конкурирующим фреймворком.
  • FeatureRichnessRow / feature_richness_markdown — матрица покрытия возможностей.
  • DistributionDistanceRow / distribution_distance_markdown — оценка моста расстояния между распределениями на каждое семейство бенчмарков.
  • ArtifactInspectionRow / artifact_inspection_markdown — доказательства инспекции артефактов портала.
  • EvidenceSource — как поддержано утверждение строки сравнения платформ.

Каркасы отчётов, гейты утверждений и редактирование:

  • ReportScaffold / ReportScaffoldSpec / ReportProfile / ReportSection / CANONICAL_SECTION_ORDER / write_report_scaffold — детерминированные, связанные с источником, отфильтрованные по раскрытию каркасы отчётов.
  • ClaimGate / ClaimGateKind / ClaimGateState / ClaimGateOutcome / evaluate_claim_gate — утверждения отчёта, гейтированные доказательствами, и их вердикты продвижения.
  • ContributionMatrix / ContributionRow / ContributionOverlap / contribution_partition — разбиение вкладов без пересечений по уровням доказательств.
  • RedactionFinding / redaction_report / assert_redaction_clean — сканирование кандидата публичной поверхности на запрещённые термины и межуровневые утечки.
  • ReproducibilityBadge — цель значка воспроизводимости и как индекс артефактов её удовлетворяет.
  • MaintenanceLedgerEntry / maintenance_ledger_markdown — поверхности будущих расширений, которые не должны ослаблять границу раскрытия.

Манифест воспроизводимости:

  • ReproducibilityManifest / build_reproducibility_manifest / reproducibility_manifest_markdown — факты воспроизводимости на каждый запуск и их документ Markdown.
  • FIGURE_GENERATORS — реестр генераторов рисунков, который записывает манифест.

Глоссарий решателей (поверхность именования без метафор):

  • SOLVER_OPERATIONAL_DESCRIPTIONS / solver_operational_description — операционное описание без метафор на каждый решатель.
  • SOLVER_EQUIVALENCE_NOTES / solver_equivalence_note — заметка об эквивалентности известному алгоритму на каждый решатель.
  • INSPIRATION_DOMAIN_TERMS / metaphor_terms_in — инвентарь терминов области-вдохновения и его обнаружение.

Реестры отображаемых имён:

  • BENCHMARK_DISPLAY_NAMES / benchmark_display_name — зарегистрированные отображаемые имена для идентификаторов бенчмарков.
  • SOLVER_DISPLAY_NAMES / solver_display_name — зарегистрированные отображаемые имена для идентификаторов решателей.
  • ABLATION_DISPLAY_NAMES / ablation_display_name — отображаемые имена для вариантов абляции с изоляцией механизмов.
  • benchmark_instance_label — отображаемая метка, сохраняющая видимость идентичности экземпляра.
  • UnknownDisplayNameError — возбуждается, когда у идентификатора нет зарегистрированного отображаемого имени.

Уровни доказательств:

  • Tier / tier / TIER_REGISTRY — публичные уровни доказательств и где могут появляться доказательства каждого уровня.
  • UnknownTierError — возбуждается, когда у идентификатора уровня нет записи в реестре.

Тема рисунков:

  • FigureTheme / DEFAULT_THEME — внешне управляемые цвета, типографика и ширина холста, общие для каждого семейства диаграмм.