При оборотах указанного типа, образованных сочетанием «именительный падеж плюс творительный падеж с предлогом с» сказуемое может стоять как в форме множественного, так и в форме единственного числа.
Форма множественного числа сказуемого показывает, что в роли подлежащего выступает все сочетание, т. е. действие приписывается двум взаимосвязанным равноправным субъектам, например: После обеда Лось с Русаковым пошли посмотреть склады и магазины (Т. Семушкин); Встали и Воропаев с Корытовым (П. Павленко).
Форма единственного числа сказуемого показывает, что подлежащим является только существительное в именительном падеже, а существительное в творительном падеже выступает в роли дополнения, обозначая лицо, сопутствующее производителю действия, например: Граф Илья Андреевич в конце января с Наташей и Соней приехал в Москву (Л. Толстой); ...Пришел Разметнов с Демкой Ушаковым (Шолохов).
Выбор одной из двух возможных форм согласования сказуемого зависит от смысловой соотнесенности действия и его производителя. Иногда на решение этого вопроса влияет лексическое значение слов, входящих в сочетание, например: Мать с ребенком пошла в амбулаторию; Старший брат с сестренкой уехал в деревню. Ср.: И графиня со своими девушками пошла за ширмами оканчивать свой туалет (Пушкин).
В других случаях играет роль лексическое значение сказуемого, например: Мать с дочерью долго не могли успокоиться и вспоминали случившееся (оба действия могут производиться при равноправном участии субъектов действия); Коля с Петей поступили в одну и ту же школу; Брат с сестрой возвратились порознь. Ср.: Клычков с Чапаевым разъехались по флангам... (Фурманов).
Иногда играет роль порядок слов в сочетании. Ср.: Муж с женой пошли в театр. – Жена с мужем пошла в театр (обычно в рассматриваемых конструкциях при различной родовой принадлежности существительных на первом месте фигурирует более сильный в грамматическом отношении мужской род, например: отец с матерью, дед с бабкой, мальчик с девочкой; поэтому выдвижение на первое место существительного в форме женского рода подчеркивает его роль, а отсюда согласование с ним сказуемого).
Такие глаголы называются двувидовыми: они могут использоваться и как глаголы совершенного вида (что сделать?), и как глаголы несовершенного вида (что делать?). Значение вида такие глаголы приобретают в контексте. Например: Вчера он наконец женился — совершенный вид. Он женился несколько раз — несовершенный вид. Ему еженедельно телеграфировали об успехах предприятия — несовершенный вид. Он решил телеграфировать о своем приезде — совершенный вид.
В некоторых случаях и контекст допускает двоякое толкование. Люди исследуют планету можно понять двояко: «сейчас проводят исследования» или «будут проводить исследования». В этих случаях нужен более широкий контекст.
Верно: при первом входе в систему.
В СГС это действительно может быть или фазисная, или модальная связка. Инфинитив должен быть субъектным (это то, что спрашивающий имеет в виду, говоря, что действие «выполняет подлежащее»). Объектный инфинитив (Мама попросила Сережу встретить ее на остановке) в СГС не входит и является дополнением. Субъектный же инфинитив не входит в СГС в том случае, когда, во-первых, глагол в спрягаемой форме не имеет ни модального, ни фазисного значения, во-вторых, этот инфинитив называет цель действия по основному глаголу (Мы отправились на речку купаться). Способ проверки очень простой: перед таким инфинитивом можно вставить союз чтобы.
В предложении Я не успела послать письмо глагол успела обозначает отношение субъекта к действию, обозначенному инфинитивом. Отношение может быть разным: хотела послать, смогла (не смогла) послать, умудрилась послать, не сумела послать, успела… мечтала… и т. д. А обозначение этого отношения и есть функция модальной связки СГС. Поэтому здесь, безусловно, СГС. Да и союз чтобы вставить никак не получится.
В данном случае верно: вход в магазин находится в торце здания. Но, например: в магазин можно зайти с торца здания.
Речь идет о лексической избыточности (т. е. понятно, что Тула - это город, а май - это месяц, а значит слова месяц и город лишние). В отличие от тавтологии (масло масляное), которая является ошибкой, лексическая избыточность (плеонастичность) возможна в определенных ситуациях (Ваши примеры - из канцелярской, деловой речи).
Вторая запятая может ставиться для отделения пояснительных конструкций.
Запятая не требуется.
Постановка запятой факультативна.