KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ
Języki i technologie
KretL
KretL opisuje plugin: tożsamość, zgodność z Core i API, uprawnienia (deklaracje), cykl życia, tryb wykonania, limity, izolację, obszary danych, zależności i komendy hosta. Nie zawiera logiki. Jedyny manifest bieżącej generacji to `plugin.kretl` w katalogu głównym projektu.
kretl-1.0FROZEN_SUPPORTED_SUBSETKretScript
KretS (oficjalnie KretScript, generacja 2.0) to statycznie typowany język logiki pluginów. Kompiluje się do bytecode KBC 2 i działa w maszynie z weryfikatorem w osobnym procesie pluginu. Operacje hosta (dziennik, KretDB, konfiguracja, AI, mosty) są dostępne tylko przez brokera i tylko przy uprawnieniu z KretL.
krets-2.0FROZEN_SUPPORTED_SUBSETKretDB
KretDB to własny interfejs bazy danych pluginu: schemat w `Disk/Schema.kdb`, nazwane zapytania typowane względem KretS, transakcje, izolowana baza należąca do brokera (backend SQLite — decyzja R-11). Plugin nigdy nie widzi SQL ani uchwytu bazy.
kretdb-1.0FROZEN_SUPPORTED_SUBSETKretUI
KretUI opisuje strukturę i interakcje interfejsu (widoki, stan, bindingi, akcje do komend KretS). KretStyle opisuje wygląd (selektory, kaskada, stany, `media`), KTheme — motyw (tokeny, warianty `dark`/`highContrast`, kontrola kontrastu WCAG). Renderer SDK (Avalonia) działa we własnym procesie, logika w procesie pluginu. Interfejs nie nadaje uprawnień i nie przechowuje sekretów.
kretui-1.0FROZEN_SUPPORTED_SUBSETKretStyle
Komponent KretUI (styling component of KretUI). KretUI opisuje strukturę i interakcje interfejsu (widoki, stan, bindingi, akcje do komend KretS). KretStyle opisuje wygląd (selektory, kaskada, stany, `media`), KTheme — motyw (tokeny, warianty `dark`/`highContrast`, kontrola kontrastu WCAG). Renderer SDK (Avalonia) działa we własnym procesie, logika w procesie pluginu. Interfejs nie nadaje uprawnień i nie przechowuje sekretów.
kstyle-1.0FROZEN_SUPPORTED_SUBSETKTheme
Komponent KretUI (theme component of KretUI). KretUI opisuje strukturę i interakcje interfejsu (widoki, stan, bindingi, akcje do komend KretS). KretStyle opisuje wygląd (selektory, kaskada, stany, `media`), KTheme — motyw (tokeny, warianty `dark`/`highContrast`, kontrola kontrastu WCAG). Renderer SDK (Avalonia) działa we własnym procesie, logika w procesie pluginu. Interfejs nie nadaje uprawnień i nie przechowuje sekretów.
ktheme-1.0FROZEN_SUPPORTED_SUBSETKretFlow
KretFlow zapisuje logikę jako graf bloków (JSON, `kretflow-ir/2`). **Nie ma osobnego silnika przepływów**: graf jest obniżany do automatu stanów w KretS, kompilowany zwykłym kompilatorem i wykonywany przez tę samą maszynę, z tymi samymi uprawnieniami i limitami. Nazwa „KretFollow” nie występuje w żadnym źródle — to literówka, nie nazwa historyczna.
kretflow-ir/2FROZEN_SUPPORTED_SUBSETKretAI
KretAI (w SDK `KretAi`) deklaruje modele, narzędzia (funkcje KretS) i agentów. Zamrożone są deklaracje, walidacja oraz bramki uprawnień i polityki danych. **Wykonanie z prawdziwym modelem nie należy do kontraktu 1.0** (KretAI 1.1+, NOT_RUN). W Core KretAI jest DISABLED.
kretai-1.0FROZEN_SUPPORTED_SUBSETKretLink
KretLink to wersjonowane kontrakty usług (`.klink`) i dwa protokoły: łącze broker↔plugin `kretlink-local/1` (stdin/stdout) oraz RPC `kretlink-rpc/1` na potokach nazwanych (tożsamość procesu, wzajemny HMAC, terminy). Kontrakt można walidować, ale **nie daje on prawa do komunikacji**. Eksport usług pluginów, `stream` w Core i produkcyjne uprawnienia `kretlink.*` są zablokowane (A17, FB-06).
klink-1.0FROZEN_SUPPORTED_SUBSETKretM
KretM opisuje strukturę projektu: warstwy, moduły z katalogami i plikami, dozwolone (`allow`) i zakazane (`deny`) zależności oraz połączenia. Kompilator sprawdza kod KretS względem mapy. **KretM niczego nie przyznaje** i **nie jest językiem bibliotek funkcji** (to rola KretMod). Mapę włącza `project { map }` w KretL.
kretm-1.0FROZEN_SUPPORTED_SUBSETKretLib
KretLib zarządza bibliotekami KretS: manifest biblioteki (`library.klib`), wymagania projektu (`project.klibs`), rozstrzyganie wersji, plik blokady ze skrótami SHA-256, instalacja offline do `Libs/` i opcjonalny rejestr HTTPS. Zamrożony zakres: biblioteki offline z blokadą i skrótami. Biblioteka **nie deklaruje uprawnień**.
klib "1.0" · klibs "1.0"PROVISIONAL_VERSIONEDKretBridge
KretBridge łączy KretS z biblioteką C# działającą w **osobnym procesie usługi**, wywoływanej przez brokera jak operacja hosta (KretS → broker → KretLink RPC → proces C# → wynik). Status PROVISIONAL_VERSIONED; **w Core zablokowany** — kod natywny nie jest izolowany jak plugin w AppContainer. To nie jest sandbox dla C#.
— (kontrakt klink-1.0)DEFINED_NOT_IMPLEMENTEDKretMod
KretMod to **zdefiniowana, niezaimplementowana** koncepcja bibliotek funkcji i modułów Kret: jednostek kodu wielokrotnego użytku, publikowanych i wersjonowanych niezależnie od pluginu. **KretMod ≠ KretM** (KretM to mapa jednego projektu). Implementacja nie istnieje w żadnym repozytorium, SDK, KretStudio, bazie wiedzy ani na stronie. Dziś tę funkcję pełni KretLib.
— (brak gramatyki)PROVISIONAL_VERSIONEDKretConfig
KretConfig opisuje ustawienia pluginu: schemat (typy z jednostkami, zakresy, wartości dozwolone, `hotReload`, ustawienia tajne), profile (z dziedziczeniem), warstwy (domyślne → użytkownik → projekt → moduł) i politykę hosta, która zawsze wygrywa. Sekrety wyłącznie przez Vault (Windows DPAPI). Status **PROVISIONAL_VERSIONED** (własna ścieżka rozwoju).
kconfig-1.0LEGACY_COMPATIBILITYKretScript 1.0
KretScript 1.0 — generacja zachowana dla zgodności (19_LEGACY_COMPATIBILITY.md).
Brak gramatykiLEGACY_COMPATIBILITYKretL 0.4.x manifest
KretL 0.4.x manifest — generacja zachowana dla zgodności (19_LEGACY_COMPATIBILITY.md).
Brak gramatykiLEGACY_COMPATIBILITYKret.Formats JSON (*.example.json, rc.1)
Kret.Formats JSON (*.example.json, rc.1) — generacja zachowana dla zgodności (19_LEGACY_COMPATIBILITY.md).
Brak gramatyki