Necesitamos una opción para establecer el ProviderManifestToken en el código de un primer modelo de base de datos para anular el valor de EDMX, que por defecto es "2012" para SQL Server 2012 en nuestro caso particular.

Lo que hemos probado hasta ahora: como se describe enesta publicación decoramos nuestra clase de contexto con el atributo DbConfigurationType, nuestra clase derivada se ve exactamente igual que en esa publicación.

internal sealed class MyDbConfiguration : DbConfiguration
{
   public MyDbConfiguration()
   {
      //this.AddDependencyResolver(new SingletonDependencyResolver<IManifestTokenResolver>(new ManifestTokenService()));

      this.SetManifestTokenResolver(new ManifestTokenService());
   }
}

Como puede ver, probamos 2 cosas diferentes aquí, AddDependencyResolver y SetManifestTokenResolver.

Cuando comenzamos la ejecución del programa de aplicación, ingresa al constructor de MyDbConfiguration, y eso es todo, el propio resolutor de dependencias

internal sealed class ManifestTokenService : IManifestTokenResolver
{
   private const string SqlServerManifestToken = @"2005";

   private static readonly IManifestTokenResolver DefaultManifestTokenResolver = new DefaultManifestTokenResolver();

   /// <inheritdoc />
   public string ResolveManifestToken(DbConnection connection)
   {
      if (connection is SqlConnection)
      {
         return SqlServerManifestToken;
      }

      return DefaultManifestTokenResolver.ResolveManifestToken(connection);
   }
}

nunca se invoca, así que parece que hemos llegado a un callejón sin salida aquí. ¿Alguien ha tenido el mismo problema y ha encontrado una solución?