DispatchAtlasAPI リファレンス
公開 API は配布物ごとにグループ化されています。その振る舞いを所有する最も狭い
名前空間からインポートしてください。以下のリストは現在の公開名前空間の
エクスポートを反映しているため、パッケージの __init__.py ファイルを読まずに
サポート対象のインポート面を確認できます。
📦 ルート配布物
軽量なルートパッケージのバージョン面には dispatchatlas.version を使用してください:
__version__
🧱 コア
dispatchatlas.core は内側のパッケージ境界です。ドメインオブジェクト、検証、
来歴、シリアライゼーション、シード、ファイルシステム、ロギング、およびプロトコル
契約をエクスポートします。
設定契約:
FoundationConfigSeedPolicySerializationFormatValidationMode
エラー契約:
DataQualityErrorDispatchAtlasErrorDomainValidationErrorInfeasibleScheduleErrorMissingOptionalDependencyErrorProvenanceErrorScheduleValidationErrorSeedDerivationErrorSerializationContractErrorUnsupportedCapabilityErrorrequire_finite— 値を有限の float に変換して返すか、NaN または無限大の場合に指定されたエラー契約を送出する。require_non_negative_int— 整数を返すか、負の値の場合に指定されたエラー契約を送出する。require_positive_int— 整数を返すか、正でない場合に指定されたエラー契約を送出する。require_text— 前後の空白を除いたテキストを返すか、空白の場合に指定されたエラー契約を送出する。
ファイルシステムヘルパー:
read_text_resilientsafe_child_directorysafe_directory_namesafe_namespaced_idwrite_json_artifactwrite_json_artifact_atomicwrite_text_artifactwrite_text_artifact_atomic
可観測性(集中ロギング):
get_loggermake_formatterconsole_handlerfile_handlerscoped_loggingconfigure_root_loggingMESSAGE_FORMATCONSOLE_FORMATSTRUCTURED_FORMATDEFAULT_DATEFMTROOT_LOGGER_NAME
キャンペーンマニフェスト契約:
CampaignCheckpointManifestCampaignFailureRecordCampaignRunRecordcampaign_checkpoint_from_jsonablecampaign_checkpoint_to_jsonablecampaign_failure_record_from_jsonablecampaign_failure_record_to_jsonablecampaign_run_record_from_jsonablecampaign_run_record_to_jsonable
スケジューリングモデル契約:
AssignmentConstraintConstraintKindDependencyDependencyKindDurationMetadataObjectiveObjectiveSenseObjectiveValueParityBasisProblemIdProblemSpecResourceAmountResourceIdResourceRequirementResourceSpecScheduleScheduleResultScheduleStatusTaskIdTaskModeTaskSpecTimePointmetadata_items
統合プロトコル:
AnalysisExporterBenchmarkDescriptorBenchmarkProviderDisclosureLabelDisclosurePolicyExperimentPlanExperimentResultExperimentRunnerResultRepositorySolverSolverDescriptorSolverRun
来歴契約:
ArtifactHashCitationStatusEnvironmentStampEvidenceClassPackageRecordProvenanceQualityGateStatusSeedLineageSourceReferencehash_bytesutc_now
シード契約:
MAX_SEEDSEED_DOMAIN_SEPARATORSeedSeedStreamderive_seed
シリアライゼーション契約:
ArtifactEnvelopecanonical_json_bytesdumps_envelopeenvelope_artifactenvelope_from_jsonableenvelope_to_jsonableenvironment_from_jsonableenvironment_to_jsonableloads_envelopeproblem_from_jsonableproblem_to_jsonableprovenance_from_jsonableprovenance_to_jsonableschedule_from_jsonableschedule_to_jsonable
検証契約:
ValidatedProblemValidationIssueValidationReportValidationSeverityValidationStampcollect_problem_issuescollect_schedule_issuesvalidate_problemvalidate_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— 一回の実行に対する実時間およびエニータイムのタイミング、ピークリソース使用量、ソルバーの労力カウンター。ConvergenceSample/TimedObjectiveSample— ある反復回数および実時間オフセットで観測された目的値。
終了:
TerminationPolicy— 構成可能で多基準のソルバー停止ポリシー。
ファイルシステム安全性:
safe_path_under_root— 認可されたルートの下に解決される場合にのみ返されるパス。
連続体シリアライゼーション:
bandwidth_from_jsonable/bandwidth_to_jsonablecompute_tier_from_jsonable/compute_tier_to_jsonabledata_volume_from_jsonable/data_volume_to_jsonablenetwork_link_from_jsonable/network_link_to_jsonablenetwork_topology_from_jsonable/network_topology_to_jsonableplacement_affinity_from_jsonable/placement_affinity_to_jsonable
🧪 ベンチマーク
dispatchatlas.bench は、ベンチマークカタログ、汎用および連続体ファミリーの
生成器、生成器メタデータ、具現化、引用検証、特徴付け、難度とリアリティギャップ
の指標、選択、ダウンロード、および分類体系契約をエクスポートします。
カタログ契約:
StaticBenchmarkProviderbenchmark_provider_for_selectorsbuild_feasibility_diagnostic_catalogbuild_full_catalogbuild_smoke_catalogfull_benchmark_providerfull_catalog_configssmoke_benchmark_providersmoke_catalog_configs
特徴付け契約:
CharacterizationMetricsCharacterizationReportcharacterize_problem
引用契約:
CitationClaimCitationMatrixSourceKinddefault_citation_matrixvalidate_citation_matrix
生成器契約:
BenchmarkGeneratorDagWorkflowGeneratorGeneratorRegistryIndependentTaskGeneratorcloud_edge_profiledefault_registryworkflow_profile
具現化契約:
BenchmarkInstanceBenchmarkInstanceSetCatalogManifestCatalogManifestEntryconfig_to_jsonablemanifest_to_jsonablematerialize_benchmarkmaterialize_with_generatorwrite_instance_set
メタデータ契約:
BenchmarkConfigDomainProfileGeneratorMetadataScaleSpec
汎用ファミリー契約:
CostModelGeneratorGenericFamilyGeneratorflexible_job_shop_generatorflow_shop_generatorgeneric_family_full_configsgeneric_family_generatorsgeneric_family_smoke_configsjob_shop_generatormachine_scheduling_generatorrcpsp_generatorsetup_flow_shop_generator
連続体ファミリー契約:
ContinuumFamilyGeneratorContinuumFamilySpecContinuumScenarioContinuumStratumDistinctivenessRecordbuild_continuum_catalogbuild_continuum_full_catalogcontinuum_family_distinctivenesscontinuum_family_full_configscontinuum_family_generatorscontinuum_family_smoke_configscontinuum_family_specs
難度契約:
HardnessAxisHardnessSpechardness_axishardness_axis_registrymeasured_communication_compute_ratiomeasured_deadline_slack_ratiomeasured_dependency_densitymeasured_duration_cvmeasured_fabric_churnmeasured_offload_deceptionmeasured_release_stagger
リアリティギャップ契約:
MAX_DISTRIBUTION_DISTANCEDistributionDistanceBridgeDistributionDistanceScoreDistributionDistanceStatusdefault_distribution_distance_bridgesmetrics_from_instance_setper_feature_wassersteindistribution_distance_scorevalidate_distribution_distance_bridge
選択契約:
DifficultyStratumSubsetCriteriadifficulty_scoredifficulty_stratuminstance_familyinstance_profile_classselect_benchmark_subsetstratify_instances
カタログメタデータとダウンロード契約:
CATALOG_SCALAR_COLUMNSCatalogInstanceMetadataDownloadFormatcatalog_instance_metadatacatalog_instance_to_jsonablecatalog_instance_to_rowcatalog_metadata_for_instancescatalog_metadata_for_setscatalog_subset_from_bundlecatalog_subset_from_csvcatalog_subset_from_jsoncatalog_subset_to_bundlecatalog_subset_to_csvcatalog_subset_to_jsonselect_catalog_metadataserialize_catalog_subset
分類体系契約:
DEFAULT_TAXONOMYBenchmarkTaxonomyBenchmarkTierConstraintFeatureDynamismFeatureEnvironmentDomainInfrastructureRealismObjectiveFeatureProfileClassSchedulingFamilySchedulingStructureUncertaintyFeature
参照スイートレジストリ契約:
InstanceCountStatusReferenceSuiteSuiteFormatdefault_reference_suitesreference_suitevalidate_reference_suites
既知最良解契約:
BestKnownIngestBestKnownKindBestKnownRegistryBestKnownValueload_best_knownload_best_known_registry
正典インスタンス取り込み契約:
SUPPORTED_FORMATSParseContextParsedInstanceReferenceSuiteGeneratorload_reference_suiteparse_fjsparse_standard_jspparse_taillard_pfspparse_wfformat_jsonreference_suite_configreference_suite_distribution_distance_bridge
🧮 ソルバー
dispatchatlas.solve は、ソルバーメタデータ、レジストリ、構成的ベースライン、
メタヒューリスティック、NDSO バリアント、演算子、オプションのアダプター、および
プロファイリングヘルパーをエクスポートします。
ベースラインと実行の契約:
DispatchRuleDispatchingSolverOrderRunRequestTerminationTracker— 探索ループの進捗をTerminationPolicyに畳み込み、 どの基準が実行を停止したかを報告する、ステートフルで最初に発火する評価器。baseline_solversneh_order— NEH 挿入構築順序(Nawaz–Enscore–Ham)。
ソルバーメタデータ契約:
DependencyRequirementSolverCapabilitySolverDescriptorSpecSolverFamilySolverMetadataStochasticity
メタヒューリスティック契約:
MetaheuristicKindPermutationMetaheuristicSolverPermutationSearchConfigmetaheuristic_solvers
順位ベースリストスケジューリング契約:
ListSchedulingRankListSchedulingSolverlist_scheduling_solversheft_profile— 上向き順位リストスケジューリング(HEFT)。cpop_profile— 上向き+下向き順位を組み合わせたリストスケジューリング(CPOP)。peft_profile— 楽観的コスト表リストスケジューリング(PEFT)。
レディ集合マッピング規則契約:
MappingRuleMappingRuleSolvermapping_rule_profilemapping_rule_solvers— min-min、max-min、sufferage のバッチ規則。
パレート多目的競合者契約:
NSGA2ConfigNSGA2SolverMOEADConfigMOEADSolvernsga2_profilemoead_profilemulti_objective_solverscrowding_distances— NSGA-II の混雑距離密度推定器。nsga2_environmental_selection— 順位に続く混雑距離によるエリート生存。tchebycheff— MOEA/D の Tchebycheff スカラー化関数。
反復貪欲契約:
ITERATED_GREEDY_RS_CITATIONIteratedGreedyRSConfigIteratedGreedyRSSolver— 順列フローショップ向けの正典的な 破壊–構築構成。iterated_greedy_rs_profileiterated_greedy_rs_solvers
クリティカルパスタブー契約:
CriticalPathTabuConfigCriticalPathTabuSolvercritical_path_tabu_profilecritical_path_tabu_solverscritical_pairs— クリティカルパスの隣接ペア近傍生成器。
プロジェクトスケジューリング(逐次 SGS)契約:
SerialSGSJustificationSolver— 資源制約付きプロジェクトスケジューリング向けの 二重ジャスティフィケーションを伴う逐次スケジュール生成。serial_sgs_justification_profileserial_sgs_justification_solversdouble_justified_order— 後方–前方ジャスティフィケーションパス。latest_finish_order— 最遅終了時刻優先順序。
NDSO 契約:
NDSOAblationNDSOMechanismsNDSOSolverNDSOVariantndso_ablation_catalogndso_solvers
スケジューリング演算子契約:
BatchScoreResultScheduleMetricsadjacent_swap_neighborbatch_score_ordersconstruct_scheduleearliest_finish_task_orderlocal_search_ordernormalize_task_orderobjective_values_forrandom_topological_task_orderrepair_scheduleschedule_metricsscore_orderscore_scheduletopological_task_order
オプションアダプター契約:
OptionalExactSolveroptional_solversortools_dependency
性能契約:
BatchScoringProfileProfiledResultprofile_call
レジストリ契約:
ProfiledSolverSolverRegistrydefault_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— ファミリー素な訓練/テスト分割。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— Confidence-Weighted Voting によってエリートを鍛造する。ConfidenceMatrix/consolidate_confidence/latent_archive— 学習されたセルごとの信頼、その群間統合、およびエリートが放棄した自信のあるセル。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 は、再現可能なキャンペーン設定、予算、環境、リポジトリ、
失敗、および実行の契約をエクスポートします。
予算契約:
CampaignBudgetReportdry_run_campaign
設定契約:
FULL_CAMPAIGN_BLOCKERBudgetScalingCampaignConfigCampaignPlanCampaignRunSpecCampaignStageExecutionModeFailureCategoryOutputPolicyResourceBudgetRetryPolicycampaign_config_hashconfig_to_jsonableplan_to_jsonable
環境契約:
capture_campaign_environment
エラー契約:
BudgetEstimationErrorCampaignConfigErrorCampaignExecutionErrorCheckpointRecoveryErrorEnvironmentCaptureError
リポジトリ契約:
CampaignResultIndexCheckpointManifestFailureRecordFileResultRepositoryRunRecord
ランナー契約:
CampaignRunnerclassify_failuredefault_campaign_runnerresume_campaignrun_campaignvalidate_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— セルごとの verified / approximate / not-applicable 状態列挙。ApplicabilityEvidence/ApplicabilityEvidenceKind— ポータル安全な証拠ポインタ(キャンペーン、引用、またはテスト)と、その来歴クラス。ApplicabilityOverride/default_applicability_overrides— 導出セルの一つのレビュー可能な手動アップグレードと、検証済みセルが存在するコード内オーバーライド表。SchedulingFamilyCell— 構成要素のベンチマークファミリーセルを集約する、一つのスケジューリングファミリー×ソルバーのロールアップ。derive_applicability_cell— 宣言されたメタデータから一つの approximate-or-not-applicable セルを導出する。constraint_capability_bridge— 型付きの制約特徴から能力タグへのブリッジ(単一の真実の源)。ApplicabilityScreen/screen_campaign_applicability— 計画されたキャンペーンのクロス積を行列に対してスクリーニングし、ブロック済み、近似、検証済みのペアを報告する。
📊 解析
dispatchatlas.analytica は、開示フィルタリング、取り込み、統計要約、決定論的な
Markdown 表ライター、それぞれが二重形式(テーマ設定可能な SVG と編集可能な
PGFPlots .tex)でレンダリングされる十六のチャートファミリー、証拠バンドル、
およびポータルデータセットをエクスポートします。
開示契約:
DisclosureExclusionDisclosureFilterResultDisclosurePolicyEvidenceTierdefault_disclosure_policyensure_dataset_allowedfilter_dataset
エクスポート契約:
ExportBundleevidence_bundle_directorywrite_evidence_bundlewrite_portal_dataset
取り込み契約:
PlanRunFactsload_campaign_datasetload_result_dataset
モデル契約:
AnalysisConfigAnalysisDatasetAnalysisSummaryCampaignManifestCorrectionMethodExportSurfaceFailureObservationObjectiveObservationPairwiseComparisonRankEntryRunObservationSolverSummary
統計契約:
bootstrap_mean_intervalcliffs_deltacohens_dpaired_cohens_dzpaired_observation_countssummarize_datasettwo_sided_sign_test
表契約:
ablation_table_markdownarpd_markdownbenchmark_table_markdownconstraints_table_markdownensure_effect_sizes_beside_p_valuesinfeasible_rows_markdownmultiobjective_indicators_markdownoptimality_gap_table_markdownpairwise_comparison_markdownportal_csvranking_markdownsensitivity_table_markdownsolver_summary_markdown
可視化契約(各チャートファミリーはテーマ設定可能な SVG と編集可能な PGFPlots .tex としてレンダリングされる):
ablation_svg·ablation_texcharacterization_svg·characterization_texconvergence_svg·convergence_texcritical_difference_svg·critical_difference_texdata_profile_svg·data_profile_texecdf_svg·ecdf_texexploration_exploitation_svg·exploration_exploitation_texfrontier_svg·frontier_texperformance_profile_svg·performance_profile_texranking_svg·ranking_texrobustness_svg·robustness_texrun_order_trend_svg·run_order_trend_texruntime_quality_svg·runtime_quality_texscalability_svg·scalability_texsensitivity_svg·sensitivity_texstability_svg·stability_tex
比較契約:
ComplexityRowEvidenceCaveatEvidenceCaveatScopeHeadToHeadComparisonHeadToHeadRowcomplexity_table_markdownevidence_caveats_markdownhead_to_head_comparison
推論と効果量(決定論的で依存関係不要の有意性検定):
friedman_test/FriedmanResult— 複数アルゴリズムにわたる Friedman オムニバス順位検定。FriedmanOutcome— ソルバー群全体にわたる Friedman オムニバス順位検定。nemenyi_critical_difference/CriticalDifference— 平均順位に対する Nemenyi 全ペア臨界差。wilcoxon_signed_rank/WilcoxonResult— ペア差に対する両側 Wilcoxon 符号順位検定。bayesian_sign_test/BayesianSignTestResult— ペア差にわたる実質的等価領域を伴うベイズ符号検定。bayesian_signed_rank_test/BayesianSignedRankResult— ペア差にわたる実質的等価領域を伴う、シード付きディリクレ過程ベイズ符号順位検定。vargha_delaney_a12/interpret_a12— Vargha-Delaney A12 効果量と、その大きさのラベル。bca_bootstrap_interval/BootstrapInterval— バイアス補正および加速ブートストラップ信頼区間。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— 四つのプラットフォーム比較行集合と、その 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— すべてのチャートファミリーで共有される、外部から制御可能な色、タイポグラフィ、キャンバス幅。