SVI Корректировка после LLM

docs/docs/01_80.md

@@ -1,4 +1,4 @@
-# pro-008 Диалектика динамики типов
+# pro.01_80 Диалектика динамики типов
 
 Рассмотрим более подробно ещё одно диалектическое противоречие: "статическая типизация -- динамическая типизация". Надо получить ясный, структурированный переход между строгой статикой и высокой динамикой. А также предусмотреть контролируемый механизм перехода из одного состояния в другое.
 
@@ -7,10 +7,7 @@
 - Статика — стремление к порядку, предсказуемости, закону.
 - Динамика — стремление к адаптации, изменению, практике.
 
-::: info
-Их единство — не компромисс, а диалектический переход, где каждая сторона отрицает другую, чтобы породить нечто высшее.
-
-:::
+> 💡 Их единство — не компромисс, а диалектический переход, где каждая сторона отрицает другую, чтобы породить нечто высшее.
 
 ## Постановка противоречия
 
@@ -31,10 +28,7 @@
 
 Ни одна сторона не может победить полностью.
 
-::: info
-Победа — в синтезе, в контролируемом переходе от одной формы к другой, в зависимости от объективных условий задачи.
-
-:::
+> 💡 Победа — в синтезе, в контролируемом переходе от одной формы к другой, в зависимости от объективных условий задачи.
 
 **Цель**: `диалектическая типизация`
 
@@ -82,8 +76,8 @@
 Шлюз не всегда требуется при обмене с внешним миром. Если приём данных из внешнего источника из экосистемы `prolet` -- тогда такой поток байтовых данных будет сопровождаться метками типа. В этой ситуации шлюз не нужен.
 
 ```prolet
-(// Внутри — следует использовать байтовый поток, 
-		тип на выходе -- `нечто`)
+(// Внутри — следует использовать байтовый поток,
+    тип на выходе -- `нечто`)
 (ВебЗапросить "/data"
     @шлюз_вход
     @требует_ревью)(уст нечто)
@@ -92,8 +86,8 @@
 (// Обратный переход — только через проверку)
  (ЕслиНечто нечто как Структ.Пользователь
     тогда (
-		(Привести нечто к Пользователь)
-		(уст пользователь))
+    (Привести нечто к Пользователь)
+    (уст пользователь))
     иначе (ПечатьОшибка "неверный формат")
 )
 ```
@@ -127,8 +121,8 @@
 Он не может участвовать в вычислениях напрямую. Чтобы использовать — нужно привести к статическому типу.
 
 ```prolet
-(// по умолчанию статичность на выходе @фикс, 
-	параметр контакта с внешним миром -- @шлюз_вход)
+(// по умолчанию статичность на выходе @фикс,
+  параметр контакта с внешним миром -- @шлюз_вход)
 (ПолучитьИзApi)(уст x)
 
 (// Ошибка: (x + 1) — запрещено)
@@ -149,7 +143,7 @@
 - CSV,
 - XML с xsi:type="string"
 
-  тогда нужен `@шлюз_вход`, потому что форма несёт в себе противоречие: `байты есть, а типов — нет`.
+тогда нужен `@шлюз_вход`, потому что форма несёт в себе противоречие: `байты есть, а типов — нет`.
 
 ## Система приведения типов: "путь к статике"
 
@@ -173,8 +167,8 @@
 ```prolet
 (ЕслиНечто байты к Схема.Пользователь
     тогда (
-		(Привести байты в Схема.Пользователь)
-		(уст х))
+    (Привести байты в Схема.Пользователь)
+    (уст х))
     иначе (ПечатьОшибка "ожидалось число"))
 ```
 
@@ -186,20 +180,17 @@
 - ввод: внешние __API__ (не из экосистемы)
 - ввод: конфигурация (не из экосистемы)
 
-::: info
-Это — не абсолютизация, а диалектический релятивизм: истина — в конкретной практике, границы которой задаются контекстом.
-
-:::
+> 💡 Это — не абсолютизация, а диалектический релятивизм: истина — в конкретной практике, границы которой задаются контекстом.
 
 ## Развитие типов: от динамики к статике через практику
 
 Когда динамический интерфейс стабилизируется, его можно возвысить до статического закона:
 
 ```prolet
-(// Сначала — динамически, 
-	"ЗапросАпи" определён как @шлюз_вход, и данные как @фикс)
+(// Сначала — динамически,
+  "ЗапросАпи" определён как @шлюз_вход, и данные как @фикс)
 (прц ЗапросАпи @шлюз_вход(): нечто(
-	....)
+  ....)
 )
 (ЕслиНечто нечто как Схема.ФорматV1
         тогда (...)
@@ -213,8 +204,8 @@
 (// Использование через приведение, результат определён как @фикс)
 (ЕслиНечто х как ФорматV1
     тогда (
-		(ЧитатьИз "data/sample.json")
-		(уст конфигТекст))
+    (ЧитатьИз "data/sample.json")
+    (уст конфигТекст))
 )
 ```
 
@@ -228,10 +219,7 @@
 - Это — переход количества в качество,
 - Это — восстановление формы из хаоса.
 
-::: info
-Как у диалектики: `Из хаоса — порядок, из количества — качество`.
-
-:::
+> 💡 Как у диалектики: `Из хаоса — порядок, из количества — качество`.
 
 ## Почему `@шлюз_вход` — однонаправленный?
 
@@ -298,8 +286,8 @@
 (// Проверка и переход к статике)
 (ЕслиНечто нечто как Схема.АнализДанных)
     тогда (
-		(Привести нечто в Схема.АнализДанных)
-		(уст отчёт @мут)
+    (Привести нечто в Схема.АнализДанных)
+    (уст отчёт @мут)
         (ОтправитьОтчёт отчёт))
     иначе (ПечататьОшибку "некорректные данные"))
 
@@ -313,7 +301,7 @@
 
 От хаоса внешнего мира → к порядку внутренней системы через безопасные однонаправленные шлюзы.
 
-## Заключение: типизация как диалектический процесс
+## 🎯 Заключение: типизация как диалектический процесс
 
 Предлагаемое решение не устраняет противоречие, а развивает отношения внутренних форм в конкретной ситуации:
 
@@ -322,9 +310,4 @@
 - Переход — не скачок, а контролируемый, документируемый, педагогически организованный процесс.
 - Язык — не набор правил, а механизм познания реальности через типы.
 
-::: success
-Это — не просто типовая система, это — диалектика познания:
-
-*от незнания → к гипотезе (динамика) → к истине (статика).*
-
-:::
+> ✅ Это — не просто типовая система, это — диалектика познания: *от незнания → к гипотезе (динамика) → к истине (статика).*

docs/docs/01_90.md

@@ -1,4 +1,4 @@
-# pro-009 Диалектическая несостоятельность nil
+# pro.01_90 Диалектическая несостоятельность nil
 
 Очередное диалектическое противоречие для рассмотрения `сущее - не сущее`. Ошибка на миллиард долларов в нашем новом, диалектическо-материалистическом языке недопустима. Наша модель языка должна отражать реально существующий мир.
 
@@ -40,7 +40,7 @@
 String name = user.getName();
 
 // NullPointerException — ошибка на миллиард долларов
-int len = name.length();     
+int len = name.length();
 ```
 
 Это — не ошибка программиста, это — ошибка *онтологии языка*, который допускает, что `не сущее` может передаваться как `сущее`.
@@ -109,11 +109,11 @@ int len = name.length();
 (// Переход к сущему — только через практику)
 (ЕслиНечто нечто как Пользователь
 		(// нечто — теперь сущее)
-    тогда (
+	тогда (
 		(Привести нечто к Пользователь))
 		(Пользователь Обработать)
 		(// нет сущего — альтернатива)
-    иначе (Пользователь ПоУмолчанию)) 
+    иначе (Пользователь ПоУмолчанию))
 ```
 
 Ключевые особенности:
@@ -168,11 +168,12 @@ let s: Option<String> = None;
 (НайтиПоНомеру (123 125)(уст нечто)
 
 (ЕслиНечто нечто как Пользователь
-    тогда (
+	тогда (
 		(Привести нечто к Пользователь)
 		(уст пользователь)
-        (напечатать "Здравствуй, " пользователь имя))
-    иначе (напечатать "Пользователь не найден"))
+	иначе (Пользователь Валюта))
+	(напечатать "Здравствуй, " пользователь имя))
+	иначе (напечатать "Пользователь не найден"))
 ```
 
 Только после проверки — пользователь становится сущим.
@@ -183,8 +184,8 @@ let s: Option<String> = None;
 (фн ПрочитатьФайл @шлюз_вход() -> нечто)
 
 (ГарантНечто нечто как Пользователь
-    @_док "данные обязательны, иначе сбой конфигурации"
-    иначе (
+	@_док "данные обязательны, иначе сбой конфигурации"
+	иначе (
 		(Пользователь Новый)
 		(уст пользователь))
 ))
@@ -220,10 +221,7 @@ let s: Option<String> = None;
 
 ### Ошибка онтологии
 
-::: info
-Не использование `nil`, а признания небытия как невозможное в реальном мире. Язык не допускает онтологической лжи.
-
-:::
+> 💡 Не использование `nil`, а признания небытия как невозможное в реальном мире. Язык не допускает онтологической лжи.
 
 Он требует:
 
@@ -231,7 +229,7 @@ let s: Option<String> = None;
 - Либо — честное признание, что его ещё нет,
 - Либо — создание альтернативного сущего.
 
-## Заключение: язык как отражение реального мира
+## 🎯 Заключение: язык как отражение реального мира
 
 Дано решение главного противоречия:
 
@@ -242,7 +240,4 @@ let s: Option<String> = None;
 - В нём есть место неопределённости, но не как значению, а как пространству поиска.
 - В нём программист — не маг, а труженик, добывающий сущее из потенциально сущего.
 
-::: success
-Это — не просто безопасность, это — материалистическая честность, это — диалектика бытия, воплощённая в синтаксисе.
-
-:::
+> ✅ Это — не просто безопасность, это — материалистическая честность, это — диалектика бытия, воплощённая в синтаксисе.