KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

KretHello

Najprostszy plugin: manifest KretL, logika KretS, cykl życia, komunikat startowy i komunikat zakończenia, jedna komenda hosta i testy. **Nie deklaruje żadnych uprawnień** — komunikaty są zwracane jako wartości handlerów (log wymagałby `logs.own.write`, które w Core blokuje otwarte D-KCS-01).

Wersja projektu: 1.0.0

Pobierz źródła demonstracyjne JSON

SDK: RUNNABLE_LOCAL
Core: ELIGIBLE_DEV (brak uprawnień — nie zależy od D-KCS-01)
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.

Twój pierwszy plugin — KretHello

Pełne źródła projektu

Plik

1module Main
2
3// Komunikat startowy: wartość zwracana przez handler „start” trafia do hosta (wynik start w kret run / plugin start).
4fn Start() -> String {
5    return "KretHello: plugin uruchomiony"
6}
7
8// Komunikat zakończenia.
9fn Shutdown() -> String {
10    return "KretHello: plugin zatrzymany"
11}
12
13fn greeting(name: String) -> String {
14    let clean = name.trim()
15    if len(clean) == 0 {
16        return "Cześć, nieznajomy!"
17    }
18    return "Cześć, " + clean + "!"
19}
20
21// Komenda hosta zadeklarowana w handlers manifestu.
22on hello.greet(name: String) -> String {
23    return greeting(name)
24}
25

Czytanie kodu linia po linii

Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.

module MainDeklaracja modułu KretS; porównaj nazwę z nazwą pliku.
Pusta linia oddziela fragmenty źródła.
// Komunikat startowy: wartość zwracana przez handler „start” trafia do hosta (wynik start w kret run / plugin start).Komentarz autora; nie jest wykonywany.
fn Start() -> String {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
return "KretHello: plugin uruchomiony"Zwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
// Komunikat zakończenia.Komentarz autora; nie jest wykonywany.
fn Shutdown() -> String {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
return "KretHello: plugin zatrzymany"Zwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
fn greeting(name: String) -> String {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
let clean = name.trim()Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
if len(clean) == 0 {Sterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.
return "Cześć, nieznajomy!"Zwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
return "Cześć, " + clean + "!"Zwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
// Komenda hosta zadeklarowana w handlers manifestu.Komentarz autora; nie jest wykonywany.
on hello.greet(name: String) -> String {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
return greeting(name)Zwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.

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 — KretHello

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	Nowy projekt eksportu (wzorzec: szablon SDK `basic`). / New export project (pattern: SDK template `basic`). Nowy projekt od zera / from scratch: `kret new basic <katalog> --name KretHello`
2	Kod / code	`src/plugin.kretl`, `src/Script/**.krs`
3	Sprawdzenie / check	`kret check src --json`
4	Build	`kret build src` → `src/Build/plugin.kbc`, `manifest.json`
5	Testy / tests	`kret test src --json --policy examples/host-policy.json`
5a	Uruchomienie lokalne / local run	`kret run src --policy examples/host-policy.json --data <nowy katalog> --invoke 'hello.greet=["Kret"]'`
6	Paczka / pack	`kret publish pack src --channel dev --include-sources -o package` → `package/LOCAL-KPL-HELL2KRT-1.0.0-dev.kpkg`
7	Weryfikacja / verify	`kret publish verify package/LOCAL-KPL-HELL2KRT-1.0.0-dev.kpkg --report package/verify-report.json`

Uwagi / notes:

--include-sources jest 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.json nigdy nie trafia do .kpkg (lista dozwolonych KretPublish). / Never packed.

Otwórz cały rozdział ze źródłem →

COMPATIBILITY — KretHello

Składnik / Component	Wersja / Version	Stan / State
KretL	`kretl-1.0`, `manifestVersion "1.0"`	FROZEN_1_0
Języki / languages	KretL, KretS	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	ELIGIBLE_DEV (brak uprawnień — nie zależy od D-KCS-01)
`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

Otwórz cały rozdział ze źródłem →

01 — KretHello

Pole	Wartość
Identyfikator	`LOCAL-KPL-HELL2KRT` (lokalny, rodzina KPL)
Wersja	1.0.0
Technologie	KretL, KretS
Stan przykładu	RUNNABLE_LOCAL
Stan w Kret Engine (Core)	ELIGIBLE_DEV (brak uprawnień — nie zależy od D-KCS-01)
Paczka	`package/LOCAL-KPL-HELL2KRT-1.0.0-dev.kpkg` (dev, niepodpisana, ze źródłami)
Pochodzenie	Nowy projekt eksportu (wzorzec: szablon SDK `basic`). / New export project (pattern: SDK template `basic`).

Cel

Najprostszy plugin: manifest KretL, logika KretS, cykl życia, komunikat startowy i komunikat zakończenia, jedna komenda hosta i testy. Nie deklaruje żadnych uprawnień — komunikaty są zwracane jako wartości handlerów (log wymagałby logs.own.write, które w Core blokuje otwarte D-KCS-01).

Struktura

Ścieżka	Zawartość
`src/`	projekt SDK w oficjalnym układzie (`plugin.kretl` w katalogu głównym projektu, `Script/`, `Tests/`) — 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
`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

Plik

1kret check src --json
2kret run src --policy examples/host-policy.json --data <nowy katalog> --invoke 'hello.greet=["Kret"]'

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 'hello.greet=["Kret"]'Odczytaj 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.

Otwórz cały rozdział ze źródłem →

SECURITY_PERMISSIONS — KretHello

Zadeklarowane uprawnienia / declared permissions (`src/plugin.kretl`)

Plik

1// brak bloku permissions — plugin nie deklaruje żadnych uprawnień / no permissions declared

Czytanie kodu linia po linii

Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.

// brak bloku permissions — plugin nie deklaruje żadnych uprawnień / no permissions declaredKomentarz autora; nie jest wykonywany.

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.json to polityka hosta testowego SDK (allowProvisionalRisk tylko 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: ELIGIBLE_DEV (brak uprawnień — nie zależy od D-KCS-01). 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.

Otwórz cały rozdział ze źródłem →

KretHello — architektura / architecture

Statyczna architektura ze źródeł. Przerywane połączenia zachowują oryginalne ograniczenia i adnotacje. Kod nie jest wykonywany.

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)

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["KretS"]
  Manifest["src/plugin.kretl"] --> Broker

Pochodzenie / provenance: Nowy projekt eksportu (wzorzec: szablon SDK basic). / New export project (pattern: SDK template basic).

Otwórz cały rozdział ze źródłem →

Architecture diagram

Statyczna architektura ze źródeł. Przerywane połączenia zachowują oryginalne ograniczenia i adnotacje. Kod nie jest wykonywany.

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)

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["KretS"]
  Manifest["src/plugin.kretl"] --> Broker

Otwórz cały rozdział ze źródłem →

Pochodzenie / provenance

Nowy projekt eksportu (wzorzec: szablon SDK basic). / New export project (pattern: SDK template basic).

Dokumentacja wygenerowana przez eksport KretLanguageDocumentation (2026-11-01). Wszystkie polecenia z BUILD_INSTRUCTIONS.md zostały wykonane; wyniki w TEST_RESULTS.json.

Otwórz cały rozdział ze źródłem →

KretHello — karta przykładowego pluginu

Status RUNNABLE_LOCAL oznacza uruchomienie lokalne przez SDK — to nie jest PRODUCTION_READY. Paczka .kpkg nie jest dostępna do publicznego pobrania.

Pole	Wartość
Nazwa	KretHello (KretHello)
ID	`LOCAL-KPL-HELL2KRT`
Wersja	1.0.0
Zastosowanie / uwagi	Działa lokalnie: pełny cykl KPM (import, plan, instalacja, start, aktualizacja, usunięcie) w izolowanym profilu Developer. Brak uprawnień — nie zależy od D-KCS-01.
Technologie Kret	KretL, KretS
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	brak
Uprawnienia opcjonalne	brak
Status w SDK	`RUNNABLE_LOCAL`
Status w Core	ELIGIBLE_DEV (brak uprawnień — nie zależy od D-KCS-01)
Kod źródłowy	`src/`
Budowanie	`BUILD_INSTRUCTIONS.md`
Instalacja	tylko profil Developer (instrukcja wewnętrzna)
Zrzuty	brak
Testy	eksport 6/6 PASS; ponownie 2026-11-01: PASS
Publiczne pobieranie	.kpkg: NIEDOSTĘPNE; źródła: kandydat po zgodzie właściciela

Otwórz cały rozdział ze źródłem →

Pełne źródła projektu

Materiały źródłowe do tego tematu

BUILD_INSTRUCTIONS — KretHello

COMPATIBILITY — KretHello

01 — KretHello

Cel

Struktura

Szybki start

SECURITY_PERMISSIONS — KretHello

Zadeklarowane uprawnienia / declared permissions (src/plugin.kretl)

Zasady / rules

KretHello — architektura / architecture

Architecture diagram

Pochodzenie / provenance

KretHello — karta przykładowego pluginu

Zadeklarowane uprawnienia / declared permissions (`src/plugin.kretl`)