KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

KretLib — specyfikacja (zakres kontraktu 1.0)

Status 1.0: `FROZEN_SUPPORTED_SUBSET` — zamrożony dokładnie opisany zakres; reszta poza kontraktem 1.0. Gramatyka/wersja: klib "1.0" · klibs "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/12_LANGUAGE_COMPATIBILITY_MATRIX.md
SDK 06_Libraries/KretLib/README.md

Elementy języka

Element	Stan w KretLib
Pliki	`library.klib` (`klib "1.0"`, `library nazwa { id version publisher description export require }`), `project.klibs` (`klibs "1.0"`, `policy`, `source`, `require`), `project.klibs.lock` (JSON).
Komentarze	`//`.

Zakres poza kontraktem / ograniczenia

biblioteki z KretBridge/KretDB/UI (biblioteki zawierają tylko moduły KretS)
równoległe wersje tej samej biblioteki (NOT_SUPPORTED)
zakładanie autentyczności wydawcy (brak podpisów)
Zamrożony zakres: offline + blokada + skróty. Rejestr testowany tylko z serwerem testowym (rzeczywisty: NOT_RUN).
Ograniczenie tej rundy (EXP-F02): kretui-host --self-test nie dołącza bibliotek (KCS-KRS-1003).

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/KretLib/Documentation/LANGUAGE_SPECIFICATION.md
SHA-256 219F964B68502E22642FC5C5A2F67FE18CA9A1E6BF68459F977D1CE58BCE46AD

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