Без заголовка

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