KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ
01 — KretHello
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
kret check src --json
kret 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.
Ź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.
03_EXAMPLE_PLUGINS/KretHello/README_PL.md
SHA-256 58C3DA96D65ACD6D1FC8E3A9FA6D37BD617E45307217AC1E16A8208BE1CC063AZaloguj się na konto użytkownika, aby zapisywać postęp i zakładki. Konta obsługi mogą czytać bez zapisu postępu. Logowanie →