SVI Пересмотр документации

docs/docs/02_10.md

@@ -3,9 +3,9 @@
 Диалектическая онтология типов подчиняется тем же законам, что и весь диалектический материализм.
 
 - От отрицания простого, к снятию противоречия в виде сложного.
-- От базового, к универсальному.
+- От базового, к обобщённому.
 
-Диалектическая онтология типов как отражение структуры объективной реальности.
+## Диалектическая онтология типов как отражение структуры объективной реальности.
 
 Мы уже отвергли идеалистические перекосы:
 
@@ -16,7 +16,7 @@
 Но теперь настал момент синтеза:
 
 - от отрицания простого (примитивных типов)
-- к снятию противоречия в форме сложного, универсального, развивающегося
+- к снятию противоречия в форме составного, обобщённого, развивающегося
 
 к диалектической онтологии типа.
 
@@ -26,11 +26,11 @@
 
 Базовый тип — ярлык, классификация. Неподвижен.
 
-В терминах `prolet` базовый тип называется кварк. Кварки встроены в `prolet` и являются инвариантами информационной материи. Кварки нельзя ни отменить, не переопределить.
+В терминах `prolet` базовый тип называется *кварк*. Кварки встроены в `prolet` и являются инвариантами информационной материи. Кварки нельзя ни отменить, не переопределить.
 
 `действие`, `бул`, `байт`, `целое`, `вещ`, `строка`
 
-> 💡 Противоречие: кварки не отражают в полной мере структурную сложность мира. Возникает потребность в практических типах -- протонах и нейтронах, единственная возможность быть для которых -- быть основанными на кварках.
+> 💡 Противоречие: кварки не отражают в полной мере структурную сложность мира. Возникает потребность в нуклонах -- протонах и нейтронах, единственная возможность быть для которых -- быть основанными на кварках.
 
 `Яблоко` , `Груша` , `Час`, `СписокРабот`
 
@@ -38,7 +38,7 @@
 
 ### Снятие противоречия (синтез)
 
-Кварк, отношение, материя в движении. Универсальный тип, порождающий себя и служащий строительным материалом для порождения протонов и нейтронов.
+Кварк, отношение, материя в движении. Аксиоматический тип, существующий вечно и служащий строительным материалом для порождения протонов и нейтронов.
 
 Это — не эволюция, а революция в мышлении:
 
@@ -94,7 +94,7 @@
 
 Чем глубже понимание — тем точнее свойства нуклона. Нуклон — это не только ответ на вопрос "что это", но и "почему", "каким образом", "зачем", "каким именно способом".
 
-## Путь от базового к универсальному: три стадии онтологического развития
+## Путь от базового к обобщённому: три стадии онтологического развития
 
 ### Стадия 1: Отрицание абстрактов (антипод метафизике)
 
@@ -109,29 +109,30 @@
   (// Абстракция на основе кварка)
   @_кварк    целое
 
-  (// Допустимый диапазон на базе кварка)
+  (// Допустимый диапазон на базе кварка, как инвариант типа)
   @_диапазон (0 999_999_999)
 
-  (// Допустимые операции над конкретным типом)
-  @_операции (слож выч))
+  (// Допустимые операции над конкретным типом, как контракт на поведение)
+  @_операции (слож выч)
+)
 ```
 
-> 💡 Кварк не уничтожен, но воспроизведён на новом уровне — уровне протона/нейтрона как осмысленная категория с политиками общественных отношений.
+> 💡 Кварк не уничтожен, но содержится на новом уровне — уровне протона/нейтрона как осмысленная категория с политиками общественных отношений.
 
 ### Онтологическое уточнение: атрибут `@_кварк целое`
 
-Атрибут `@_кварк` опирается на кварк `целое`, но по отношению к материалистичному миру является сущим *только в рамках физического дискурса*. Т.е. кварки не ограничиваются типом `целое`. Но этим типом ограничивает мир цифровой материи в своей основе. Кварк `целое` обобщается конкретным протоном с известными наложенными ограничениями (политиками).
+Атрибут `@_кварк` опирается на кварк `целое`, но по отношению к материалистичному миру является сущим *только в рамках физического дискурса*. Т.е. кварки не ограничиваются типом `целое`. Но этим тип ограничивает часть цифровой материи на его основе. Кварк `целое` обобщается конкретным протоном с известными наложенными ограничениями (политиками).
 
 Это — *ключевое* уточнение, которое позволяет не отступать от диалектического материализма, но признать относительную самостоятельность цифрового, равно и математического мышления как *специфической формы отражения реальности*.
 
 ### Интерпретация
 
-| ПОНЯТИЕ                | СТАТУС В ОНТОЛОГИИ PROLET                                                                                                                                                                                                                                                                                                                          |
-|------------------------|----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
-| Физический дискурс | Специфическая физическая практика, в которой абстракция (вроде кварка `целое`) обращаются как первичная данность, и результат высшего обобщения физической практики (исследовали камни, яблоки, дни — и выделили первичную форму)                                                                                                                                 |
-| Языковой дискурс       | Специфическая общественная практика, в которой кварк `целое` приобретает явные множественные формы (число камней, яблок, дней) с общими и частными атрибутами, но контекст задаётся программистом (определяется конкретный тип).                                                                                                                |
-| Аппаратный дискурс     | Специфическая вычислительная практика, в которой произвольно смоделированный тип программистом отражается на реально существующую аппаратуру в доступной форме. В ходе изменения формы сущности преходят атрибуты типа, которые фактически становятся ограниченными конкретными операциями в конкретном алгоритме (переход качества в количество). |
-| @_кварк                 | Указание на форму, заимствованную из физического дискурса, но используемую как инструмент для организации сущего                                                                                                                                                                                                                               |
+| ПОНЯТИЕ                      | СТАТУС В ОНТОЛОГИИ PROLET                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
+| ----------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ |
+| Физический дискурс | Специфическая физическая практика, в которой аксиома (вроде кварка `целое`) обращаются как первичная данность, <br />и результат высшего обобщения физической практики (исследовали камни, яблоки, дни — и выделили первичную форму)                                                                                                                                                                                                                                                            |
+| Языковой дискурс     | Специфическая общественная практика, в которой кварк `целое` приобретает явные множественные формы <br />(число камней, яблок, дней) с общими и частными атрибутами, но контекст задаётся программистом (определяется конкретный тип).                                                                                                                                                                                                                                                        |
+| Аппаратный дискурс | Специфическая вычислительная практика, в которой произвольно смоделированный тип программистом отражается на<br />реально существующую аппаратуру в доступной форме. В ходе изменения формы сущности преходят атрибуты типа, которые <br />фактически становятся ограниченными конкретными операциями в конкретном алгоритме<br />(обратный переход качества в количество). |
+| @_кварк                        | Указание на форму, заимствованную из физического дискурса, но используемую как инструмент для организации сущего                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
 
 Это — далеко от платонизма, по сути это признание автономии отражения на разных уровнях бытия.
 
@@ -141,17 +142,17 @@
 
 - Протон — только материализованная форма сущего
 - `целое`,  `строка`,  `вещ`,  `бул`, `байт`, `действие` — связанные кварки, получающие отражение на низком уровне в аппаратуру (реальность).
-- `@_кварк` — не наследование, а заимствование формы из дискурса физического аппарата
+- `@_кварк` — не наследование, а встраивание формы из дискурса физического аппарата
 - Протон всегда имеет социальный контекст состояния
 - Без атрибутов, отражающих практику — *нет протона*
-- Определение вида c использованием кварка `(протон Яблоки @_кварк целое ...)`,
+- Определение вида c использованием кварка `(протон Яблоко @_кварк целое ...)`,
 - Протон может быть основан на любом кварке (кроме кварка `действие`), и только одном кварке. Но атрибутов протона может быть по необходимости.
 
 ## 📜 Принципы объявления нейтронов `prolet`
 
 - Нейтрон — только материализованная форма сущего
 - `действие` — связанный кварк действия, получающие отражение на низком уровне в аппаратуру (реальность).
-- `@_кварк` — не наследование, а заимствование формы из дискурса физического аппарата
+- `@_кварк` — встроенный специфичный кварк, заимствование формы из дискурса физического аппарата
 - Нейтрон всегда имеет социальный контекст действия,
 - Без атрибутов, отражающих практику — *нет нейтрона*
 - Определение нейтрона c использованием кварка `(нейтрон @_кварк действие ...)` — без действия ошибка онтологии, запрещено,
@@ -185,8 +186,7 @@
     @_умолчание "Иван"
     @_док       "идентификация пользователя в системе")
 
-(// любой атом имеет множество нуклонов и атомов,
-        но число атрибутов может быть любым)
+(// любой атом имеет множество нуклонов и атомов, число атрибутов может быть любым)
 (атом Пользователь
     @_номер ПользовательНомер
     @имя  Имя (// Можно менять)
@@ -214,12 +214,12 @@
 
 ### Философский и практический смысл
 
-|      АСПЕКТ       | ОБЪЯСНЕНИЕ                                                                                                                                                                                                                  |
-|:-----------------:|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
-|     Онтология     | Нуклон — не шаблон, а форма сущего в практике. Если в практике номер всегда уникален и присваивается автоматически, то такое значение — часть его бытия, а не внешнее условие. Контекст не может переопределить его кварк. |
-|  Единство формы   | Если ПользовательНомер используется в 10 атомах — не нужно 10 раз писать `@уникально`. Нарушение — на уровне протона или нейтрона, а не контекста.                                                                                        |
-|   Безопасность    | Система гарантирует уникальность и обязательность на уровне нуклона, а не доверяет нуклону.  "не забыть".                                                                                                                           |
-| Эволюция практики | Если правило изменится (например, номер перестанет быть авто-инкрементным), —  меняется один атрибут в нуклоне, а не в конкретном контексте.                                                                                  |
+|           АСПЕКТ           | ОБЪЯСНЕНИЕ                                                                                                                                                                                                                                                                                                                                                                                                   |
+| :-------------------------------: | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+|        Онтология        | Нуклон — не шаблон, а форма сущего в практике.<br />Если в практике номер всегда уникален и присваивается автоматически, то такое значение — часть его бытия, а не внешнее условие.<br />Контекст не может переопределить его кварк. |
+|    Единство формы    | Если ПользовательНомер используется в 10 атомах — не нужно 10 раз писать `@уникально`. Нарушение — на уровне протона или нейтрона, а не контекста.                                                                                                                                                 |
+|     Безопасность     | Система гарантирует уникальность и обязательность на уровне нуклона, а не доверяет нуклону "не забыть".                                                                                                                                                                                                                          |
+| Эволюция практики | Если правило изменится (например, номер перестанет быть авто-инкрементным), —  меняется одно свойство в нуклоне,<br />а не в конкретном контексте.                                                                                                                                                 |
 
 ### Принципы проектирования в prolet
 
@@ -227,25 +227,29 @@
 - Атом — композиция нуклонов, а не конфигурация: она не задаёт правила, а использует уже заданные
 - Свойства в атоме — только контекстные: например, `@источник`, `@момент`, `@ответственный`, но не свойства кварков
 - Повторное указание свойств типа в атоме — избыточно и запрещено, но не запрещены свойства самого свойства (свойство атома рассматривается как нуклон на своём уровне)
-- Нуклон — со всеми своими атрибутами, законченная форма сущего, пригодная к использованию в любом атоме.
+- Нуклон — со всеми своими свойствами, законченная форма сущего, пригодная к использованию в любом атоме.
 
 ## Форма 3: спецификация — тип как отношение
 
 ```prolet
 (спец Хранилище
     @_док "Абстракция работы с хранилищем"
-    (Нов (ХранилищеИмя имя) Результат Хранилище)
-        @_док "Создаёт новое именованное хранилище"
-    (ПолучФайл (ИмяФайла имя) Результат СписБайт)
-        @_док "Читает файл с диска")
-    (ЗаписатьФайл (ИмяФайла  имя
-                    СпиСписБайт данные) Результат ЕслиОк @изм)
-        @_док "Записывает файл на диск")
-    (ЗакрытьХранилище)
+    (Нов (ИмяФайла имя) Хранилище.Рез)
+  
+    @_док "Создаёт новое именованное хранилище"
+    (ФайлПолуч (ИмяФайла имя) СписБайт.Рез)
+
+    @_док "Читает файл с диска")
+    (ФайлЗаписать (ИмяФайла имя   СпиСписБайт данные) ЕслиОк.Рез @изм)
+
+    @_док "Записывает файл на диск")
+    (Закрыть ()ЕслиОк.Рез)
 )
 
-(Хранилище Нов "тест_хран")(уст хран)
-(хран ПолучФайл "test.txt")
+(Хранилище (
+    (Нов "тест_хран")(уст хран)
+    (ФайлПолуч "test.txt")
+)
 ```
 
 Спецификация определяется не сущностью, а связями — как в диалектике.
@@ -255,7 +259,7 @@
 - Параметры: `(%Тип %имя %Тип %данные)` — именованные, ссылаются на нуклоны и атомы
 - Возврат: (%Результат %Тип) — атом, отражающий результат практики
 - Возвращаемый результат может отсутствовать
-- Все нуклоны и атомы в спецификации — практические, кварки запрещены, определённые через (протон, нейтрон, атом, ...)
+- Все нуклоны и атомы в спецификации должны так или иначе существовать, кварки запрещены (только на самом низком уровне)
 - @_док и др. свойства — не обязательны для каждого метода и спецификации, но можно потребовать обязательность на уровне проекта или конкретного действия
 - Спецификация не содержит реализации — только действия с параметрами и возвращаемые значения
 
@@ -263,7 +267,6 @@
 
 > 💡 Это — спираль развития, а не лестница. Каждый новый уровень — не просто добавление, а результат борьбы и единства противоположностей.
 
-
 ```mermaid
 flowchart LR
 subgraph Практика