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

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

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

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

Верно: У нее никогда не было никакой семьи, как бы она ни просила, как бы она ни мечтала, как бы хорошо она себя ни вела.

Во всех случаях правильно с не. 

Женская фамилия Кравец не склоняется, мужская склоняется. Возможно два варианта склонения: Кравеца, Кравецу, Кравеца, Кравецем, о Кравеце или Кравца, Кравцу, Кравца, Кравцом, о Кравце. Ввиду того, что фамилии выполняют юридическую функцию, предпочтительно склонять их без выпадения гласного, то есть использовать первый ряд форм. Правила склонения фамилий на согласную можно прочитать в «Словаре собственных имен русского языка» Ф. Л. Агеенко (пп. 4.1–4.3). Вопрос о действительности документов, в которых фамилия записана в неправильной форме, нужно задать юристам.

Правильно раздельное написание.

Эта формулировка предполагает одновременное соблюдение условий, то есть вариант Б.