# pro.02_20 Диалектика становления: аксиома - конкретное - обобщение

Дерево сущностей в **prolet** представлено ниже:

```mermaid
flowchart LR
subgraph Практика
    direction TB
    Субъект --> Цели
    Цели --> Задачи
    Задачи --> Требования
end

subgraph prolet
    direction TB
    subgraph Нуклоны
        direction LR
       Протоны
       Нейтроны
    end
    Спецификации --> Атомы
    Спецификации --> Нуклоны
    Атомы --> Нуклоны
    Нуклоны --> Кварки
end

subgraph СинтезАппарат
    direction TB
    АппаратныйТип1
    АппаратныйТип2
end

Практика --> prolet
prolet --> СинтезАппарат
```

В данном случае отображается не иерархия типов, а онтологический процесс становления, в соответствии с законами диалектического материализма:

- `отрицание` → `противоположность` → `синтез`,
- `форма` → `содержание` → `единство формы и содержания`.

Разберём схему более подробно, уточним и закрепим эти положения как каноническое *отражение развития сущего* в **prolet**.

## 🔍 Диалектический разбор

### Практика (сущее)

**Что:** существующие общественные отношения, возникающие противоречия в виде целей, определяющих задачи. Задачи ограничены конкретными условиями и требованиями.

**Статус:** реально существующую практика, пространство противоречий и ограничений.

**Роль в диалектике:** зарождение противоречия

**Противоречие:**  между тем что есть, и тем что должно быть.

### Свойства

**Что**: `@_кварк`, `@_диапазон`, `@_обязательно`, `@значение`, `@активен` — характеристики сущего.

**Происхождение**: сопровождают всё сущее, как внешние ограничения конкретного существования.

**Роль**: Отражают состояние, статус, ограничения, контекст.

**Противоречие:** определяются конкретной практикой, могут быть неприменимы к изменившемся материальным условиям, что способно привести к нарушениям логики.

✅ Свойства — не метаданные, а сущее, выделенное из конкретного контекста.

### Спецификация (конкретизация практики)

**Что**: `Процесс`, `Действия`, `Результат` — формы композиции, конкретизирующие  общие формы практики для конкретных условий.

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

**Роль в диалектике**: «Синтез: не форма организации практики, а реализация самой практики».

**Противоречие:** цели формируемые субъектом определяют задачи с заданными свойствами, но не отражаются в конкретном коде. Спецификации формализуют задачи и свойства на основе требований и определяют дальнейшее определение атомов.

✅ Определяются через `(спец ...)`.

### Атом (конкретизация формы)

**Что**: `Пользователь`, `Заказ`, `Документ` — формы композиции, отражающие конкретизацию спецификации.

**Статус**: синтез  конкретного — не просто набор свойств, а законченная форма сущего, в которой отношения между частями — так же важны, как и сами части.

**Роль в диалектике**: «Синтез: не тип, не значение, а форма организации конкретной практики».

✅ Определяются через `(атом ...)`.

**Противоречие:** спецификации не обладают конкретной структурой сущности,только описывают поведение. Атомы позволяют реализовать описанное поведение с специфичной структурой для конкретной сущности.

### Нуклон (сущее с формой)

**Что (протон)**: `Рубль`, `ЧеловекИмя`, `ПользовательНомер`, `Роль` — материализованные формы сущего, возникшие в практике.

**Статус**: протоны вписаны в контекст, имеют единицы, ограничения, назначение.

**Роль в диалектике**: «Противоположность идеализму — конкретное, социальное, ограниченное сущее».

**Противоречие:** атом обладая частями и поведением не может описывать свои части. Нуклоны делает именно это: описывает составную часть с заданной характеристикой

✅ Определяются через:

- `(протон ... @_кварк целое)`,
- `(нейтрон ... @_кварк действие)`.

### Кварки (сущее, основа конкретного)

**Что:** `Целое`, `Строка`, `Бул`, `Срез` — отражение основ цифровой материи, отражение аксиом.

**Статус:** аксимоы, которые будут отражены на аппаратные типы в виде одной формы, основа для протонов и нейтронов.

**Роль в диалектике:** отражение на  аппаратное, предоставление аксиом для протонов.

**Противоречие:** нуклон не может непосредственно быть использованным как аппаратный тип, кварк снимает конкретные ограничения на практическую реализацию.

Встроены, не определяются и не переопределяются.

> В **prolet** нельзя использовать напрямую — только через `@_кварк` в составе нуклона.

### Материальная база (контекст существования практики)

**Что**: `Аппаратура` — новая конкретная форма аппаратуры, среда практической деятельности.

**Статус**: среда конкретной реализации, пространство доступного, отрицание `не_бытия`.

**Роль в диалектике**: «Отрицание  абстрактного, идеалистического».

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

## Действия и спецификации

**Действия**: действия, применяемые в атомах над протонами с помощью нейтронов — `ПроверитьАктивность`, `ОтправитьЧерезПочту`.

**Спецификации**: конкретизация практики, отражающее форму взаимодействия с сущим, независимо от реализации.

> Спецификации — не "сверху", а "обобщение практики в виде набора взаимосвязанных допустимых процессов": они возникают как обобщение реальной практики, как контекст.

✅ Таким образом:

- Практика порождает спецификации,
- Атомы и нуклоны конкретизируют спецификации,
- Действия реализуются в атомах и нуклонах,

🔄 Полная диалектическая цепочка

```mermaid
flowchart LR
subgraph Практика
    direction TB
    Субъект --> Цели
    Цели --> Задачи
    Задачи --> Требования
end

subgraph prolet
    direction TB
    subgraph Нуклоны
        direction LR
       Протоны
       Нейтроны
    end
    Спецификации --> Атомы
    Спецификации --> Нуклоны
    Атомы --> Нуклоны
    Нуклоны --> Кварки
end

subgraph СинтезАппарат
    direction TB
    АппаратныйТип1
    АппаратныйТип2
end

Практика --> prolet
prolet --> СинтезАппарат
```

## 📜 Онтологическое содержание уровней

- Свойства: `@_кварк`, `@активен` (Ограничения практики),
- Спецификации: `Хранилище`, `Аутентификатор` (Обобщение форм практики),
- Атомы: `Пользователь`, `Заказ` (Форма конкретизации спецификации),
- Действия: `ПроверитьАктивность` (Действия над сущим),
- Протона: `Рубль`, `Роль` (Конкретизация сущего),
- Нейтроны: `Добавить`, `Печать` (Конкретизация действий),
- Кварки: `Целое`, `Строка` — основа бытия, отражение в аппаратные типы,
- Аппаратный тип: новый предельно конкретный минимальный тип.

## 💡 Философское обоснование

Идеи языка следуют диалектическому материализму:

- Развитие идёт не сверху вниз, а от практики к её обобщению в высшей форме, и далее в новой форме опять к практике.
- Спецификация не первична, она — порождение практики, как результат познания мира.
- Кварк как аксиома -- не обладает всей полнотой конкретных свойств,
- а нуклон — уже вписан в практику на основе кварка,
- Атом — синтез в виде группы разнородных протонов и нейтронов.
- «Не `interface` как божественный замысел, а `спецификация` как инструмент труда, и как обобщение структур — вот путь материалистического программирования».

## 🎯 Заключение

Установлена онтологическая модель **prolet**:

Это не иерархия типов.

Это — диалектика становления сущего: `от обобщённой практики` →`к ограниченной задаче` →`к конкретной задаче` → `к предельно конкретной практике`.

> ✅ **prolet** — не язык программирования. Это — *язык фиксации развития практики*.
