KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

KretL — specyfikacja (zakres kontraktu 1.0)

Status 1.0: `FROZEN_1_0` — pełny zakres 1.0, stabilny kontrakt, testy zgodności. Gramatyka/wersja: kretl-1.0. Status języka nie nadaje uprawnień KCS ani prawa do działania w Production.

Źródła normatywne (kopie w Sources/, kolejność pierwszeństwa: decyzje właściciela → zamrożony kontrakt → kod SDK → testy):

LANGUAGE_FREEZE_1_0/02_KRETL_1_0_SPECIFICATION.md
LANGUAGE_FREEZE_1_0/kretl-1.0.contract.json
LANGUAGE_FREEZE_1_0/16_HISTORICAL_CONFLICT_RESOLUTION.md
SDK 04_Languages/KretL/SPEC.md

Elementy języka

Element	Stan w KretL
Struktura pliku	`manifestVersion "1.0"` jako pierwsze pole, potem dokładnie jeden blok `plugin { … }`.
Rozszerzenie	`.kretl`; obowiązkowa nazwa `plugin.kretl`.
Komentarze	`// …` i `/* … */`.
Typy danych	wartości: tekst w cudzysłowie, liczba, liczba z jednostką (`256MB`, `5s`, `5%`), `true`/`false`, nazwa (np. `system.ram.read`).
Zmienne / stałe / instrukcje / operatory / funkcje / warunki / pętle	nie istnieją — KretL jest deklaratywny.
Moduły / import	brak; plik odwołuje się do modułów KretS przez nazwy handlerów (`"Main.Start"`) i do mapy KretM (`project { map }`).
Obsługa błędów	diagnostyka `kret-diagnostics/1` (`KCS-KRL-xxxx`, `KCS-ID-`, `KCS-VER-`) z plikiem, wierszem i kolumną.
Asynchroniczność	nie dotyczy.
Limity parsera	zagnieżdżenie 32, 10 000 węzłów, 512 KiB.

Zakres poza kontraktem / ograniczenia

zapisywanie logiki (KretL jej nie ma — użyj KretS)
ustawienia użytkownika (użyj KretConfig)
próba „nadania” uprawnień — deklaracja niczego nie przyznaje
stare manifesty KretL/Main.kret (generacja 0.4.x, tylko import przez kret import-legacy)
KretL 1.0 = manifestVersion "1.0"; zmiana znaczenia → nowy manifestVersion (np. "2.0").
Poprawka parsera (PATCH) musi przejść korpus i aktualizuje sumę parsera w kontrakcie; kandydat rc.3+kret.local.3 ma nową sumę (oczekiwane, G-02), zachowanie 21/21.
Generacja 0.4.x (KretL/Main.kret) — LEGACY_COMPATIBILITY: tylko walidacja i kret import-legacy.
MINOR w KretL 1.0 wyłącznie w metadata.

Pełna referencja konstrukcji: SYNTAX_REFERENCE.md.

Źródło i wersja

Zweryfikowany import PUBLIC_CANDIDATE. Identyfikatory źródeł odnoszą się do eksportu i nie dają dostępu do plików serwera.

01_LANGUAGES/KretL/Documentation/LANGUAGE_SPECIFICATION.md
SHA-256 14C846AA2FA6E9EED5D263201651E5B145DE25D03F3568C1E034012AD1948B9F

Zaloguj się na konto użytkownika, aby zapisywać postęp i zakładki. Konta obsługi mogą czytać bez zapisu postępu. Logowanie →