본문으로 건너뛰기
DispatchAtlas
검색

API 레퍼런스

공개 API는 배포 단위별로 묶여 있습니다. 해당 동작을 소유한 가장 좁은 네임스페이스에서 임포트하세요. 아래 목록은 현재 공개 네임스페이스 익스포트를 그대로 반영하므로, 독자는 패키지 __init__.py 파일을 읽지 않고도 지원되는 임포트 표면을 점검할 수 있습니다.

📦 루트 배포판

가벼운 루트 패키지 버전 표면으로는 dispatchatlas.version을 사용하세요:

  • __version__

🧱 코어

dispatchatlas.core는 가장 안쪽의 패키지 경계입니다. 도메인 객체, 검증, 출처(provenance), 직렬화, 시드, 파일시스템, 로깅, 그리고 프로토콜 계약을 익스포트합니다.

구성 계약:

  • 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

출처(provenance) 계약:

  • 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 — 기본적으로 워커 풀에서 따로 떼어 두는 CPU 수.
  • DEFAULT_MEMORY_RESERVE_FRACTION — 기본적으로 예비로 남겨 두는 시스템 메모리의 비율.
  • OBJECTIVE_FAMILY — 각 목적함수 종류를 그 표준 정의에 대응시키는 레지스트리.

호스트 동시성:

  • available_cpu_count / available_system_memory_bytes — 이 프로세스가 사용할 수 있는 CPU와, 최선의 추정으로 사용 가능한 시스템 메모리.
  • maximal_safe_worker_count — 호스트에서 안전하게 운용할 수 있는 최대 병렬 워커 수.

연속체 모델(엣지–포그–클라우드):

  • ComputeTier — 집계 용량을 갖는 연속체 컴퓨트 계층(엣지, 포그, 클라우드).
  • 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 — 한 번의 런에 대한 벽시계 및 임의시각(anytime) 타이밍, 최대 리소스 사용량, 솔버 노력 카운터.
  • 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는 벤치마크 카탈로그, 범용 및 연속체 패밀리 생성기, 생성기 메타데이터, 구체화(materialization), 인용 검증, 특성화(characterization), 난이도 및 분포 거리 지표, 선택, 다운로드, 그리고 분류 체계 계약을 익스포트합니다.

카탈로그 계약:

  • 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에 접어 넣고 어느 기준이 런을 멈췄는지 보고하는, 상태를 보유한 최초 발화(first-to-fire) 평가기.
  • 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 Tchebycheff 스칼라화 함수.

반복 탐욕(iterated-greedy) 계약:

  • 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 — 임의시각(anytime) 컨트롤러가 주시하는 개선 속도 윈도.
  • 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 — 일급(first-class) 스케줄링 변형 기준선.

알고리즘 선택:

  • RuleBasedSelector — 메타데이터만으로 후보를 순위 매기는 벤치마크 전용 기준선.
  • SupervisedSelector — 결정적 거리 가중 최근접 이웃 학습 선택기.
  • SelectionFeature / SelectionFeatures / feature_origin — 선택기가 소비하는 명명된 특성화 특징과 그 출처.
  • SelectionLabel / SolverRecommendation / RecommendationSource — 라벨이 붙은 훈련 예제와, 신뢰도 및 한계를 갖춘 순위가 매겨진 추천.

선택기 교차 검증(누출 없는 일반화):

  • cross_validate / GeneralizationReport — 코퍼스에 대한 패밀리 단위 보류(leave-one-family-out) 일반화.
  • leave_one_family_out / partition_by_families / TrainTestSplit — 패밀리가 분리된 훈련/테스트 분할.
  • 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 — 선택적 학습 백엔드(기본값이 아닌 extra)와 그 형이 지정된 의존성 누락 오류.

솔버 메타데이터와 인용:

  • Citation / CitationStatus — 표준 핵심 참조(또는 명시적인 해당 없음 근거)와 패밀리가 그것을 보유하는지 여부.
  • SolverEncoding — 솔버가 탐색하거나 구성하는 해 인코딩.
  • SUMMIT_EVIDENCE_LABEL — 메타데이터, 증거, 익스포트를 위한 공개 컨텍스트 라벨.

NDSO 패밀리 표면:

  • NDSOFamilySolver — 단일 군집이든 협의회든, 모든 NDSO 패밀리 솔버의 공통 표면.
  • fast_mechanisms — 빠른 구성의 고정된 메커니즘 집합.

NDSO 메커니즘(설계상 유효성 구성):

  • PrecedenceIndex / precedence_index — 모든 생성자가 사용하는 선행자 집합과 안정적 태스크 순서.
  • GuidanceSource / GuidanceContext / select_guidance — 세 가지 삼중 가이던스 출처와 후보의 공유된 구성 입력.
  • guided_construction — 가이던스 순서로부터 실현 가능한 후보를 구축합니다.
  • confidence_weighted_elite — 신뢰도 가중 투표로 엘리트를 형성합니다.
  • ConfidenceMatrix / consolidate_confidence / latent_archive — 학습된 셀별 신뢰, 그 군집 간 통합, 그리고 엘리트가 버린 확신 셀.
  • quality_guidance / quantity_update / BetaSchedule — 품질 및 수량 규칙과 통합 적응형 계수.
  • rank_reward — [0, 1] 범위의 순위 도출 보상.

NDSO 군집 간 협의회:

  • NDSOSummitSolver / summit_solver / summit_profile / SummitConfig — 패밀리의 품질 구성인 군집 간 협의회.
  • CouncilTopology — 협의회의 군집들을 연결하는 군집 간 교환 위상.
  • SummitDiagnostics — 한 번의 런에 첨부되는 불변 협의회 조정 요약.

NDSO 메커니즘 분해 분석(ablation):

  • 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 — 공정 비교 보장을 기록하는 매니페스트 행.

엔진 설정(4계층 출처 스탬프 해석):

  • 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 — 상태, 근거, 선택적 증거 포인터를 담는 하나의 (benchmark family, solver) 적용가능성 진술.
  • ApplicabilityStatus — 셀별 verified / approximate / not-applicable 상태 열거형.
  • ApplicabilityEvidence / ApplicabilityEvidenceKind — 포털-안전 증거 포인터(캠페인, 인용, 또는 테스트)와 그 출처 클래스.
  • ApplicabilityOverride / default_applicability_overrides — 유도된 셀의 검토 가능한 수동 업그레이드 하나와, verified 셀이 존재하는 코드-내 재정의 표.
  • SchedulingFamilyCell — 구성 벤치마크-패밀리 셀을 집계하는 하나의 스케줄링-패밀리 × 솔버 롤업.
  • derive_applicability_cell — 선언된 메타데이터로부터 approximate-또는-not-applicable 셀 하나를 유도.
  • constraint_capability_bridge — 타입 지정 제약-특성에서 능력-태그로의 교량(단일 진실의 원천).
  • ApplicabilityScreen / screen_campaign_applicability — 계획된 캠페인 교차곱을 매트릭스에 대해 선별하여 차단·근사·검증된 쌍을 보고.

📊 분석

dispatchatlas.analytica는 공개 필터링, 수집, 통계 요약, 결정적 마크다운 테이블 작성기, 각각 이중 형식(테마 적용 가능 SVG와 편집 가능한 PGFPlots .tex)으로 렌더링되는 16개 차트 패밀리, 증거 번들, 그리고 포털 데이터셋을 익스포트합니다.

공개 계약:

  • 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 — 여러 알고리즘에 대한 Friedman 옴니버스 순위 검정.
  • FriedmanOutcome — 전체 솔버 필드에 대한 Friedman 옴니버스 순위 검정.
  • nemenyi_critical_difference / CriticalDifference — 평균 순위에 대한 Nemenyi 전체 쌍 임계 차이.
  • wilcoxon_signed_rank / WilcoxonResult — 짝지어진 차이에 대한 양측 Wilcoxon 부호 순위 검정.
  • bayesian_sign_test / BayesianSignTestResult — 짝지어진 차이에 대한, 실용적 동등성 영역(region of practical equivalence)을 갖춘 베이지안 부호 검정.
  • bayesian_signed_rank_test / BayesianSignedRankResult — 짝지어진 차이에 대한, 실용적 동등성 영역을 갖춘 시드된 Dirichlet-과정 베이지안 부호 순위 검정.
  • vargha_delaney_a12 / interpret_a12 — Vargha-Delaney A12 효과 크기와 그 크기 라벨.
  • bca_bootstrap_interval / BootstrapInterval — 편향 보정 및 가속(bias-corrected and accelerated) 부트스트랩 신뢰구간.
  • 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 — 이 표면이 처음부터 끝까지 계산하는 레지스트리 방법 id.

플랫폼 비교(역량 및 분포 거리 증거):

  • PlatformComparison / platform_comparison_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 — 런별 재현성 사실과 그 마크다운 문서.
  • 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 — 모든 차트 패밀리가 공유하는, 외부에서 제어 가능한 색상, 타이포그래피, 캔버스 너비.