Mira

All three compile, which is why people pick by habit and only find the difference two refactors later.

The combination the second comment is pointing at is worth spelling out: satisfies keeps the specific types of the values, but it does not make anything readonly or stop a nested array widening. For a route map you often want a const assertion as well.

Two different jobs that people expect one keyword to do.