KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ
KretDB — specyfikacja (zakres kontraktu 1.0)
KretDB — specyfikacja (zakres kontraktu 1.0)
Status 1.0: `FROZEN_SUPPORTED_SUBSET` — zamrożony dokładnie opisany zakres; reszta poza kontraktem 1.0. Gramatyka/wersja: kretdb-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/05_KRETDB_SPECIFICATION.md- SDK
04_Languages/KretDB/SPEC.md
Elementy języka
| Element | Stan w KretDB |
|---|---|
| Struktura pliku | database Nazwa { version = N; table …; query …; migration from N { … } }. |
| Rozszerzenie | .kdb; plik Disk/Schema.kdb. |
| Komentarze | # …. |
| Typy kolumn | Bool Int32 Int64 Float64 Decimal String Bytes UUID Instant Duration (aliasy Int, Float, Timestamp); ? = opcjonalna. |
| Zmienne / funkcje / pętle | nie istnieją w .kdb; logika w KretS. |
| Parametry | :nazwa w zapytaniu; wartości zawsze wiązane. |
| Obsługa błędów | KCS-KDB-0xxx (kompilacja), KCS-KDB-03xx (operacje); w KretS przechwytywane try/catch. |
Zakres poza kontraktem / ograniczenia
- złączenia tabel, agregacje inne niż liczba wierszy, zapytania składane z tekstu (nie istnieją)
- porównania kolumn
Decimal/Byteswwhere(KCS-KDB-0102) - dostęp do bazy z C# pluginu (tylko zaufany adapter Core / KretBridge)
- produkcyjne użycie w Core przed decyzją D-KCS-01 (
kretdb.*PROVISIONAL) kretdb-1.0FROZEN_SUPPORTED_SUBSET; migracje/backup/restore w Core PROVISIONAL; żadna istniejąca baza nie jest migrowana.- SFI-B01 (kandydat local.3): wycofanie transakcji tylko przy odmowie autoryzacji — do potwierdzenia przez właściciela (G-05).
- SDK
sdk-inforaportujesyntax: PROVISIONAL— rozbieżność z freeze.
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/KretDB/Documentation/LANGUAGE_SPECIFICATION.md
SHA-256 4E0BFFF9CCA8B1CF1F9EF580ACBE5EE92D1BFB0E503013DA037ED4FBF4A37D57Zaloguj się na konto użytkownika, aby zapisywać postęp i zakładki. Konta obsługi mogą czytać bez zapisu postępu. Logowanie →