DELTASPIKE-288 type-safe navigation via view-configs