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

docs/docs/02_20.md

@@ -1,4 +1,4 @@
-# pro-011 Диалектика становления: абстракция - конкретное - обобщение
+# pro.02_20 Диалектика становления: абстракция - конкретное - обобщение
 
 Дерево сущностей в **prolet** представлено ниже:
 

docs/docs/02_30.md

@@ -1,4 +1,4 @@
-# pro-012 Диалектика изменяющего и трансформирующего действия
+# pro.02_30 Диалектика изменяющего и трансформирующего действия
 
 Язык, отражающий диалектически реальный мир должен явно в общей форме различать две типа контекстов: процесс и функция.
 

docs/docs/02_40.md

@@ -1,4 +1,4 @@
-# pro-013 Присвоение результатов как диалектическое отражение времени
+# pro.02_40 Присвоение результатов как диалектическое отражение времени
 
 В языке программирования **prolet**, присвоение основано на стреле времени и онтологической чёткости: присвоение — не операция в стиле `x = f()`, а процесс перехода от действия к сущему, зафиксированный как направленное преобразование во времени:
 

docs/docs/02_50.md

@@ -1,4 +1,4 @@
-# pro-014 **Виртуальная машина как орудие материальной практики**
+# pro.02_50 **Виртуальная машина как орудие материальной практики**
 
 Ниже следуют рассуждения о сущности виртуальной машины для диалектического языка, которая должна соответствующим образом транслировать все контексты на уровень исполнения. Такая виртуальная машина снимает противоречие различных аппаратных архитектур. Какими свойствами должна обладать такая виртуальная машина чтобы язык **prolet** мог перенести на неё свои возможности без потери смыслов?
 

docs/docs/02_60.md

@@ -1,4 +1,4 @@
-# pro-015 Диалектика статических обобщённых типов
+# pro.02_60 Диалектика статических обобщённых типов
 
 Руководствуясь принципами диалектического материализма необходимо признать, что в реальном мире могут существовать только те типы, которые отражают эту реальность. Если один из типов существует фактически в качестве типа процессора или ВМ -- именно он должен являться кварка по отношению ко всем обобщённым типам.
 

docs/docs/02_70.md

@@ -1,4 +1,4 @@
-# pro-016 Работа с сущностями в логике диалектического материализма
+# pro.02_70 Работа с сущностями в логике диалектического материализма
 
 Свойства нашего материального мира таковы, что мы можем говорить о нескольких явлениях работы с объектами, как о действующих законах. Например, мы можем наблюдать за объектом. Или можем переместить объект в другое место без фактического изменения самого объекта. Либо объект может оставаться на месте, но изменяться в потоке времени.
 

docs/docs/02_80.md

@@ -1,4 +1,4 @@
-# pro-017 Контексты вычислений
+# pro.02_80 Контексты вычислений
 
 Ранее контексты встречались в примерах кода **prolet**: **макросы**, **функции**, спецификации и процессы. Теперь контексты будут обозначены явно, как тип вычислительных групп.
 

docs/docs/02_90.md

@@ -1,4 +1,4 @@
-# pro-018 Кварковый уровень prolet
+# pro.02_90 Кварковый уровень prolet
 
 Кварковый уровень **prolet** является изолированным контекстом. В нём нет высокоуровневых типов, структур, срезов, типажей и т.п. Кварковый уровень выражает все доступные возможности **ВМ.**
 

docs/docs/03_10.md

@@ -1,4 +1,4 @@
-# pro-019 Набор кварков prolet
+# pro.03_10 Набор кварков prolet
 
 Кварк, как основа цифровой материи **prolet**, обеспечивает все возможности исполнения в **ВМ**. Поскольку каждый кварк обеспечивает своё поведение сам -- нет никакой необходимости на текущем уровне познания действительности делать их число больше, чем предложено, но также это означает, что **prolet** не является закрытой системой и допускает своё расширение за счёт введения новых кварков.
 

docs/docs/03_20.md

@@ -0,0 +1 @@
+# pro.03_20 Кварк пусто

docs/pro_readme.md

@@ -12,31 +12,32 @@
 > Чтобы время — самый ценный ресурс — тратилось на творчество,
 > а не на борьбу с инструментом.
 
-- phi.00_10 [Философия в проектировании языков](./docs/00_10.md)
-- phi.00_20 [Отрицание эклектики в построении языка](./docs/00_20.md)
-- pro.01_10 [Контекст создания нового языка](./docs/01_10.md)
-- pro.01_20 [Диалектико-теоретические требования к языку](./docs/01_20.md)
-- pro.01_30 [Разрешение диалектических противоречий на новом уровне](./docs/01_30.md)
-- pro.01_40 [Многоэтажность языка](./docs/01_40.md)
-- pro.01_50 [Диалектика стиля нотации](./docs/01_50.md)
-- pro.01_55 [Диалектика формы языка программирования](./docs/01_55.md)
-- pro.01_60 [Диалектическое развитие S-выражений](./docs/01_60.md)
-- pro.01_70 [Диалектика развития языка](./docs/01_70.md)
-- pro.01_80 [Диалектика динамики типов](./docs/01_80.md)
-- pro.01_90 [Диалектическая несостоятельность nil](./docs/01_90.md)
-- pro.02_10 [Диалектическая онтология типов](./docs/02_10.md)
-- pro.02_20 [Диалектика становления](./docs/02_20.md)
-- pro.02_30 [Диалектика изменяющего и трансформирующего действия](./docs/02_30.md)
-- pro.02_40 [Присвоение результатов как диалектическое отражение времени](./docs/02_40.md)
-- pro.02_50 [Виртуальная машина как орудие материальной практики](./docs/02_50.md)
-- pro.02_60 [Диалектика статических обобщённых типов](./docs/02_60.md)
-- pro.02_70 [Работа с сущностями в логике диалектического материализма](./docs/02_70.md)
-- pro.02_80 [Контексты вычислений](./docs/02_80.md)
-- pro.02_90 [Кварковый уровень prolet](./docs/02_90.md)
-- pro.03_10 [Набор кварков пролет](./docs/03_10.md)
-- Атомы языка
-- ВМ
-- Система типов
+* phi.00_10 [Философия в проектировании языков](./docs/00_10.md)
+* phi.00_20 [Отрицание эклектики в построении языка](./docs/00_20.md)
+* pro.01_10 [Контекст создания нового языка](./docs/01_10.md)
+* pro.01_20 [Диалектико-теоретические требования к языку](./docs/01_20.md)
+* pro.01_30 [Разрешение диалектических противоречий на новом уровне](./docs/01_30.md)
+* pro.01_40 [Многоэтажность языка](./docs/01_40.md)
+* pro.01_50 [Диалектика стиля нотации](./docs/01_50.md)
+* pro.01_55 [Диалектика формы языка программирования](./docs/01_55.md)
+* pro.01_60 [Диалектическое развитие S-выражений](./docs/01_60.md)
+* pro.01_70 [Диалектика развития языка](./docs/01_70.md)
+* pro.01_80 [Диалектика динамики типов](./docs/01_80.md)
+* pro.01_90 [Диалектическая несостоятельность nil](./docs/01_90.md)
+* pro.02_10 [Диалектическая онтология типов](./docs/02_10.md)
+* pro.02_20 [Диалектика становления](./docs/02_20.md)
+* pro.02_30 [Диалектика изменяющего и трансформирующего действия](./docs/02_30.md)
+* pro.02_40 [Присвоение результатов как диалектическое отражение времени](./docs/02_40.md)
+* pro.02_50 [Виртуальная машина как орудие материальной практики](./docs/02_50.md)
+* pro.02_60 [Диалектика статических обобщённых типов](./docs/02_60.md)
+* pro.02_70 [Работа с сущностями в логике диалектического материализма](./docs/02_70.md)
+* 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)
+* Атомы языка
+* ВМ
+* Система типов
 
 ## Лицензия