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

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

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

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

Учитель прав. Здравствуй(те) и извини(те) могут быть междометиями (см. ресурс «Проверка слова») и формами повелительного наклонения глаголов здравствовать и извинить (здравствуйте долгие годы, извините меня).

Строго говоря, при такой формулировке задания, которую приводите Вы, выписывать эти слова было не нужно, т. к. в словаре слова даются в своей начальной форме (для глаголов это форма инфинитива: здравствовать и извинить). Раз в словаре даны формы здравствуй и извините, следовательно это междометия. Но знание таких тонкостей вряд ли можно требовать от учеников 4-го класса.