Zum Inhalt springen
DispatchAtlas
Suchen

API-Referenz

Die öffentliche API ist nach Distribution gruppiert. Importieren Sie aus dem engsten Namensraum, der das Verhalten besitzt. Die folgenden Listen spiegeln die aktuellen öffentlichen Namensraum-Exporte wider, sodass Leser die unterstützte Importfläche prüfen können, ohne die __init__.py-Dateien der Pakete zu lesen.

📦 Wurzel-Distribution

Verwenden Sie dispatchatlas.version für die schlanke Versionsfläche des Wurzelpakets:

  • __version__

🧱 Kern

dispatchatlas.core ist die innere Paketgrenze. Es exportiert Domänenobjekte, Validierung, Provenienz, Serialisierung, Seed, Dateisystem, Protokollierung und Protokollverträge.

Konfigurationsverträge:

  • FoundationConfig
  • SeedPolicy
  • SerializationFormat
  • ValidationMode

Fehlerverträge:

  • DataQualityError
  • DispatchAtlasError
  • DomainValidationError
  • InfeasibleScheduleError
  • MissingOptionalDependencyError
  • ProvenanceError
  • ScheduleValidationError
  • SeedDerivationError
  • SerializationContractError
  • UnsupportedCapabilityError
  • require_finite — gibt den auf einen endlichen Float gewandelten Wert zurück oder löst den angegebenen Fehlervertrag aus, wenn er NaN oder unendlich ist.
  • require_non_negative_int — gibt die Ganzzahl zurück oder löst den angegebenen Fehlervertrag aus, wenn sie negativ ist.
  • require_positive_int — gibt die Ganzzahl zurück oder löst den angegebenen Fehlervertrag aus, wenn sie nicht positiv ist.
  • require_text — gibt den getrimmten Text zurück oder löst den angegebenen Fehlervertrag aus, wenn er leer ist.

Dateisystem-Hilfen:

  • 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

Beobachtbarkeit (zentralisierte Protokollierung):

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

Kampagnen-Manifest-Verträge:

  • 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

Scheduling-Modell-Verträge:

  • 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

Integrationsprotokolle:

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

Provenienz-Verträge:

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

Seed-Verträge:

  • MAX_SEED
  • SEED_DOMAIN_SEPARATOR
  • Seed
  • SeedStream
  • derive_seed

Serialisierungsverträge:

  • 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

Validierungsverträge:

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

Kern-Dimensionierungskonstanten:

  • DEFAULT_CPU_RESERVE — standardmäßig vom Worker-Pool zurückgehaltene CPUs.
  • DEFAULT_MEMORY_RESERVE_FRACTION — der standardmäßig in Reserve gehaltene Anteil des Systemspeichers.
  • OBJECTIVE_FAMILY — die Registry, die jede Zielfunktionsart ihrer kanonischen Definition zuordnet.

Host-Nebenläufigkeit:

  • available_cpu_count / available_system_memory_bytes — die diesem Prozess verfügbaren CPUs und der bestmöglich ermittelte verfügbare Systemspeicher.
  • maximal_safe_worker_count — die maximale sichere parallele Worker-Anzahl für den Host.

Continuum-Modell (edge–fog–cloud):

  • ComputeTier — eine Continuum-Rechenschicht (edge, fog, cloud) mit ihrer aggregierten Kapazität.
  • NetworkTopology / NetworkLink — das Kommunikationsgefüge und seine gerichteten Inter-Tier-Verbindungen.
  • Bandwidth / DataVolume — positiver Verbindungsdurchsatz in Bytes pro Sekunde und nicht-negative übertragbare Daten in Bytes.
  • PlacementAffinity — die Präferenz einer Aufgabe für ein Platzierungsziel im Continuum.

Kostenmodell (R||Cmax, Kommunikation, lastabhängige Ausführung, sequenzabhängige Rüstung):

  • CostModel / cost_model_from_jsonable / cost_model_to_jsonable — das per Identifikator an ein Problem gebundene Kostenmodell-Bündel und seine Serialisierung.
  • ExecutionTimeMatrix / ExecutionTimeEntry / execution_matrix_from_iterable — die Ausführungszeitmatrix für nicht-verwandte Maschinen (p_ij).
  • CompatibilityMask — die explizite Aufgabe-zu-Maschine-Eignungsmenge.
  • CommunicationModel / CommunicationLink — ressourcenübergreifende Kommunikationsstrafen auf einem dünnbesetzten Graphen.
  • LoadModel / LoadModelKind / LoadBreakpoint — die lastabhängige Ausführungskurve und ihre Interpolation zwischen Stützstellen.
  • SetupMatrix / SetupEntry / SetupReferenceKind — sequenzabhängige Rüstzeiten, indiziert nach Übergang und Maschine.

Zielfunktionsfamilie:

  • ObjectiveKind / ObjectiveDefinition / objective_definition — benannte Scheduling-Zielfunktionen und ihre kanonischen Metadaten.
  • ObjectiveReduction / VectorObjectiveValue — die Skalarisierungsregel und ein gemessener mehrkriterieller Vektor mit Offenlegungsmetadaten.
  • vector_objective_from_jsonable / vector_objective_to_jsonable — Vektor-Zielfunktion-Serialisierung.

Zielfunktionsauswertung:

  • evaluate_objective / evaluate_objectives / ObjectiveEvaluation — eine oder jede benannte Zielfunktion über einen Schedule auswerten.
  • MultiObjectiveOutcome / computed_vector / multi_objective_outcome_from_jsonable — skalare und Vektor-Zielfunktionen sowie Zulässigkeit für einen Schedule.
  • EvaluationStatus / objective_sense — ob ein Wert berechnet oder zurückgestellt wurde und der Optimierungssinn einer Zielfunktion.

Zulässigkeit und Constraints:

  • FeasibilityReport / build_feasibility_report — Zeilen für harte Verletzungen sowie die Verrechnung weicher Constraint-Strafen.
  • InfeasibleRow / SoftConstraintPenalty — eine für den Prüfer sichtbare harte Verletzung und eine gewichtete weiche Constraint-Strafe.
  • ServiceLevelConstraint / ServiceLevelOutcome / evaluate_service_level / evaluate_service_level_over_schedule / resolve_metric — benannte Service-Level-Constraints auf einer Schedule-Metrik und deren Auswertung.
  • ConstraintViolationSummary / summarize_constraints — aggregierte Verrechnung harter, weicher und Service-Level-Constraints.

Pareto-Front und Qualitätsindikatoren:

  • dominates / to_minimization — Pareto-Dominanz unter Minimierung und Umwandlung gemischter Sinne.
  • fast_non_dominated_sort / non_dominated_front / non_dominated_indices — NSGA-II-Sortierung nach Nicht-Dominanz und die nicht-dominierte Menge.
  • FrontierPoint / LabelledPoint / frontier_data — beschriftete Zielfunktionsvektoren und frontbereite Datensätze.
  • hypervolume / igd_plus / additive_epsilon_indicator / spread — die vier Qualitätsindikatoren: Hypervolumen, IGD+, additives Epsilon und Nächste-Nachbarn-Spreizung.
  • QualityIndicatorReport / quality_indicator_report — alle vier Indikatoren für eine Front gegen eine Referenzmenge.

Robustheit:

  • PerturbationScenario / PerturbationSet — benannte Störungsszenarien für eine Zielfunktion.
  • RobustnessAggregation / RobustnessValue / evaluate_robustness — wie eine Störungsmenge zu einer Robustheitszahl mit ihrer angegebenen Basis aggregiert.

Lauf-Manifeste:

  • RunTiming / ResourceUsage / SolverCounters — Echtzeit- und Anytime-Zeitmessung, Spitzen-Ressourcennutzung und Solver-Aufwandszähler für einen Lauf.
  • ConvergenceSample / TimedObjectiveSample — bei einer Iterationszahl und bei einem Echtzeit-Offset beobachtete Zielfunktionswerte.

Terminierung:

  • TerminationPolicy — eine zusammensetzbare, mehrkriterielle Solver-Stopppolitik.

Dateisystem-Sicherheit:

  • safe_path_under_root — ein Pfad, der nur dann zurückgegeben wird, wenn er sich unterhalb einer autorisierten Wurzel auflöst.

Continuum-Serialisierung:

  • 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

🧪 Benchmarks

dispatchatlas.bench exportiert Benchmark-Kataloge, generische und Continuum- Familiengeneratoren, Generator-Metadaten, Materialisierung, Zitationsvalidierung, Charakterisierung, Härte- und Verteilungsabstands-Metriken, Auswahl, Download und Taxonomie-Verträge.

Katalogverträge:

  • 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

Charakterisierungsverträge:

  • CharacterizationMetrics
  • CharacterizationReport
  • characterize_problem

Zitationsverträge:

  • CitationClaim
  • CitationMatrix
  • SourceKind
  • default_citation_matrix
  • validate_citation_matrix

Generatorverträge:

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

Materialisierungsverträge:

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

Metadatenverträge:

  • BenchmarkConfig
  • DomainProfile
  • GeneratorMetadata
  • ScaleSpec

Generische Familienverträge:

  • 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

Continuum-Familienverträge:

  • 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

Härteverträge:

  • 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

Verteilungsabstands-Verträge:

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

Auswahlverträge:

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

Katalog-Metadaten- und Download-Verträge:

  • 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

Taxonomieverträge:

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

Referenz-Suite-Registry-Verträge:

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

Best-known-Lösungs-Verträge:

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

Kanonische-Instanz-Ingestions-Verträge:

  • 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

🧮 Solver

dispatchatlas.solve exportiert Solver-Metadaten, Registries, konstruktive Baselines, Metaheuristiken, NDSO-Varianten, Operatoren, optionale Adapter und Profiling-Hilfen.

Baseline- und Ausführungsverträge:

  • DispatchRule
  • DispatchingSolver
  • OrderRunRequest
  • TerminationTracker — der zustandsbehaftete, zuerst-feuernde Auswerter, der den Fortschritt einer Suchschleife in eine TerminationPolicy einfaltet und meldet, welches Kriterium den Lauf gestoppt hat.
  • baseline_solvers
  • neh_order — die NEH-Einfügungs-Konstruktionsreihenfolge (Nawaz–Enscore–Ham).

Solver-Metadaten-Verträge:

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

Metaheuristik-Verträge:

  • MetaheuristicKind
  • PermutationMetaheuristicSolver
  • PermutationSearchConfig
  • metaheuristic_solvers

Rangbasierte List-Scheduling-Verträge:

  • ListSchedulingRank
  • ListSchedulingSolver
  • list_scheduling_solvers
  • heft_profile — List-Scheduling nach Aufwärtsrang (HEFT).
  • cpop_profile — List-Scheduling nach kombiniertem Aufwärts+Abwärts-Rang (CPOP).
  • peft_profile — List-Scheduling mit optimistischer Kostentabelle (PEFT).

Ready-Set-Mapping-Regel-Verträge:

  • MappingRule
  • MappingRuleSolver
  • mapping_rule_profile
  • mapping_rule_solvers — die Batch-Regeln min-min, max-min und sufferage.

Pareto-Mehrziel-Wettbewerber-Verträge:

  • NSGA2Config
  • NSGA2Solver
  • MOEADConfig
  • MOEADSolver
  • nsga2_profile
  • moead_profile
  • multi_objective_solvers
  • crowding_distances — der NSGA-II-Crowding-Distance-Dichteschätzer.
  • nsga2_environmental_selection — elitäres Überleben nach Rang, dann Crowding.
  • tchebycheff — die skalarisierende Tchebycheff-Funktion von MOEA/D.

Iterated-Greedy-Verträge:

  • ITERATED_GREEDY_RS_CITATION
  • IteratedGreedyRSConfig
  • IteratedGreedyRSSolver — die kanonische Destruktions-Konstruktions-Konfiguration für Permutations-Flow-Shops.
  • iterated_greedy_rs_profile
  • iterated_greedy_rs_solvers

Kritischer-Pfad-Tabu-Verträge:

  • CriticalPathTabuConfig
  • CriticalPathTabuSolver
  • critical_path_tabu_profile
  • critical_path_tabu_solvers
  • critical_pairs — der Nachbarschaftsgenerator benachbarter Paare des kritischen Pfades.

Projekt-Scheduling-Verträge (serielles SGS):

  • SerialSGSJustificationSolver — serielle Zeitplangenerierung mit doppelter Justierung für ressourcenbeschränkte Projektplanung.
  • serial_sgs_justification_profile
  • serial_sgs_justification_solvers
  • double_justified_order — der Rückwärts-Vorwärts-Justierungsdurchlauf.
  • latest_finish_order — die Prioritätsreihenfolge nach spätester Endzeit.

NDSO-Verträge:

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

Scheduling-Operator-Verträge:

  • 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

Optionale Adapter-Verträge:

  • OptionalExactSolver
  • optional_solvers
  • ortools_dependency

Performance-Verträge:

  • BatchScoringProfile
  • ProfiledResult
  • profile_call

Registry-Verträge:

  • ProfiledSolver
  • SolverRegistry
  • default_solver_registry

Solver-Tuning-Konstanten:

  • NATIVE_EXACT_TASK_CAP — die Aufgabenanzahl-Obergrenze, oberhalb derer der native exakte Solver geschlossen fehlschlägt.
  • RUN_COUNT_FLOOR — die Mindestanzahl wiederholter Läufe, die ein fairer Vergleich erfordert.
  • VELOCITY_WINDOW — das Verbesserungsgeschwindigkeits-Fenster, das der Anytime-Controller beobachtet.
  • IMPROVEMENT_FLOOR — die minimale relative Verbesserung, die als Fortschritt zählt.
  • FEATURE_ORIGIN — die Benchmark-Plattform-Metrik, aus der jedes Auswahlmerkmal abgeleitet wird.

Baseline-Dispatching-Familien:

  • DispatchingFamilySpec — eine benannte Dispatching-Familie, gebunden an eine deterministische Prioritätsregel.
  • RetiredFamily / RetirementReason / retired_dispatching_families — benannte Familien, die bewusst beiseitegelegt wurden, jeweils mit ihrer Begründung.

Diversifizierte Wettbewerber (das benannte Metaheuristik-Feld):

  • CompetitorKind / CompetitorSolver / CompetitorConfig — benannte Wettbewerber mit gemeinsamen beschränkten Suchparametern.
  • competitor_solvers / diversified_competitors — die diversifizierte, offenlegungsbewusste Wettbewerbermenge.
  • post_2020_currency_anchor — die Aktualitätsanker-Referenzen nach 2020 für das Feld.
  • recent_peer_strength_bar — die unter der Veranstaltungsstärke-Schwelle gehaltenen jüngsten Vergleichsverfahren.

Kontinuierliche Optimierer (auf die diskrete Reihenfolge dekodiert):

  • clpso_optimize / CLPSOConfig — Partikelschwarmoptimierung mit umfassendem Lernen.
  • lshade_optimize / LSHADEConfig — verlaufsbasiert-adaptive differentielle Evolution mit linearer Populationsreduktion.
  • EncodedSolverKind / EncodedAdapterSolver / encoded_adapter_solvers — die kontinuierliche Familie, gebunden an einen diskreten Kodierungsadapter.
  • ContinuousResult / SearchBudget — das Ergebnis eines kontinuierlichen Laufs und sein Iterations-, Zufalls- und Echtzeitbudget.

Kontinuierlich-zu-diskrete Kodierung:

  • EncodingAdapter / encoding_adapter / encoding_adapter_catalog — benannte kontinuierlich-zu-diskrete Kodierungen mit expliziter Reparatur.
  • DecodeRule / DecodeOutcome — die Regel, die einen transformierten Schlüsselvektor in eine Aufgabenreihenfolge umwandelt, und ihr repariertes Ergebnis.
  • RepairPolicy — die Politik, die die Vorrang-Zulässigkeit nach dem Dekodieren wiederherstellt.
  • TransferFunction — die Stauchungsfunktion, die eine kontinuierliche Komponente auf ein Auswahlsignal abbildet.

Exakte Solver:

  • ExactMethod / ExactSolver — benannte exakte Methoden und ein Adapter, der bei fehlendem Backend oder überdimensionierter Eingabe geschlossen fehlschlägt.
  • ExactAdapterSpec / exact_adapter_specs / exact_solvers — die gebündelten exakten Solver-Adapter-Verträge.

Vielkriterieller Wettbewerber (NSGA-III):

  • NSGA3Solver / NSGA3Config / nsga3_solvers / nsga3_profile — der NSGA-III-Wettbewerber über vorrang-sichere Reihenfolgen.
  • nsga3_reference_points — strukturierte Referenzpunkte nach Das & Dennis auf dem Einheitssimplex.
  • nsga3_environmental_selection — NSGA-III-Selektion mit Referenzpunkt-Nischenbildung.

Wissenschaftliche Scheduling-Varianten:

  • SchedulingVariantKind / PermutationSchedulingVariantSolver / SchedulingVariantConfig — benannte wissenschaftliche Hybridvarianten über die diskrete Reihenfolgenkodierung.
  • scheduling_variant_solvers — die erstklassigen Scheduling-Varianten-Baselines.

Algorithmusauswahl:

  • RuleBasedSelector — eine reine Benchmark-Baseline, die Kandidaten allein aus Metadaten ordnet.
  • SupervisedSelector — ein deterministischer, distanzgewichteter Nächste-Nachbarn-Selektor mit maschinellem Lernen.
  • SelectionFeature / SelectionFeatures / feature_origin — die benannten Charakterisierungsmerkmale, die der Selektor konsumiert, und ihre Herkunft.
  • SelectionLabel / SolverRecommendation / RecommendationSource — gelabelte Trainingsbeispiele und geordnete Empfehlungen mit Konfidenz und Einschränkungen.

Selektor-Kreuzvalidierung (leckagefreie Generalisierung):

  • cross_validate / GeneralizationReport — Leave-One-Family-Out-Generalisierung über einen Korpus mit zurückgehaltenen Daten.
  • leave_one_family_out / partition_by_families / TrainTestSplit — familien-disjunkte Trainings-/Test-Splits.
  • held_out_generalization — Training auf der Trainingshälfte des Splits und Bericht der Top-1-Genauigkeit auf seiner Testhälfte.
  • leakage_report / LeakageReport — die Instanz-, Familien- und Charakterisierungsdatensatz-Überlappungen, die ein leckagefreier Split leer halten muss.
  • validated_supervised_selector — ein Selektor, dessen Konfidenz seine Generalisierung mit zurückgehaltenen Daten widerspiegelt.

Lern- und Hybrid-Schnittstellen (optional, geschlossen-fehlschlagend):

  • LearningInterfaceKind / LearningInterface / learning_interface / learning_interface_catalog — benannte Lern- und Hybrid-Schnittstellen mit Status, Politik und Rückfallpfad.
  • InterfaceStatus / LearningEvidencePolicy — der Lebenszyklusstatus und der Evidenzvertrag, den jede solche Fläche deklariert.
  • ConfidenceLabel / confidence_rank — die Konfidenz, die eine Empfehlung tragen kann, und ihre ordinale Stärke.
  • learning_backend_available / learning_dependency / require_learning_backend — das optionale Lern-Backend (ein Extra, niemals ein Standard) und sein typisierter Fehler bei fehlender Abhängigkeit.

Solver-Metadaten und Zitationen:

  • Citation / CitationStatus — eine kanonische wegweisende Referenz (oder eine explizite Nicht-Anwendbar-Begründung) und ob eine Familie eine trägt.
  • SolverEncoding — die Lösungskodierung, über die ein Solver sucht oder konstruiert.
  • SUMMIT_EVIDENCE_LABEL — das Offenlegungskontext-Label für Metadaten, Evidenz und Exporte.

NDSO-Familienfläche:

  • NDSOFamilySolver — die gemeinsame Fläche jedes NDSO-Familien-Solvers, ob Einzelschwarm oder Rat.
  • fast_mechanisms — die feste Mechanismusmenge der schnellen Komposition.

NDSO-Mechanismen (validitätsorientierte Konstruktion):

  • PrecedenceIndex / precedence_index — Vorgängermengen und eine stabile Aufgabenordnung, die jeder Konstruktor verwendet.
  • GuidanceSource / GuidanceContext / select_guidance — die drei Triple-Guidance-Quellen und die gemeinsamen Konstruktionseingaben eines Kandidaten.
  • guided_construction — einen zulässigen Kandidaten aus einer Führungsreihenfolge aufbauen.
  • confidence_weighted_elite — die Elite per konfidenzgewichteter Abstimmung schmieden.
  • ConfidenceMatrix / consolidate_confidence / latent_archive — gelerntes Vertrauen pro Zelle, dessen schwarmübergreifende Konsolidierung und konfidente Zellen, die die Elite aufgegeben hat.
  • quality_guidance / quantity_update / BetaSchedule — die Qualitäts- und Quantitätsregeln und der vereinheitlichte adaptive Koeffizient.
  • rank_reward — eine rangbasierte Belohnung in [0, 1].

NDSO Inter-Group-Rat:

  • NDSOSummitSolver / summit_solver / summit_profile / SummitConfig — der Inter-Group-Rat, die Qualitätskomposition der Familie.
  • CouncilTopology — die Inter-Group-Austauschtopologie, die die Schwärme des Rates verbindet.
  • SummitDiagnostics — die unveränderliche, an einen Lauf angehängte Zusammenfassung der Ratskoordination.

NDSO-Mechanismus-Ablation:

  • AblationEntry / ablation_map — eine isolierende Ablation pro kanonischem Mechanismus.
  • build_ablation_solver / run_ablation_suite / AblationRunResult — das Bauen und Ausführen jeder zulässigkeitsbeschränkten isolierenden Ablation.
  • ABLATION_STATISTICAL_PLAN / StatisticalTestPlan — die benannten statistischen Tests der Analyseschicht, die ein Ablationsvergleich verwendet.

NDSO-Anytime-Steuerung:

  • AnytimeController / AnytimeReport — der Controller zur frühzeitigen Terminierung nach Verbesserungsgeschwindigkeit und sein Aktivitätsprotokoll.

NDSO-Diagnostik:

  • DiagnosticsCollector / DiagnosticsSnapshot — ein optionaler, bei Deaktivierung kostenfreier Konvergenzrekorder und seine Zusammenfassung.
  • IterationTrace — der Konvergenzdatensatz einer Iteration.
  • population_diversity — mittlere paarweise Positionsuneinigkeit in [0, 1].

NDSO-Offenlegung (geschlossen-fehlschlagende Mechanismus-Schranke):

  • MechanismDescriptor / mechanism_descriptor / mechanism_catalog — benannte Mechanismen und die Offenlegungsuntergrenze, zu der jeder gehört.
  • DisclosureFilter / DisclosureViolationError — die geschlossen-fehlschlagende Schranke dafür, welche Mechanismen ein Berichtsumfang offenlegen darf.
  • ReportScope / EvidenceProgram — gestaffelte Berichtsumfänge und die vier gestaffelten Evidenzprogramme, die einer Offenlegungsuntergrenze zugeordnet sind.
  • base_disclosure_filter / program_disclosure_filter — die geschlossen-fehlschlagenden Filter für den Basisumfang und pro Programm.
  • blocks_summit_evidence — ob der Filter eines Programms die ausschließlich dem Rat vorbehaltene Qualitätsuntergrenze blockiert.

🚀 Kampagnen

dispatchatlas.lab exportiert Verträge für reproduzierbare Kampagnen- Konfiguration, Budget, Umgebung, Repository, Fehlschlag und Ausführung.

Budgetverträge:

  • CampaignBudgetReport
  • dry_run_campaign

Konfigurationsverträge:

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

Umgebungsverträge:

  • capture_campaign_environment

Fehlerverträge:

  • BudgetEstimationError
  • CampaignConfigError
  • CampaignExecutionError
  • CheckpointRecoveryError
  • EnvironmentCaptureError

Repository-Verträge:

  • CampaignResultIndex
  • CheckpointManifest
  • FailureRecord
  • FileResultRepository
  • RunRecord

Runner-Verträge:

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

Kampagnenkonfiguration:

  • CampaignKind — die Versuchsdesign-Klasse, die eine Kampagne realisiert.
  • StoppingProtocol / StoppingProtocolKind — ein benanntes, unabhängig berichtbares Stoppprotokoll für einen stochastischen Solver-Bericht.
  • RunCountPolicy / STATISTICAL_POWER_FLOOR — die Lauf-Anzahl-Politik und die minimale Replikatzahl, unterhalb derer die Läufe eines Solvers als unterpowert markiert werden.
  • TuningBudget — das gleiche Tuning-Budget pro Algorithmus, das einen Vergleich fair hält.
  • campaign_config_from_jsonable — eine validierte Kampagnenkonfiguration aus JSON-kompatiblen Daten rehydrieren.

Lauf-Anzahl-Auflösung:

  • ReplicateResolution / resolve_replicates — die aufgelöste Replikatzahl für einen Solver, mit jeglicher Unterpower-Markierung, unter der Lauf-Anzahl-Politik.

Fairer-Vergleich-Invariante:

  • assert_fair_comparison — die strukturellen Vorbedingungen der Fairer-Vergleich-Invariante validieren.
  • fair_comparison_manifest — die Manifestzeilen, die die Fairer-Vergleich-Garantie aufzeichnen.

Engine-Einstellungen (vierschichtige provenienz-gestempelte Auflösung):

  • EngineSettings / resolve_engine_settings — die aufgelösten Engine-Stellschrauben über die vier Konfigurationsschichten, jedes Feld mit Provenienz gestempelt.
  • ResolvedSetting / SettingSource — der Wert einer Einstellung, gepaart mit der Schicht, die ihn lieferte.
  • apply_environment_overrides — die Umgebungsschicht über eine datei- oder aufrufstellenbasierte Kampagnenkonfiguration legen.

Worker-Topologie und Aggregation:

  • WorkerTopology / topology_for_plan / probe_capacity — die budgetkonforme Worker-Topologie, die nach Sondierung der Host-Kapazität für eine Kampagne ausgewählt wird.
  • AggregateManifest / merge_only_aggregation — deterministische reine Merge-Aggregation abgeschlossener Lauf-Datensätze zu einem bit-stabilen Kampagnen-Hash.

Experiment-Atlas:

  • ExperimentAtlas / default_experiment_atlas — ein offenlegungsbewusster Atlas eigener Evidenzspuren.
  • EvidenceTrack — eine eigene Evidenzscheibe im Experiment-Atlas.

Benchmark-Familie-nach-Solver-Anwendbarkeitsmatrix:

  • ApplicabilityMatrix / default_applicability_matrix — die vollständige Benchmark-Familie-nach-Solver-Anwendbarkeitsmatrix, aus den Live-Registries abgeleitet und dann durch die Override-Tabelle annotiert.
  • ApplicabilityCell — eine (Benchmark-Familie, Solver)-Anwendbarkeitsaussage, die ihren Status, ihre Begründung und einen optionalen Evidenzzeiger trägt.
  • ApplicabilityStatus — der Pro-Zelle-Status-Enum verifiziert / approximativ / nicht-anwendbar.
  • ApplicabilityEvidence / ApplicabilityEvidenceKind — ein portalsicherer Evidenzzeiger (Kampagne, Zitat oder Test) und seine Provenienzklasse.
  • ApplicabilityOverride / default_applicability_overrides — ein prüfbares manuelles Upgrade einer abgeleiteten Zelle und die im Code liegende Override-Tabelle, in der verifizierte Zellen leben.
  • SchedulingFamilyCell — ein Scheduling-Familie-nach-Solver-Rollup, das die konstituierenden Benchmark-Familien-Zellen aggregiert.
  • derive_applicability_cell — leitet eine approximative-oder-nicht-anwendbare Zelle aus deklarierten Metadaten ab.
  • constraint_capability_bridge — die typisierte Brücke von Constraint-Merkmal zu Capability-Tag (einzige Wahrheitsquelle).
  • ApplicabilityScreen / screen_campaign_applicability — screent ein geplantes Kampagnen-Kreuzprodukt gegen die Matrix und meldet blockierte, approximative und verifizierte Paare.

📊 Analyse

dispatchatlas.analytica exportiert Offenlegungsfilterung, Einlesen, statistische Zusammenfassungen, deterministische Markdown-Tabellen-Schreiber, sechzehn Diagrammfamilien, jeweils in dualem Format gerendert (themenfähiges SVG und editierbares PGFPlots .tex), Evidenzbündel und Portal-Datensätze.

Offenlegungsverträge:

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

Exportverträge:

  • ExportBundle
  • evidence_bundle_directory
  • write_evidence_bundle
  • write_portal_dataset

Einleseverträge:

  • PlanRunFacts
  • load_campaign_dataset
  • load_result_dataset

Modellverträge:

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

Statistische Verträge:

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

Tabellenverträge:

  • 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

Visualisierungsverträge (jede Diagrammfamilie rendert als themenfähiges SVG und editierbares 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

Vergleichsverträge:

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

Inferenz und Effektstärken (deterministische, abhängigkeitsfreie Signifikanzprüfung):

  • friedman_test / FriedmanResult — Friedman-Omnibus-Rangtest über mehrere Algorithmen.
  • FriedmanOutcome — Friedman-Omnibus-Rangtest über das gesamte Solver-Feld.
  • nemenyi_critical_difference / CriticalDifference — Nemenyi-Alle-Paare-kritische-Differenz für durchschnittliche Ränge.
  • wilcoxon_signed_rank / WilcoxonResult — zweiseitiger Wilcoxon-Vorzeichenrangtest für gepaarte Differenzen.
  • bayesian_sign_test / BayesianSignTestResult — Bayes'scher Vorzeichentest mit einer Region praktischer Äquivalenz über gepaarte Differenzen.
  • bayesian_signed_rank_test / BayesianSignedRankResult — seed-gesteuerter Dirichlet-Prozess-Bayes'scher Vorzeichenrangtest mit einer Region praktischer Äquivalenz über gepaarte Differenzen.
  • vargha_delaney_a12 / interpret_a12 — Vargha-Delaney-A12-Effektstärke und ihr Größenordnungs-Label.
  • bca_bootstrap_interval / BootstrapInterval — bias-korrigiertes und beschleunigtes Bootstrap-Konfidenzintervall.
  • standard_normal_cdf / standard_normal_ppf — Standardnormal-Verteilungsfunktion und -Quantil.
  • chi_square_sf — Chi-Quadrat-Oberschwanz-(Überlebens-)Wahrscheinlichkeit.
  • detectable_effect_size / required_paired_count / PowerAssessment — die kleinste detektierbare standardisierte gepaarte Effektstärke bei einer Laufzahl und ihre Umkehrung.
  • ArpdRow / arpd_rows — durchschnittliche relative prozentuale Abweichung pro Solver gegen vom Aufrufer gelieferte Best-known-Referenzwerte mit expliziter Provenienz.
  • ensure_equal_budgets — geschlossen-fehlschlagende Verifikation des größenskalierten Gleichbudget-Protokolls.

Analysemethoden-Registry (geschlossen-fehlschlagende Methodenauswahl):

  • AnalysisMethod / method_registry / method_by_id — benannte Methoden mit ihren Annahmen und Offenlegungsuntergrenzen.
  • AnalysisFamily / methods_in_family — Methodenfamilien und ihre Zugehörigkeit.
  • MethodSupport / evaluate_support — das geschlossen-fehlschlagende Unterstützungsurteil für eine Methode bei einer gegebenen Stichprobengröße.
  • MethodLimitation — eine nicht unterstützte benannte Methode, die zur Einschränkungsfläche geleitet wird.
  • STATISTICAL_POWER_FLOOR — die minimale Stichprobengröße, unterhalb derer unterpowerte Methoden geschlossen fehlschlagen.

Analyse-Frames (auxiliare Zeilen- und Reihen-Frames, die ein Abbildungs- oder Tabellenkonsument rendert):

  • AnalysisFrames — das Bündel auxiliarer Frames für einen Datensatz.
  • BenchmarkRow / benchmark_rows — Abdeckung pro Benchmark-Instanz über das Solver-Feld.
  • CharacterizationRow / characterization_rows — Schwierigkeitsdeskriptoren pro Problem aus beobachteter Streuung.
  • ConstraintRow — eine Constraint-Verrechnungszeile über den Datensatz.
  • ConvergenceSeries / convergence_series — Best-Objective-Spuren pro Solver nach Iteration.
  • DataProfileSeries / data_profile_series — Anteil der pro Solver auf eine Zielgenauigkeit innerhalb eines Auswertungsgruppen-Budgets gelösten Zellen für die Datenprofil-Abbildung.
  • DiversitySeries / diversity_series — Populationsdiversitäts-Spuren pro Solver nach Iteration für die Abbildung zur Exploration-Exploitation-Balance.
  • InfeasibleRunRow / infeasible_rows — unzulässige abgeschlossene Läufe und aufgezeichnete Fehlschläge, die zu Ergänzungen geleitet werden.
  • OptimalityGapRow / optimality_gap_rows — Optimalitätslücken pro (Problem, Solver) gegen Referenzschranken.
  • RobustnessPoint / robustness_points — CVaR + Worst-Case-Tail-Risiko pro Solver über die Zielfunktionsmenge für die Robustheits-Abbildung.
  • RuntimeQualityPoint / runtime_quality_points — Laufzeit-Qualitäts-Beobachtungen für die Laufzeit-Qualitäts-Abbildung.
  • ScalabilitySeries / scalability_series — Mittlere-Laufzeit-nach-Instanzskala-Spuren pro Solver für die Skalierbarkeits-Abbildung.
  • SensitivityPoint — ein Parameter-Ebenen-Mittelwert für einen Sensitivitätsdurchlauf.
  • StabilityPoint / stability_points — Seed-Stabilität pro Solver (mittlerer Variationskoeffizient) für die Stabilitäts-Abbildung.
  • AblationRow — ein Mechanismus-Isolations-Ergebnis gegenüber der vollständigen Konfiguration.

Mehrkriterielle Indikatoren:

  • MultiObjectiveIndicatorRow / multiobjective_indicators — die vier benannten Qualitätsindikatoren pro Approximationsfront eines Solvers.
  • MultiObjectiveIndicatorReport / multiobjective_indicator_report — Indikatorzeilen neben dem archivierten geteilten Referenzpunkt, der sie erzeugt hat.
  • ReferencePointRule / ReferencePointRecord — die Referenzpunkt-Ableitungsregeln und der archivierte Datensatz mit seinem schließend-fehlschlagenden Provenienz-Vokabular.
  • ensure_shared_reference_points — schließend-fehlschlagende Prüfung, dass verglichene Artefakte einen archivierten Referenzpunkt teilen.
  • quality_indicator_method_ids — die Registry-Methoden-Ids, die diese Fläche durchgehend berechnet.

Plattformvergleich (Fähigkeits- und Verteilungsabstands-Evidenz):

  • PlatformComparison / platform_comparison_markdown — die vier Plattformvergleichs-Zeilenmengen und ihr Markdown.
  • RivalFrameworkRow / rival_framework_markdown — Fähigkeitsvergleich gegen ein konkurrierendes Framework.
  • FeatureRichnessRow / feature_richness_markdown — die Funktionsabdeckungs-Matrix.
  • DistributionDistanceRow / distribution_distance_markdown — die Verteilungsabstands-Brückenbewertung pro Benchmark-Familie.
  • ArtifactInspectionRow / artifact_inspection_markdown — die Portal-Artefakt-Inspektions-Evidenz.
  • EvidenceSource — wie die Behauptung einer Plattformvergleichs-Zeile gestützt wird.

Berichtsgerüst, Behauptungs-Schranken und Redaktion:

  • ReportScaffold / ReportScaffoldSpec / ReportProfile / ReportSection / CANONICAL_SECTION_ORDER / write_report_scaffold — deterministische, quellverknüpfte, offenlegungsgefilterte Berichtsgerüste.
  • ClaimGate / ClaimGateKind / ClaimGateState / ClaimGateOutcome / evaluate_claim_gate — evidenzgesicherte Berichtsbehauptungen und ihre Beförderungsurteile.
  • ContributionMatrix / ContributionRow / ContributionOverlap / contribution_partition — eine überlappungsfreie Beitragspartition über Evidenzstufen.
  • RedactionFinding / redaction_report / assert_redaction_clean — das Scannen einer kandidaten-öffentlichen Fläche nach verbotenen Begriffen und stufenübergreifenden Lecks.
  • ReproducibilityBadge — ein Reproduzierbarkeits-Badge-Ziel und wie der Artefaktindex es erfüllt.
  • MaintenanceLedgerEntry / maintenance_ledger_markdown — künftige Erweiterungsflächen, die die Offenlegungsgrenze nicht schwächen dürfen.

Reproduzierbarkeits-Manifest:

  • ReproducibilityManifest / build_reproducibility_manifest / reproducibility_manifest_markdown — die Reproduzierbarkeitsfakten pro Lauf und ihr Markdown-Dokument.
  • FIGURE_GENERATORS — die Registry der Abbildungsgeneratoren, die das Manifest aufzeichnet.

Solver-Glossar (metaphernfreie Benennungsfläche):

  • SOLVER_OPERATIONAL_DESCRIPTIONS / solver_operational_description — die metaphernfreie operative Beschreibung pro Solver.
  • SOLVER_EQUIVALENCE_NOTES / solver_equivalence_note — die Bekannter-Algorithmus-Äquivalenznotiz pro Solver.
  • INSPIRATION_DOMAIN_TERMS / metaphor_terms_in — das Inventar der Inspirationsdomänen-Begriffe und seine Erkennung.

Anzeigenamen-Registries:

  • BENCHMARK_DISPLAY_NAMES / benchmark_display_name — registrierte Anzeigenamen für Benchmark-Identifikatoren.
  • SOLVER_DISPLAY_NAMES / solver_display_name — registrierte Anzeigenamen für Solver-Identifikatoren.
  • ABLATION_DISPLAY_NAMES / ablation_display_name — Anzeigenamen für Mechanismus-Isolations-Ablationsvarianten.
  • benchmark_instance_label — ein Anzeigelabel, das die Instanzidentität sichtbar hält.
  • UnknownDisplayNameError — ausgelöst, wenn ein Identifikator keinen registrierten Anzeigenamen hat.

Evidenzstufen:

  • Tier / tier / TIER_REGISTRY — die öffentlichen Evidenzstufen und wo die Evidenz jeder Stufe erscheinen darf.
  • UnknownTierError — ausgelöst, wenn ein Stufenidentifikator keinen Registry-Eintrag hat.

Abbildungsthema:

  • FigureTheme / DEFAULT_THEME — extern steuerbare Farben, Typografie und Leinwandbreite, die über jede Diagrammfamilie geteilt werden.