KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ
KretMultiLanguage
Jeden projekt łączący oficjalnie obsługiwane technologie: manifest KretL z mapą KretM (warstwy Ui → Logic → Data), moduły KretS z regułami mapy, dane KretDB, biblioteka offline KretLib (`mathx` → `textutil`) i widok KretUI wywołujący komendę `orders.summary`.
- SDK
- RUNNABLE_LOCAL
- Core
- BLOCKED_KCS_D_KCS_01 (logs.own.write, kretdb.*)
- Production
- NOT_PRODUCTION_READY
Źródła projektu są do nauki. Witryna nie udostępnia niezatwierdzonej paczki .kpkg. Uprawnienia UI/DB i inne otwarte decyzje nie są aktywowane przez kurs.
Pełne źródła projektu
database Mapped {
version = 1
table counters {
name: String primary key
value: Int
}
}
Czytanie kodu linia po linii
Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.
database Mapped {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.version = 1Pole tożsamości lub wersji w otaczającym bloku; zachowaj jego kontekst.table counters {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.name: String primary keyOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.value: IntOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.}Zamknięcie struktury otwartej we wcześniejszych liniach.}Zamknięcie struktury otwartej we wcześniejszych liniach.
Materiały źródłowe do tego tematu
Przeczytaj powiązane rozdziały. Kod i kontrakty zachowano z importu; historia źródeł jest dostępna przy każdym rozdziale.
BUILD_INSTRUCTIONS — KretMultiLanguage
BUILD_INSTRUCTIONS — KretMultiLanguage
Katalog roboczy / working directory: folder tego pluginu (zawiera src/). kret = <SDK>\Compiler\kret.exe z SDK 1.0.0-rc.3+kret.local.3 (lub pinned Vendor Core rc.3+kc-base-test610). Wszystkie polecenia poniżej zostały wykonane w tej rundzie — wyniki: TEST_RESULTS.json.
| # | Krok / Step | Polecenie / Command |
|---|---|---|
| 1 | Utworzenie projektu / create | Szablony SDK core-plugin (KretL+KretM+KretS+KretDB) i library (KretLib) połączone w eksporcie + widok KretUI. / SDK templates core-plugin and library combined + a KretUI view. Nowy projekt od zera / from scratch: kret new basic <katalog> --name KretMultiLanguage |
| 2 | Kod / code | src/plugin.kretl, src/Script/**.krs, src/Disk/Schema.kdb, src/Ui/* |
| 3 | Sprawdzenie / check | kret check src --json |
| 3a | Biblioteki / libraries | kret lib restore src |
| 4 | Build | kret build src → src/Build/plugin.kbc, manifest.json |
| 5 | Testy / tests | — (brak modułów Tests/ / no Tests/ modules) |
| 5a | Uruchomienie lokalne / local run | kret run src --policy examples/host-policy.json --data <nowy katalog> --invoke orders.summary |
| 6 | Paczka / pack | kret publish pack src --channel dev --include-sources -o package → package/LOCAL-KPL-MLTLNG27-1.0.0-dev.kpkg |
| 7 | Weryfikacja / verify | kret publish verify package/LOCAL-KPL-MLTLNG27-1.0.0-dev.kpkg --report package/verify-report.json |
Uwagi / notes:
--include-sourcesjest wymagane dla KPM Core: Core kompiluje plugin ze źródeł i odrzuca paczkę z samym bytecode (source_package_required, STUDIO-R02). / Required for Core KPM.- Kanał
dev: paczka niepodpisana (signature: SKIPPED, nie PASS). Brak podpisu produkcyjnego — ceremonia C1 nie odbyła się. / Unsigned dev package; no production signature exists. host-policy.jsonnigdy nie trafia do.kpkg(lista dozwolonych KretPublish). / Never packed.
COMPATIBILITY — KretMultiLanguage
COMPATIBILITY — KretMultiLanguage
| Składnik / Component | Wersja / Version | Stan / State |
|---|---|---|
| KretL | kretl-1.0, manifestVersion "1.0" | FROZEN_1_0 |
| Języki / languages | KretL, KretM, KretS, KretDB, KretLib, KretUI | zob. rejestr / see registry (KRET_AI_KNOWLEDGE_BASE → LANGUAGE_REGISTRY.json) |
| Kret SDK | 1.0.0-rc.3+kret.local.3 (kandydat lokalny, niepodpisany) | testy tej rundy / tested this round |
| Kret SDK (Core pinned) | 1.0.0-rc.3+kc-base-test610 | zgodny (to samo źródło + SFI-B01/T01) |
| KretStudio | 0.3.0-beta.2 + patch SFI (kopia testowa) | Pack/test/run przez SDK; oryginał KretStudio (lokalna instalacja / local install) 0.2.0 ma SDK rc.2 |
| Kret Engine / KretCore | 1.0.0-test.6.11-draft.1 | BLOCKED_KCS_D_KCS_01 (logs.own.write, kretdb.*) |
compatibility w manifeście | core min 0.5.0 (0.5.0), api min 1.6 | ABI pluginów SDK 1.6 |
| Bytecode | KBC format 2 | — |
| System | Windows 11 x64 | Linux/macOS: NOT_RUN |
07 — KretMultiLanguage
07 — KretMultiLanguage
| Pole | Wartość |
|---|---|
| Identyfikator | LOCAL-KPL-MLTLNG27 (lokalny, rodzina KPL) |
| Wersja | 1.0.0 |
| Technologie | KretL, KretM, KretS, KretDB, KretLib, KretUI |
| Stan przykładu | RUNNABLE_LOCAL |
| Stan w Kret Engine (Core) | **BLOCKED_KCS_D_KCS_01 (logs.own.write, kretdb.*)** |
| Paczka | package/LOCAL-KPL-MLTLNG27-1.0.0-dev.kpkg (dev, niepodpisana, ze źródłami) |
| Pochodzenie | Szablony SDK core-plugin (KretL+KretM+KretS+KretDB) i library (KretLib) połączone w eksporcie + widok KretUI. / SDK templates core-plugin and library combined + a KretUI view. |
Cel
Jeden projekt łączący oficjalnie obsługiwane technologie: manifest KretL z mapą KretM (warstwy Ui → Logic → Data), moduły KretS z regułami mapy, dane KretDB, biblioteka offline KretLib (mathx → textutil) i widok KretUI wywołujący komendę orders.summary.
Struktura
| Ścieżka | Zawartość |
|---|---|
src/ | projekt SDK w oficjalnym układzie (plugin.kretl w katalogu głównym projektu, Script/, Disk/, Ui/, ) — osobny folder manifest/ nie istnieje, bo SDK wymaga manifestu w katalogu projektu |
tests/ | opis testów i surowe logi kroków (tests/logs/) |
docs/ | architektura (Mermaid), pochodzenie źródeł |
examples/ | polityka hosta testowego SDK (tylko lokalnie) |
package/ | .kpkg + raport weryfikacji + SHA-256 |
screenshots/ | prawdziwe klatki renderera KretUI (kretui-host --self-test) |
BUILD_INSTRUCTIONS.md, INSTALL_INSTRUCTIONS.md | pełny cykl: projekt → kod → check → build → test → pack → verify → KPM → instalacja Developer → start → aktualizacja → usunięcie |
SECURITY_PERMISSIONS.md, COMPATIBILITY.md | uprawnienia i zgodność wersji |
TEST_RESULTS.json | wyniki tej rundy (SDK; KPM w Core — jeśli wykonano) |
Szybki start
kret check src --json
kret run src --policy examples/host-policy.json --data <nowy katalog> --invoke orders.summary
Czytanie kodu linia po linii
Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.
kret check src --jsonOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.kret run src --policy examples/host-policy.json --data <nowy katalog> --invoke orders.summaryOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Status języka nie nadaje uprawnień KCS ani prawa do Production.
SECURITY_PERMISSIONS — KretMultiLanguage
SECURITY_PERMISSIONS — KretMultiLanguage
Zadeklarowane uprawnienia / declared permissions (src/plugin.kretl)
permissions {
required {
logs.own.write
kretdb.open
kretdb.read
kretdb.write
}
}
Czytanie kodu linia po linii
Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.
permissions {Początek nazwanego bloku; jego pola odczytaj w powiązanej referencji.required {Początek nazwanego bloku; jego pola odczytaj w powiązanej referencji.logs.own.writeOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.kretdb.openOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.kretdb.readOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.kretdb.writeOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.}Zamknięcie struktury otwartej we wcześniejszych liniach.}Zamknięcie struktury otwartej we wcześniejszych liniach.
Zasady / rules
- Deklaracja ≠ przyznanie (KCS-PERM-3). Dostęp daje polityka hosta i KCS przy każdym wywołaniu (Security Broker). / Declaration is not a grant.
examples/host-policy.jsonto polityka hosta testowego SDK (allowProvisionalRisktylko dla testów). Nigdy nie importuj jej do Core ani do danych użytkownika. / Test-host policy only; never import into Core.- Logika działa w osobnym procesie pluginu (Job Object, token ograniczony / AppContainer). Interfejs KretUI nie nadaje uprawnień i nie przechowuje sekretów. / Logic runs in a separate restricted process.
- Status w Core / Core status: **BLOCKED_KCS_D_KCS_01 (logs.own.write, kretdb.*)**. D-KCS-01 pozostaje OPEN; uprawnienia PROVISIONAL nie są aktywowane w Production. / Not activated in Production.
- Paczka: kanał dev, niepodpisana, z źródłami; nie zawiera kluczy, haseł ani polityki hosta (kontrola sekretów KretPublish). / Dev channel, unsigned, no keys or secrets.
Znane ograniczenie / known limitation (EXP-F02)
kretui-host --self-test (SDK 1.0.0-rc.3+kret.local.3) kompiluje projekt bez bibliotek KretLib z Libs/ i zgłasza KCS-KRS-1003: nieznana nazwa MathX. kret check/build/run/pack dołączają biblioteki poprawnie. Podgląd Ui/Summary.kretui dla projektu z KretLib jest więc NOT_RUN do poprawki SDK. / kretui-host compiles without KretLib libraries; UI preview of KretLib projects is NOT_RUN until an SDK fix.
KretMultiLanguage — architektura / architecture
KretMultiLanguage — architektura / architecture
Opis tekstowy i źródło
- Host: kret run / KretStudio / Kret Engine → Security Broker (KCS przy każdym wywołaniu)
- Security Broker (KCS przy każdym wywołaniu) → Proces pluginu (Job Object, AppContainer)
- Proces pluginu (Job Object, AppContainer) → Maszyna KBC 2 + weryfikator
- src/plugin.kretl → Security Broker (KCS przy każdym wywołaniu)
- kretui-host (renderer, osobny proces) → Security Broker (KCS przy każdym wywołaniu) · komendy
- Security Broker (KCS przy każdym wywołaniu) → KretDB: baza pluginu należy do brokera
flowchart LR
Host["Host: kret run / KretStudio / Kret Engine"] --> Broker["Security Broker (KCS przy każdym wywołaniu)"]
Broker --> Proc["Proces pluginu (Job Object, AppContainer)"]
Proc --> VM["Maszyna KBC 2 + weryfikator"]
L0["KretL"]
L1["KretM"]
L2["KretS"]
L3["KretDB"]
L4["KretLib"]
L5["KretUI"]
Manifest["src/plugin.kretl"] --> Broker
UI["kretui-host (renderer, osobny proces)"] -->|komendy| Broker
Broker --> DB[("KretDB: baza pluginu należy do brokera")]Pochodzenie / provenance: Szablony SDK core-plugin (KretL+KretM+KretS+KretDB) i library (KretLib) połączone w eksporcie + widok KretUI. / SDK templates core-plugin and library combined + a KretUI view.
Architecture diagram
Architecture diagram
Opis tekstowy i źródło
- Host: kret run / KretStudio / Kret Engine → Security Broker (KCS przy każdym wywołaniu)
- Security Broker (KCS przy każdym wywołaniu) → Proces pluginu (Job Object, AppContainer)
- Proces pluginu (Job Object, AppContainer) → Maszyna KBC 2 + weryfikator
- src/plugin.kretl → Security Broker (KCS przy każdym wywołaniu)
- kretui-host (renderer, osobny proces) → Security Broker (KCS przy każdym wywołaniu) · komendy
- Security Broker (KCS przy każdym wywołaniu) → KretDB: baza pluginu należy do brokera
flowchart LR
Host["Host: kret run / KretStudio / Kret Engine"] --> Broker["Security Broker (KCS przy każdym wywołaniu)"]
Broker --> Proc["Proces pluginu (Job Object, AppContainer)"]
Proc --> VM["Maszyna KBC 2 + weryfikator"]
L0["KretL"]
L1["KretM"]
L2["KretS"]
L3["KretDB"]
L4["KretLib"]
L5["KretUI"]
Manifest["src/plugin.kretl"] --> Broker
UI["kretui-host (renderer, osobny proces)"] -->|komendy| Broker
Broker --> DB[("KretDB: baza pluginu należy do brokera")]
Pochodzenie / provenance
Pochodzenie / provenance
Szablony SDK core-plugin (KretL+KretM+KretS+KretDB) i library (KretLib) połączone w eksporcie + widok KretUI. / SDK templates core-plugin and library combined + a KretUI view.
Dokumentacja wygenerowana przez eksport KretLanguageDocumentation (2026-11-01). Wszystkie polecenia z BUILD_INSTRUCTIONS.md zostały wykonane; wyniki w TEST_RESULTS.json.
KretMultiLanguage — karta przykładowego pluginu
KretMultiLanguage — karta przykładowego pluginu
StatusRUNNABLE_LOCALoznacza uruchomienie lokalne przez SDK — to nie jestPRODUCTION_READY. Paczka .kpkg nie jest dostępna do publicznego pobrania.
Jeden projekt łączący oficjalnie obsługiwane technologie: manifest KretL z mapą KretM (warstwy Ui → Logic → Data), moduły KretS z regułami mapy, dane KretDB, biblioteka offline KretLib (mathx → textutil) i widok KretUI wywołujący komendę orders.summary.
| Pole | Wartość |
|---|---|
| Nazwa | KretMultiLanguage (KretMultiLanguage) |
| ID | LOCAL-KPL-MLTLNG27 |
| Wersja | 1.0.0 |
| Zastosowanie / uwagi | Łączy KretL, KretM, KretS, KretDB, KretLib i KretUI; w Core zablokowany przez D-KCS-01 (logs.own.write, kretdb.*). Znane ograniczenia SDK: EXP-F01, EXP-F02. |
| Technologie Kret | KretL, KretM, KretS, KretDB, KretLib, KretUI |
| Wymagania | SDK 1.0.0-rc.3+kret.local.3; Kret Engine 1.0.0-test.6.11-draft.1 (profil Developer); Windows 11 x64; .NET 10 |
| Uprawnienia wymagane | logs.own.write, kretdb.open, kretdb.read, kretdb.write |
| Uprawnienia opcjonalne | brak |
| Status w SDK | RUNNABLE_LOCAL |
| Status w Core | BLOCKED_KCS_D_KCS_01 (logs.own.write, kretdb.*) |
| Kod źródłowy | src/ |
| Budowanie | BUILD_INSTRUCTIONS.md |
| Instalacja | tylko profil Developer (instrukcja wewnętrzna) |
| Zrzuty | brak |
| Testy | eksport 7/7 PASS; ponownie 2026-11-01: PASS |
| Publiczne pobieranie | .kpkg: NIEDOSTĘPNE; źródła: kandydat po zgodzie właściciela |