Словарь терминов
Дом, орган, куб, заявка, дело, рубеж, гейт — слова, которыми мы говорим о движке.
Слова, которыми мы говорим о движке
Дом — отдельный файл-модуль с одной ответственностью. У дома есть порог длины и сложности:
перерос — делится.
Орган (узел) — самостоятельный дом со своим знанием: справочник, словарь, память, логика.
Объявляет, что даёт и что ему нужно.
Ядро — мозг: разбирает запрос, ведёт дело, решает, что спросить у знания. Слов языка не знает
принципиально — они приходят снаружи, из данных.
Способность — то, что один орган просит у другого через ядро: «лемма», «часть речи»,
«доказательство», «поручение».
Заявка — уверенность органа плюс основание, почему он вправе отвечать. Без основания не
считается.
Куб — книга, разобранная в записи с полями и указателями; читается отображением в память.
Координата — адрес страницы, из которой взято знание. Утверждение без координаты не
утверждается.
Дело (расследование) — цель, наблюдения, связи, гипотезы, доказательства, противоречия,
вывод. Живёт в ядре.
Гипотеза — утверждение, которое объяснило бы цель. Бывает открытой, подтверждённой или снятой.
Доказательство — «да» или «нет» на конкретное утверждение, обязательно с источником.
Требование доказательства — запрос дела наружу: «верно ли, что …». Родится только из гипотезы.
Рука — способность движка записать, собрать и запустить код на машине, а потом прочитать, что
получилось.
Сверка делом — проверка поведения: ряд чисел, ожидание прямым циклом, исполнение написанного,
сравнение.
След — запись хода: заявки, приговор, наблюдения, дело. Видна снаружи по GET /api/trace.
Гейт (сторож) — проверка в защите, которую нельзя обойти: имена, шаблоны, шпагетти, заглушки,
свежесть знаний.
Экзамен — билеты с ожидаемым ответом, проверяемые через парадный вход, на живом движке.
Рубеж — сколько билетов экзамена уже взято. Меньше брать нельзя: экзамен сторожит от отката.
Отложенный экзамен — билеты, которых нет в проекте: берутся из книги и сменяются по дню.
Замер — измерение до и после правки. Улучшением зовётся только то, что подтверждено числом.
Отвергнуто замером — мысль, опробованная и снятая числами. Такие пометки живут прямо в коде.
Парадный вход — тот же путь, которым пользуется человек: POST /api/chat. Экзамены идут
только через него.