EffectivePageConfiguration
data class EffectivePageConfiguration(val solverProfileId: SolverProfileId, val timeout: Duration, val options: Map<String, String>)
A page's actually-effective solver profile/timeout/options, after applying its own overrides on top of the workspace-wide defaults - see resolve.