Documentation

Technical documentation of the Quasar project

Словарь терминов

Дом, орган, куб, заявка, дело, рубеж, гейт — слова, которыми мы говорим о движке.

Слова, которыми мы говорим о движке

Дом — отдельный файл-модуль с одной ответственностью. У дома есть порог длины и сложности:
перерос — делится.

Орган (узел) — самостоятельный дом со своим знанием: справочник, словарь, память, логика.
Объявляет, что даёт и что ему нужно.

Ядро — мозг: разбирает запрос, ведёт дело, решает, что спросить у знания. Слов языка не знает
принципиально — они приходят снаружи, из данных.

Способность — то, что один орган просит у другого через ядро: «лемма», «часть речи»,
«доказательство», «поручение».

Заявка — уверенность органа плюс основание, почему он вправе отвечать. Без основания не
считается.

Куб — книга, разобранная в записи с полями и указателями; читается отображением в память.

Координата — адрес страницы, из которой взято знание. Утверждение без координаты не
утверждается.

Дело (расследование) — цель, наблюдения, связи, гипотезы, доказательства, противоречия,
вывод. Живёт в ядре.

Гипотеза — утверждение, которое объяснило бы цель. Бывает открытой, подтверждённой или снятой.

Доказательство — «да» или «нет» на конкретное утверждение, обязательно с источником.

Требование доказательства — запрос дела наружу: «верно ли, что …». Родится только из гипотезы.

Рука — способность движка записать, собрать и запустить код на машине, а потом прочитать, что
получилось.

Сверка делом — проверка поведения: ряд чисел, ожидание прямым циклом, исполнение написанного,
сравнение.

След — запись хода: заявки, приговор, наблюдения, дело. Видна снаружи по GET /api/trace.

Гейт (сторож) — проверка в защите, которую нельзя обойти: имена, шаблоны, шпагетти, заглушки,
свежесть знаний.

Экзамен — билеты с ожидаемым ответом, проверяемые через парадный вход, на живом движке.

Рубеж — сколько билетов экзамена уже взято. Меньше брать нельзя: экзамен сторожит от отката.

Отложенный экзамен — билеты, которых нет в проекте: берутся из книги и сменяются по дню.

Замер — измерение до и после правки. Улучшением зовётся только то, что подтверждено числом.

Отвергнуто замером — мысль, опробованная и снятая числами. Такие пометки живут прямо в коде.

Парадный вход — тот же путь, которым пользуется человек: POST /api/chat. Экзамены идут
только через него.