SintetikКот МатроскинЭто может делать несложный отчет, я даже сомневаюсь что внедрение полноценного data modeller'а конкретно для этого имеет смысл - но откуда Вы планируете получать причины дифференса (предзназначение новых полей, и т.п.)?
хотелось бы reverse, т.е. считаем истинной некую логическую схему, и узнаем насколько ей соответствуют текущие физические схемы
если не соответствуют, то в чем разница

Ну тоже можно - сохраняете "сбоку" в какой-то момент, условно говоря, sysobjects выбранного прода, что-то правите, если надо, и считаете это "некоей логической схемой"(tm), с ней сравниваете физические схемы в последующие моменты. Держать эту схему в актуальном состоянии можно автоматической парсилкой накатываемых в рамках релизов DDL-ей,
либо синхронизацией с физической структурой в "контрольных точках".
SintetikКот МатроскинИ если Вы хотите сравнивать не с продом, а с тестом/дев-ом - что Вы будете делать с "фантомами" (чтобы постестить подход, создали табличку, результаты не понравились - на следующий день убили)?
в 95% случаев ничего не буду делать,

Мне-то все равно что Вы будете делать :) Если Вы проблему подхода осознаете, но считаете несущественной - ok