SVI Исправления

docs/prolet-dialect-typing.md

@@ -271,9 +271,11 @@
                 @шлюз-вход))
 
 (// Проверка и переход к статике)
-(если (анализ данные как АнализДанных)
-    тогда (отправить-в-отчёт (как АнализДанных данные))
-    иначе (лог-ошибка "некорректные данные")))
+(если (проба-из данные как АнализДанных)
+    тогда (
+        (фикс отчёт (= привести-из данные к Схема.АнализДанных))
+        (отправить-в-отчёт отчёт))
+    иначе (лог-ошибка "некорректные данные"))
 
 (// Определение типа на основе практики)
 (структ АнализДанных