Get Schedule Diagnosis
Diagnose hard-constraint feasibility for a submitted session configuration.
Args: schedule_id: Unique identifier of the session to diagnose.
Returns: Full structured diagnosis including cores, domains, repairs, provenance, completeness metadata, timing, and solver status.
Raises: HTTPException: Status 404 when no session exists or status 422 if scheduler initialization fails. Unhandled executor failures become server errors.
Behavior: Scheduler initialization is awaited, then diagnosis runs on the shared Z3 executor while holding the session generation lock so it cannot race model enumeration or auditing. Internal immutable contracts are copied into API response models, and successful access refreshes the session TTL.
get/schedules/{schedule_id}/diagnosis
Path parameters
schedule_idstring required
Response
Successful Response