MODEL DIAGNOSTICS
Model Doctor
Inspect native OR-Tools CP-SAT models: validation, solving, conflict analysis and independently verified repair proposals.
Open DoctorThe workspace opens in a separate tab.
Inspect a model in Observatory
The file goes directly to the isolated Doctor Worker. Observatory does not store the model or receive Doctor tokens.
Checking Doctor session…Sign in to Doctor
Result
No further evidence available
Separate protected sign-in
Doctor has its own Zitadel session and doctor_user role. Signing in to Observatory alone does not grant access to model execution.
Independent compute boundary
Models run in the isolated Doctor Worker, not Kernel v1. No Kernel Replay is generated, and the application is not an SDK plugin.