Function schedule_check_plan 

pub fn schedule_check_plan(
    case: &VerificationCase,
    plan: &CheckPlan,
    budget_lineage: BudgetLineage,
    degradation_markers: Vec<DegradationMarker>,
    queue_hops: Vec<QueueHop>,
) -> SchedulerDecision

Builds the scheduler decision record that preserves budget and degradation lineage.