pub fn validate_warmstart_teacher_dataset_for_compiled_planner_run(
compiled: &CompiledPlannerRunSpec,
teacher: &WarmStartExactJhTeacherDataset,
) -> Result<(), WarmStartExactJhError>Expand description
Validate a complete warm-start teacher dataset against a compiled planner run.
This is the authoritative ingestion/export gate for teacher assets. It checks
the same runtime contract used by WarmStartExactJhAgent: controller
compatibility, task fingerprint, provenance policy, transition bounds, exact
finite-horizon label encodability, and that every trace contributes at least
one complete (H)-step label.