Katalogi i pliki

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.

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

01 — KretHello

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

Szybki start

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

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

SECURITY_PERMISSIONS — KretHello

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

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

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.

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

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

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

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.

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.

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).

Architektura SDK / SDK architecture

flowchart TB
  CLI["kret (Kret.Cli)"] --> SDK["Kret.Sdk: CompilerService · RuntimeHost · DebugController · ProjectConfig"]
  LSP["kret lsp (Kret.LanguageServer, LSP 3.17)"] --> SDK
  SDK --> COMP["Kret.Compiler: KretL · KretS · KretDB · KretM · (KretUI/KretFlow/KretAi/KretConfig/KretLink/KretLib)"]
  COMP --> BC["Kret.Bytecode: KBC 2"]
  SDK --> BRK["Kret.Broker (+ Kret.Broker.Service): Security Broker, KCS"]
  BRK --> PH["Kret.PluginHost: maszyna Kret.Runtime w izolowanym procesie"]
  BRK --> DB["Kret.Db (SQLite)"]
  SDK --> PUB["Kret.Publish: .kpkg, podpis ECDSA P-256, trust"]
  UIH["kretui-host (Kret.Ui, Kret.Ui.Avalonia, Kret.Ui.Preview)"] --> BRK
  STUDIO["KretStudio"] --> CLI
  STUDIO --> LSP
  STUDIO --> UIH
  CORE["Kret Engine / KretCore"] --> SDK

Jedna biblioteka, jedno narzędzie: KretStudio, LSP i CLI korzystają z tych samych klas. Kod produktu nie używa pakietów NuGet (poza Avalonia w rendererze). / One library, one tool; the product uses no NuGet packages (except Avalonia in the renderer).

CLI kret — referencja / reference

Kody wyjścia / exit codes: 0 sukces, 1 błędy, 2 złe użycie; kret run: 3 paczka odrzucona, 4 wywołanie nieudane; kret test: 3 STOPPED, 6 NO_TESTS (nie sukces).

Szczegóły poleceń: ../Sources/SDK/10_SDK__README.md, 10_SDK__KRET_TEST.md, 09_Publishing__KretPublish__README.md.

Build, testy, pakowanie, weryfikacja / build, test, package, verify

• Build: kret build → Build/plugin.kbc (deterministyczny), manifest.json, schema.kdb.json, package.index.json.
• Testy: kret test (kret-test/1, EXPERIMENTAL) — moduły Tests/, statusy PASS/FAIL/SKIP/NOT_RUN/ERROR, NO_TESTS ≠ sukces, --events, raport JSON i JUnit. Bez --policy testy nie mają uprawnień.
• Pakowanie: kret publish pack (kret-package/1, ZIP bez kompresji, powtarzalne bajty); lista dozwolona; nigdy: host-policy.json, warstwy użytkownika/polityki, dane, sekrety (*.pem *.key *.pfx *.kretkey .env), dowiązania; wykrywanie sekretów w treści przerywa pakowanie. --include-sources wymagane przez KPM Core.
• Weryfikacja: kret publish verify — kontrole PASS/FAIL/WARN/SKIPPED; podpis w kanale dev = SKIPPED (nie PASS); NEG-PACKAGE-TAMPER (zmieniony bajt) = FAIL.
• Kanały: dev (podpis opcjonalny, LOCAL-…), beta/stable (zaufany klucz, oficjalny id). Klucz produkcyjny nie istnieje (C1).
• Walidatory: kret check (wszystkie języki), KretCore.Test.exe check (reguły hosta), Run-LanguageConformance.ps1 (KretL 23/23 + sumy), Run-LanguageE2E.ps1 (46/46).

KretStudio, runtime, KretCore, KPM

KretStudio (kopia testowa 0.3.0-beta.2 + SFI): wykrycie SDK (KRET_SDK_HOME → dołączone → użytkownika), 9 szablonów, LSP, Build (Ctrl+Shift+B), Run (zgoda, AppContainer), Debug, Run Tests (kret test, 11 scenariuszy PASS), Pack Plugin (dev, ze źródłami), podgląd KretUI. Publish… = planned, Sign Package… = niedostępne z powodem. Testy: 80/0, 125/0/7, 55/0, 61/0/1.

Runtime: Kret.PluginHost (KBC 2 + weryfikator), Security Broker (KCS przy każdym wywołaniu), Job Object / token ograniczony / AppContainer, profile zasobów.

KretCore 1.0.0-test.6.11-draft.1: kompiluje plugin ze źródeł paczki; reguły układu hosta; D-KCS-01 OPEN (PROVISIONAL: logs.own.write, kretdb.*, sensory, KretAI, KretLink zablokowane).

KPM — sprawdzone w tej rundzie (izolowany Core Developer, osobny katalog danych, hasło testowe):

Dowody: archiwum KRET_DOCUMENTATION_EVIDENCE.zip → kpm/.

Komendy Kret SDK (zweryfikowane z kret --help, 2026-11-01)

Kandydat SDK 1.0.0-rc.3+kret.local.3 — lokalny, niepodpisany, nieopublikowany. kret version: kret 1.0.0-rc.3 (KBC2, kretlink-local/1, .NET 10.0.12, win-x64).

Nie dodawaj parametrów, których nie ma w kret-help.txt albo w przykładach.