SVI Доработка документации

docs/docs/01_90.md

@@ -155,7 +155,7 @@ let s: Option<String> = None;
 В `prolet` нельзя написать:
 
 ```lisp
-()(уст дыра @изм) (// ОШИБКА: "ничего" не есть, кварк запрета нельзя использовать вообще)
+()(уст дыра @изм) (// ОШИБКА: "ничего" не есть, контекст отрицания нельзя использовать вообще)
 ```
 
 Потому *что ничего не есть*.
@@ -168,13 +168,12 @@ let s: Option<String> = None;
 (НайтиПоНомеру 123 125)(уст нечто)
 
 (ЕслиНечто нечто как Пользователь
-	тогда (
-		(Привести нечто к Пользователь)
-		(уст пользователь)
-		)
-	иначе (Пользователь Валюта))
-	(напечатать "Здравствуй, " пользователь имя))
-	иначе (напечатать "Пользователь не найден"))
+    тогда (
+        (Привести нечто к Пользователь)
+        (уст пользователь))
+    иначе (Пользователь Валюта))
+    (напечатать "Здравствуй, " пользователь имя))
+    иначе (напечатать "Пользователь не найден"))
 ```
 
 Только после проверки — пользователь становится сущим.
@@ -185,11 +184,11 @@ let s: Option<String> = None;
 (фн ПрочитатьФайл @вход () нечто)
 
 (ГарантНечто нечто как Пользователь
-	@_док "данные обязательны, иначе сбой конфигурации"
-	иначе (
-		(Пользователь Новый)
-		(уст пользователь))
-))
+    @_док "данные обязательны, иначе сбой конфигурации"
+    иначе (
+        (Пользователь Новый)
+        (уст пользователь))
+)
 ```
 
 Гарантировать — не отрицание онтологии, а утверждение сущего на основе практики.

docs/docs/02_10.md

@@ -28,7 +28,7 @@
 
 В терминах `prolet` базовый тип называется кварк. Кварки встроены в `prolet` и являются инвариантами информационной материи. Кварки нельзя ни отменить, не переопределить.
 
-`запрет`, `бул`, `байт`, `целое`, `вещ`, `строка`
+`действие`, `бул`, `байт`, `целое`, `вещ`, `строка`
 
 > 💡 Противоречие: кварки не отражают в полной мере структурную сложность мира. Возникает потребность в практических типах -- протонах и нейтронах, единственная возможность быть для которых -- быть основанными на кварках.
 
@@ -140,22 +140,22 @@
 ## 📜 Принципы объявления протонов `prolet`
 
 - Протон — только материализованная форма сущего
-- `целое`,  `строка`,  `вещ`,  `бул`, `байт`, `запрет` — связанные кварки, получающие отражение на низком уровне в аппаратуру (реальность).
+- `целое`,  `строка`,  `вещ`,  `бул`, `байт`, `действие` — связанные кварки, получающие отражение на низком уровне в аппаратуру (реальность).
 - `@_кварк` — не наследование, а заимствование формы из дискурса физического аппарата
 - Протон всегда имеет социальный контекст состояния
 - Без атрибутов, отражающих практику — *нет протона*
 - Определение вида c использованием кварка `(протон Яблоки @_кварк целое ...)`,
-- Протон может быть основан на любом кварке (кроме кварка `запрет`), и только одном кварке. Но атрибутов протона может быть по необходимости.
+- Протон может быть основан на любом кварке (кроме кварка `действие`), и только одном кварке. Но атрибутов протона может быть по необходимости.
 
 ## 📜 Принципы объявления нейтронов `prolet`
 
 - Нейтрон — только материализованная форма сущего
-- `действие` — связанный кварк `Запрет`, получающие отражение на низком уровне в аппаратуру (реальность).
+- `действие` — связанный кварк действия, получающие отражение на низком уровне в аппаратуру (реальность).
 - `@_кварк` — не наследование, а заимствование формы из дискурса физического аппарата
 - Нейтрон всегда имеет социальный контекст действия,
 - Без атрибутов, отражающих практику — *нет нейтрона*
-- Определение вида c использованием кварка `(нейтрон @_кварк запрет ...)` — без действия ошибка онтологии, запрещено,
-- Нейтрон может быть основан только кварке `запрет`, и только одном кварке. Но атрибутов нейтрона может быть по необходимости.
+- Определение нейтрона c использованием кварка `(нейтрон @_кварк действие ...)` — без действия ошибка онтологии, запрещено,
+- Нейтрон может быть основан только на кварке `действие`, и только одном кварке. Но атрибутов нейтрона может быть по необходимости.
 
 ## Стадия 2: Сложное — как единство противоположностей
 

docs/docs/02_20.md

@@ -91,23 +91,26 @@ prolet --> СинтезАппарат
 
 ### Нуклон (сущее с формой)
 
-**Что**: `Рубль`, `ЧеловекИмя`, `ПользовательНомер`, `Роль` — материализованные формы сущего, возникшие в практике.
+**Что (протон)**: `Рубль`, `ЧеловекИмя`, `ПользовательНомер`, `Роль` — материализованные формы сущего, возникшие в практике.
 
-**Статус**: нуклоны вписаны в контекст, имеют единицы, ограничения, назначение.
+**Статус**: протоны вписаны в контекст, имеют единицы, ограничения, назначение.
 
 **Роль в диалектике**: «Противоположность идеализму — конкретное, социальное, ограниченное сущее».
 
-**Противоречие:** атом обладая частями и поведением не может описывать свои части. Нуклон делает именно это: описывает составную часть с заданной характеристикой
+**Противоречие:** атом обладая частями и поведением не может описывать свои части. Нуклоны делает именно это: описывает составную часть с заданной характеристикой
 
-✅ Определяются через `(нуклон ... @_кварк Кварк)`.
+✅ Определяются через:
+
+- `(протон ... @_кварк целое)`,
+- `(нейтрон ... @_кварк действие)`.
 
 ### Кварки (сущее, основа конкретного)
 
-**Что:** `Целое`, `Строка`, `Бул`, `Срез`, `Запрет` — отражение основ цифровой материи, отражение аппаратных типов.
+**Что:** `Целое`, `Строка`, `Бул`, `Срез` — отражение основ цифровой материи, отражение аппаратных типов.
 
-**Статус:** отражение аппаратных типов в виде одной формы, носитель для нуклонов.
+**Статус:** отражение аппаратных типов в виде одной формы, носитель для протонов.
 
-**Роль в диалектике:** отражение аппаратного, предоставление базы для нуклонов.
+**Роль в диалектике:** отражение аппаратного, предоставление базы для протонов.
 
 **Противоречие:** нуклон не может непосредственно быть использованным как аппаратный тип, кварк снимает конкретные ограничения на практическую реализацию.
 
@@ -127,7 +130,7 @@ prolet --> СинтезАппарат
 
 ## Действия и спецификации
 
-**Действия**: действия, применяемые к атомам и нуклонам — `ПроверитьАктивность`, `ОтправитьЧерезПочту`.
+**Действия**: действия, применяемые к атомам и нейтронам — `ПроверитьАктивность`, `ОтправитьЧерезПочту`.
 
 **Спецификации**: конкретизация практики, отражающее форму взаимодействия с сущим, независимо от реализации.
 
@@ -144,23 +147,29 @@ prolet --> СинтезАппарат
 ```mermaid
 flowchart LR
 subgraph Практика
-	direction TB
-	Субъект --> Цели
-	Цели --> Задачи
-	Задачи --> Требования
+    direction TB
+    Субъект --> Цели
+    Цели --> Задачи
+    Задачи --> Требования
 end
+
 subgraph prolet
-	direction TB
-	Спецификации --> Атомы
-	Спецификации --> Нуклоны
-	Атомы --> Нуклоны
-	Нуклоны --> Кварки
+    direction TB
+    subgraph Нуклоны
+        direction LR
+       Протоны
+       Нейтроны
+    end
+    Спецификации --> Атомы
+    Спецификации --> Нуклоны
+    Атомы --> Нуклоны
+    Нуклоны --> Кварки
 end
 
 subgraph СинтезАппарат
-	direction TB
-	АппаратныйТип1
-	АппаратныйТип2
+    direction TB
+    АппаратныйТип1
+    АппаратныйТип2
 end
 
 Практика --> prolet
@@ -169,12 +178,13 @@ prolet --> СинтезАппарат
 
 ## 📜 Онтологическое содержание уровней
 
-- Свойства: `@_кварк`, `@активен` (Ограничения практики)
-- Спецификации: `Хранилище`, `Аутентификатор` (Конкретизация форм практики)
-- Атомы: `Пользователь`, `Заказ` (Форма конкретизации спецификации)
-- Действия: `ПроверитьАктивность` (Действия над сущим)
-- Нуклоны: `Рубль`, `Роль` (Конкретизация сущего)
-- Кварки: `Целое`, `Строка` — основа бытия, отражение в аппаратные типы
+- Свойства: `@_кварк`, `@активен` (Ограничения практики),
+- Спецификации: `Хранилище`, `Аутентификатор` (Конкретизация форм практики),
+- Атомы: `Пользователь`, `Заказ` (Форма конкретизации спецификации),
+- Действия: `ПроверитьАктивность` (Действия над сущим),
+- Протона: `Рубль`, `Роль` (Конкретизация сущего),
+- Нейтроны: `Добавить`, `Печать` (Конкретизация действий),
+- Кварки: `Целое`, `Строка` — основа бытия, отражение в аппаратные типы,
 - Аппаратный тип: новый предельно конкретный минимальный тип.
 
 ## 💡 Философское обоснование
@@ -185,7 +195,7 @@ prolet --> СинтезАппарат
 - Спецификация не первична, он — порождение практики, как результат познания мира.
 - Кварк не абстрактен, но не обладает всей полнотой конкретного свойств,
 - а нуклон — уже вписан в практику на основе кварка,
-- Атом — синтез в виде группы разнородных нуклонов.
+- Атом — синтез в виде группы разнородных протонов и нейтронов.
 - «Не `interface` как божественный замысел, а `спецификация` как инструмент труда, и как обобщение структур — вот путь материалистического программирования».
 
 ## 🎯 Заключение

docs/docs/02_40.md

@@ -150,7 +150,7 @@
 ```prolet
 (прц ОбработатьДанные () РезультатОк @фикс(
     (ПолучитьДанные)(уст данные @фикс)
-    (если (ПроверитьЗапрет данные)
+    (если (ПроверитьДанные данные)
         тогда (вернуть РезультатОшибка "нет_данных"))
 
     (ГруппироватьПо данные ключ)(уст группа @фикс)

docs/docs/02_50.md

@@ -52,7 +52,7 @@
 Каждая операция — акт преобразования кварков.
 
 > `Сложение` — это взаимодействие двух кварков `Целое`, порождающее результат.
-Сравнение — отношение между кварками, фиксируемое как сущее (`Истина`/`Ложь` — тоже нуклоны на основе кварка `Бит`).
+Сравнение — отношение между кварками, фиксируемое как сущее (`Истина`/`Ложь` — тоже протоны на основе кварка `Бит`).
 Вызов контекста — передача набора кварков в новый локальный контекст, без стека указателей.
 
 Инструкции — не команды, а проявления законов.
@@ -75,7 +75,7 @@
 
 ### Соответствие кварковым контекстам
 
-Каждый контекст (с атомами, нуклонами или кварками) имеет однозначное, минимальное отражение в **IL**.
+Каждый контекст (с атомами, протонами, нейтронами или кварками) имеет однозначное, минимальное отражение в **IL**.
 
 ### Неделимость
 
@@ -185,7 +185,7 @@
   (Цел 0)(уст ц1)(// В память отправить имя ц1)
   (Цел 1)(уст рез) (// В результат константу)
   (Цел копия рез ц1)(// Из результат -- значение ц1)
-  ()(// Установить результат в специальный кварк "Запрет")
+  ()(// Установить результат в специальный контекст "Запрет результата")
   (уст ц1)(// С отсутствующим результатом попытка привязки имени -- будет авария)
   (Цел слож ц1 ц1)(рез ц2)(// Сложить ц1 и ц1 с результатом в ц2)
   (возврат) (// Возврат из процесса)

docs/docs/02_60.md

@@ -52,7 +52,7 @@
 ### Кварк Целое
 
 ```prolet
-(нуклон Яблоки
+(протон Яблоки
     @_кварк Целое
     @_контракт (КонтрактЯблоки)(// В ящике от 0 до 500 яблок)
 )
@@ -63,7 +63,7 @@
 ### Булево как ограниченное целое
 
 ```prolet
-(нуклон ЕслиДень
+(протон ЕслиДень
     @_кварк  Бул
 )
 ```
@@ -87,12 +87,12 @@
 
 ```prolet
 
-(нуклон Имя
+(протон Имя
     @_кварк Стр
     @_контракт (КонтрактИмя) (// От 5 до 20 литер)
 )
 
-(Имя "Иван")(уст иван)(// нуклон Имя со значением "Иван")
+(Имя "Иван")(уст иван)(// протон Имя со значением "Иван")
 ```
 
 Строка — не "отдельный тип", а форма практики.
@@ -101,7 +101,7 @@
 
 ```prolet
 
-(нуклон Абс (// Абсолютное значение целого)
+(протон Абс (// Абсолютное значение целого)
     (// проверяется на этапе компиляции или рантайме)
     @_кварк Цел
     @_контракт (БольшеНуля)(// Контракт на положительное значение)
@@ -126,12 +126,12 @@
 
 ## Экономия мыслетоплива
 
-Программист не думает: "это `int` или `uint`?", а думает: "это счётчик, значит — неотрицательное". А контракт на нуклон даёт гарантии исполнения.
+Программист не думает: "это `int` или `uint`?", а думает: "это счётчик, значит — неотрицательное". А контракт на протон даёт гарантии исполнения.
 
 ## Психологическая и педагогическая выгода
 
 - Новичок учит шесть видов кварков, и какова их природа.
-- Ошибки вроде `i = -1`; `for (i < n; ...)` — контролируются на уровне нуклонов, у которых могут быть определены контракты.
+- Ошибки вроде `i = -1`; `for (i < n; ...)` — контролируются на уровне протонов, у которых могут быть определены контракты.
 
 Это — не бюрократия, это — диалектическое воспитание сознания.
 
@@ -150,10 +150,10 @@
 ### Единство и борьба (ограничение свободы ради смысла)
 
 - Интерпретация `x` может быть любой: как возраст, код ошибки, символ; социальный контракт не отменяет кварк,
-- Переход количества в качество, при создании новых видов нуклонов,
-- Синтез: ограниченное число кварков даёт весь спектр нуклонов и атомов.
+- Переход количества в качество, при создании новых видов протонов,
+- Синтез: ограниченное число кварков даёт весь спектр протонов, нейтронов и атомов.
 
-Кварк становится частью социальных нуклонов, но не перестаёт быть частью процессов вычислений.
+Кварк становится частью социальных обязательств протона, но не перестаёт быть частью процессов вычислений.
 
 Кварк — не "вещь", он — форма движения материи в пространстве социальных значений.
 

docs/docs/03_10.md

@@ -10,8 +10,8 @@
 
 Здесь даётся краткое описание каждого кварка, более подробное описание дано в соответствующем разделе.
 
-### Кварк Запрет `()`
+### Кварк действие
 
-Кварк Запрет `()` запрет запрещает строить нуклоны с состоянием. Но допускает существование нуклонов с поведением.
+Кварк действие запрещает строить протоны. Но разрешает существование нейтронов с поведением.
 
-[Кварк Запрет](./03_20.md)
+[Кварк действие](./03_20.md)

docs/docs/03_20.md

@@ -1,12 +1,11 @@
-# pro.03_20 Кварк запрет `()`
+# pro.03_20 Кварк действие
 
-Кварк запрет `()` запрещает создание нуклонов с состоянием. Но допускает поведение. Служит для отрицания результата вычисления предыдущего контекста, выполнения действий.
-
-То есть `()` — это акт, который сознательно отказывается порождать сущее, значение которого можно потребить. Но это сущее можно заставить действовать.
+Кварк действие запрещает создание протонов. Но допускает создание нейтронов с поведением.
+То есть кварк действие — это акт, который сознательно отказывается порождать сущее, значение которого можно потребить. Но это сущее можно заставить действовать.
 
 В диалектике отрицание — активный момент развития («сохраняющее отрицание» у Гегеля, преодоленное у Маркса).
 
-`()` — не идеалистическая пустота, а акт отказа от передачи состояния, то есть материальный выбор.
+Действие — не идеалистическая пустота, а акт отказа от передачи состояния, то есть материальный выбор (сам акт выбора).
 
 Он имеет практическую стоимость:
 
@@ -14,23 +13,23 @@
 - предотвращает ошибки,
 - упрощает анализ.
 
-Тогда `()` — кварк нулевой стоимости, но ненулевой семантики.
+Тогда действие — кварк нулевой стоимости состояния, но ненулевой стоимости времени.
 
 Пример:
 
 ```prolet
-(нуклон ЛогЗапись
-    @_кварк Запрет
+(нейтрон ЛогЗапись
+    @действие
     @_док "Действие, не порождающее сущего")
 ```
 
-Но: может ли нуклон иметь кварк `()`?
+Но: может ли нейтрон иметь кварк `действие`?
 
-Да, `()` — полноценный кварк.
+Да, нейтрон — полноценный контекст.
 
-`()` — это граница контекста, единица композиции, форма материального акта, но с уточнением:
+Действие — это граница контекста, единица композиции, форма материального акта, но с уточнением:
 
-`()` — это кварк, выражающий минимальное действие без продукта.
+> Действие — это кварк, выражающий минимальное действие без продукта.
 
 Он соответствует таким явлениям реального мира:
 
@@ -49,8 +48,8 @@
 
 Тогда:
 
-- `()` — литерал кварка `Запрет`,
-- Все функции и процессы с `()` в сигнатуре — работают с этим кварком,
+- `действие` — литерал кварка действие,
+- Все функции и процессы с действием в сигнатуре — работают с этим нейтроном,
 - Компилятор знает: этот кварк нельзя связать с `(уст ...)`.
 
 ## 💡 Философский смысл
@@ -59,19 +58,19 @@
 
 В мире, где всё должно быть полезным, сознательный отказ от полезности — высшая форма контроля.
 
-`()` — это материализованная скромность:
+Действие — это материализованная скромность:
 
 > «Я сделал — но не требую, чтобы это стало твоим состоянием».
 
 ## ✅ Заключение
 
-Да, `()` — это кварк, но особый:
+Да, кварк действие, как особая форма материи:
 
 - он выражает действие без локального продукта,
 - он материально реален (имеет стоимость, след в логе, эффект в системе),
 - он защищает от идеализма, запрещая использование «ничего» как «чего-то».
 
-Запрет на состояние и допустимость действия нельзя исключать из онтологии.
+Действие без состояния и действия, как единственный носитель стоимости -- нельзя исключать из онтологии.
 
 Потому что:
 

docs/pro_readme.md

@@ -34,7 +34,7 @@
 * pro.02_80 [Контексты вычислений](./docs/02_80.md)
 * pro.02_90 [Кварковый уровень prolet](./docs/02_90.md)
 * pro.03_10 [Набор кварков пролет](./docs/03_10.md)
-* pro.03_20 [Кварк запрета](./docs/03_20.md)
+* pro.03_20 [Кварк действия](./docs/03_20.md)
 * Атомы языка
 * ВМ
 * Система типов

docs/spec/quarq/integer.yml

@@ -6,7 +6,7 @@
 
 атрибуты:
   док: |
-    Целое является базовым строительным кирпичом для всех нуклонов,
+    Целое является базовым строительным кирпичом для всех протонов,
     требующих точного исчисления (счётчики, индексы, объёмы).
     Взаимодействует исключительно с представителями своего типа.
   дефолт: 0