С синтаксической точки зрения главная часть подобных конструкций — неполное предложение. Его легко восстановить, например: Это город, чтобы уехать на зиму; Это чай, чтобы пить в жару и т. п. Разумеется, можно додумывать и другие виды полной главной части, но в любом случае это главная часть сложноподчиненного предложения. Перед придаточным, вводимым подчинительным союзом, запятая обязательна. Никакого правила, которое регулировало бы присутствие/отсутствие запятой в подобных конструкциях с усеченной главной частью, не существует.
 

Полагаем, Ваши соображения справедливы. 

В таких случаях всё зависит от общего контекста и связанного с ним  авторского замысла. Обособление имени собственного придает ему характер попутного замечания. Так, в предложении Жена Михея, Дарья, жила с нашей матерью на квартире хозяина Михея обособление имени собственного Дарья показывает, что имя жены Михея совершенно неважно для общего понимания ситуации. То же и в других приведенных примерах.

Представляется уместным и в такого рода разговорных обозначениях театров писать первое слово с прописной буквы. В написании типа Магнитогорская драма прописная буква будет сигналом того, что речь идет об имени собственном, что имеется в виду театр. Ср.: магнитогорская драма — о каком-либо тяжелом событии, произошедшем в Магнитогорске.

Понятие уточнения комплексное, сочетает в себе смысловой и коммуникативный аспекты, то есть касается как передачи соотношения понятий, так и интонационного выделения (акцентирования) каких-либо слов и сочетаний, выражающих эти понятия. Различие между вторым и третьим примерами состоит в том, что в одном из них вначале названо более широкое понятие (словоформой в университете), затем более узкое (словоформой в библиотеке), в другом — наоборот. Это влечет за собой различия в функциях второй словоформы: если во втором примере перед нами классический случай сужения понятия и вторая словоформа служит уточняющим обстоятельством, то в третьем примере словоформа в университете играет роль несогласованного определения к существительному библиотека.

Первый и четвертый примеры различаются тем, какие сочетания в них интонационно выделены, — в зависимости от этого меняются смысловые отношения между сочетаниями. Имеет значение также позиция обстоятельств в предложении. В первом примере конечная позиция сочетания в библиотеке при университете (к слову, это сочетание существительного с несогласованным определением) говорит скорее о том, что это сочетание несет на себе логическое ударение и содержит важную, а не дополнительную, попутную информацию. Такое может происходить, например, если место работы не единственное, сравним: Она была на работе в библиотеке при университете, а не в лаборатории. Если же общий контекст диктует автору поставить логическое ударение на словоформу на работе, а сочетание в библиотеке при университете представить как уточнение, ему ничто не мешает это сделать: Она была на работе, в библиотеке при университете. В четвертом примере словоформа в офисе находится в позиции уточняющего обстоятельства. Однако в более широком контексте, например при сопоставлении, это может оказаться не так, сравним: На работе в офисе он постоянно дремал, а на работе в университете иногда бывал энергичным — здесь в офисе невозможно счесть словоформой, несущей попутную информацию, и выделить запятыми.

Как видим, при решении, является ли какое-либо слово (сочетание) уточняющим по отношению к другому слову (сочетанию), нужно учитывать и смысловые отношения между этими сочетаниями, и общий контекст предложения.

Нам не удалось найти точного правила в справочниках, но в одном из примеров сложная вставка оформлялась именно так: слово после скобок — с маленькой буквы, начало второго предложения — с большой: Имея умысел на пакость (какая прелесть! Сорванец!), он долго думал, где взять кисть.

1. В первом случае тире выглядит избыточным, потому что союз чем... тем вполне ясно выражает отношения сопоставления (соответствия). Во втором случае тире необходимо потому, что союза в предложении нет. 2. Предложения, вводимые в текст в качестве примеров, принято начинать с прописной буквы. 

Подобное пунктуационное оформление допустимо, представляет собой графический прием авторского выделения фрагментов предложения и отражает намерение автора указать на статус информации (дополнительная, поясняющая, уточняющая), выраженной словами в скобках. Синтаксическая квалификация конструкции зависит от грамматических особенностей предложения и смысловых признаков входящих в его состав компонентов.

Предписание справочника обязательно выделять запятыми такие обороты противоречит письменной практике. Действительно, обстоятельственные обороты, которые находятся между подлежащим и сказуемым, обычно обособляются, но в художественной литературе можно найти немало примеров, когда запятые отсутствуют. В правиле скорее следовало бы написать обычно обособляются; как правило, обособляются.