KretUiDemo

BUILD_INSTRUCTIONS — KretUiDemo

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.

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.

COMPATIBILITY — KretUiDemo

06 — KretUiDemo

Cel

Demonstracja interfejsu: układ (kolumny, wiersze), komponenty (tekst, pole, przycisk, lista, status, okno dialogowe), zdarzenia (akcje do komend KretS, open), binding stanu, motyw (KTheme z wariantami dark/highContrast), style (KretStyle: stany, media) i podgląd rendererem SDK. Komponenty niewspierane (tooltip, menu, chart, animacje, canvas) są poza zakresem.

Struktura

Szybki start

1kret check src --json
2kret run src --policy examples/host-policy.json --data <nowy katalog>

Status języka nie nadaje uprawnień KCS ani prawa do Production.

SECURITY_PERMISSIONS — KretUiDemo

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

1permissions {
2        required {
3            logs.own.write
4            kretdb.open
5            kretdb.read
6            kretdb.write
7        }
8    }

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: **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.

KretUiDemo — architektura / architecture

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"]
  L2["KretDB"]
  L3["KretUI"]
  L4["KretStyle"]
  L5["KTheme"]
  Manifest["src/plugin.kretl"] --> Broker
  UI["kretui-host (renderer, osobny proces)"] -->|komendy| Broker
  Broker --> DB[("KretDB: baza pluginu należy do brokera")]

Pochodzenie / provenance: Przykład SDK 11_Examples/UiDemo (źródło kandydata SDK). / SDK example 11_Examples/UiDemo.

Architecture diagram

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"]
  L2["KretDB"]
  L3["KretUI"]
  L4["KretStyle"]
  L5["KTheme"]
  Manifest["src/plugin.kretl"] --> Broker
  UI["kretui-host (renderer, osobny proces)"] -->|komendy| Broker
  Broker --> DB[("KretDB: baza pluginu należy do brokera")]

Pochodzenie / provenance

Przykład SDK 11_Examples/UiDemo (źródło kandydata SDK). / SDK example 11_Examples/UiDemo.

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

UiDemo — notatki (KretUI + KretStyle + KTheme + KretS + KretDB)

Mała aplikacja z listą notatek. Pokazuje podział odpowiedzialności:

Uruchomienie

Kontrola projektu (interfejs razem z logiką i manifestem) oraz logika bez okna — komendy interfejsu wywołane przez brokera:

1kret check 11_Examples\UiDemo
2kret run 11_Examples\UiDemo --policy 11_Examples\UiDemo\host-policy.json --data %TEMP%\kret-data -o %TEMP%\kret-build\UiDemo --invoke "notes.add=[\"pierwsza notatka\"]" --invoke notes.load

Okno wymaga hosta interfejsu. Zbuduj go (artefakty poza katalogiem roboczym):

1dotnet build 04_Languages\KretUI\src\Kret.Ui.Host\Kret.Ui.Host.csproj -c Release --artifacts-path %TEMP%\kcs-build\final

Okno:

1%TEMP%\kcs-build\final\bin\Kret.Ui.Host\release\kretui-host.exe 11_Examples\UiDemo

Warianty: --variant dark, --variant highContrast, --touch, --width 420.

Test bez okna (obraz i opis kontrolek w katalogu wyników):

1kretui-host 11_Examples\UiDemo --self-test %TEMP%\uidemo-out --input "0/2/0=Kupić mleko" --click 0/2/1

Oczekiwane zachowanie

1. Po otwarciu widok wywołuje notes.load i pokazuje zapisane notatki (albo „Brak notatek.”).
2. Przycisk Dodaj jest nieaktywny, dopóki pole jest puste. Po wpisaniu tekstu i kliknięciu (albo Enter) notatka trafia

do bazy, lista się odświeża, a pole się czyści.

1. Wyczyść… otwiera okno potwierdzenia; Usuń kasuje notatki w jednej transakcji, Anuluj zamyka okno.
2. Notatki zostają po zamknięciu i ponownym uruchomieniu.
3. Błąd logiki (np. pusta notatka wysłana z pominięciem interfejsu) pojawia się jako komunikat w widoku.

Test automatyczny

08_Testing/KretTest/Kret.Ui.Tests → Demo_host_renders_the_example_and_handles_input_end_to_end, Preview_runs_project_logic_in_a_separate_process_under_host_policy, Preview_without_granted_permissions_fails_closed, Preview_rejects_ui_that_does_not_match_logic_or_manifest; oraz MandatoryExamplesTests.UiDemo_is_checked_with_its_logic_and_starts_in_isolation (kontrola projektu i komendy interfejsu przez kret run).

Wynik (Windows 11 x64, 2026-10-11): PASS.

Stan bezpieczeństwa

• Logika działa w osobnym procesie (Kret.PluginHost) za brokerem; host rysuje tylko interfejs.
• Plugin ma wyłącznie uprawnienia z host-policy.json: dziennik i własna baza KretDB. Bez polityki nie uruchomi się.
• Host może wywołać tylko komendy z bloku handlers manifestu; typy argumentów sprawdza proces pluginu.
• Przykład nie korzysta z sieci, plików użytkownika ani modeli AI.
• Proces logiki działa na poziomie izolacji hosta (domyślnie ograniczony token i niski poziom integralności). Ten poziom nie

blokuje odczytu plików użytkownika ani sieci — niezaufane pluginy uruchamia się w kontenerze aplikacji (07_Security/SecurityBroker/README.md).

KretUiDemo — 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.

Demonstracja interfejsu: układ (kolumny, wiersze), komponenty (tekst, pole, przycisk, lista, status, okno dialogowe), zdarzenia (akcje do komend KretS, open), binding stanu, motyw (KTheme z wariantami dark/highContrast), style (KretStyle: stany, media) i podgląd rendererem SDK. Komponenty niewspierane (tooltip, menu, chart, animacje, canvas) są poza zakresem.